IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.289
AS - Asia 1.016
EU - Europa 821
SA - Sud America 125
AF - Africa 15
OC - Oceania 1
Totale 5.267
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.227
SG - Singapore 473
CN - Cina 267
UA - Ucraina 258
DE - Germania 131
HK - Hong Kong 111
BR - Brasile 105
FI - Finlandia 91
SE - Svezia 77
RU - Federazione Russa 71
IT - Italia 67
CA - Canada 56
IN - India 45
GB - Regno Unito 42
IE - Irlanda 41
TR - Turchia 31
KR - Corea 29
VN - Vietnam 27
BE - Belgio 15
BD - Bangladesh 10
AR - Argentina 8
FR - Francia 6
IQ - Iraq 6
PL - Polonia 6
JP - Giappone 5
MX - Messico 5
CZ - Repubblica Ceca 4
EC - Ecuador 4
ES - Italia 4
CH - Svizzera 3
CL - Cile 3
MA - Marocco 3
PY - Paraguay 3
SA - Arabia Saudita 3
PE - Perù 2
RE - Reunion 2
TN - Tunisia 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BG - Bulgaria 1
BY - Bielorussia 1
EG - Egitto 1
ET - Etiopia 1
GM - Gambi 1
GN - Guinea 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
JO - Giordania 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LY - Libia 1
NI - Nicaragua 1
PH - Filippine 1
PT - Portogallo 1
RO - Romania 1
TG - Togo 1
Totale 5.267
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 283
Chandler 257
Singapore 195
Jacksonville 186
Ashburn 163
Seattle 137
Wilmington 130
Beijing 126
Cambridge 115
Hong Kong 110
Dearborn 109
Ottawa 52
Boardman 47
Princeton 42
Dublin 41
Mumbai 40
Udine 35
Seoul 27
Hefei 26
Izmir 26
Los Angeles 23
Buffalo 21
Dallas 20
Des Moines 20
San Diego 17
Trieste 16
Brussels 15
Munich 11
Redondo Beach 10
Hanoi 9
São Paulo 8
New York 7
Turku 7
Ho Chi Minh City 6
Ogden 6
Suzhou 6
Warsaw 6
Council Bluffs 5
Frankfurt am Main 5
Jinan 5
Kunming 5
Milan 5
Norwalk 5
Nuremberg 5
Tianjin 5
Tokyo 5
Falls Church 4
Guangzhou 4
Nanjing 4
Prague 4
Rio de Janeiro 4
Boston 3
Chongqing 3
Mugla 3
Phoenix 3
Tower Hamlets 3
Yinchuan 3
Zurich 3
Asunción 2
Baghdad 2
Brooklyn 2
Caxias do Sul 2
Changsha 2
Chicago 2
Chittagong 2
Denver 2
Dhaka 2
Edinburgh 2
Fortaleza 2
Helsinki 2
Jiaxing 2
Johannesburg 2
João Pessoa 2
Jundiaí 2
Madrid 2
Mexico City 2
Nanchang 2
Ningbo 2
Poplar 2
Quito 2
Quixadá 2
Riyadh 2
Salvador 2
San Jose 2
Santiago 2
Stockholm 2
Taiyuan 2
Thái Bình 2
Washington 2
Zhengzhou 2
Addis Ababa 1
Ahmedabad 1
Alfenas 1
Ambato 1
Amman 1
Andover 1
Atlanta 1
Totale 3.788
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 210
Abstract Debugging of Logic Programs 170
Compositionality of SLD-derivations and their abstractions 167
Abstract Diagnosis of Functional Programs 164
Abstract diagnosis for TCCP using a linear temporal logic 163
A theory of observables for logic programs 156
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 156
Automatic Synthesis of Specifications for First Order Curry Programs 156
Compositionality properties of SLD-derivations 154
A rule-based method to match Software Patterns against UML Models 153
A program analysis framework for tccp based on abstract interpretation 152
A Minimalist Visual Notation for Design Patterns and Antipatterns 146
Declarative Diagnosis Revisited 145
Abstract diagnosis for timed concurrent constraint programs 144
How to Transform an Analyzer into a Verifier 140
Abstract Diagnosis of First Order Functional Logic Programs 140
Logic programs as specifications in the inductive verification of logic programs 139
A compact fixpoint semantics for term rewriting systems 138
Automatic Inference of Term Equivalence in Term Rewriting Systems 136
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 134
Assertion based Inductive Verification Methods for Logic Programs 132
Proving properties of Logic Programs by Abstract Diagnosis 130
Beyond the s-Semantics: a Theory of Observables 124
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 118
The AND-compositionality of CLP Computed Answer Constraints 116
How to Transform an Analyzer into a Verifier 111
Abstract interpretation based verification of logic programs 110
On the Abstract Diagnosis of Logic Programs 108
A Debugging Scheme for Functional Programs 108
Abstract diagnosis 105
An Algebraic Theory of Observables 103
Modular Abstract Diagnosis 101
Diagnosis of CHIP Programs Using Type Information 101
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 92
A Methodology for UML Models V&V 85
Towards an Effective Decision Procedure for LTL formulas with Constraints 85
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 84
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 75
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 74
Checking UML Model Consistency 72
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems 71
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 68
Static Verification of UML Model Consistency 58
Totale 5.294
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.612
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 17.612
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021414 0 0 0 0 0 74 71 61 80 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/2026621 29 219 113 105 141 14 0 0 0 0 0 0
Totale 5.294