IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.570
AS - Asia 1.225
EU - Europa 906
SA - Sud America 154
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 1
Totale 5.888
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.501
SG - Singapore 558
CN - Cina 291
UA - Ucraina 259
DE - Germania 134
HK - Hong Kong 124
BR - Brasile 123
FI - Finlandia 97
IT - Italia 78
SE - Svezia 77
RU - Federazione Russa 72
CA - Canada 60
IN - India 59
FR - Francia 58
VN - Vietnam 56
GB - Regno Unito 45
IE - Irlanda 41
TR - Turchia 33
KR - Corea 29
BD - Bangladesh 16
BE - Belgio 15
AR - Argentina 11
IQ - Iraq 11
SA - Arabia Saudita 10
JP - Giappone 7
MX - Messico 7
PL - Polonia 7
CL - Cile 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
ET - Etiopia 3
PH - Filippine 3
TN - Tunisia 3
AE - Emirati Arabi Uniti 2
BY - Bielorussia 2
CO - Colombia 2
CW - ???statistics.table.value.countryCode.CW??? 2
EG - Egitto 2
KE - Kenya 2
PE - Perù 2
RE - Reunion 2
AL - Albania 1
AO - Angola 1
AU - Australia 1
BG - Bulgaria 1
BJ - Benin 1
DZ - Algeria 1
GM - Gambi 1
GN - Guinea 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LY - Libia 1
MN - Mongolia 1
MT - Malta 1
MV - Maldive 1
MY - Malesia 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
VE - Venezuela 1
ZW - Zimbabwe 1
Totale 5.888
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 283
Chandler 257
Singapore 235
Ashburn 193
Jacksonville 186
Seattle 137
Wilmington 130
Beijing 127
Hong Kong 121
Cambridge 115
Dearborn 109
San Jose 83
Council Bluffs 59
Ottawa 52
Boardman 48
Lauterbourg 43
Princeton 42
Dublin 41
Mumbai 41
Udine 37
Los Angeles 32
Seoul 27
Hefei 26
Izmir 26
Buffalo 22
Dallas 21
Des Moines 20
San Diego 17
The Dalles 17
Trieste 16
Brussels 15
Hanoi 14
Ho Chi Minh City 11
Munich 11
New York 10
Redondo Beach 10
São Paulo 10
Frankfurt am Main 8
Helsinki 8
Tokyo 7
Turku 7
Milan 6
Ogden 6
Suzhou 6
Warsaw 6
Baghdad 5
Chicago 5
Da Nang 5
Jinan 5
Kunming 5
Norwalk 5
Nuremberg 5
Phoenix 5
Prague 5
Tianjin 5
Falls Church 4
Guangzhou 4
Nanjing 4
Rio de Janeiro 4
Riyadh 4
Zurich 4
Addis Ababa 3
Amman 3
Atlanta 3
Boston 3
Changsha 3
Chongqing 3
Dhaka 3
Haiphong 3
Lahore 3
Mugla 3
Orem 3
Poplar 3
Santa Clara 3
Santiago 3
Tower Hamlets 3
Washington 3
Yinchuan 3
Ahmedabad 2
Asunción 2
Belford Roxo 2
Brooklyn 2
Cape Town 2
Caxias do Sul 2
Chennai 2
Chittagong 2
Dammam 2
Denver 2
Diadema 2
Dubai 2
Edinburgh 2
Fortaleza 2
Gurugram 2
Istanbul 2
Jakarta 2
Jeddah 2
Jiaxing 2
Totale 4.137
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 233
Compositionality of SLD-derivations and their abstractions 183
A theory of observables for logic programs 182
Abstract diagnosis for TCCP using a linear temporal logic 182
A program analysis framework for tccp based on abstract interpretation 179
Abstract Debugging of Logic Programs 178
A rule-based method to match Software Patterns against UML Models 176
Abstract Diagnosis of Functional Programs 172
Abstract diagnosis for timed concurrent constraint programs 171
Automatic Synthesis of Specifications for First Order Curry Programs 171
Compositionality properties of SLD-derivations 170
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 168
Declarative Diagnosis Revisited 164
A Minimalist Visual Notation for Design Patterns and Antipatterns 164
Abstract Diagnosis of First Order Functional Logic Programs 162
How to Transform an Analyzer into a Verifier 154
Automatic Inference of Term Equivalence in Term Rewriting Systems 153
A compact fixpoint semantics for term rewriting systems 150
Logic programs as specifications in the inductive verification of logic programs 147
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 144
Assertion based Inductive Verification Methods for Logic Programs 140
Proving properties of Logic Programs by Abstract Diagnosis 138
Beyond the s-Semantics: a Theory of Observables 135
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 129
The AND-compositionality of CLP Computed Answer Constraints 124
On the Abstract Diagnosis of Logic Programs 124
A Debugging Scheme for Functional Programs 123
Abstract interpretation based verification of logic programs 122
How to Transform an Analyzer into a Verifier 120
An Algebraic Theory of Observables 118
Diagnosis of CHIP Programs Using Type Information 117
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 116
Abstract diagnosis 115
Modular Abstract Diagnosis 108
A Methodology for UML Models V&V 101
Towards an Effective Decision Procedure for LTL formulas with Constraints 99
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 96
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 92
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 87
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 82
Checking UML Model Consistency 82
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 75
Static Verification of UML Model Consistency 69
Totale 5.915
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.829
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.829
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022327 26 33 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/202718 18 0 0 0 0 0 0 0 0 0 0 0
Totale 5.915