IRIS
BALLIS, Demis
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.346
EU - Europa 895
AS - Asia 423
SA - Sud America 73
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.749
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.306
UA - Ucraina 297
SG - Singapore 232
DE - Germania 124
IT - Italia 117
CN - Cina 104
FI - Finlandia 99
RU - Federazione Russa 70
BR - Brasile 68
IE - Irlanda 60
SE - Svezia 41
ES - Italia 40
CA - Canada 35
KR - Corea 31
TR - Turchia 27
GB - Regno Unito 25
BE - Belgio 12
VN - Vietnam 7
AR - Argentina 4
FR - Francia 4
CM - Camerun 3
IQ - Iraq 3
JP - Giappone 3
MX - Messico 3
TG - Togo 3
BY - Bielorussia 2
EU - Europa 2
IL - Israele 2
IN - India 2
MA - Marocco 2
RO - Romania 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BD - Bangladesh 1
CO - Colombia 1
DO - Repubblica Dominicana 1
GR - Grecia 1
HK - Hong Kong 1
ID - Indonesia 1
JM - Giamaica 1
JO - Giordania 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
MY - Malesia 1
TN - Tunisia 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 5.749
Salva come PNG Salva come JPEG
Città #
Woodbridge 709
Fairfield 543
Houston 454
Ashburn 416
Ann Arbor 412
Jacksonville 221
Seattle 221
Wilmington 219
Cambridge 170
Chandler 142
Dearborn 139
Singapore 121
Udine 75
Boardman 65
Dublin 60
Princeton 55
Beijing 41
Seoul 31
San Diego 28
Ottawa 27
Washington 27
Izmir 21
Los Angeles 16
Ogden 14
Brussels 12
New York 12
Valencia 12
Des Moines 11
Norwalk 10
Nanjing 9
Hefei 8
Helsinki 8
Kunming 8
Dallas 7
Dong Ket 7
Alcorcón 6
Nanchang 6
Madrid 5
San Francisco 5
Falls Church 4
Munich 4
Nuremberg 4
Toronto 4
Vico Equense 4
Boston 3
Brasília 3
Council Bluffs 3
Lomé 3
Manchester 3
Mexico City 3
Milan 3
Montreal 3
Mugla 3
Ningbo 3
Phoenix 3
Santa Clara 3
Tower Hamlets 3
Andover 2
Ankara 2
Atlanta 2
Baghdad 2
Belo Horizonte 2
Brescia 2
Chongqing 2
Indiana 2
Itajaí 2
Jinan 2
Karlsruhe 2
London 2
Mapello 2
Porcia 2
Quzhou 2
Redwood City 2
Tashkent 2
Tel Aviv 2
Trieste 2
Várzea Paulista 2
Wuhan 2
Amman 1
Andradina 1
Apicum-Açu 1
Baotou 1
Bariri 1
Barnaul 1
Betim 1
Bonito 1
Brest 1
Brooklyn 1
Cachoeiras de Macacu 1
Cambará 1
Campinas 1
Carlos Casares 1
Caruaru 1
Casablanca 1
Chengdu 1
Chennai 1
Chicago 1
Cleveland 1
Clifton 1
Conceição do Rio Verde 1
Totale 4.476
Salva come PNG Salva come JPEG
Nome #
Backward Trace Slicing for Rewriting Logic Theories 165
Static correction of Maude programs with assertions 158
Abstract Correction of First-Order Functional Programs 149
A Fast Algebraic Web Verification Service 148
Correction of Functional Logic Programs 141
Backward Trace Slicing for Conditional Rewrite Theories 138
Debugging Maude programs via runtime assertion checking and trace slicing 138
Model-Checking Web Applications with Web-TLR 137
A rule-based method to match Software Patterns against UML Models 134
An Access Control Language based on Term Rewriting and Description Logic 134
A Rewriting-Based Framework for Web Sites Verification 131
A Minimalist Visual Notation for Design Patterns and Antipatterns 126
A Semi-Automatic Methodology for Repairing Faulty Web Sites 124
Exploring conditional rewriting logic computations 124
Quantitative Pathway Logic for Computational Biology 121
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 120
VERDI: an Automated Tool for Web sites Verification 118
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 117
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 116
Completeness of Unfolding for Rewriting Logic Theories 115
Using Conditional Trace Slicing for Improving Maude Programs 115
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 114
Fixing Web Sites Using Correction Stategies 113
Rewriting-based Repairing Strategies for XML Repositories 113
A fold/unfold transformation framework for rewrite theories extended to CCT 112
Combining runtime checking and slicing to improve Maude error diagnosis 112
Semantic Verification of Web System Contents 111
XML Semantic Filtering via Ontology Reasoning 110
Assertion-based analysis via slicing with ABETS (system description) 110
Filtering of XML Documents 108
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 107
Parametric Exploration of Rewriting Logic Computations 107
Inferring Safe Maude Programs with ÁTAME 102
An Abstract Generic Framework for Web Site Verification 101
Specification and Verification of Web Applications in Rewriting Logic 98
Julienne: a Trace Slicer for Conditional Rewrite Theories 91
Debugging of Web Applications with Web-TLR 89
A Multiparadigm Automatic Correction Scheme 86
Imposing assertions in Maude via program transformation 85
Symbolic Analysis of Maude Theories with Narval 85
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 84
Transformation and Debugging of Functional Logic Programs 84
A Rule-based System for Web Sites Verification 83
Automated Verification of Web Sites Using Partial Rewriting 80
Rule-based Verification of Web sites 80
Abstract Correction of OBJ-like Programs 78
GVERDI-R: A Tool for Repairing Faulty Web Sites 73
Cost-Sensitive Debugging of Declarative Programs 72
The Web Verification Service WebVerdi-M 65
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 62
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 61
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 57
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 55
Variant-Based Equational Anti-unification 34
Symbolic Specialization of Rewriting Logic Theories with Presto 32
Optimization of rewrite theories by equational partial evaluation 26
Safety enforcement via programmable strategies in Maude 22
A partial evaluation methodology for optimizing rewrite theories incrementally 20
Optimizing Maude Programs via Program Specialization 14
ccReact: a rewriting framework for the formal analysis of reaction systems 13
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 13
Modeling and Analyzing Reaction Systems in Maude 10
null 3
Totale 5.844
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.411
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 19.411
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020133 0 0 0 0 0 0 0 0 0 0 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/2025635 16 73 28 11 25 56 67 39 105 31 184 0
Totale 5.844