IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.003
AS - Asia 1.536
EU - Europa 1.051
SA - Sud America 223
AF - Africa 38
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.853
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.936
SG - Singapore 711
CN - Cina 361
UA - Ucraina 299
BR - Brasile 179
DE - Germania 144
HK - Hong Kong 141
IT - Italia 129
FI - Finlandia 117
KR - Corea 81
RU - Federazione Russa 79
FR - Francia 66
VN - Vietnam 64
IE - Irlanda 60
CA - Canada 46
ES - Italia 42
SE - Svezia 42
GB - Regno Unito 37
TR - Turchia 34
IN - India 33
BD - Bangladesh 32
AR - Argentina 17
IQ - Iraq 17
BE - Belgio 12
ZA - Sudafrica 11
JP - Giappone 10
CO - Colombia 9
ID - Indonesia 7
VE - Venezuela 7
MX - Messico 6
PK - Pakistan 6
TG - Togo 5
AT - Austria 4
IL - Israele 4
KE - Kenya 4
MA - Marocco 4
PL - Polonia 4
RO - Romania 4
UZ - Uzbekistan 4
CM - Camerun 3
EC - Ecuador 3
JO - Giordania 3
KZ - Kazakistan 3
MY - Malesia 3
OM - Oman 3
PH - Filippine 3
SA - Arabia Saudita 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
BY - Bielorussia 2
CL - Cile 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
EU - Europa 2
JM - Giamaica 2
LA - Repubblica Popolare Democratica del Laos 2
NP - Nepal 2
PE - Perù 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
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 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
NI - Nicaragua 1
NL - Olanda 1
PS - Palestinian Territory 1
PY - Paraguay 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TW - Taiwan 1
UY - Uruguay 1
ZM - Zambia 1
Totale 7.853
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Ashburn 468
Houston 454
Ann Arbor 412
Singapore 260
Seattle 223
Jacksonville 222
Wilmington 219
San Jose 214
Cambridge 170
Beijing 155
Chandler 142
Dearborn 139
Hong Kong 138
Seoul 81
Udine 76
Boardman 67
Dublin 60
The Dalles 58
Lauterbourg 55
Princeton 55
Los Angeles 53
Council Bluffs 45
Hefei 33
San Diego 28
Washington 28
Ottawa 27
Dallas 26
Buffalo 24
Izmir 22
Helsinki 21
São Paulo 19
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
Baghdad 8
Kunming 8
Santa Clara 8
Tokyo 8
Dong Ket 7
Montreal 7
Rio de Janeiro 7
Alcorcón 6
Atlanta 6
Johannesburg 6
Manchester 6
Nanchang 6
Phoenix 6
San Francisco 6
Boston 5
Chennai 5
Chicago 5
Dhaka 5
Frankfurt am Main 5
Lomé 5
Madrid 5
Toronto 5
Belo Horizonte 4
Denver 4
Falls Church 4
Ipatinga 4
Mexico City 4
Nuremberg 4
Santos 4
Tashkent 4
Turin 4
Vico Equense 4
Amman 3
Ankara 3
Araguari 3
Brasília 3
Buenos Aires 3
Da Nang 3
Erbil 3
Istanbul 3
Itajaí 3
Jackson 3
Kuala Lumpur 3
Lahore 3
Lappeenranta 3
Louisville 3
Milan 3
Mugla 3
Muscat 3
Ningbo 3
Tel Aviv 3
Tower Hamlets 3
Turku 3
Vienna 3
Totale 5.659
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 194
Static correction of Maude programs with assertions 194
Abstract Correction of First-Order Functional Programs 184
Debugging Maude programs via runtime assertion checking and trace slicing 181
Model-Checking Web Applications with Web-TLR 179
A Fast Algebraic Web Verification Service 177
Correction of Functional Logic Programs 174
A rule-based method to match Software Patterns against UML Models 174
Backward Trace Slicing for Conditional Rewrite Theories 171
A Rewriting-Based Framework for Web Sites Verification 166
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 166
A Semi-Automatic Methodology for Repairing Faulty Web Sites 164
A Minimalist Visual Notation for Design Patterns and Antipatterns 164
An Access Control Language based on Term Rewriting and Description Logic 158
Exploring conditional rewriting logic computations 157
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 156
VERDI: an Automated Tool for Web sites Verification 154
A fold/unfold transformation framework for rewrite theories extended to CCT 150
Fixing Web Sites Using Correction Stategies 147
Combining runtime checking and slicing to improve Maude error diagnosis 147
Assertion-based analysis via slicing with ABETS (system description) 146
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 142
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 142
Quantitative Pathway Logic for Computational Biology 141
Using Conditional Trace Slicing for Improving Maude Programs 141
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 140
Rewriting-based Repairing Strategies for XML Repositories 140
Semantic Verification of Web System Contents 139
Specification and Verification of Web Applications in Rewriting Logic 139
Completeness of Unfolding for Rewriting Logic Theories 139
Inferring Safe Maude Programs with ÁTAME 139
XML Semantic Filtering via Ontology Reasoning 137
An Abstract Generic Framework for Web Site Verification 135
Parametric Exploration of Rewriting Logic Computations 134
Filtering of XML Documents 132
Debugging of Web Applications with Web-TLR 125
A Multiparadigm Automatic Correction Scheme 124
Julienne: a Trace Slicer for Conditional Rewrite Theories 124
Symbolic Analysis of Maude Theories with Narval 124
Imposing assertions in Maude via program transformation 120
Abstract Correction of OBJ-like Programs 115
Automated Verification of Web Sites Using Partial Rewriting 115
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 114
A Rule-based System for Web Sites Verification 112
Transformation and Debugging of Functional Logic Programs 112
GVERDI-R: A Tool for Repairing Faulty Web Sites 107
Rule-based Verification of Web sites 107
Cost-Sensitive Debugging of Declarative Programs 100
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 98
The Web Verification Service WebVerdi-M 93
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 86
Variant-Based Equational Anti-unification 83
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 83
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 82
Symbolic Specialization of Rewriting Logic Theories with Presto 80
ccReact: a rewriting framework for the formal analysis of reaction systems 77
Optimization of rewrite theories by equational partial evaluation 69
A partial evaluation methodology for optimizing rewrite theories incrementally 58
Safety enforcement via programmable strategies in Maude 56
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 53
Optimizing Maude Programs via Program Specialization 44
Modeling and Analyzing Reaction Systems in Maude 41
null 3
Totale 7.948
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.917
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 26.917
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202144 0 0 0 0 0 0 0 0 0 0 0 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/20261.802 114 159 160 177 223 135 262 71 129 193 150 29
Totale 7.948