IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.421
AS - Asia 1.220
EU - Europa 897
SA - Sud America 150
AF - Africa 30
OC - Oceania 1
Totale 5.719
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.357
SG - Singapore 554
CN - Cina 290
UA - Ucraina 259
DE - Germania 134
HK - Hong Kong 124
BR - Brasile 121
FI - Finlandia 97
SE - Svezia 77
IT - Italia 72
RU - Federazione Russa 72
IN - India 59
FR - Francia 58
CA - Canada 56
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 6
PL - Polonia 6
CL - Cile 5
CZ - Repubblica Ceca 5
PK - Pakistan 5
CH - Svizzera 4
EC - Ecuador 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
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
CO - Colombia 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
MV - Maldive 1
MY - Malesia 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PT - Portogallo 1
RO - Romania 1
SN - Senegal 1
TG - Togo 1
TJ - Tagikistan 1
TZ - Tanzania 1
UY - Uruguay 1
VE - Venezuela 1
ZW - Zimbabwe 1
Totale 5.719
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 283
Chandler 257
Singapore 233
Ashburn 188
Jacksonville 186
Seattle 137
Wilmington 130
Beijing 126
Hong Kong 121
Cambridge 115
Dearborn 109
Ottawa 52
San Jose 52
Boardman 47
Lauterbourg 43
Princeton 42
Dublin 41
Mumbai 41
Udine 35
Los Angeles 30
Seoul 27
Hefei 26
Izmir 26
Buffalo 21
Dallas 21
Des Moines 20
San Diego 17
The Dalles 17
Trieste 16
Brussels 15
Hanoi 14
Council Bluffs 11
Ho Chi Minh City 11
Munich 11
Redondo Beach 10
São Paulo 10
New York 9
Frankfurt am Main 8
Helsinki 8
Tokyo 7
Turku 7
Milan 6
Ogden 6
Suzhou 6
Warsaw 6
Baghdad 5
Da Nang 5
Jinan 5
Kunming 5
Norwalk 5
Nuremberg 5
Prague 5
Tianjin 5
Chicago 4
Falls Church 4
Guangzhou 4
Nanjing 4
Rio de Janeiro 4
Riyadh 4
Zurich 4
Addis Ababa 3
Amman 3
Boston 3
Changsha 3
Chongqing 3
Dhaka 3
Haiphong 3
Lahore 3
Mugla 3
Phoenix 3
Poplar 3
Santiago 3
Tower Hamlets 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
Dubai 2
Edinburgh 2
Fortaleza 2
Gurugram 2
Istanbul 2
Jakarta 2
Jeddah 2
Jiaxing 2
Johannesburg 2
João Pessoa 2
Jundiaí 2
Madrid 2
Mexico City 2
Totale 4.036
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 224
Compositionality of SLD-derivations and their abstractions 180
Abstract diagnosis for TCCP using a linear temporal logic 178
Abstract Debugging of Logic Programs 177
A theory of observables for logic programs 177
A program analysis framework for tccp based on abstract interpretation 171
Abstract Diagnosis of Functional Programs 168
Automatic Synthesis of Specifications for First Order Curry Programs 168
A rule-based method to match Software Patterns against UML Models 167
Abstract diagnosis for timed concurrent constraint programs 165
Compositionality properties of SLD-derivations 164
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 163
A Minimalist Visual Notation for Design Patterns and Antipatterns 161
Declarative Diagnosis Revisited 160
Abstract Diagnosis of First Order Functional Logic Programs 157
How to Transform an Analyzer into a Verifier 150
Automatic Inference of Term Equivalence in Term Rewriting Systems 148
Logic programs as specifications in the inductive verification of logic programs 146
A compact fixpoint semantics for term rewriting systems 145
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 140
Assertion based Inductive Verification Methods for Logic Programs 137
Proving properties of Logic Programs by Abstract Diagnosis 135
Beyond the s-Semantics: a Theory of Observables 131
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 125
The AND-compositionality of CLP Computed Answer Constraints 122
On the Abstract Diagnosis of Logic Programs 121
How to Transform an Analyzer into a Verifier 119
Abstract interpretation based verification of logic programs 119
A Debugging Scheme for Functional Programs 117
An Algebraic Theory of Observables 114
Diagnosis of CHIP Programs Using Type Information 112
Abstract diagnosis 112
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 112
Modular Abstract Diagnosis 107
A Methodology for UML Models V&V 98
Towards an Effective Decision Procedure for LTL formulas with Constraints 92
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 90
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 86
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 85
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 81
Checking UML Model Consistency 81
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 74
Static Verification of UML Model Consistency 67
Totale 5.746
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.614
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.614
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021128 0 0 0 0 0 0 0 0 0 40 63 25
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.073 29 219 113 105 141 104 165 43 86 68 0 0
Totale 5.746