IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.057
AS - Asia 1.540
EU - Europa 1.060
SA - Sud America 227
AF - Africa 38
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.924
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.987
SG - Singapore 711
CN - Cina 362
UA - Ucraina 299
BR - Brasile 181
DE - Germania 144
HK - Hong Kong 141
IT - Italia 133
FI - Finlandia 117
KR - Corea 81
RU - Federazione Russa 79
FR - Francia 67
VN - Vietnam 64
IE - Irlanda 60
CA - Canada 48
ES - Italia 44
SE - Svezia 43
GB - Regno Unito 37
BD - Bangladesh 34
TR - Turchia 34
IN - India 33
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
CL - Cile 4
IL - Israele 4
KE - Kenya 4
MA - Marocco 4
MY - Malesia 4
PL - Polonia 4
RO - Romania 4
UZ - Uzbekistan 4
CM - Camerun 3
EC - Ecuador 3
JO - Giordania 3
KZ - Kazakistan 3
OM - Oman 3
PH - Filippine 3
SA - Arabia Saudita 3
TN - Tunisia 3
TT - Trinidad e Tobago 3
BY - Bielorussia 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
EU - Europa 2
GR - Grecia 2
JM - Giamaica 2
LA - Repubblica Popolare Democratica del Laos 2
NI - Nicaragua 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
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
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.924
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Ashburn 469
Houston 454
Ann Arbor 412
Singapore 260
Seattle 224
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
Ottawa 28
San Diego 28
Washington 28
Dallas 27
Buffalo 24
Izmir 22
Helsinki 21
São Paulo 20
New York 18
Hanoi 17
Ho Chi Minh City 17
Munich 17
Redondo Beach 16
Santa Clara 15
Ogden 14
Brussels 12
Valencia 12
Des Moines 11
Norwalk 11
Mumbai 9
Nanjing 9
Orem 9
Baghdad 8
Kunming 8
Tokyo 8
Dong Ket 7
Montreal 7
Nanchang 7
Rio de Janeiro 7
Alcorcón 6
Atlanta 6
Chicago 6
Dhaka 6
Johannesburg 6
Madrid 6
Manchester 6
Phoenix 6
San Francisco 6
Toronto 6
Boston 5
Brooklyn 5
Chennai 5
Frankfurt am Main 5
Lomé 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
Philadelphia 3
Santiago 3
Tel Aviv 3
Totale 5.678
Salva come PNG Salva come JPEG
Nome #
Static correction of Maude programs with assertions 198
Backward Trace Slicing for Rewriting Logic Theories 195
Abstract Correction of First-Order Functional Programs 184
Debugging Maude programs via runtime assertion checking and trace slicing 183
Model-Checking Web Applications with Web-TLR 179
A Fast Algebraic Web Verification Service 178
Correction of Functional Logic Programs 176
A rule-based method to match Software Patterns against UML Models 176
Backward Trace Slicing for Conditional Rewrite Theories 172
A Rewriting-Based Framework for Web Sites Verification 167
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 158
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 157
VERDI: an Automated Tool for Web sites Verification 155
A fold/unfold transformation framework for rewrite theories extended to CCT 150
Fixing Web Sites Using Correction Stategies 149
Combining runtime checking and slicing to improve Maude error diagnosis 148
Assertion-based analysis via slicing with ABETS (system description) 148
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 143
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 143
Inferring Safe Maude Programs with ÁTAME 142
Quantitative Pathway Logic for Computational Biology 141
Using Conditional Trace Slicing for Improving Maude Programs 141
Rewriting-based Repairing Strategies for XML Repositories 141
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 140
Completeness of Unfolding for Rewriting Logic Theories 140
Semantic Verification of Web System Contents 139
Specification and Verification of Web Applications in Rewriting Logic 139
XML Semantic Filtering via Ontology Reasoning 138
An Abstract Generic Framework for Web Site Verification 136
Parametric Exploration of Rewriting Logic Computations 135
Filtering of XML Documents 134
Debugging of Web Applications with Web-TLR 129
A Multiparadigm Automatic Correction Scheme 127
Symbolic Analysis of Maude Theories with Narval 126
Julienne: a Trace Slicer for Conditional Rewrite Theories 124
Imposing assertions in Maude via program transformation 123
Automated Verification of Web Sites Using Partial Rewriting 116
Abstract Correction of OBJ-like Programs 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 113
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 99
The Web Verification Service WebVerdi-M 93
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 88
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 84
Symbolic Specialization of Rewriting Logic Theories with Presto 84
Variant-Based Equational Anti-unification 83
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 82
ccReact: a rewriting framework for the formal analysis of reaction systems 79
Optimization of rewrite theories by equational partial evaluation 71
A partial evaluation methodology for optimizing rewrite theories incrementally 60
Safety enforcement via programmable strategies in Maude 57
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 54
Modeling and Analyzing Reaction Systems in Maude 46
Optimizing Maude Programs via Program Specialization 46
null 3
Totale 8.019
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.676
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 27.676
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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.833 114 159 160 177 223 135 262 71 129 193 150 60
2026/202740 40 0 0 0 0 0 0 0 0 0 0 0
Totale 8.019