IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.849
EU - Europa 2.780
AS - Asia 623
AF - Africa 8
OC - Oceania 6
SA - Sud America 6
Continente sconosciuto - Info sul continente non disponibili 4
Totale 7.276
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.825
GB - Regno Unito 882
IE - Irlanda 504
CN - Cina 451
UA - Ucraina 314
SE - Svezia 293
RU - Federazione Russa 205
FR - Francia 166
DE - Germania 154
IT - Italia 129
SG - Singapore 107
FI - Finlandia 75
CA - Canada 24
VN - Vietnam 17
BE - Belgio 15
HK - Hong Kong 10
IR - Iran 8
NL - Olanda 8
RO - Romania 6
AT - Austria 5
AU - Australia 5
UZ - Uzbekistan 5
DK - Danimarca 4
ES - Italia 4
EU - Europa 4
IN - India 4
LK - Sri Lanka 4
ID - Indonesia 3
JP - Giappone 3
MA - Marocco 3
PL - Polonia 3
CH - Svizzera 2
CO - Colombia 2
KE - Kenya 2
SA - Arabia Saudita 2
TR - Turchia 2
ZA - Sudafrica 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
IS - Islanda 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
LV - Lettonia 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
Totale 7.276
Salva come PNG Salva come JPEG
Città #
Southend 794
Fairfield 651
Dublin 491
Woodbridge 321
Chandler 309
Ashburn 293
Ann Arbor 282
Jacksonville 268
Seattle 262
Wilmington 233
Cambridge 227
Houston 216
Beijing 115
Nanjing 91
Princeton 89
Singapore 81
Boardman 50
San Diego 44
Siena 43
San Mateo 32
Moscow 30
Nanchang 27
Tianjin 25
Shenyang 23
Hebei 21
Dearborn 17
Dong Ket 16
Kunming 16
Fremont 15
Helsinki 15
Zhengzhou 15
Brussels 14
Guangzhou 14
Jiaxing 14
Changsha 13
London 13
Jinan 12
Norwalk 11
Shanghai 10
Venezia 10
Florence 9
San Francisco 9
Berlin 8
Düsseldorf 8
Haikou 8
Redwood City 8
Serra 8
Ningbo 7
Ottawa 7
Santa Clara 7
Toronto 7
Edinburgh 6
Hong Kong 6
Taizhou 6
Auburn Hills 5
Fuzhou 5
Kilburn 5
Lappeenranta 5
Los Angeles 5
Rome 5
Tashkent 5
Vienna 5
Amsterdam 4
Ansbach 4
Brønderslev 4
Central 4
Chicago 4
Colombo 4
Falls Church 4
Frankfurt am Main 4
Hangzhou 4
Hefei 4
Barrie 3
Chiswick 3
Dallas 3
Hounslow 3
Indiana 3
Kyoto 3
Leipzig 3
Madrid 3
Melbourne 3
New York 3
Stockholm 3
Timișoara 3
Trieste 3
Turku 3
Udine 3
Warsaw 3
Zanjan 3
Acton 2
Albuquerque 2
Bogotá 2
Bologna 2
Calolziocorte 2
Iasi 2
Jeddah 2
Lanzhou 2
Lexington 2
Livorno 2
Mestre 2
Totale 5.480
Salva come PNG Salva come JPEG
Nome #
Slicing concurrent constraint programs 196
Process calculi for biological processes 191
A Declarative View of Signaling Pathways 166
Abstract Diagnosis of Functional Programs 162
A proof theoretic view of spatial and temporal dependencies in biochemical systems 158
Transformation and Debugging of Functional Logic Programs 157
A Fast Algebraic Web Verification Service 151
Specialization of Lazy Functional Logic Programs 147
A framework for abstract interpretation of timed concurrent constraint programs 146
Modelling non-Markovian dynamics in biochemical reactions 146
Compositional Analysis for Concurrent Constraint Programming 142
Verification of spatial and temporal modalities in biochemical systems. 141
A Unifying View of Functional and Logic Program Specialization 140
A compact Fixpoint Semantics for Term Rewriting Systems 134
A Rewriting-based Framework for Web sites Verification 133
Quantitative Pathway Logic for Computational Biology 132
Rewriting-based Repairing Strategies for XML Repositories 132
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 131
Semantic verification of web system contents 131
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 130
Compositional Analysis for Equational Horn Programs 129
Declarative Diagnosis of Temporal Concurrent Constraint Programs 126
Completeness of Unfolding for Rewriting Logic Theories 125
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 125
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 124
Rule-based Verification of Web Sites 122
Functional and (Constraint) Logic Programming 121
A Transformation System for Lazy Functional Logic Programs 121
Narrowing Approximations as an Optimization for Equational Logic Programs 119
Efficient Analysis of Concurrent Constraint Logic Programs 117
Abstract Correction of first-order Functional Programs 117
Automatic Verification of Timed Concurrent Constraint Programs 114
Simulating Signalling Pathways With BioWayS 113
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 112
Confluent semantic basis for the analysis of concurrent constraint logic programs 112
Abstract interpretation of temporal concurrent constraint programs 112
Narrowing-Driven Partial Evaluation of Functional Logic Programs 111
Rules + Strategies for Transforming Lazy Functional Logic Programs 110
Improving Control in Functional Logic Program Specialization 110
A Logic Programming Approach to Reaction Systems 110
Confluence in Concurrent Constraint Programming 109
An Assertion Language for Slicing Constraint Logic Languages 103
null 102
Cost-sensitive diagnosis of declarative programs 101
Nested Guarded Horn Clauses 98
Editorial 95
Foreword 94
Enhancing Reaction Systems: A Process Algebraic Approach 93
Declarative modeling of the operational behavior of logic languages 92
Automated Correction of Functional Logic Programs 91
A framework for modelling spatially dependent interactions of biological systems in CCP. 91
Finite failures and partial computations in concurrent logic languages 89
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 89
A logical and graphical framework for reaction systems 88
A process algebraic approach to reaction systems 80
Preface WFLP2008 77
A Debugging Scheme for Functional Logic Programs 75
A New Declarative Semantics for Logic Languages 69
Confluence in concurrent constraint programming 68
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 67
Dynamic Slicing for Concurrent Constraint Languages 59
SOS Rules for Equivalences of Reaction Systems 59
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 38
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 35
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 32
Verification of Reaction Systems Processes 23
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 22
Quantitative extensions of reaction systems based on SOS semantics 18
A framework for monitored dynamic slicing of reaction systems 15
Modeling and Analyzing Reaction Systems in Maude 13
Causal analysis of positive Reaction Systems 6
Quantitative Pathway Logic for Computational Biology 6
An Access Control Language Based on Term Rewriting and Description Logic 4
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 4
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 4
An Abstract Generic Framework for Web Site Verification 2
Totale 7.427
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.855
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 24.855
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.184 0 0 0 0 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/2024658 37 14 36 21 20 160 256 9 7 14 31 53
2024/2025393 47 80 145 99 22 0 0 0 0 0 0 0
Totale 7.427