IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.407
AS - Asia 1.557
EU - Europa 1.187
SA - Sud America 235
Continente sconosciuto - Info sul continente non disponibili 99
AF - Africa 39
Totale 8.524
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.306
SG - Singapore 716
CN - Cina 366
UA - Ucraina 299
IT - Italia 229
BR - Brasile 184
DE - Germania 165
HK - Hong Kong 142
FI - Finlandia 117
RU - Federazione Russa 83
KR - Corea 81
CA - Canada 67
FR - Francia 67
VN - Vietnam 64
IE - Irlanda 60
ES - Italia 44
SE - Svezia 43
GB - Regno Unito 42
BD - Bangladesh 34
IN - India 34
TR - Turchia 34
AR - Argentina 19
IQ - Iraq 17
BE - Belgio 12
CO - Colombia 11
JP - Giappone 11
ZA - Sudafrica 11
ID - Indonesia 7
MX - Messico 7
PK - Pakistan 7
VE - Venezuela 7
CR - Costa Rica 5
IL - Israele 5
MY - Malesia 5
TG - Togo 5
AT - Austria 4
CL - Cile 4
EC - Ecuador 4
KE - Kenya 4
MA - Marocco 4
PL - Polonia 4
RO - Romania 4
UZ - Uzbekistan 4
CM - Camerun 3
HN - Honduras 3
JM - Giamaica 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
GT - Guatemala 2
LA - Repubblica Popolare Democratica del Laos 2
NI - Nicaragua 2
NP - Nepal 2
PE - Perù 2
SC - Seychelles 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
GD - Grenada 1
GY - Guiana 1
HR - Croazia 1
KH - Cambogia 1
KN - Saint Kitts e Nevis 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
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.429
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Ashburn 497
Houston 455
Ann Arbor 412
San Jose 284
Singapore 263
Seattle 224
Jacksonville 222
Wilmington 220
Cambridge 170
Beijing 158
Chandler 142
Dearborn 139
Hong Kong 139
Council Bluffs 96
Seoul 81
Udine 76
Boardman 67
Dublin 60
Los Angeles 58
The Dalles 58
Lauterbourg 55
Princeton 55
Staranzano 54
Hefei 33
San Diego 30
Washington 29
Ottawa 28
Dallas 27
Buffalo 25
Frankfurt am Main 25
Santa Clara 23
Izmir 22
Helsinki 21
São Paulo 21
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
Montreal 9
Mumbai 9
Nanjing 9
Orem 9
Phoenix 9
Toronto 9
Baghdad 8
Brooklyn 8
Kunming 8
Milan 8
Tokyo 8
Chicago 7
Dong Ket 7
Nanchang 7
Rio de Janeiro 7
Rome 7
Alcorcón 6
Atlanta 6
Dhaka 6
Johannesburg 6
Madrid 6
Manchester 6
San Francisco 6
Boston 5
Brasília 5
Chennai 5
Lomé 5
Belo Horizonte 4
Buenos Aires 4
Denver 4
Falls Church 4
Ipatinga 4
Mexico City 4
Newark 4
Nuremberg 4
Santos 4
Tashkent 4
The Bronx 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
Miami 3
Mugla 3
Totale 5.951
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 210
Static correction of Maude programs with assertions 206
Abstract Correction of First-Order Functional Programs 192
Debugging Maude programs via runtime assertion checking and trace slicing 191
Model-Checking Web Applications with Web-TLR 190
A Fast Algebraic Web Verification Service 184
A rule-based method to match Software Patterns against UML Models 184
A Minimalist Visual Notation for Design Patterns and Antipatterns 184
Backward Trace Slicing for Conditional Rewrite Theories 183
Correction of Functional Logic Programs 182
A Semi-Automatic Methodology for Repairing Faulty Web Sites 177
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 177
A Rewriting-Based Framework for Web Sites Verification 172
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 166
Exploring conditional rewriting logic computations 166
VERDI: an Automated Tool for Web sites Verification 163
An Access Control Language based on Term Rewriting and Description Logic 163
A fold/unfold transformation framework for rewrite theories extended to CCT 160
Combining runtime checking and slicing to improve Maude error diagnosis 159
Assertion-based analysis via slicing with ABETS (system description) 157
Fixing Web Sites Using Correction Stategies 155
Inferring Safe Maude Programs with ÁTAME 154
Rewriting-based Repairing Strategies for XML Repositories 152
Using Conditional Trace Slicing for Improving Maude Programs 151
An Abstract Generic Framework for Web Site Verification 150
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 150
Completeness of Unfolding for Rewriting Logic Theories 149
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 149
Quantitative Pathway Logic for Computational Biology 148
Specification and Verification of Web Applications in Rewriting Logic 148
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 147
Semantic Verification of Web System Contents 144
XML Semantic Filtering via Ontology Reasoning 142
Parametric Exploration of Rewriting Logic Computations 142
Filtering of XML Documents 141
A Multiparadigm Automatic Correction Scheme 135
Debugging of Web Applications with Web-TLR 133
Symbolic Analysis of Maude Theories with Narval 133
Imposing assertions in Maude via program transformation 130
Julienne: a Trace Slicer for Conditional Rewrite Theories 129
Abstract Correction of OBJ-like Programs 125
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 124
A Rule-based System for Web Sites Verification 122
Automated Verification of Web Sites Using Partial Rewriting 122
Transformation and Debugging of Functional Logic Programs 118
Rule-based Verification of Web sites 113
GVERDI-R: A Tool for Repairing Faulty Web Sites 112
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 107
Cost-Sensitive Debugging of Declarative Programs 105
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 100
The Web Verification Service WebVerdi-M 97
Symbolic Specialization of Rewriting Logic Theories with Presto 92
ccReact: a rewriting framework for the formal analysis of reaction systems 91
Variant-Based Equational Anti-unification 89
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 88
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 86
Optimization of rewrite theories by equational partial evaluation 81
A partial evaluation methodology for optimizing rewrite theories incrementally 69
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 64
Safety enforcement via programmable strategies in Maude 63
Modeling and Analyzing Reaction Systems in Maude 54
Optimizing Maude Programs via Program Specialization 51
null 3
Totale 8.524
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.786
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 29.786
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022361 0 0 0 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/2027545 43 144 206 152 0 0 0 0 0 0 0 0
Totale 8.524