IRIS
COMINI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.139
EU - Europa 707
AS - Asia 153
AF - Africa 1
OC - Oceania 1
SA - Sud America 1
Totale 4.002
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.085
UA - Ucraina 256
DE - Germania 116
CN - Cina 97
FI - Finlandia 83
SE - Svezia 76
IT - Italia 63
CA - Canada 53
IE - Irlanda 41
GB - Regno Unito 36
TR - Turchia 29
SG - Singapore 20
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.002
Salva come PNG Salva come JPEG
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 281
Chandler 257
Jacksonville 186
Ashburn 155
Seattle 136
Wilmington 130
Cambridge 115
Dearborn 109
Ottawa 52
Boardman 47
Beijing 46
Princeton 42
Dublin 41
Udine 35
Izmir 26
Des Moines 20
San Diego 17
Trieste 16
Brussels 14
Singapore 12
Hefei 7
Ogden 6
Frankfurt am Main 5
Norwalk 5
Jinan 4
Kunming 4
Nanjing 4
Prague 4
Chongqing 3
Falls Church 3
Guangzhou 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
Fuzhou 1
Grafing 1
Hai Duong 1
Hangzhou 1
Hebei 1
Helsinki 1
Indiana 1
Lisbon 1
Lomé 1
Marseille 1
New York 1
Redmond 1
Rome 1
Salt Lake City 1
Shaoxing 1
Shenyang 1
Stockholm 1
Sydney 1
Tel Aviv 1
Tianjin 1
Vancouver 1
Verona 1
Warsaw 1
Wenzhou 1
Worcester Park 1
Wuhan 1
Zagreb 1
Totale 3.137
Salva come PNG Salva come JPEG
Nome #
Abstract analysis of universal properties for tccp 182
Compositionality of SLD-derivations and their abstractions 142
Abstract Debugging of Logic Programs 136
Compositionality properties of SLD-derivations 134
Abstract Diagnosis of Functional Programs 132
Abstract diagnosis for TCCP using a linear temporal logic 131
A theory of observables for logic programs 130
Automatic Synthesis of Specifications for First Order Curry Programs 128
A program analysis framework for tccp based on abstract interpretation 126
A rule-based method to match Software Patterns against UML Models 123
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 122
Declarative Diagnosis Revisited 120
How to Transform an Analyzer into a Verifier 118
Abstract Diagnosis of First Order Functional Logic Programs 115
Logic programs as specifications in the inductive verification of logic programs 114
A Minimalist Visual Notation for Design Patterns and Antipatterns 113
Abstract diagnosis for timed concurrent constraint programs 112
Assertion based Inductive Verification Methods for Logic Programs 107
A compact fixpoint semantics for term rewriting systems 105
Automatic Inference of Term Equivalence in Term Rewriting Systems 105
Proving properties of Logic Programs by Abstract Diagnosis 102
Beyond the s-Semantics: a Theory of Observables 99
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 94
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 91
The AND-compositionality of CLP Computed Answer Constraints 90
On the Abstract Diagnosis of Logic Programs 87
Abstract interpretation based verification of logic programs 84
Diagnosis of CHIP Programs Using Type Information 81
Modular Abstract Diagnosis 78
A Debugging Scheme for Functional Programs 77
An Algebraic Theory of Observables 73
Abstract diagnosis 73
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 64
Towards an Effective Decision Procedure for LTL formulas with Constraints 61
A Methodology for UML Models V&V 57
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 49
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.026
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.486
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 11.486
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020927 0 0 34 144 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/202569 14 48 7 0 0 0 0 0 0 0 0 0
Totale 4.026