IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.519
AS - Asia 1.236
EU - Europa 944
SA - Sud America 175
AF - Africa 21
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.897
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.464
SG - Singapore 583
CN - Cina 309
UA - Ucraina 297
BR - Brasile 156
DE - Germania 138
HK - Hong Kong 136
IT - Italia 120
FI - Finlandia 104
KR - Corea 81
RU - Federazione Russa 76
IE - Irlanda 60
ES - Italia 42
SE - Svezia 42
CA - Canada 40
GB - Regno Unito 31
VN - Vietnam 31
TR - Turchia 30
IN - India 17
AR - Argentina 12
BE - Belgio 12
IQ - Iraq 12
BD - Bangladesh 9
FR - Francia 8
JP - Giappone 6
MX - Messico 6
ZA - Sudafrica 6
AT - Austria 3
CM - Camerun 3
CO - Colombia 3
IL - Israele 3
MA - Marocco 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
MY - Malesia 2
NP - Nepal 2
OM - Oman 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
MZ - Mozambico 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
UY - Uruguay 1
ZM - Zambia 1
Totale 6.897
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Houston 454
Ashburn 441
Ann Arbor 412
Jacksonville 221
Seattle 221
Wilmington 219
Singapore 215
Cambridge 170
Beijing 155
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
São Paulo 14
Brussels 12
New York 12
Valencia 12
Des Moines 11
Norwalk 11
Mumbai 9
Nanjing 9
The Dalles 9
Hanoi 8
Helsinki 8
Kunming 8
Dong Ket 7
Ho Chi Minh City 7
Alcorcón 6
Nanchang 6
Baghdad 5
Boston 5
Madrid 5
Montreal 5
Phoenix 5
Rio de Janeiro 5
San Francisco 5
Belo Horizonte 4
Denver 4
Falls Church 4
Manchester 4
Mexico City 4
Nuremberg 4
Santa Clara 4
Tokyo 4
Toronto 4
Vico Equense 4
Araguari 3
Atlanta 3
Brasília 3
Buenos Aires 3
Chennai 3
Chicago 3
Council Bluffs 3
Ipatinga 3
Itajaí 3
Johannesburg 3
Lappeenranta 3
Lomé 3
Milan 3
Mugla 3
Ningbo 3
Santos 3
Tower Hamlets 3
Turin 3
Turku 3
Warsaw 3
Andover 2
Ankara 2
Antakya 2
Barra Mansa 2
Brescia 2
Bắc Giang 2
Campinas 2
Charenton-le-Pont 2
Chengdu 2
Chongqing 2
Curitiba 2
Dhaka 2
Erbil 2
Guarulhos 2
Indiana 2
Jakarta 2
Jinan 2
Totale 5.109
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 180
Static correction of Maude programs with assertions 177
Abstract Correction of First-Order Functional Programs 166
Correction of Functional Logic Programs 163
A Fast Algebraic Web Verification Service 163
Debugging Maude programs via runtime assertion checking and trace slicing 158
Backward Trace Slicing for Conditional Rewrite Theories 154
A rule-based method to match Software Patterns against UML Models 153
Model-Checking Web Applications with Web-TLR 152
A Rewriting-Based Framework for Web Sites Verification 148
An Access Control Language based on Term Rewriting and Description Logic 147
A Minimalist Visual Notation for Design Patterns and Antipatterns 146
A Semi-Automatic Methodology for Repairing Faulty Web Sites 144
VERDI: an Automated Tool for Web sites Verification 142
Exploring conditional rewriting logic computations 141
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 137
A fold/unfold transformation framework for rewrite theories extended to CCT 136
Quantitative Pathway Logic for Computational Biology 135
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 135
Fixing Web Sites Using Correction Stategies 134
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 133
Semantic Verification of Web System Contents 130
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 130
Using Conditional Trace Slicing for Improving Maude Programs 130
Rewriting-based Repairing Strategies for XML Repositories 130
Completeness of Unfolding for Rewriting Logic Theories 129
Combining runtime checking and slicing to improve Maude error diagnosis 129
Assertion-based analysis via slicing with ABETS (system description) 129
XML Semantic Filtering via Ontology Reasoning 125
Filtering of XML Documents 123
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 122
Inferring Safe Maude Programs with ÁTAME 120
An Abstract Generic Framework for Web Site Verification 119
Parametric Exploration of Rewriting Logic Computations 118
Specification and Verification of Web Applications in Rewriting Logic 115
Imposing assertions in Maude via program transformation 111
Julienne: a Trace Slicer for Conditional Rewrite Theories 108
A Multiparadigm Automatic Correction Scheme 105
Debugging of Web Applications with Web-TLR 105
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 103
Symbolic Analysis of Maude Theories with Narval 102
Abstract Correction of OBJ-like Programs 100
A Rule-based System for Web Sites Verification 97
Automated Verification of Web Sites Using Partial Rewriting 97
Transformation and Debugging of Functional Logic Programs 96
GVERDI-R: A Tool for Repairing Faulty Web Sites 95
Rule-based Verification of Web sites 95
Cost-Sensitive Debugging of Declarative Programs 93
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 86
The Web Verification Service WebVerdi-M 83
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 75
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 74
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 71
Variant-Based Equational Anti-unification 62
Symbolic Specialization of Rewriting Logic Theories with Presto 59
Optimization of rewrite theories by equational partial evaluation 50
A partial evaluation methodology for optimizing rewrite theories incrementally 45
Safety enforcement via programmable strategies in Maude 44
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 37
ccReact: a rewriting framework for the formal analysis of reaction systems 36
Optimizing Maude Programs via Program Specialization 35
Modeling and Analyzing Reaction Systems in Maude 32
null 3
Totale 6.992
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.231
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 24.231
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021515 0 0 0 0 0 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/2026846 114 159 160 177 223 13 0 0 0 0 0 0
Totale 6.992