BALLIS, Demis
 Distribuzione geografica
Continente #
NA - Nord America 4.287
EU - Europa 880
AS - Asia 317
SA - Sud America 45
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.540
Nazione #
US - Stati Uniti d'America 4.257
UA - Ucraina 297
SG - Singapore 163
DE - Germania 122
IT - Italia 116
CN - Cina 104
FI - Finlandia 99
RU - Federazione Russa 68
IE - Irlanda 60
BR - Brasile 42
SE - Svezia 41
ES - Italia 35
CA - Canada 30
TR - Turchia 25
GB - Regno Unito 22
BE - Belgio 12
VN - Vietnam 7
FR - Francia 4
AR - Argentina 3
CM - Camerun 3
IQ - Iraq 3
JP - Giappone 3
TG - Togo 3
EU - Europa 2
MA - Marocco 2
RO - Romania 2
AT - Austria 1
BD - Bangladesh 1
GR - Grecia 1
HK - Hong Kong 1
ID - Indonesia 1
IL - Israele 1
IN - India 1
JO - Giordania 1
KH - Cambogia 1
KW - Kuwait 1
KZ - Kazakistan 1
MY - Malesia 1
TN - Tunisia 1
TW - Taiwan 1
UZ - Uzbekistan 1
Totale 5.540
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 55
Beijing 41
San Diego 28
Ottawa 27
Washington 27
Izmir 21
Ogden 14
Brussels 12
Valencia 12
Des Moines 11
Los Angeles 11
Norwalk 10
Nanjing 9
New York 9
Hefei 8
Helsinki 8
Kunming 8
Dallas 7
Dong Ket 7
Alcorcón 6
Nanchang 6
Falls Church 4
Nuremberg 4
Vico Equense 4
Council Bluffs 3
Lomé 3
Milan 3
Mugla 3
Ningbo 3
Toronto 3
Tower Hamlets 3
Andover 2
Baghdad 2
Brasília 2
Brescia 2
Chongqing 2
Indiana 2
Itajaí 2
Jinan 2
Karlsruhe 2
Manchester 2
Mapello 2
Munich 2
Porcia 2
Quzhou 2
Redwood City 2
Santa Clara 2
Trieste 2
Várzea Paulista 2
Wuhan 2
Amman 1
Andradina 1
Ankara 1
Apicum-Açu 1
Baotou 1
Bariri 1
Belo Horizonte 1
Betim 1
Bonito 1
Cambará 1
Campinas 1
Carlos Casares 1
Casablanca 1
Chengdu 1
Clifton 1
Conceição do Rio Verde 1
Conselheiro Pena 1
Contagem 1
Curitiba 1
Dhaka 1
Falkenstein 1
Fuzhou 1
Gradisca 1
Grafing 1
Guangzhou 1
Guarulhos 1
Hamburg 1
Hong Kong 1
Horia 1
Huzhou 1
Hwang Chow 1
Hyderabad 1
Ipatinga 1
Jaboatão dos Guararapes 1
Jakarta 1
Totale 4.342
Nome #
Backward Trace Slicing for Rewriting Logic Theories 159
Static correction of Maude programs with assertions 156
Abstract Correction of First-Order Functional Programs 146
A Fast Algebraic Web Verification Service 144
Correction of Functional Logic Programs 137
Debugging Maude programs via runtime assertion checking and trace slicing 136
Model-Checking Web Applications with Web-TLR 134
Backward Trace Slicing for Conditional Rewrite Theories 133
An Access Control Language based on Term Rewriting and Description Logic 132
A rule-based method to match Software Patterns against UML Models 129
A Rewriting-Based Framework for Web Sites Verification 126
Exploring conditional rewriting logic computations 123
A Semi-Automatic Methodology for Repairing Faulty Web Sites 121
A Minimalist Visual Notation for Design Patterns and Antipatterns 121
A Rewriting Logic Approach to the Formal Specification and Verification of Web Applications 117
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 116
VERDI: an Automated Tool for Web sites Verification 115
Quantitative Pathway Logic for Computational Biology 115
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) 114
Completeness of Unfolding for Rewriting Logic Theories 112
Using Conditional Trace Slicing for Improving Maude Programs 112
Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne 111
Rewriting-based Repairing Strategies for XML Repositories 111
Fixing Web Sites Using Correction Stategies 109
Combining runtime checking and slicing to improve Maude error diagnosis 109
A fold/unfold transformation framework for rewrite theories extended to CCT 108
Assertion-based analysis via slicing with ABETS (system description) 108
Semantic Verification of Web System Contents 107
Filtering of XML Documents 106
Parametric Exploration of Rewriting Logic Computations 105
XML Semantic Filtering via Ontology Reasoning 104
PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents 103
Inferring Safe Maude Programs with ÁTAME 100
An Abstract Generic Framework for Web Site Verification 97
Specification and Verification of Web Applications in Rewriting Logic 95
Julienne: a Trace Slicer for Conditional Rewrite Theories 89
Debugging of Web Applications with Web-TLR 87
Imposing assertions in Maude via program transformation 84
Symbolic Analysis of Maude Theories with Narval 83
A Multiparadigm Automatic Correction Scheme 82
Transformation and Debugging of Functional Logic Programs 82
$$ extsf ACUOS^mathbf 2$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance 79
A Rule-based System for Web Sites Verification 78
Automated Verification of Web Sites Using Partial Rewriting 76
Rule-based Verification of Web sites 76
Abstract Correction of OBJ-like Programs 73
Cost-Sensitive Debugging of Declarative Programs 71
GVERDI-R: A Tool for Repairing Faulty Web Sites 69
The Web Verification Service WebVerdi-M 60
Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems 60
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System 60
Proc. of 3rd Int'l Workshop on Automated Specification and Verification of Web Sites 53
Proc. of 4th Int'l Workshop on Automated Specification and Verification of Web Sites 51
Variant-Based Equational Anti-unification 28
Symbolic Specialization of Rewriting Logic Theories with Presto 26
Optimization of rewrite theories by equational partial evaluation 22
Safety enforcement via programmable strategies in Maude 17
A partial evaluation methodology for optimizing rewrite theories incrementally 16
Optimizing Maude Programs via Program Specialization 12
ccReact: a rewriting framework for the formal analysis of reaction systems 10
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 10
Modeling and Analyzing Reaction Systems in Maude 7
null 3
Totale 5.635
Categoria #
all - tutte 18.812
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 18.812


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020231 0 0 0 0 0 0 0 0 0 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/2025426 16 73 28 11 25 56 67 39 105 6 0 0
Totale 5.635