IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.796
EU - Europa 3.898
AS - Asia 2.720
SA - Sud America 385
Continente sconosciuto - Info sul continente non disponibili 182
AF - Africa 149
OC - Oceania 9
Totale 13.139
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.695
CN - Cina 1.069
GB - Regno Unito 925
SG - Singapore 800
RU - Federazione Russa 669
IT - Italia 530
IE - Irlanda 504
BR - Brasile 321
UA - Ucraina 321
SE - Svezia 299
FR - Francia 254
HK - Hong Kong 236
VN - Vietnam 215
DE - Germania 178
KR - Corea 133
FI - Finlandia 88
ZA - Sudafrica 85
IN - India 66
CA - Canada 52
BD - Bangladesh 43
MX - Messico 25
IQ - Iraq 24
NL - Olanda 21
PL - Polonia 21
AR - Argentina 19
BE - Belgio 19
AT - Austria 15
NG - Nigeria 15
PK - Pakistan 15
UZ - Uzbekistan 15
TR - Turchia 13
ES - Italia 12
JP - Giappone 12
MA - Marocco 12
VE - Venezuela 12
IR - Iran 11
CO - Colombia 10
KE - Kenya 10
AU - Australia 8
CH - Svizzera 8
EC - Ecuador 8
RO - Romania 8
SA - Arabia Saudita 8
DZ - Algeria 7
ID - Indonesia 7
JM - Giamaica 6
NP - Nepal 6
PH - Filippine 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
DK - Danimarca 5
LK - Sri Lanka 5
AZ - Azerbaigian 4
EU - Europa 4
GR - Grecia 4
HN - Honduras 4
MY - Malesia 4
PY - Paraguay 4
TT - Trinidad e Tobago 4
BO - Bolivia 3
EG - Egitto 3
ET - Etiopia 3
JO - Giordania 3
OM - Oman 3
PE - Perù 3
PR - Porto Rico 3
SN - Senegal 3
CR - Costa Rica 2
EE - Estonia 2
GT - Guatemala 2
HU - Ungheria 2
IL - Israele 2
KG - Kirghizistan 2
LV - Lettonia 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
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
MK - Macedonia 1
ML - Mali 1
MO - Macao, regione amministrativa speciale della Cina 1
Totale 12.952
Salva come PNG Salva come JPEG
Città #
Southend 794
Fairfield 651
Dublin 491
Dallas 448
Ashburn 424
Singapore 382
Woodbridge 323
Chandler 309
Ann Arbor 282
Jacksonville 272
Seattle 265
Santa Clara 254
Beijing 243
Wilmington 233
Cambridge 227
Hong Kong 225
Houston 225
Hefei 206
Milan 200
Moscow 188
Council Bluffs 170
San Jose 146
Seoul 132
Nanjing 91
Princeton 89
Johannesburg 77
The Dalles 75
Los Angeles 73
Lauterbourg 67
Rome 64
Hanoi 61
Ho Chi Minh City 58
Boardman 50
Siena 47
San Diego 45
Buffalo 35
Florence 34
San Mateo 33
Columbus 32
Nanchang 27
New York 27
Tianjin 26
Redondo Beach 25
Shenyang 24
Guangzhou 23
Hebei 21
Chicago 20
Helsinki 20
São Paulo 20
Warsaw 19
Bengaluru 18
London 18
Dearborn 17
Kunming 17
Orem 17
Shanghai 17
Dong Ket 16
Brussels 15
Changsha 15
Fremont 15
Montreal 15
Tashkent 15
Zhengzhou 15
Jiaxing 14
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
Brasília 10
Da Nang 10
Venezia 10
Atlanta 9
Berlin 9
Munich 9
Phoenix 9
Serra 9
Düsseldorf 8
Frankfurt am Main 8
Haikou 8
Redwood City 8
Tokyo 8
Bologna 7
Colombo 7
Curitiba 7
Enniskillen 7
Haiphong 7
Hangzhou 7
Mexico City 7
Miami 7
Ningbo 7
Ottawa 7
Totale 8.837
Salva come PNG Salva come JPEG
Nome #
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 267
Process calculi for biological processes 262
A framework for abstract interpretation of timed concurrent constraint programs 260
Slicing concurrent constraint programs 258
A proof theoretic view of spatial and temporal dependencies in biochemical systems 253
A Declarative View of Signaling Pathways 248
A compact Fixpoint Semantics for Term Rewriting Systems 245
Abstract Diagnosis of Functional Programs 236
A Unifying View of Functional and Logic Program Specialization 236
A Fast Algebraic Web Verification Service 235
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 230
Transformation and Debugging of Functional Logic Programs 228
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 225
A Transformation System for Lazy Functional Logic Programs 217
A Logic Programming Approach to Reaction Systems 215
Specialization of Lazy Functional Logic Programs 208
A Rewriting-based Framework for Web sites Verification 207
Verification of spatial and temporal modalities in biochemical systems. 204
Completeness of Unfolding for Rewriting Logic Theories 200
Declarative Diagnosis of Temporal Concurrent Constraint Programs 200
Abstract Correction of first-order Functional Programs 199
Modelling non-Markovian dynamics in biochemical reactions 199
Compositional Analysis for Concurrent Constraint Programming 196
Rewriting-based Repairing Strategies for XML Repositories 193
Rules + Strategies for Transforming Lazy Functional Logic Programs 192
Efficient Analysis of Concurrent Constraint Logic Programs 190
Narrowing-Driven Partial Evaluation of Functional Logic Programs 189
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 188
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 187
Rule-based Verification of Web Sites 183
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 182
Narrowing Approximations as an Optimization for Equational Logic Programs 182
A framework for modelling spatially dependent interactions of biological systems in CCP. 182
Quantitative Pathway Logic for Computational Biology 181
Functional and (Constraint) Logic Programming 179
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 177
Automatic Verification of Timed Concurrent Constraint Programs 177
An Assertion Language for Slicing Constraint Logic Languages 177
A process algebraic approach to reaction systems 171
Compositional Analysis for Equational Horn Programs 171
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 169
Nested Guarded Horn Clauses 169
Semantic verification of web system contents 169
Improving Control in Functional Logic Program Specialization 168
A logical and graphical framework for reaction systems 168
Finite failures and partial computations in concurrent logic languages 166
Simulating Signalling Pathways With BioWayS 163
Confluent semantic basis for the analysis of concurrent constraint logic programs 163
Declarative modeling of the operational behavior of logic languages 162
Cost-sensitive diagnosis of declarative programs 161
A New Declarative Semantics for Logic Languages 159
A Debugging Scheme for Functional Logic Programs 158
Abstract interpretation of temporal concurrent constraint programs 158
Automated Correction of Functional Logic Programs 158
Confluence in Concurrent Constraint Programming 155
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 155
Enhancing Reaction Systems: A Process Algebraic Approach 149
A framework for monitored dynamic slicing of reaction systems 144
Foreword 143
Editorial 138
Dynamic Slicing for Concurrent Constraint Languages 133
Confluence in concurrent constraint programming 124
An Access Control Language Based on Term Rewriting and Description Logic 122
Preface WFLP2008 119
SOS Rules for Equivalences of Reaction Systems 112
ccReact: a rewriting framework for the formal analysis of reaction systems 104
Causal analysis of positive Reaction Systems 101
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 96
Verification of Reaction Systems Processes 95
Quantitative extensions of reaction systems based on SOS semantics 95
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 88
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 87
Modeling and Analyzing Reaction Systems in Maude 86
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 67
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 63
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 60
Simulation and Analysis of Distributed Reaction Systems 43
Mamdani-Driven Fuzzy Reaction Systems 32
Quantitative Pathway Logic for Computational Biology 6
An Abstract Generic Framework for Web Site Verification 2
Totale 13.139
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.149
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 41.149
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022745 0 127 55 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/2027368 248 120 0 0 0 0 0 0 0 0 0 0
Totale 13.139