IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.282
EU - Europa 875
AS - Asia 222
AF - Africa 6
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.390
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.252
UA - Ucraina 297
DE - Germania 120
IT - Italia 115
CN - Cina 104
FI - Finlandia 99
SG - Singapore 80
RU - Federazione Russa 67
IE - Irlanda 60
SE - Svezia 41
ES - Italia 35
CA - Canada 30
TR - Turchia 24
GB - Regno Unito 22
BE - Belgio 12
VN - Vietnam 7
FR - Francia 4
BR - Brasile 3
CM - Camerun 3
JP - Giappone 3
TG - Togo 3
EU - Europa 2
RO - Romania 2
AT - Austria 1
HK - Hong Kong 1
IL - Israele 1
IN - India 1
TW - Taiwan 1
Totale 5.390
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Houston 453
Ashburn 415
Ann Arbor 412
Jacksonville 221
Seattle 221
Wilmington 219
Cambridge 170
Chandler 142
Dearborn 139
Udine 75
Boardman 65
Dublin 60
Princeton 55
Singapore 48
Beijing 41
San Diego 28
Ottawa 27
Washington 27
Izmir 21
Ogden 14
Brussels 12
Valencia 12
Des Moines 11
Norwalk 10
Los Angeles 9
Nanjing 9
New York 9
Hefei 8
Helsinki 8
Kunming 8
Dallas 7
Dong Ket 7
Alcorcón 6
Nanchang 6
Falls Church 4
Vico Equense 4
Council Bluffs 3
Lomé 3
Mugla 3
Ningbo 3
Nuremberg 3
Toronto 3
Tower Hamlets 3
Andover 2
Brasília 2
Brescia 2
Chongqing 2
Indiana 2
Jinan 2
Karlsruhe 2
Manchester 2
Mapello 2
Milan 2
Munich 2
Porcia 2
Quzhou 2
Redwood City 2
Santa Clara 2
Trieste 2
Wuhan 2
Baotou 1
Campinas 1
Chengdu 1
Clifton 1
Fuzhou 1
Gradisca 1
Grafing 1
Guangzhou 1
Hamburg 1
Hong Kong 1
Horia 1
Huzhou 1
Hwang Chow 1
Hyderabad 1
Jiaozuo 1
Jiaxing 1
Lappeenranta 1
London 1
Madrid 1
Pavlograd 1
Phoenix 1
Portsmouth 1
Poughkeepsie 1
Rodgau 1
Saint Petersburg 1
San Francisco 1
San Mateo 1
San Michele al Tagliamento 1
San Zeno Di Montagna 1
Shenyang 1
Taipei 1
Tel Aviv 1
Timisoara 1
Tokyo 1
Venezia 1
Vienna 1
Xiamen 1
Xian 1
Totale 4.328
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 159
Static correction of Maude programs with assertions 153
Abstract Correction of First-Order Functional Programs 146
A Fast Algebraic Web Verification Service 144
Correction of Functional Logic Programs 134
Debugging Maude programs via runtime assertion checking and trace slicing 133
Backward Trace Slicing for Conditional Rewrite Theories 132
An Access Control Language based on Term Rewriting and Description Logic 131
A rule-based method to match Software Patterns against UML Models 129
Model-Checking Web Applications with Web-TLR 127
A Rewriting-Based Framework for Web Sites Verification 125
A Semi-Automatic Methodology for Repairing Faulty Web Sites 120
A Minimalist Visual Notation for Design Patterns and Antipatterns 120
Exploring conditional rewriting logic computations 120
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 116
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 116
VERDI: an Automated Tool for Web sites Verification 113
Quantitative Pathway Logic for Computational Biology 113
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 111
Using Conditional Trace Slicing for Improving Maude Programs 110
Completeness of Unfolding for Rewriting Logic Theories 109
Rewriting-based Repairing Strategies for XML Repositories 109
Fixing Web Sites Using Correction Stategies 108
A fold/unfold transformation framework for rewrite theories extended to CCT 108
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 108
Combining runtime checking and slicing to improve Maude error diagnosis 107
Assertion-based analysis via slicing with ABETS (system description) 106
Semantic Verification of Web System Contents 105
Filtering of XML Documents 104
XML Semantic Filtering via Ontology Reasoning 102
Parametric Exploration of Rewriting Logic Computations 102
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 100
An Abstract Generic Framework for Web Site Verification 97
Inferring Safe Maude Programs with ÁTAME 95
Specification and Verification of Web Applications in Rewriting Logic 94
Debugging of Web Applications with Web-TLR 86
Julienne: a Trace Slicer for Conditional Rewrite Theories 85
A Multiparadigm Automatic Correction Scheme 82
Imposing assertions in Maude via program transformation 79
A Rule-based System for Web Sites Verification 78
Transformation and Debugging of Functional Logic Programs 78
Symbolic Analysis of Maude Theories with Narval 78
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 77
Automated Verification of Web Sites Using Partial Rewriting 75
Rule-based Verification of Web sites 73
Cost-Sensitive Debugging of Declarative Programs 69
GVERDI-R: A Tool for Repairing Faulty Web Sites 67
Abstract Correction of OBJ-like Programs 65
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 58
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 58
The Web Verification Service WebVerdi-M 57
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 49
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 48
Symbolic Specialization of Rewriting Logic Theories with Presto 23
Variant-Based Equational Anti-unification 21
Optimization of rewrite theories by equational partial evaluation 18
A partial evaluation methodology for optimizing rewrite theories incrementally 14
Safety enforcement via programmable strategies in Maude 14
Optimizing Maude Programs via Program Specialization 9
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 7
Modeling and Analyzing Reaction Systems in Maude 5
null 3
Totale 5.482
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.461
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 17.461
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020692 0 0 0 0 0 0 171 166 124 98 33 100
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/2025273 16 73 28 11 25 56 64 0 0 0 0 0
Totale 5.482