IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.373
EU - Europa 920
AS - Asia 691
SA - Sud America 99
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.098
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.324
UA - Ucraina 297
SG - Singapore 284
CN - Cina 174
DE - Germania 137
HK - Hong Kong 133
IT - Italia 117
FI - Finlandia 102
BR - Brasile 91
RU - Federazione Russa 72
IE - Irlanda 60
SE - Svezia 41
ES - Italia 40
CA - Canada 36
KR - Corea 31
TR - Turchia 29
GB - Regno Unito 28
BE - Belgio 12
VN - Vietnam 11
IQ - Iraq 7
AR - Argentina 6
FR - Francia 5
IN - India 4
MX - Messico 4
CM - Camerun 3
JP - Giappone 3
TG - Togo 3
TT - Trinidad e Tobago 3
ZA - Sudafrica 3
AT - Austria 2
BD - Bangladesh 2
BY - Bielorussia 2
CR - Costa Rica 2
EU - Europa 2
IL - Israele 2
MA - Marocco 2
PL - Polonia 2
RO - Romania 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
CO - Colombia 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GR - Grecia 1
HN - Honduras 1
ID - Indonesia 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
LC - Santa Lucia 1
MY - Malesia 1
PK - Pakistan 1
PY - Paraguay 1
TN - Tunisia 1
TW - Taiwan 1
Totale 6.098
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Houston 454
Ashburn 417
Ann Arbor 412
Jacksonville 221
Seattle 221
Wilmington 219
Cambridge 170
Singapore 145
Chandler 142
Dearborn 139
Hong Kong 133
Beijing 81
Udine 75
Boardman 65
Dublin 60
Princeton 55
Hefei 33
Seoul 31
San Diego 28
Washington 28
Ottawa 27
Izmir 22
Los Angeles 17
Munich 17
Ogden 14
Brussels 12
New York 12
Valencia 12
Des Moines 11
Norwalk 11
Nanjing 9
Helsinki 8
Kunming 8
Dallas 7
Dong Ket 7
Alcorcón 6
Nanchang 6
Madrid 5
San Francisco 5
São Paulo 5
Falls Church 4
Nuremberg 4
Toronto 4
Vico Equense 4
Baghdad 3
Belo Horizonte 3
Boston 3
Brasília 3
Council Bluffs 3
Hanoi 3
Itajaí 3
Lomé 3
Manchester 3
Mexico City 3
Milan 3
Montreal 3
Mugla 3
Ningbo 3
Phoenix 3
Santa Clara 3
Tower Hamlets 3
Turku 3
Andover 2
Ankara 2
Atlanta 2
Brescia 2
Buenos Aires 2
Chicago 2
Chongqing 2
Indiana 2
Ipatinga 2
Jinan 2
Karlsruhe 2
London 2
Mapello 2
Porcia 2
Quzhou 2
Redwood City 2
Ribeirão Preto 2
Rio de Janeiro 2
Tashkent 2
Tel Aviv 2
Trieste 2
Várzea Paulista 2
Warsaw 2
Wuhan 2
Addis Ababa 1
Amman 1
Andradina 1
Angra dos Reis 1
Antakya 1
Apicum-Açu 1
Apodi 1
Araguari 1
Araraquara 1
Arima 1
Asunción 1
Baltimore 1
Totale 4.732
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 168
Static correction of Maude programs with assertions 165
A Fast Algebraic Web Verification Service 152
Abstract Correction of First-Order Functional Programs 152
Correction of Functional Logic Programs 146
Backward Trace Slicing for Conditional Rewrite Theories 144
Debugging Maude programs via runtime assertion checking and trace slicing 142
Model-Checking Web Applications with Web-TLR 140
An Access Control Language based on Term Rewriting and Description Logic 140
A rule-based method to match Software Patterns against UML Models 139
A Rewriting-Based Framework for Web Sites Verification 137
A Semi-Automatic Methodology for Repairing Faulty Web Sites 132
A Minimalist Visual Notation for Design Patterns and Antipatterns 130
Exploring conditional rewriting logic computations 127
VERDI: an Automated Tool for Web sites Verification 126
A fold/unfold transformation framework for rewrite theories extended to CCT 126
Quantitative Pathway Logic for Computational Biology 125
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 125
Fixing Web Sites Using Correction Stategies 121
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 121
Rewriting-based Repairing Strategies for XML Repositories 121
Completeness of Unfolding for Rewriting Logic Theories 120
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 120
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 120
Using Conditional Trace Slicing for Improving Maude Programs 119
Combining runtime checking and slicing to improve Maude error diagnosis 118
Semantic Verification of Web System Contents 117
XML Semantic Filtering via Ontology Reasoning 115
Assertion-based analysis via slicing with ABETS (system description) 114
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 112
Filtering of XML Documents 112
Parametric Exploration of Rewriting Logic Computations 111
Inferring Safe Maude Programs with ÁTAME 106
An Abstract Generic Framework for Web Site Verification 105
Specification and Verification of Web Applications in Rewriting Logic 103
Debugging of Web Applications with Web-TLR 96
Julienne: a Trace Slicer for Conditional Rewrite Theories 96
Imposing assertions in Maude via program transformation 92
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 91
A Multiparadigm Automatic Correction Scheme 89
Symbolic Analysis of Maude Theories with Narval 89
A Rule-based System for Web Sites Verification 88
Transformation and Debugging of Functional Logic Programs 88
Abstract Correction of OBJ-like Programs 85
Rule-based Verification of Web sites 85
Automated Verification of Web Sites Using Partial Rewriting 84
GVERDI-R: A Tool for Repairing Faulty Web Sites 79
Cost-Sensitive Debugging of Declarative Programs 77
The Web Verification Service WebVerdi-M 70
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 65
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 65
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 63
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 62
Variant-Based Equational Anti-unification 48
Symbolic Specialization of Rewriting Logic Theories with Presto 47
Safety enforcement via programmable strategies in Maude 30
A partial evaluation methodology for optimizing rewrite theories incrementally 29
Optimization of rewrite theories by equational partial evaluation 29
Optimizing Maude Programs via Program Specialization 21
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 18
ccReact: a rewriting framework for the formal analysis of reaction systems 17
Modeling and Analyzing Reaction Systems in Maude 16
null 3
Totale 6.193
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.331
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 20.331
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021800 20 87 32 97 49 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/202647 47 0 0 0 0 0 0 0 0 0 0 0
Totale 6.193