IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.665
AS - Asia 1.230
EU - Europa 913
SA - Sud America 161
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 30
OC - Oceania 1
Totale 6.030
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.591
SG - Singapore 558
CN - Cina 292
UA - Ucraina 259
DE - Germania 134
BR - Brasile 124
HK - Hong Kong 124
FI - Finlandia 97
IT - Italia 84
SE - Svezia 77
RU - Federazione Russa 72
CA - Canada 62
IN - India 59
FR - Francia 58
VN - Vietnam 56
GB - Regno Unito 46
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
JP - Giappone 7
MX - Messico 7
PL - Polonia 7
CL - Cile 5
CO - Colombia 5
CZ - Repubblica Ceca 5
EC - Ecuador 5
PK - Pakistan 5
CH - Svizzera 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
KE - Kenya 2
MY - Malesia 2
PE - Perù 2
RE - Reunion 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
AU - Australia 1
BG - Bulgaria 1
BJ - Benin 1
BO - Bolivia 1
CR - Costa Rica 1
DZ - Algeria 1
GM - Gambi 1
GN - Guinea 1
HR - Croazia 1
IL - Israele 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
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
SN - Senegal 1
TG - Togo 1
TJ - Tagikistan 1
TZ - Tanzania 1
UY - Uruguay 1
ZW - Zimbabwe 1
Totale 6.003
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 283
Chandler 257
Singapore 235
Ashburn 200
Jacksonville 186
Seattle 137
Wilmington 130
Beijing 128
Hong Kong 121
Cambridge 115
Dearborn 109
San Jose 99
Council Bluffs 94
Ottawa 52
Boardman 48
Lauterbourg 43
Princeton 42
Dublin 41
Mumbai 41
Udine 37
Los Angeles 32
Seoul 27
Hefei 26
Izmir 26
Buffalo 23
Dallas 22
Des Moines 20
San Diego 17
The Dalles 17
Trieste 16
Brussels 15
Hanoi 14
Ho Chi Minh City 11
Munich 11
São Paulo 11
New York 10
Redondo Beach 10
Frankfurt am Main 8
Helsinki 8
Milan 8
Tokyo 7
Turku 7
Chicago 6
Ogden 6
Suzhou 6
Warsaw 6
Baghdad 5
Da Nang 5
Jinan 5
Kunming 5
Norwalk 5
Nuremberg 5
Phoenix 5
Prague 5
Riyadh 5
Tianjin 5
Dhaka 4
Falls Church 4
Guangzhou 4
Nanjing 4
Rio de Janeiro 4
Santa Clara 4
Zurich 4
Addis Ababa 3
Amman 3
Atlanta 3
Boston 3
Brooklyn 3
Changsha 3
Chongqing 3
Haiphong 3
Lahore 3
Mugla 3
Orem 3
Philadelphia 3
Poplar 3
Santiago 3
Toronto 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
Chennai 2
Chittagong 2
Dammam 2
Denver 2
Detroit 2
Diadema 2
Dubai 2
Edinburgh 2
Fortaleza 2
Gurugram 2
Totale 4.209
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 237
Compositionality of SLD-derivations and their abstractions 187
A theory of observables for logic programs 184
Abstract diagnosis for TCCP using a linear temporal logic 184
A program analysis framework for tccp based on abstract interpretation 182
Abstract Debugging of Logic Programs 180
A rule-based method to match Software Patterns against UML Models 180
Abstract Diagnosis of Functional Programs 175
Compositionality properties of SLD-derivations 173
Abstract diagnosis for timed concurrent constraint programs 173
Automatic Synthesis of Specifications for First Order Curry Programs 173
A Minimalist Visual Notation for Design Patterns and Antipatterns 170
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 170
Declarative Diagnosis Revisited 166
Abstract Diagnosis of First Order Functional Logic Programs 165
How to Transform an Analyzer into a Verifier 155
Automatic Inference of Term Equivalence in Term Rewriting Systems 155
A compact fixpoint semantics for term rewriting systems 152
Logic programs as specifications in the inductive verification of logic programs 149
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 145
Proving properties of Logic Programs by Abstract Diagnosis 142
Assertion based Inductive Verification Methods for Logic Programs 140
Beyond the s-Semantics: a Theory of Observables 137
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 134
On the Abstract Diagnosis of Logic Programs 130
A Debugging Scheme for Functional Programs 130
The AND-compositionality of CLP Computed Answer Constraints 128
Abstract interpretation based verification of logic programs 124
An Algebraic Theory of Observables 122
How to Transform an Analyzer into a Verifier 122
Diagnosis of CHIP Programs Using Type Information 120
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 118
Abstract diagnosis 116
Modular Abstract Diagnosis 111
A Methodology for UML Models V&V 104
Towards an Effective Decision Procedure for LTL formulas with Constraints 104
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 97
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 94
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 88
Checking UML Model Consistency 84
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 83
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 77
Static Verification of UML Model Consistency 70
Totale 6.030
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.357
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 20.357
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022268 0 0 24 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/2027133 19 83 31 0 0 0 0 0 0 0 0 0
Totale 6.030