COMINI, Marco
 Distribuzione geografica
Continente #
NA - Nord America 3.171
EU - Europa 786
AS - Asia 417
SA - Sud America 50
AF - Africa 4
OC - Oceania 1
Totale 4.429
Nazione #
US - Stati Uniti d'America 3.114
UA - Ucraina 256
SG - Singapore 228
DE - Germania 121
CN - Cina 113
FI - Finlandia 88
SE - Svezia 77
RU - Federazione Russa 68
IT - Italia 64
CA - Canada 54
BR - Brasile 47
IE - Irlanda 41
GB - Regno Unito 37
TR - Turchia 30
KR - Corea 27
BE - Belgio 14
FR - Francia 6
CZ - Repubblica Ceca 4
BD - Bangladesh 3
CH - Svizzera 3
ES - Italia 3
HK - Hong Kong 3
MX - Messico 3
IN - India 2
IQ - Iraq 2
JP - Giappone 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
CL - Cile 1
EC - Ecuador 1
EG - Egitto 1
HR - Croazia 1
IL - Israele 1
JO - Giordania 1
LB - Libano 1
MA - Marocco 1
PH - Filippine 1
PL - Polonia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
TG - Togo 1
UZ - Uzbekistan 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 4.429
Città #
Woodbridge 458
Ann Arbor 457
Fairfield 361
Houston 281
Chandler 257
Jacksonville 186
Ashburn 156
Singapore 147
Seattle 137
Wilmington 130
Cambridge 115
Dearborn 109
Ottawa 52
Beijing 50
Boardman 47
Princeton 42
Dublin 41
Udine 35
Izmir 26
Seoul 25
Des Moines 20
San Diego 17
Trieste 16
Brussels 14
Hefei 7
Ogden 6
Frankfurt am Main 5
Norwalk 5
Nuremberg 5
Guangzhou 4
Jinan 4
Kunming 4
Nanjing 4
Prague 4
Turku 4
Boston 3
Chongqing 3
Council Bluffs 3
Falls Church 3
Los Angeles 3
Mugla 3
Munich 3
New York 3
Phoenix 3
Tower Hamlets 3
Yinchuan 3
Zurich 3
Dallas 2
Edinburgh 2
Helsinki 2
Hong Kong 2
Jiaxing 2
Jundiaí 2
Madrid 2
Milan 2
Nanchang 2
Ningbo 2
Stockholm 2
Taiyuan 2
Tokyo 2
Washington 2
Zhengzhou 2
Ahmedabad 1
Alfenas 1
Ambato 1
Amman 1
Andover 1
Asunción 1
Atlanta 1
Baotou 1
Barnaul 1
Basra 1
Belo Jardim 1
Brasília 1
Brooklyn 1
Cabo de Santo Agostinho 1
Cabrália Paulista 1
Caeté 1
Cairo 1
Cajazeiras 1
Campos dos Goytacazes 1
Cantagalo 1
Capela 1
Caraguatatuba 1
Carmo do Cajuru 1
Cascavel 1
Caxias do Sul 1
Central 1
Changsha 1
Chengdu 1
Chicago 1
Chittagong 1
Clifton 1
Concórdia 1
Currais Novos 1
Dubai 1
Duque de Caxias 1
Estância 1
Florence 1
Florianópolis 1
Totale 3.335
Nome #
Abstract analysis of universal properties for tccp 191
Compositionality of SLD-derivations and their abstractions 154
Abstract Debugging of Logic Programs 151
Abstract Diagnosis of Functional Programs 148
Abstract diagnosis for TCCP using a linear temporal logic 141
Compositionality properties of SLD-derivations 140
A theory of observables for logic programs 140
Automatic Synthesis of Specifications for First Order Curry Programs 139
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting 135
A program analysis framework for tccp based on abstract interpretation 135
A rule-based method to match Software Patterns against UML Models 134
Declarative Diagnosis Revisited 132
A Minimalist Visual Notation for Design Patterns and Antipatterns 127
Abstract Diagnosis of First Order Functional Logic Programs 126
How to Transform an Analyzer into a Verifier 125
Abstract diagnosis for timed concurrent constraint programs 124
Logic programs as specifications in the inductive verification of logic programs 123
A compact fixpoint semantics for term rewriting systems 119
Assertion based Inductive Verification Methods for Logic Programs 116
Automatic Inference of Term Equivalence in Term Rewriting Systems 115
Beyond the s-Semantics: a Theory of Observables 109
Proving properties of Logic Programs by Abstract Diagnosis 109
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs 105
On Polymorphic Recursion, Type Systems, and Abstract Interpretation 103
The AND-compositionality of CLP Computed Answer Constraints 101
On the Abstract Diagnosis of Logic Programs 96
Abstract interpretation based verification of logic programs 93
Diagnosis of CHIP Programs Using Type Information 90
A Debugging Scheme for Functional Programs 88
An Algebraic Theory of Observables 87
Modular Abstract Diagnosis 86
Abstract diagnosis 83
How to Transform an Analyzer into a Verifier 77
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 74
A Methodology for UML Models V&V 70
Towards an Effective Decision Procedure for LTL formulas with Constraints 68
Tools and Environments for (Constraint) Logic Programming (Workshop Overview) 63
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems 57
Selected Papers of 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) 53
Checking UML Model Consistency 51
VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications 42
Static Verification of UML Model Consistency 33
Totale 4.453
Categoria #
all - tutte 14.332
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 14.332


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202060 0 0 0 0 0 0 0 0 0 0 0 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/2025496 14 48 17 15 45 28 69 39 45 28 148 0
Totale 4.453