IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.224
AS - Asia 1.553
EU - Europa 1.085
SA - Sud America 233
Continente sconosciuto - Info sul continente non disponibili 99
AF - Africa 38
Totale 8.232
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.146
SG - Singapore 716
CN - Cina 365
UA - Ucraina 299
BR - Brasile 182
IT - Italia 155
DE - Germania 144
HK - Hong Kong 142
FI - Finlandia 117
KR - Corea 81
RU - Federazione Russa 79
FR - Francia 67
VN - Vietnam 64
IE - Irlanda 60
CA - Canada 51
ES - Italia 44
SE - Svezia 43
GB - Regno Unito 39
BD - Bangladesh 34
TR - Turchia 34
IN - India 33
AR - Argentina 19
IQ - Iraq 17
BE - Belgio 12
CO - Colombia 11
ZA - Sudafrica 11
JP - Giappone 10
ID - Indonesia 7
MX - Messico 7
PK - Pakistan 7
VE - Venezuela 7
MY - Malesia 5
TG - Togo 5
AT - Austria 4
CL - Cile 4
EC - Ecuador 4
IL - Israele 4
KE - Kenya 4
MA - Marocco 4
PL - Polonia 4
RO - Romania 4
UZ - Uzbekistan 4
CM - Camerun 3
CR - Costa Rica 3
JO - Giordania 3
KZ - Kazakistan 3
OM - Oman 3
PH - Filippine 3
PS - Palestinian Territory 3
SA - Arabia Saudita 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
BY - Bielorussia 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
EU - Europa 2
GR - Grecia 2
HN - Honduras 2
JM - Giamaica 2
LA - Repubblica Popolare Democratica del Laos 2
NI - Nicaragua 2
NP - Nepal 2
PE - Perù 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
BO - Bolivia 1
BS - Bahamas 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
EE - Estonia 1
EG - Egitto 1
GT - Guatemala 1
GY - Guiana 1
HR - Croazia 1
KH - Cambogia 1
KW - Kuwait 1
LB - Libano 1
LC - Santa Lucia 1
LY - Libia 1
MK - Macedonia 1
MT - Malta 1
MZ - Mozambico 1
NL - Olanda 1
PY - Paraguay 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZM - Zambia 1
Totale 8.137
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Ashburn 485
Houston 454
Ann Arbor 412
Singapore 263
San Jose 236
Seattle 224
Jacksonville 222
Wilmington 219
Cambridge 170
Beijing 158
Chandler 142
Dearborn 139
Hong Kong 139
Council Bluffs 96
Seoul 81
Udine 76
Boardman 67
Dublin 60
The Dalles 58
Los Angeles 56
Lauterbourg 55
Princeton 55
Hefei 33
San Diego 29
Ottawa 28
Washington 28
Dallas 27
Buffalo 24
Izmir 22
Helsinki 21
Santa Clara 21
São Paulo 20
New York 18
Hanoi 17
Ho Chi Minh City 17
Munich 17
Redondo Beach 16
Ogden 14
Brussels 12
Valencia 12
Des Moines 11
Norwalk 11
Mumbai 9
Nanjing 9
Orem 9
Phoenix 9
Baghdad 8
Kunming 8
Tokyo 8
Chicago 7
Dong Ket 7
Milan 7
Montreal 7
Nanchang 7
Rio de Janeiro 7
Alcorcón 6
Atlanta 6
Dhaka 6
Johannesburg 6
Madrid 6
Manchester 6
San Francisco 6
Toronto 6
Boston 5
Brooklyn 5
Chennai 5
Frankfurt am Main 5
Lomé 5
Belo Horizonte 4
Brasília 4
Buenos Aires 4
Denver 4
Falls Church 4
Ipatinga 4
Mexico City 4
Newark 4
Nuremberg 4
Santos 4
Tashkent 4
Turin 4
Vico Equense 4
Amman 3
Ankara 3
Araguari 3
Da Nang 3
Erbil 3
Istanbul 3
Itajaí 3
Jackson 3
Kuala Lumpur 3
Lahore 3
Lappeenranta 3
Louisville 3
Mugla 3
Muscat 3
Ningbo 3
Philadelphia 3
Richmond 3
Totale 5.795
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 206
Static correction of Maude programs with assertions 200
Debugging Maude programs via runtime assertion checking and trace slicing 187
Abstract Correction of First-Order Functional Programs 187
Model-Checking Web Applications with Web-TLR 183
A Fast Algebraic Web Verification Service 181
A rule-based method to match Software Patterns against UML Models 180
Correction of Functional Logic Programs 179
Backward Trace Slicing for Conditional Rewrite Theories 178
A Semi-Automatic Methodology for Repairing Faulty Web Sites 172
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 172
A Minimalist Visual Notation for Design Patterns and Antipatterns 170
A Rewriting-Based Framework for Web Sites Verification 169
An Access Control Language based on Term Rewriting and Description Logic 161
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 160
Exploring conditional rewriting logic computations 159
VERDI: an Automated Tool for Web sites Verification 158
Combining runtime checking and slicing to improve Maude error diagnosis 155
A fold/unfold transformation framework for rewrite theories extended to CCT 153
Assertion-based analysis via slicing with ABETS (system description) 152
Fixing Web Sites Using Correction Stategies 151
Inferring Safe Maude Programs with ÁTAME 149
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 147
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 146
Rewriting-based Repairing Strategies for XML Repositories 146
Quantitative Pathway Logic for Computational Biology 144
Specification and Verification of Web Applications in Rewriting Logic 144
Completeness of Unfolding for Rewriting Logic Theories 144
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 143
Using Conditional Trace Slicing for Improving Maude Programs 143
Semantic Verification of Web System Contents 142
Parametric Exploration of Rewriting Logic Computations 140
XML Semantic Filtering via Ontology Reasoning 139
An Abstract Generic Framework for Web Site Verification 138
Filtering of XML Documents 138
A Multiparadigm Automatic Correction Scheme 132
Debugging of Web Applications with Web-TLR 132
Symbolic Analysis of Maude Theories with Narval 129
Julienne: a Trace Slicer for Conditional Rewrite Theories 126
Imposing assertions in Maude via program transformation 125
Abstract Correction of OBJ-like Programs 123
Automated Verification of Web Sites Using Partial Rewriting 119
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 119
A Rule-based System for Web Sites Verification 116
Transformation and Debugging of Functional Logic Programs 114
GVERDI-R: A Tool for Repairing Faulty Web Sites 110
Rule-based Verification of Web sites 110
Cost-Sensitive Debugging of Declarative Programs 102
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 100
The Web Verification Service WebVerdi-M 95
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 92
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 87
Symbolic Specialization of Rewriting Logic Theories with Presto 86
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 85
Variant-Based Equational Anti-unification 84
ccReact: a rewriting framework for the formal analysis of reaction systems 82
Optimization of rewrite theories by equational partial evaluation 73
A partial evaluation methodology for optimizing rewrite theories incrementally 62
Safety enforcement via programmable strategies in Maude 58
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 56
Modeling and Analyzing Reaction Systems in Maude 49
Optimizing Maude Programs via Program Specialization 47
null 3
Totale 8.232
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.529
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 28.529
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022373 0 0 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/20261.833 114 159 160 177 223 135 262 71 129 193 150 60
2026/2027253 43 144 66 0 0 0 0 0 0 0 0 0
Totale 8.232