IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.463
EU - Europa 3.570
AS - Asia 2.697
SA - Sud America 381
AF - Africa 149
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 4
Totale 12.273
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.379
CN - Cina 1.062
GB - Regno Unito 925
SG - Singapore 796
RU - Federazione Russa 669
IE - Irlanda 504
UA - Ucraina 321
BR - Brasile 320
SE - Svezia 298
FR - Francia 252
HK - Hong Kong 230
VN - Vietnam 214
IT - Italia 208
DE - Germania 178
KR - Corea 133
FI - Finlandia 88
ZA - Sudafrica 85
IN - India 66
CA - Canada 48
BD - Bangladesh 40
IQ - Iraq 24
MX - Messico 22
NL - Olanda 20
BE - Belgio 19
PL - Polonia 19
AR - Argentina 18
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
KE - Kenya 10
AU - Australia 8
CH - Svizzera 8
CO - Colombia 8
EC - Ecuador 8
RO - Romania 8
SA - Arabia Saudita 8
DZ - Algeria 7
ID - Indonesia 6
NP - Nepal 6
AE - Emirati Arabi Uniti 5
CL - Cile 5
DK - Danimarca 5
LK - Sri Lanka 5
PH - Filippine 5
AZ - Azerbaigian 4
EU - Europa 4
GR - Grecia 4
MY - Malesia 4
PY - Paraguay 4
BO - Bolivia 3
EG - Egitto 3
ET - Etiopia 3
JM - Giamaica 3
JO - Giordania 3
OM - Oman 3
PE - Perù 3
SN - Senegal 3
CR - Costa Rica 2
EE - Estonia 2
HN - Honduras 2
HU - Ungheria 2
IL - Israele 2
KG - Kirghizistan 2
LV - Lettonia 2
PR - Porto Rico 2
PS - Palestinian Territory 2
PT - Portogallo 2
RS - Serbia 2
TG - Togo 2
TT - Trinidad e Tobago 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
MW - Malawi 1
Totale 12.265
Salva come PNG Salva come JPEG
Città #
Southend 794
Fairfield 651
Dublin 491
Dallas 447
Singapore 380
Ashburn 379
Woodbridge 321
Chandler 309
Ann Arbor 282
Jacksonville 271
Seattle 265
Beijing 239
Santa Clara 238
Wilmington 233
Cambridge 227
Houston 224
Hong Kong 220
Hefei 206
Moscow 188
San Jose 144
Seoul 132
Nanjing 91
Princeton 89
Johannesburg 77
The Dalles 75
Los Angeles 70
Lauterbourg 67
Hanoi 61
Ho Chi Minh City 58
Boardman 50
Siena 47
San Diego 44
Council Bluffs 37
Buffalo 34
San Mateo 32
Nanchang 27
Tianjin 26
Redondo Beach 25
Shenyang 24
Guangzhou 23
Milan 23
New York 22
Hebei 21
Florence 20
Helsinki 20
São Paulo 20
Warsaw 19
Bengaluru 18
Chicago 18
Columbus 18
London 18
Dearborn 17
Kunming 17
Orem 17
Shanghai 17
Dong Ket 16
Brussels 15
Changsha 15
Fremont 15
Rome 15
Tashkent 15
Zhengzhou 15
Jiaxing 14
Montreal 14
Jinan 13
San Francisco 13
Abuja 12
Amsterdam 12
Lappeenranta 12
Norwalk 12
Toronto 12
Vienna 12
Chennai 11
Brasília 10
Da Nang 10
Venezia 10
Atlanta 9
Berlin 9
Brooklyn 9
Munich 9
Serra 9
Boston 8
Düsseldorf 8
Frankfurt am Main 8
Haikou 8
Redwood City 8
Tokyo 8
Colombo 7
Curitiba 7
Enniskillen 7
Haiphong 7
Hangzhou 7
Miami 7
Ningbo 7
Ottawa 7
Paris 7
Phoenix 7
Ribeirão Preto 7
Rio de Janeiro 7
Stockholm 7
Totale 8.340
Salva come PNG Salva come JPEG
Nome #
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 257
Process calculi for biological processes 254
A framework for abstract interpretation of timed concurrent constraint programs 244
A Declarative View of Signaling Pathways 244
A proof theoretic view of spatial and temporal dependencies in biochemical systems 244
Slicing concurrent constraint programs 243
A compact Fixpoint Semantics for Term Rewriting Systems 239
A Fast Algebraic Web Verification Service 232
Abstract Diagnosis of Functional Programs 227
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 225
A Unifying View of Functional and Logic Program Specialization 225
Transformation and Debugging of Functional Logic Programs 215
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 214
A Transformation System for Lazy Functional Logic Programs 209
A Logic Programming Approach to Reaction Systems 202
Verification of spatial and temporal modalities in biochemical systems. 201
A Rewriting-based Framework for Web sites Verification 200
Specialization of Lazy Functional Logic Programs 199
Modelling non-Markovian dynamics in biochemical reactions 195
Abstract Correction of first-order Functional Programs 191
Rewriting-based Repairing Strategies for XML Repositories 185
Completeness of Unfolding for Rewriting Logic Theories 184
Declarative Diagnosis of Temporal Concurrent Constraint Programs 184
Efficient Analysis of Concurrent Constraint Logic Programs 183
Compositional Analysis for Concurrent Constraint Programming 182
Rules + Strategies for Transforming Lazy Functional Logic Programs 181
Narrowing-Driven Partial Evaluation of Functional Logic Programs 180
Functional and (Constraint) Logic Programming 178
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 177
Quantitative Pathway Logic for Computational Biology 177
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 176
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 174
Rule-based Verification of Web Sites 172
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 172
A framework for modelling spatially dependent interactions of biological systems in CCP. 170
An Assertion Language for Slicing Constraint Logic Languages 168
Narrowing Approximations as an Optimization for Equational Logic Programs 167
Automatic Verification of Timed Concurrent Constraint Programs 167
Compositional Analysis for Equational Horn Programs 167
A logical and graphical framework for reaction systems 164
A process algebraic approach to reaction systems 163
Semantic verification of web system contents 161
Simulating Signalling Pathways With BioWayS 160
Nested Guarded Horn Clauses 158
Improving Control in Functional Logic Program Specialization 158
Abstract interpretation of temporal concurrent constraint programs 157
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 156
Declarative modeling of the operational behavior of logic languages 154
A New Declarative Semantics for Logic Languages 153
Confluent semantic basis for the analysis of concurrent constraint logic programs 153
Confluence in Concurrent Constraint Programming 151
Finite failures and partial computations in concurrent logic languages 150
Cost-sensitive diagnosis of declarative programs 149
A Debugging Scheme for Functional Logic Programs 148
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 145
Automated Correction of Functional Logic Programs 143
Enhancing Reaction Systems: A Process Algebraic Approach 141
Foreword 140
A framework for monitored dynamic slicing of reaction systems 135
Editorial 129
Dynamic Slicing for Concurrent Constraint Languages 124
Confluence in concurrent constraint programming 120
Preface WFLP2008 114
SOS Rules for Equivalences of Reaction Systems 110
An Access Control Language Based on Term Rewriting and Description Logic 108
ccReact: a rewriting framework for the formal analysis of reaction systems 97
Causal analysis of positive Reaction Systems 94
Quantitative extensions of reaction systems based on SOS semantics 91
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 89
Verification of Reaction Systems Processes 87
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 86
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 82
Modeling and Analyzing Reaction Systems in Maude 79
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 57
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 49
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 42
Simulation and Analysis of Distributed Reaction Systems 38
Quantitative Pathway Logic for Computational Biology 6
An Abstract Generic Framework for Web Site Verification 2
Totale 12.447
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.184
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 39.184
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202194 0 0 0 0 0 0 0 0 0 0 0 94
2021/2022827 82 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/20263.713 324 634 331 421 665 112 467 165 142 277 110 65
Totale 12.447