IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.141
EU - Europa 708
AS - Asia 220
AF - Africa 1
OC - Oceania 1
SA - Sud America 1
Totale 4.072
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.087
UA - Ucraina 256
DE - Germania 116
CN - Cina 105
FI - Finlandia 83
SG - Singapore 79
SE - Svezia 76
IT - Italia 64
CA - Canada 53
IE - Irlanda 41
GB - Regno Unito 36
TR - Turchia 29
BE - Belgio 14
FR - Francia 6
CZ - Repubblica Ceca 4
CH - Svizzera 3
RU - Federazione Russa 3
ES - Italia 2
JP - Giappone 2
KR - Corea 2
AU - Australia 1
HK - Hong Kong 1
HR - Croazia 1
IL - Israele 1
MX - Messico 1
PL - Polonia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
TG - Togo 1
VN - Vietnam 1
Totale 4.072
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 281
Chandler 257
Jacksonville 186
Ashburn 156
Seattle 136
Wilmington 130
Cambridge 115
Dearborn 109
Singapore 59
Ottawa 52
Boardman 47
Beijing 46
Princeton 42
Dublin 41
Udine 35
Izmir 26
Des Moines 20
San Diego 17
Trieste 16
Brussels 14
Hefei 7
Ogden 6
Frankfurt am Main 5
Norwalk 5
Guangzhou 4
Jinan 4
Kunming 4
Nanjing 4
Prague 4
Chongqing 3
Falls Church 3
Mugla 3
Phoenix 3
Tower Hamlets 3
Yinchuan 3
Zurich 3
Dallas 2
Edinburgh 2
Jiaxing 2
Los Angeles 2
Madrid 2
Milan 2
Munich 2
Nanchang 2
Ningbo 2
Nuremberg 2
Taiyuan 2
Tokyo 2
Washington 2
Zhengzhou 2
Andover 1
Asunción 1
Baotou 1
Central 1
Chengdu 1
Clifton 1
Florence 1
Fuzhou 1
Grafing 1
Hai Duong 1
Hangzhou 1
Hebei 1
Helsinki 1
Indiana 1
Lisbon 1
Lomé 1
Marseille 1
New York 1
Quanzhou 1
Redmond 1
Rome 1
Salt Lake City 1
Shaoxing 1
Shenyang 1
Shenzhen 1
Stockholm 1
Sydney 1
Tel Aviv 1
Tianjin 1
Vancouver 1
Verona 1
Warsaw 1
Wenzhou 1
Worcester Park 1
Wuhan 1
Xi'an 1
Xiaogan 1
Zagreb 1
Totale 3.191
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 185
Compositionality of SLD-derivations and their abstractions 143
Abstract Debugging of Logic Programs 139
Abstract Diagnosis of Functional Programs 137
Compositionality properties of SLD-derivations 136
Abstract diagnosis for TCCP using a linear temporal logic 133
A theory of observables for logic programs 132
Automatic Synthesis of Specifications for First Order Curry Programs 131
A program analysis framework for tccp based on abstract interpretation 129
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 127
A rule-based method to match Software Patterns against UML Models 125
Declarative Diagnosis Revisited 122
How to Transform an Analyzer into a Verifier 118
Abstract Diagnosis of First Order Functional Logic Programs 116
Logic programs as specifications in the inductive verification of logic programs 114
A Minimalist Visual Notation for Design Patterns and Antipatterns 114
Abstract diagnosis for timed concurrent constraint programs 113
A compact fixpoint semantics for term rewriting systems 108
Automatic Inference of Term Equivalence in Term Rewriting Systems 108
Assertion based Inductive Verification Methods for Logic Programs 108
Proving properties of Logic Programs by Abstract Diagnosis 104
Beyond the s-Semantics: a Theory of Observables 100
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 94
The AND-compositionality of CLP Computed Answer Constraints 92
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 92
On the Abstract Diagnosis of Logic Programs 87
Abstract interpretation based verification of logic programs 86
Diagnosis of CHIP Programs Using Type Information 82
A Debugging Scheme for Functional Programs 79
Modular Abstract Diagnosis 79
An Algebraic Theory of Observables 76
Abstract diagnosis 76
How to Transform an Analyzer into a Verifier 69
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 68
Towards an Effective Decision Procedure for LTL formulas with Constraints 63
A Methodology for UML Models V&V 58
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 55
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 51
Checking UML Model Consistency 45
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 40
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 34
Static Verification of UML Model Consistency 28
Totale 4.096
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.156
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 12.156
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020749 0 0 0 0 73 161 119 133 77 88 38 60
2020/2021606 10 62 35 75 10 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/2025139 14 48 17 15 45 0 0 0 0 0 0 0
Totale 4.096