IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.143
EU - Europa 2.845
AS - Asia 768
SA - Sud America 53
AF - Africa 11
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
Totale 7.830
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.116
GB - Regno Unito 890
IE - Irlanda 504
CN - Cina 459
UA - Ucraina 314
SE - Svezia 295
SG - Singapore 225
RU - Federazione Russa 207
FR - Francia 169
IT - Italia 166
DE - Germania 156
FI - Finlandia 77
BR - Brasile 42
CA - Canada 24
VN - Vietnam 17
BE - Belgio 15
HK - Hong Kong 10
IR - Iran 9
NL - Olanda 9
RO - Romania 7
AT - Austria 6
UZ - Uzbekistan 6
AR - Argentina 5
AU - Australia 5
CH - Svizzera 5
LK - Sri Lanka 5
MA - Marocco 5
TR - Turchia 5
DK - Danimarca 4
ES - Italia 4
EU - Europa 4
IN - India 4
SA - Arabia Saudita 4
AZ - Azerbaigian 3
ID - Indonesia 3
JP - Giappone 3
PL - Polonia 3
CO - Colombia 2
EC - Ecuador 2
EE - Estonia 2
GR - Grecia 2
KE - Kenya 2
KG - Kirghizistan 2
LV - Lettonia 2
MX - Messico 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
BO - Bolivia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EG - Egitto 1
GE - Georgia 1
HU - Ungheria 1
IM - Isola di Man 1
IQ - Iraq 1
IS - Islanda 1
JM - Giamaica 1
JO - Giordania 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
MK - Macedonia 1
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
OM - Oman 1
PK - Pakistan 1
PT - Portogallo 1
PY - Paraguay 1
Totale 7.830
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
Santa Clara 228
Cambridge 227
Houston 216
Beijing 115
Nanjing 91
Princeton 89
Singapore 84
Boardman 50
Siena 47
San Diego 44
San Mateo 32
Moscow 30
Nanchang 27
Council Bluffs 25
Tianjin 25
Shenyang 24
Hebei 21
Dearborn 17
Helsinki 17
Kunming 17
Dong Ket 16
Fremont 15
Guangzhou 15
Zhengzhou 15
Brussels 14
Florence 14
Jiaxing 14
Changsha 13
London 13
Milan 13
Jinan 12
Norwalk 12
Los Angeles 11
Shanghai 10
Venezia 10
San Francisco 9
Berlin 8
Düsseldorf 8
Haikou 8
Redwood City 8
Serra 8
Enniskillen 7
Ningbo 7
Ottawa 7
Rome 7
Toronto 7
Edinburgh 6
Hong Kong 6
Taizhou 6
Tashkent 6
Vienna 6
Auburn Hills 5
Colombo 5
Fuzhou 5
Kilburn 5
Lappeenranta 5
Stockholm 5
Amsterdam 4
Ansbach 4
Brønderslev 4
Central 4
Chicago 4
Falls Church 4
Frankfurt am Main 4
Hangzhou 4
Hefei 4
São Paulo 4
Velletri 4
Zurich 4
Baku 3
Barrie 3
Chiswick 3
Dallas 3
Hounslow 3
Iasi 3
Indiana 3
Kyoto 3
Leipzig 3
Madrid 3
Melbourne 3
New York 3
The Dalles 3
Timișoara 3
Trieste 3
Turku 3
Udine 3
Warsaw 3
Zanjan 3
Acton 2
Albuquerque 2
Totale 5.780
Salva come PNG Salva come JPEG
Nome #
Slicing concurrent constraint programs 202
Process calculi for biological processes 198
A Declarative View of Signaling Pathways 174
Abstract Diagnosis of Functional Programs 169
A proof theoretic view of spatial and temporal dependencies in biochemical systems 169
Transformation and Debugging of Functional Logic Programs 162
A Fast Algebraic Web Verification Service 159
A framework for abstract interpretation of timed concurrent constraint programs 154
Specialization of Lazy Functional Logic Programs 153
Verification of spatial and temporal modalities in biochemical systems. 150
Modelling non-Markovian dynamics in biochemical reactions 150
Compositional Analysis for Concurrent Constraint Programming 150
A Unifying View of Functional and Logic Program Specialization 148
A compact Fixpoint Semantics for Term Rewriting Systems 146
Rewriting-based Repairing Strategies for XML Repositories 142
A Rewriting-based Framework for Web sites Verification 140
Quantitative Pathway Logic for Computational Biology 139
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 138
Compositional Analysis for Equational Horn Programs 137
Semantic verification of web system contents 135
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 134
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 134
Declarative Diagnosis of Temporal Concurrent Constraint Programs 133
Completeness of Unfolding for Rewriting Logic Theories 131
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 131
Rule-based Verification of Web Sites 128
A Transformation System for Lazy Functional Logic Programs 127
Abstract Correction of first-order Functional Programs 126
Functional and (Constraint) Logic Programming 126
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 125
A Logic Programming Approach to Reaction Systems 124
Narrowing Approximations as an Optimization for Equational Logic Programs 123
Efficient Analysis of Concurrent Constraint Logic Programs 122
Automatic Verification of Timed Concurrent Constraint Programs 121
Rules + Strategies for Transforming Lazy Functional Logic Programs 120
Simulating Signalling Pathways With BioWayS 118
Confluent semantic basis for the analysis of concurrent constraint logic programs 118
Abstract interpretation of temporal concurrent constraint programs 117
Narrowing-Driven Partial Evaluation of Functional Logic Programs 115
Improving Control in Functional Logic Program Specialization 115
Confluence in Concurrent Constraint Programming 115
An Assertion Language for Slicing Constraint Logic Languages 107
Cost-sensitive diagnosis of declarative programs 106
Editorial 103
Nested Guarded Horn Clauses 102
null 102
A framework for modelling spatially dependent interactions of biological systems in CCP. 100
A logical and graphical framework for reaction systems 99
Foreword 98
Enhancing Reaction Systems: A Process Algebraic Approach 97
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 97
Declarative modeling of the operational behavior of logic languages 96
Automated Correction of Functional Logic Programs 95
Finite failures and partial computations in concurrent logic languages 94
A process algebraic approach to reaction systems 92
A Debugging Scheme for Functional Logic Programs 84
Preface WFLP2008 82
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 76
A New Declarative Semantics for Logic Languages 76
Confluence in concurrent constraint programming 75
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 73
Dynamic Slicing for Concurrent Constraint Languages 66
SOS Rules for Equivalences of Reaction Systems 64
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 48
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 40
A framework for monitored dynamic slicing of reaction systems 36
Verification of Reaction Systems Processes 28
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 27
Quantitative extensions of reaction systems based on SOS semantics 25
Modeling and Analyzing Reaction Systems in Maude 19
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 14
ccReact: a rewriting framework for the formal analysis of reaction systems 13
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 13
Causal analysis of positive Reaction Systems 10
An Access Control Language Based on Term Rewriting and Description Logic 9
Quantitative Pathway Logic for Computational Biology 6
An Abstract Generic Framework for Web Site Verification 2
Totale 7.992
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.553
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 27.553
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020503 0 0 0 0 0 0 0 0 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/2025958 47 80 145 99 173 116 36 126 136 0 0 0
Totale 7.992