IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.205
EU - Europa 798
AS - Asia 140
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 5.153
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.175
UA - Ucraina 297
DE - Germania 117
IT - Italia 113
FI - Finlandia 98
CN - Cina 95
IE - Irlanda 60
SE - Svezia 41
CA - Canada 30
ES - Italia 28
TR - Turchia 24
GB - Regno Unito 22
BE - Belgio 12
SG - Singapore 8
VN - Vietnam 7
FR - Francia 4
RU - Federazione Russa 4
CM - Camerun 3
JP - Giappone 3
TG - Togo 3
BR - Brasile 2
EU - Europa 2
RO - Romania 2
IL - Israele 1
IN - India 1
TW - Taiwan 1
Totale 5.153
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Houston 453
Ashburn 414
Ann Arbor 412
Jacksonville 221
Seattle 221
Wilmington 219
Cambridge 170
Chandler 142
Dearborn 139
Udine 74
Dublin 60
Princeton 55
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
Dong Ket 7
Nanchang 6
Boardman 5
Falls Church 4
Vico Equense 4
Lomé 3
Mugla 3
Ningbo 3
Singapore 3
Toronto 3
Tower Hamlets 3
Andover 2
Brasília 2
Brescia 2
Indiana 2
Jinan 2
Karlsruhe 2
Manchester 2
Mapello 2
Milan 2
Nuremberg 2
Porcia 2
Quzhou 2
Redwood City 2
Santa Clara 2
Trieste 2
Wuhan 2
Baotou 1
Chengdu 1
Chongqing 1
Clifton 1
Dallas 1
Fuzhou 1
Gradisca 1
Grafing 1
Guangzhou 1
Hamburg 1
Horia 1
Huzhou 1
Hyderabad 1
Jiaxing 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 Zeno Di Montagna 1
Shenyang 1
Taipei 1
Tel Aviv 1
Timisoara 1
Tokyo 1
Venezia 1
Xian 1
Totale 4.194
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 153
Static correction of Maude programs with assertions 152
Abstract Correction of First-Order Functional Programs 140
A Fast Algebraic Web Verification Service 139
Correction of Functional Logic Programs 130
Debugging Maude programs via runtime assertion checking and trace slicing 130
Backward Trace Slicing for Conditional Rewrite Theories 129
Model-Checking Web Applications with Web-TLR 125
An Access Control Language based on Term Rewriting and Description Logic 125
A rule-based method to match Software Patterns against UML Models 122
A Rewriting-Based Framework for Web Sites Verification 118
A Semi-Automatic Methodology for Repairing Faulty Web Sites 116
Exploring conditional rewriting logic computations 116
A Minimalist Visual Notation for Design Patterns and Antipatterns 112
VERDI: an Automated Tool for Web sites Verification 111
Quantitative Pathway Logic for Computational Biology 111
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 110
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 109
Using Conditional Trace Slicing for Improving Maude Programs 109
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 109
Completeness of Unfolding for Rewriting Logic Theories 107
Rewriting-based Repairing Strategies for XML Repositories 107
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 105
Fixing Web Sites Using Correction Stategies 104
Combining runtime checking and slicing to improve Maude error diagnosis 104
Semantic Verification of Web System Contents 102
Filtering of XML Documents 101
A fold/unfold transformation framework for rewrite theories extended to CCT 100
XML Semantic Filtering via Ontology Reasoning 99
Parametric Exploration of Rewriting Logic Computations 99
Assertion-based analysis via slicing with ABETS (system description) 98
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 97
An Abstract Generic Framework for Web Site Verification 92
Specification and Verification of Web Applications in Rewriting Logic 92
Inferring Safe Maude Programs with ÁTAME 89
Debugging of Web Applications with Web-TLR 84
Julienne: a Trace Slicer for Conditional Rewrite Theories 81
Imposing assertions in Maude via program transformation 77
Transformation and Debugging of Functional Logic Programs 76
A Multiparadigm Automatic Correction Scheme 74
A Rule-based System for Web Sites Verification 74
Symbolic Analysis of Maude Theories with Narval 73
Rule-based Verification of Web sites 71
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 71
Automated Verification of Web Sites Using Partial Rewriting 70
GVERDI-R: A Tool for Repairing Faulty Web Sites 65
Cost-Sensitive Debugging of Declarative Programs 65
Abstract Correction of OBJ-like Programs 60
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 57
The Web Verification Service WebVerdi-M 55
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 52
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 47
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 46
Variant-Based Equational Anti-unification 17
Symbolic Specialization of Rewriting Logic Theories with Presto 17
Optimization of rewrite theories by equational partial evaluation 12
A partial evaluation methodology for optimizing rewrite theories incrementally 8
null 7
Optimizing Maude Programs via Program Specialization 4
null 3
Totale 5.228
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.905
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 14.905
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.400 0 69 63 225 121 230 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/202519 16 3 0 0 0 0 0 0 0 0 0 0
Totale 5.228