IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.162
EU - Europa 4.002
AS - Asia 2.738
SA - Sud America 413
Continente sconosciuto - Info sul continente non disponibili 183
AF - Africa 150
OC - Oceania 9
Totale 13.657
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.038
CN - Cina 1.071
GB - Regno Unito 933
SG - Singapore 803
RU - Federazione Russa 669
IT - Italia 620
IE - Irlanda 504
BR - Brasile 335
UA - Ucraina 321
SE - Svezia 299
FR - Francia 255
HK - Hong Kong 236
VN - Vietnam 217
DE - Germania 178
KR - Corea 133
FI - Finlandia 88
ZA - Sudafrica 85
IN - India 66
CA - Canada 64
BD - Bangladesh 47
MX - Messico 29
IQ - Iraq 24
NL - Olanda 21
PL - Polonia 21
AR - Argentina 20
BE - Belgio 19
CO - Colombia 18
AT - Austria 15
NG - Nigeria 15
PK - Pakistan 15
UZ - Uzbekistan 15
VE - Venezuela 15
TR - Turchia 13
ES - Italia 12
JP - Giappone 12
MA - Marocco 12
IR - Iran 11
KE - Kenya 11
EC - Ecuador 10
ID - Indonesia 10
SA - Arabia Saudita 9
AU - Australia 8
CH - Svizzera 8
RO - Romania 8
DZ - Algeria 7
HN - Honduras 7
EE - Estonia 6
JM - Giamaica 6
NP - Nepal 6
PH - Filippine 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
DK - Danimarca 5
LK - Sri Lanka 5
MY - Malesia 5
PR - Porto Rico 5
TT - Trinidad e Tobago 5
AZ - Azerbaigian 4
EU - Europa 4
GR - Grecia 4
PY - Paraguay 4
BO - Bolivia 3
EG - Egitto 3
ET - Etiopia 3
JO - Giordania 3
LB - Libano 3
OM - Oman 3
PE - Perù 3
SN - Senegal 3
CR - Costa Rica 2
GT - Guatemala 2
HU - Ungheria 2
IL - Israele 2
KG - Kirghizistan 2
LV - Lettonia 2
MK - Macedonia 2
PS - Palestinian Territory 2
PT - Portogallo 2
RS - Serbia 2
TG - Togo 2
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BN - Brunei Darussalam 1
BZ - Belize 1
CI - Costa d'Avorio 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GE - Georgia 1
IM - Isola di Man 1
IS - Islanda 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LT - Lituania 1
LU - Lussemburgo 1
ML - Mali 1
MO - Macao, regione amministrativa speciale della Cina 1
Totale 13.468
Salva come PNG Salva come JPEG
Città #
Southend 794
Fairfield 651
Dublin 491
Ashburn 462
Dallas 449
Singapore 383
Woodbridge 323
Chandler 309
Ann Arbor 282
Jacksonville 273
Seattle 265
Santa Clara 263
San Jose 248
Beijing 244
Wilmington 233
Cambridge 227
Hong Kong 225
Houston 225
Hefei 206
Milan 205
Moscow 188
Council Bluffs 170
Seoul 132
Nanjing 91
Princeton 89
Johannesburg 77
Staranzano 75
The Dalles 75
Los Angeles 73
Lauterbourg 67
Rome 64
Hanoi 61
Ho Chi Minh City 60
Boardman 56
Siena 47
San Diego 46
Florence 38
Buffalo 35
New York 35
San Mateo 33
Columbus 32
Nanchang 27
Tianjin 26
Redondo Beach 25
Shenyang 24
Guangzhou 23
Chicago 21
Hebei 21
São Paulo 21
Helsinki 20
Warsaw 19
Bengaluru 18
London 18
Dearborn 17
Kunming 17
Montreal 17
Orem 17
Shanghai 17
Dong Ket 16
Brussels 15
Changsha 15
Fremont 15
Tashkent 15
Zhengzhou 15
Jiaxing 14
Phoenix 14
Brasília 13
Figino 13
Jinan 13
San Francisco 13
Abuja 12
Amsterdam 12
Lappeenranta 12
Norwalk 12
Toronto 12
Vienna 12
Boston 11
Brooklyn 11
Chennai 11
Turin 11
Atlanta 10
Da Nang 10
Venezia 10
Berlin 9
Bogotá 9
Munich 9
Serra 9
Düsseldorf 8
Frankfurt am Main 8
Haikou 8
Mexico City 8
Miami 8
Redwood City 8
Tokyo 8
Bologna 7
Colombo 7
Curitiba 7
Denver 7
Enniskillen 7
Haiphong 7
Totale 9.101
Salva come PNG Salva come JPEG
Nome #
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 280
Process calculi for biological processes 268
A framework for abstract interpretation of timed concurrent constraint programs 267
Slicing concurrent constraint programs 262
A proof theoretic view of spatial and temporal dependencies in biochemical systems 261
A Declarative View of Signaling Pathways 255
A compact Fixpoint Semantics for Term Rewriting Systems 254
Abstract Diagnosis of Functional Programs 246
A Unifying View of Functional and Logic Program Specialization 241
Transformation and Debugging of Functional Logic Programs 239
A Fast Algebraic Web Verification Service 238
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 235
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 235
A Transformation System for Lazy Functional Logic Programs 222
A Logic Programming Approach to Reaction Systems 219
Specialization of Lazy Functional Logic Programs 213
Completeness of Unfolding for Rewriting Logic Theories 211
A Rewriting-based Framework for Web sites Verification 211
Verification of spatial and temporal modalities in biochemical systems. 210
Declarative Diagnosis of Temporal Concurrent Constraint Programs 207
Abstract Correction of first-order Functional Programs 206
Compositional Analysis for Concurrent Constraint Programming 206
Modelling non-Markovian dynamics in biochemical reactions 203
Rules + Strategies for Transforming Lazy Functional Logic Programs 200
Rewriting-based Repairing Strategies for XML Repositories 200
Narrowing-Driven Partial Evaluation of Functional Logic Programs 198
Efficient Analysis of Concurrent Constraint Logic Programs 198
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 194
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 193
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 193
A framework for modelling spatially dependent interactions of biological systems in CCP. 193
Rule-based Verification of Web Sites 190
Narrowing Approximations as an Optimization for Equational Logic Programs 189
Functional and (Constraint) Logic Programming 189
Quantitative Pathway Logic for Computational Biology 189
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 187
Automatic Verification of Timed Concurrent Constraint Programs 184
An Assertion Language for Slicing Constraint Logic Languages 181
Improving Control in Functional Logic Program Specialization 176
Finite failures and partial computations in concurrent logic languages 175
A process algebraic approach to reaction systems 175
Compositional Analysis for Equational Horn Programs 175
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 174
Semantic verification of web system contents 173
Nested Guarded Horn Clauses 172
Simulating Signalling Pathways With BioWayS 170
A logical and graphical framework for reaction systems 170
Declarative modeling of the operational behavior of logic languages 168
Cost-sensitive diagnosis of declarative programs 168
A Debugging Scheme for Functional Logic Programs 166
Confluent semantic basis for the analysis of concurrent constraint logic programs 166
Abstract interpretation of temporal concurrent constraint programs 165
Automated Correction of Functional Logic Programs 165
Confluence in Concurrent Constraint Programming 165
A New Declarative Semantics for Logic Languages 163
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 158
A framework for monitored dynamic slicing of reaction systems 155
Enhancing Reaction Systems: A Process Algebraic Approach 152
Foreword 149
Editorial 140
Dynamic Slicing for Concurrent Constraint Languages 138
An Access Control Language Based on Term Rewriting and Description Logic 131
Confluence in concurrent constraint programming 130
Preface WFLP2008 124
SOS Rules for Equivalences of Reaction Systems 117
ccReact: a rewriting framework for the formal analysis of reaction systems 113
Causal analysis of positive Reaction Systems 108
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 101
Verification of Reaction Systems Processes 100
Quantitative extensions of reaction systems based on SOS semantics 100
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 94
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 92
Modeling and Analyzing Reaction Systems in Maude 91
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 74
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 71
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 67
Simulation and Analysis of Distributed Reaction Systems 50
Mamdani-Driven Fuzzy Reaction Systems 41
Quantitative Pathway Logic for Computational Biology 6
An Abstract Generic Framework for Web Site Verification 2
Totale 13.657
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.912
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 42.912
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022563 0 0 0 28 44 29 57 26 39 90 86 164
2022/20231.147 83 61 148 162 132 236 17 111 122 12 49 14
2023/2024657 37 14 35 21 20 160 256 9 7 14 31 53
2024/20251.702 47 80 143 99 171 115 36 125 139 62 180 505
2025/20264.037 324 634 331 421 665 112 467 165 142 277 110 389
2026/2027886 248 146 409 83 0 0 0 0 0 0 0 0
Totale 13.657