IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.812
EU - Europa 2.580
AS - Asia 527
OC - Oceania 6
SA - Sud America 6
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 4
Totale 6.940
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.791
GB - Regno Unito 882
IE - Irlanda 504
CN - Cina 435
UA - Ucraina 314
SE - Svezia 293
FR - Francia 166
DE - Germania 152
IT - Italia 106
FI - Finlandia 66
RU - Federazione Russa 41
SG - Singapore 34
CA - Canada 21
VN - Vietnam 17
BE - Belgio 15
HK - Hong Kong 10
NL - Olanda 8
IR - Iran 7
RO - Romania 6
AT - Austria 5
AU - Australia 5
UZ - Uzbekistan 5
DK - Danimarca 4
ES - Italia 4
EU - Europa 4
IN - India 4
JP - Giappone 3
LK - Sri Lanka 3
PL - Polonia 3
CH - Svizzera 2
CO - Colombia 2
KE - Kenya 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.940
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
Boardman 50
San Diego 44
Siena 40
San Mateo 32
Moscow 29
Nanchang 27
Tianjin 25
Shenyang 23
Singapore 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
Amsterdam 4
Ansbach 4
Brønderslev 4
Central 4
Chicago 4
Falls Church 4
Florence 4
Frankfurt am Main 4
Hangzhou 4
Hefei 4
Los Angeles 4
Chiswick 3
Colombo 3
Dallas 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
Albuquerque 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
Totale 5.390
Salva come PNG Salva come JPEG
Nome #
Slicing concurrent constraint programs 192
Process calculi for biological processes 184
A Declarative View of Signaling Pathways 162
Abstract Diagnosis of Functional Programs 156
Transformation and Debugging of Functional Logic Programs 153
A proof theoretic view of spatial and temporal dependencies in biochemical systems 152
A Fast Algebraic Web Verification Service 144
Specialization of Lazy Functional Logic Programs 143
Modelling non-Markovian dynamics in biochemical reactions 143
A framework for abstract interpretation of timed concurrent constraint programs 141
Compositional Analysis for Concurrent Constraint Programming 139
A Unifying View of Functional and Logic Program Specialization 137
Verification of spatial and temporal modalities in biochemical systems. 135
Semantic verification of web system contents 130
A Rewriting-based Framework for Web sites Verification 129
Quantitative Pathway Logic for Computational Biology 128
Rewriting-based Repairing Strategies for XML Repositories 128
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 127
A compact Fixpoint Semantics for Term Rewriting Systems 127
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 125
Compositional Analysis for Equational Horn Programs 124
Completeness of Unfolding for Rewriting Logic Theories 122
Declarative Diagnosis of Temporal Concurrent Constraint Programs 120
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 119
Rule-based Verification of Web Sites 118
A Transformation System for Lazy Functional Logic Programs 118
Narrowing Approximations as an Optimization for Equational Logic Programs 117
Functional and (Constraint) Logic Programming 117
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 117
Efficient Analysis of Concurrent Constraint Logic Programs 112
Abstract Correction of first-order Functional Programs 111
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 110
Simulating Signalling Pathways With BioWayS 109
Narrowing-Driven Partial Evaluation of Functional Logic Programs 108
Confluent semantic basis for the analysis of concurrent constraint logic programs 108
Abstract interpretation of temporal concurrent constraint programs 108
Automatic Verification of Timed Concurrent Constraint Programs 108
Improving Control in Functional Logic Program Specialization 106
Rules + Strategies for Transforming Lazy Functional Logic Programs 105
Confluence in Concurrent Constraint Programming 105
A Logic Programming Approach to Reaction Systems 105
null 102
An Assertion Language for Slicing Constraint Logic Languages 101
Cost-sensitive diagnosis of declarative programs 98
Nested Guarded Horn Clauses 93
Editorial 91
Enhancing Reaction Systems: A Process Algebraic Approach 90
Declarative modeling of the operational behavior of logic languages 89
Foreword 88
A framework for modelling spatially dependent interactions of biological systems in CCP. 88
Automated Correction of Functional Logic Programs 87
Finite failures and partial computations in concurrent logic languages 86
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 83
A logical and graphical framework for reaction systems 82
A process algebraic approach to reaction systems 75
Preface WFLP2008 74
A Debugging Scheme for Functional Logic Programs 71
A New Declarative Semantics for Logic Languages 65
Confluence in concurrent constraint programming 64
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 63
Dynamic Slicing for Concurrent Constraint Languages 55
SOS Rules for Equivalences of Reaction Systems 55
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 32
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 30
Verification of Reaction Systems Processes 18
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 18
Quantitative extensions of reaction systems based on SOS semantics 13
A framework for monitored dynamic slicing of reaction systems 8
Modeling and Analyzing Reaction Systems in Maude 8
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 7.079
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.624
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 22.624
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024658 37 14 36 21 20 160 256 9 7 14 31 53
2024/202545 45 0 0 0 0 0 0 0 0 0 0 0
Totale 7.079