IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.803
AS - Asia 1.232
EU - Europa 966
SA - Sud America 161
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 30
OC - Oceania 1
Totale 6.224
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.710
SG - Singapore 559
CN - Cina 292
UA - Ucraina 259
DE - Germania 147
BR - Brasile 124
HK - Hong Kong 124
IT - Italia 117
FI - Finlandia 97
SE - Svezia 77
RU - Federazione Russa 76
CA - Canada 73
IN - India 59
FR - Francia 58
VN - Vietnam 56
GB - Regno Unito 49
IE - Irlanda 41
TR - Turchia 33
KR - Corea 29
BD - Bangladesh 17
BE - Belgio 15
AR - Argentina 11
IQ - Iraq 11
SA - Arabia Saudita 11
MX - Messico 8
JP - Giappone 7
PL - Polonia 7
CL - Cile 5
CO - Colombia 5
CZ - Repubblica Ceca 5
EC - Ecuador 5
PK - Pakistan 5
CH - Svizzera 4
CR - Costa Rica 4
ES - Italia 4
ID - Indonesia 4
JO - Giordania 4
MA - Marocco 4
PY - Paraguay 4
UZ - Uzbekistan 4
ZA - Sudafrica 4
CW - ???statistics.table.value.countryCode.CW??? 3
ET - Etiopia 3
PH - Filippine 3
TN - Tunisia 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
BY - Bielorussia 2
EG - Egitto 2
HN - Honduras 2
IL - Israele 2
KE - Kenya 2
MY - Malesia 2
PE - Perù 2
RE - Reunion 2
SV - El Salvador 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
AU - Australia 1
BG - Bulgaria 1
BJ - Benin 1
BO - Bolivia 1
DZ - Algeria 1
GM - Gambi 1
GN - Guinea 1
HR - Croazia 1
IR - Iran 1
JM - Giamaica 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LY - Libia 1
MN - Mongolia 1
MT - Malta 1
MV - Maldive 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PR - Porto Rico 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SC - Seychelles 1
SN - Senegal 1
TG - Togo 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
TZ - Tanzania 1
UY - Uruguay 1
ZW - Zimbabwe 1
Totale 6.197
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 283
Chandler 257
Singapore 235
Ashburn 210
Jacksonville 186
Seattle 137
Wilmington 130
Beijing 128
San Jose 128
Hong Kong 121
Cambridge 115
Dearborn 109
Council Bluffs 94
Ottawa 52
Boardman 48
Lauterbourg 43
Princeton 42
Dublin 41
Mumbai 41
Udine 37
Los Angeles 33
Seoul 27
Hefei 26
Izmir 26
Staranzano 26
Buffalo 25
Dallas 25
Des Moines 20
Frankfurt am Main 20
San Diego 19
The Dalles 17
Trieste 16
Brussels 15
Hanoi 14
Ho Chi Minh City 11
Munich 11
New York 11
São Paulo 11
Redondo Beach 10
Helsinki 8
Milan 8
Tokyo 7
Turku 7
Chicago 6
Ogden 6
Suzhou 6
Toronto 6
Warsaw 6
Baghdad 5
Da Nang 5
Jinan 5
Kunming 5
Norwalk 5
Nuremberg 5
Phoenix 5
Prague 5
Riyadh 5
Santa Clara 5
Tianjin 5
Brooklyn 4
Dhaka 4
Falls Church 4
Guangzhou 4
Nanjing 4
Naples 4
Rio de Janeiro 4
Zurich 4
Addis Ababa 3
Alajuela 3
Amman 3
Atlanta 3
Boston 3
Changsha 3
Chongqing 3
Denver 3
Haiphong 3
Lahore 3
Mugla 3
Orem 3
Philadelphia 3
Poplar 3
Rome 3
Santiago 3
Tower Hamlets 3
Washington 3
Willemstad 3
Yinchuan 3
Ahmedabad 2
Asunción 2
Belford Roxo 2
Cape Town 2
Caxias do Sul 2
Charlotte 2
Chennai 2
Chittagong 2
Dammam 2
Detroit 2
Totale 4.303
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 243
A program analysis framework for tccp based on abstract interpretation 192
A theory of observables for logic programs 191
Abstract diagnosis for TCCP using a linear temporal logic 190
Compositionality of SLD-derivations and their abstractions 189
Abstract Debugging of Logic Programs 186
A rule-based method to match Software Patterns against UML Models 184
A Minimalist Visual Notation for Design Patterns and Antipatterns 184
Abstract Diagnosis of Functional Programs 181
Automatic Synthesis of Specifications for First Order Curry Programs 179
Compositionality properties of SLD-derivations 178
Abstract diagnosis for timed concurrent constraint programs 177
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 172
Declarative Diagnosis Revisited 170
Abstract Diagnosis of First Order Functional Logic Programs 169
How to Transform an Analyzer into a Verifier 159
A compact fixpoint semantics for term rewriting systems 159
Automatic Inference of Term Equivalence in Term Rewriting Systems 159
Logic programs as specifications in the inductive verification of logic programs 153
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 149
Proving properties of Logic Programs by Abstract Diagnosis 145
Assertion based Inductive Verification Methods for Logic Programs 143
Beyond the s-Semantics: a Theory of Observables 141
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 139
On the Abstract Diagnosis of Logic Programs 133
A Debugging Scheme for Functional Programs 132
The AND-compositionality of CLP Computed Answer Constraints 130
Abstract interpretation based verification of logic programs 130
How to Transform an Analyzer into a Verifier 127
An Algebraic Theory of Observables 124
Abstract diagnosis 123
Diagnosis of CHIP Programs Using Type Information 122
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 122
Modular Abstract Diagnosis 113
Towards an Effective Decision Procedure for LTL formulas with Constraints 111
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 110
A Methodology for UML Models V&V 107
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 96
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 90
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 87
Checking UML Model Consistency 85
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 78
Static Verification of UML Model Consistency 72
Totale 6.224
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.176
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 21.176
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022244 0 0 0 23 3 16 20 10 3 64 53 52
2022/2023517 51 57 11 91 39 127 0 37 68 4 24 8
2023/2024105 21 14 4 1 6 15 1 21 11 3 6 2
2024/2025716 14 48 17 15 45 28 69 39 45 28 148 220
2025/20261.224 29 219 113 105 141 104 165 43 86 100 63 56
2026/2027327 19 83 104 121 0 0 0 0 0 0 0 0
Totale 6.224