IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.496
AS - Asia 1.043
EU - Europa 941
SA - Sud America 165
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.667
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.442
SG - Singapore 417
CN - Cina 297
UA - Ucraina 297
BR - Brasile 148
DE - Germania 138
HK - Hong Kong 136
IT - Italia 120
FI - Finlandia 103
KR - Corea 81
RU - Federazione Russa 74
IE - Irlanda 60
ES - Italia 42
SE - Svezia 42
CA - Canada 39
GB - Regno Unito 31
TR - Turchia 29
VN - Vietnam 29
IN - India 17
BE - Belgio 12
AR - Argentina 11
FR - Francia 8
IQ - Iraq 8
MX - Messico 6
ZA - Sudafrica 6
BD - Bangladesh 5
JP - Giappone 5
AT - Austria 3
CM - Camerun 3
CO - Colombia 3
IL - Israele 3
PL - Polonia 3
TG - Togo 3
TT - Trinidad e Tobago 3
BY - Bielorussia 2
CR - Costa Rica 2
EU - Europa 2
ID - Indonesia 2
MA - Marocco 2
RO - Romania 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
ET - Etiopia 1
GR - Grecia 1
HN - Honduras 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LC - Santa Lucia 1
MK - Macedonia 1
MY - Malesia 1
MZ - Mozambico 1
NP - Nepal 1
OM - Oman 1
PK - Pakistan 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
TN - Tunisia 1
TW - Taiwan 1
ZM - Zambia 1
Totale 6.667
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Houston 454
Ashburn 432
Ann Arbor 412
Jacksonville 221
Seattle 221
Wilmington 219
Cambridge 170
Beijing 155
Singapore 147
Chandler 142
Dearborn 139
Hong Kong 135
Seoul 81
Udine 75
Boardman 65
Dublin 60
Princeton 55
Los Angeles 47
Hefei 33
San Diego 28
Washington 28
Ottawa 27
Dallas 24
Buffalo 23
Izmir 22
Munich 17
Redondo Beach 16
Ogden 14
Brussels 12
New York 12
São Paulo 12
Valencia 12
Des Moines 11
Norwalk 11
Mumbai 9
Nanjing 9
Hanoi 8
Helsinki 8
Kunming 8
Dong Ket 7
Alcorcón 6
Nanchang 6
Boston 5
Ho Chi Minh City 5
Madrid 5
Montreal 5
Rio de Janeiro 5
San Francisco 5
Belo Horizonte 4
Denver 4
Falls Church 4
Manchester 4
Mexico City 4
Nuremberg 4
Phoenix 4
Santa Clara 4
Toronto 4
Vico Equense 4
Atlanta 3
Baghdad 3
Brasília 3
Buenos Aires 3
Chennai 3
Chicago 3
Council Bluffs 3
Ipatinga 3
Itajaí 3
Johannesburg 3
Lomé 3
Milan 3
Mugla 3
Ningbo 3
Santos 3
Tokyo 3
Tower Hamlets 3
Turin 3
Turku 3
Warsaw 3
Andover 2
Ankara 2
Barra Mansa 2
Brescia 2
Bắc Giang 2
Campinas 2
Charenton-le-Pont 2
Chongqing 2
Curitiba 2
Dhaka 2
Erbil 2
Indiana 2
Jakarta 2
Jinan 2
Karlsruhe 2
Lappeenranta 2
London 2
Mapello 2
Porcia 2
Quzhou 2
Totale 5.015
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 175
Static correction of Maude programs with assertions 174
Abstract Correction of First-Order Functional Programs 162
A Fast Algebraic Web Verification Service 159
Correction of Functional Logic Programs 157
Debugging Maude programs via runtime assertion checking and trace slicing 152
Backward Trace Slicing for Conditional Rewrite Theories 151
A rule-based method to match Software Patterns against UML Models 150
Model-Checking Web Applications with Web-TLR 148
An Access Control Language based on Term Rewriting and Description Logic 146
A Rewriting-Based Framework for Web Sites Verification 145
A Semi-Automatic Methodology for Repairing Faulty Web Sites 141
A Minimalist Visual Notation for Design Patterns and Antipatterns 140
VERDI: an Automated Tool for Web sites Verification 137
Exploring conditional rewriting logic computations 135
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 134
A fold/unfold transformation framework for rewrite theories extended to CCT 133
Quantitative Pathway Logic for Computational Biology 132
Fixing Web Sites Using Correction Stategies 129
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 129
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 129
Completeness of Unfolding for Rewriting Logic Theories 128
Using Conditional Trace Slicing for Improving Maude Programs 128
Rewriting-based Repairing Strategies for XML Repositories 128
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 127
Combining runtime checking and slicing to improve Maude error diagnosis 124
Semantic Verification of Web System Contents 123
XML Semantic Filtering via Ontology Reasoning 122
Assertion-based analysis via slicing with ABETS (system description) 122
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 120
Filtering of XML Documents 118
Parametric Exploration of Rewriting Logic Computations 117
Inferring Safe Maude Programs with ÁTAME 117
An Abstract Generic Framework for Web Site Verification 116
Specification and Verification of Web Applications in Rewriting Logic 111
Imposing assertions in Maude via program transformation 108
Julienne: a Trace Slicer for Conditional Rewrite Theories 105
Debugging of Web Applications with Web-TLR 103
A Multiparadigm Automatic Correction Scheme 99
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 99
Symbolic Analysis of Maude Theories with Narval 99
A Rule-based System for Web Sites Verification 95
Transformation and Debugging of Functional Logic Programs 94
Abstract Correction of OBJ-like Programs 93
Rule-based Verification of Web sites 93
GVERDI-R: A Tool for Repairing Faulty Web Sites 91
Automated Verification of Web Sites Using Partial Rewriting 91
Cost-Sensitive Debugging of Declarative Programs 85
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 83
The Web Verification Service WebVerdi-M 79
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 72
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 69
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 69
Variant-Based Equational Anti-unification 58
Symbolic Specialization of Rewriting Logic Theories with Presto 54
Optimization of rewrite theories by equational partial evaluation 48
A partial evaluation methodology for optimizing rewrite theories incrementally 42
Safety enforcement via programmable strategies in Maude 39
ccReact: a rewriting framework for the formal analysis of reaction systems 35
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 34
Optimizing Maude Programs via Program Specialization 33
Modeling and Analyzing Reaction Systems in Maude 30
null 3
Totale 6.762
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.608
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 23.608
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021564 0 0 0 0 49 115 33 79 134 33 77 44
2021/2022445 26 46 12 22 5 26 34 22 9 75 106 62
2022/2023388 62 20 25 28 30 119 1 25 59 3 6 10
2023/2024352 24 14 28 8 73 125 0 30 19 26 4 1
2024/2025937 16 73 28 11 25 56 67 39 105 31 209 277
2025/2026616 114 159 160 177 6 0 0 0 0 0 0 0
Totale 6.762