FALASCHI, MORENO
 Distribuzione geografica
Continente #
NA - Nord America 3.806
EU - Europa 2.535
AS - Asia 495
OC - Oceania 6
SA - Sud America 6
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 4
Totale 6.857
Nazione #
US - Stati Uniti d'America 3.785
GB - Regno Unito 882
IE - Irlanda 504
CN - Cina 435
UA - Ucraina 314
SE - Svezia 293
FR - Francia 164
DE - Germania 150
IT - Italia 106
FI - Finlandia 66
CA - Canada 21
VN - Vietnam 17
BE - Belgio 15
HK - Hong Kong 10
IR - Iran 7
NL - Olanda 7
RO - Romania 6
AT - Austria 5
AU - Australia 5
UZ - Uzbekistan 5
DK - Danimarca 4
EU - Europa 4
IN - India 4
ES - Italia 3
JP - Giappone 3
LK - Sri Lanka 3
PL - Polonia 3
CH - Svizzera 2
CO - Colombia 2
KE - Kenya 2
RU - Federazione Russa 2
SG - Singapore 2
TR - Turchia 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
BR - Brasile 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
EE - Estonia 1
EG - Egitto 1
GR - Grecia 1
HU - Ungheria 1
IM - Isola di Man 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MA - Marocco 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PK - Pakistan 1
PT - Portogallo 1
ZA - Sudafrica 1
Totale 6.857
Città #
Southend 794
Fairfield 651
Dublin 491
Woodbridge 321
Chandler 309
Ashburn 291
Ann Arbor 282
Jacksonville 268
Seattle 262
Wilmington 233
Cambridge 227
Houston 216
Beijing 115
Nanjing 91
Princeton 89
Boardman 50
San Diego 44
Siena 40
San Mateo 32
Nanchang 27
Tianjin 25
Shenyang 23
Hebei 21
Dearborn 17
Dong Ket 16
Kunming 16
Fremont 15
Zhengzhou 15
Brussels 14
Jiaxing 14
Changsha 13
London 13
Helsinki 12
Jinan 12
Norwalk 11
Guangzhou 10
Venezia 10
San Francisco 9
Berlin 8
Düsseldorf 8
Haikou 8
Redwood City 8
Serra 8
Ningbo 7
Ottawa 7
Shanghai 7
Toronto 7
Edinburgh 6
Hong Kong 6
Taizhou 6
Auburn Hills 5
Fuzhou 5
Kilburn 5
Rome 5
Tashkent 5
Vienna 5
Ansbach 4
Brønderslev 4
Central 4
Chicago 4
Falls Church 4
Florence 4
Hangzhou 4
Hefei 4
Los Angeles 4
Amsterdam 3
Chiswick 3
Colombo 3
Dallas 3
Frankfurt am Main 3
Hounslow 3
Indiana 3
Kyoto 3
Leipzig 3
Madrid 3
Melbourne 3
New York 3
Stockholm 3
Timișoara 3
Udine 3
Warsaw 3
Zanjan 3
Acton 2
Bogotá 2
Bologna 2
Calolziocorte 2
Iasi 2
Lanzhou 2
Lappeenranta 2
Lexington 2
Mestre 2
Montreal 2
Montréal 2
Nairobi 2
Newcastle upon Tyne 2
Paris 2
Sabaudia 2
Singapore 2
Sovicille 2
Winnipeg 2
Totale 5.338
Nome #
Slicing concurrent constraint programs 190
Process calculi for biological processes 182
A Declarative View of Signaling Pathways 161
Abstract Diagnosis of Functional Programs 155
Transformation and Debugging of Functional Logic Programs 153
A proof theoretic view of spatial and temporal dependencies in biochemical systems 151
A Fast Algebraic Web Verification Service 143
Specialization of Lazy Functional Logic Programs 142
Modelling non-Markovian dynamics in biochemical reactions 141
A framework for abstract interpretation of timed concurrent constraint programs 139
Compositional Analysis for Concurrent Constraint Programming 139
A Unifying View of Functional and Logic Program Specialization 136
Verification of spatial and temporal modalities in biochemical systems. 133
Semantic verification of web system contents 127
Rewriting-based Repairing Strategies for XML Repositories 127
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 126
A compact Fixpoint Semantics for Term Rewriting Systems 126
Quantitative Pathway Logic for Computational Biology 126
A Rewriting-based Framework for Web sites Verification 126
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 123
Compositional Analysis for Equational Horn Programs 122
Completeness of Unfolding for Rewriting Logic Theories 120
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 119
Declarative Diagnosis of Temporal Concurrent Constraint Programs 118
Rule-based Verification of Web Sites 118
Narrowing Approximations as an Optimization for Equational Logic Programs 117
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 116
Functional and (Constraint) Logic Programming 115
A Transformation System for Lazy Functional Logic Programs 115
Efficient Analysis of Concurrent Constraint Logic Programs 112
Abstract Correction of first-order Functional Programs 110
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 109
Narrowing-Driven Partial Evaluation of Functional Logic Programs 108
Confluent semantic basis for the analysis of concurrent constraint logic programs 108
Simulating Signalling Pathways With BioWayS 107
Automatic Verification of Timed Concurrent Constraint Programs 107
Abstract interpretation of temporal concurrent constraint programs 106
Improving Control in Functional Logic Program Specialization 106
Confluence in Concurrent Constraint Programming 105
Rules + Strategies for Transforming Lazy Functional Logic Programs 104
null 102
A Logic Programming Approach to Reaction Systems 101
An Assertion Language for Slicing Constraint Logic Languages 100
Cost-sensitive diagnosis of declarative programs 98
Nested Guarded Horn Clauses 93
Enhancing Reaction Systems: A Process Algebraic Approach 89
Declarative modeling of the operational behavior of logic languages 88
Editorial 88
A framework for modelling spatially dependent interactions of biological systems in CCP. 88
Foreword 87
Finite failures and partial computations in concurrent logic languages 86
Automated Correction of Functional Logic Programs 86
A logical and graphical framework for reaction systems 80
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 79
Preface WFLP2008 74
A process algebraic approach to reaction systems 74
A Debugging Scheme for Functional Logic Programs 70
A New Declarative Semantics for Logic Languages 65
Confluence in concurrent constraint programming 63
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 63
SOS Rules for Equivalences of Reaction Systems 55
Dynamic Slicing for Concurrent Constraint Languages 54
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 32
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 27
Verification of Reaction Systems Processes 16
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 16
Quantitative extensions of reaction systems based on SOS semantics 11
A framework for monitored dynamic slicing of reaction systems 7
Modeling and Analyzing Reaction Systems in Maude 6
Quantitative Pathway Logic for Computational Biology 6
An Access Control Language Based on Term Rewriting and Description Logic 2
An Abstract Generic Framework for Web Site Verification 2
Totale 6.996
Categoria #
all - tutte 21.959
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 21.959


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019228 0 0 0 0 0 0 0 0 0 0 0 228
2019/20201.801 188 63 109 257 126 130 163 262 184 159 51 109
2020/20211.164 47 127 52 93 61 111 103 171 125 86 94 94
2021/2022827 82 127 55 28 44 29 57 26 39 90 86 164
2022/20231.148 83 61 148 162 132 236 17 111 122 13 49 14
2023/2024620 37 14 36 21 20 160 256 9 7 14 31 15
Totale 6.996