IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.100
EU - Europa 3.430
AS - Asia 2.107
SA - Sud America 336
AF - Africa 45
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 4
Totale 11.029
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.033
CN - Cina 946
GB - Regno Unito 916
RU - Federazione Russa 667
SG - Singapore 582
IE - Irlanda 504
UA - Ucraina 318
SE - Svezia 297
BR - Brasile 289
HK - Hong Kong 199
IT - Italia 188
FR - Francia 172
DE - Germania 171
KR - Corea 132
FI - Finlandia 82
VN - Vietnam 71
IN - India 47
CA - Canada 45
BD - Bangladesh 19
PL - Polonia 19
BE - Belgio 18
IQ - Iraq 17
MX - Messico 15
NL - Olanda 15
AR - Argentina 14
AT - Austria 14
TR - Turchia 13
ZA - Sudafrica 13
IR - Iran 11
JP - Giappone 11
ES - Italia 10
MA - Marocco 10
UZ - Uzbekistan 10
VE - Venezuela 10
EC - Ecuador 7
RO - Romania 7
AU - Australia 6
CH - Svizzera 6
CO - Colombia 6
DZ - Algeria 6
ID - Indonesia 6
PK - Pakistan 6
DK - Danimarca 5
LK - Sri Lanka 5
SA - Arabia Saudita 5
EU - Europa 4
GR - Grecia 4
KE - Kenya 4
NP - Nepal 4
AZ - Azerbaigian 3
BO - Bolivia 3
EG - Egitto 3
JM - Giamaica 3
PY - Paraguay 3
AE - Emirati Arabi Uniti 2
CL - Cile 2
CR - Costa Rica 2
EE - Estonia 2
ET - Etiopia 2
HU - Ungheria 2
IL - Israele 2
JO - Giordania 2
KG - Kirghizistan 2
LV - Lettonia 2
OM - Oman 2
PE - Perù 2
PS - Palestinian Territory 2
PT - Portogallo 2
RS - Serbia 2
SN - Senegal 2
TG - Togo 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CI - Costa d'Avorio 1
CY - Cipro 1
CZ - Repubblica Ceca 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
MO - Macao, regione amministrativa speciale della Cina 1
MY - Malesia 1
NZ - Nuova Zelanda 1
RW - Ruanda 1
TT - Trinidad e Tobago 1
YT - Mayotte 1
Totale 11.029
Salva come PNG Salva come JPEG
Città #
Southend 794
Fairfield 651
Dublin 491
Dallas 442
Ashburn 353
Woodbridge 321
Singapore 311
Chandler 309
Ann Arbor 282
Jacksonville 269
Seattle 265
Beijing 239
Wilmington 233
Santa Clara 232
Cambridge 227
Houston 224
Hong Kong 195
Moscow 188
Hefei 173
Seoul 132
Nanjing 91
Princeton 89
Los Angeles 53
Boardman 50
Siena 47
San Diego 44
The Dalles 37
San Mateo 32
Buffalo 31
Nanchang 27
Tianjin 26
Council Bluffs 25
Redondo Beach 25
Shenyang 24
Hebei 21
Milan 21
Ho Chi Minh City 20
New York 20
Guangzhou 19
Warsaw 19
Bengaluru 18
Columbus 18
Florence 18
Chicago 17
Dearborn 17
Helsinki 17
Kunming 17
London 17
São Paulo 17
Dong Ket 16
Changsha 15
Fremont 15
Shanghai 15
Zhengzhou 15
Brussels 14
Hanoi 14
Jiaxing 14
Jinan 13
Montreal 13
Rome 13
Norwalk 12
San Francisco 12
San Jose 12
Toronto 12
Vienna 11
Tashkent 10
Venezia 10
Brooklyn 9
Lappeenranta 9
Munich 9
Serra 9
Amsterdam 8
Berlin 8
Boston 8
Brasília 8
Düsseldorf 8
Haikou 8
Redwood City 8
Tokyo 8
Atlanta 7
Chennai 7
Colombo 7
Curitiba 7
Enniskillen 7
Johannesburg 7
Ningbo 7
Ottawa 7
Stockholm 7
Belo Horizonte 6
Edinburgh 6
Fortaleza 6
Hangzhou 6
Nuremberg 6
Orem 6
Phoenix 6
Poplar 6
Ribeirão Preto 6
Rio de Janeiro 6
Taizhou 6
Auburn Hills 5
Totale 7.678
Salva come PNG Salva come JPEG
Nome #
Process calculi for biological processes 245
Slicing concurrent constraint programs 231
A Declarative View of Signaling Pathways 224
A compact Fixpoint Semantics for Term Rewriting Systems 220
A Fast Algebraic Web Verification Service 218
A framework for abstract interpretation of timed concurrent constraint programs 217
A proof theoretic view of spatial and temporal dependencies in biochemical systems 213
Abstract Diagnosis of Functional Programs 209
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 206
A Unifying View of Functional and Logic Program Specialization 204
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 199
Transformation and Debugging of Functional Logic Programs 199
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 196
Specialization of Lazy Functional Logic Programs 190
A Rewriting-based Framework for Web sites Verification 187
A Logic Programming Approach to Reaction Systems 187
Verification of spatial and temporal modalities in biochemical systems. 186
Modelling non-Markovian dynamics in biochemical reactions 185
A Transformation System for Lazy Functional Logic Programs 184
Completeness of Unfolding for Rewriting Logic Theories 175
Rewriting-based Repairing Strategies for XML Repositories 174
Abstract Correction of first-order Functional Programs 173
Declarative Diagnosis of Temporal Concurrent Constraint Programs 172
Compositional Analysis for Concurrent Constraint Programming 172
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 170
Rule-based Verification of Web Sites 165
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 165
Quantitative Pathway Logic for Computational Biology 165
Rules + Strategies for Transforming Lazy Functional Logic Programs 161
Compositional Analysis for Equational Horn Programs 161
Automatic Verification of Timed Concurrent Constraint Programs 160
Efficient Analysis of Concurrent Constraint Logic Programs 159
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 159
Narrowing-Driven Partial Evaluation of Functional Logic Programs 157
Functional and (Constraint) Logic Programming 157
Narrowing Approximations as an Optimization for Equational Logic Programs 156
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 155
Semantic verification of web system contents 153
A framework for modelling spatially dependent interactions of biological systems in CCP. 152
An Assertion Language for Slicing Constraint Logic Languages 151
Abstract interpretation of temporal concurrent constraint programs 147
Simulating Signalling Pathways With BioWayS 146
A logical and graphical framework for reaction systems 145
Confluent semantic basis for the analysis of concurrent constraint logic programs 144
Cost-sensitive diagnosis of declarative programs 143
Nested Guarded Horn Clauses 140
A New Declarative Semantics for Logic Languages 139
Improving Control in Functional Logic Program Specialization 139
A process algebraic approach to reaction systems 137
Confluence in Concurrent Constraint Programming 135
A Debugging Scheme for Functional Logic Programs 134
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 134
Enhancing Reaction Systems: A Process Algebraic Approach 132
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 132
Finite failures and partial computations in concurrent logic languages 130
Foreword 130
Declarative modeling of the operational behavior of logic languages 128
Editorial 119
Automated Correction of Functional Logic Programs 118
Dynamic Slicing for Concurrent Constraint Languages 113
A framework for monitored dynamic slicing of reaction systems 109
Confluence in concurrent constraint programming 107
Preface WFLP2008 106
null 102
SOS Rules for Equivalences of Reaction Systems 93
Causal analysis of positive Reaction Systems 81
Verification of Reaction Systems Processes 78
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 76
Quantitative extensions of reaction systems based on SOS semantics 72
ccReact: a rewriting framework for the formal analysis of reaction systems 70
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 69
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 67
Modeling and Analyzing Reaction Systems in Maude 64
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 45
An Access Control Language Based on Term Rewriting and Description Logic 17
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 15
Simulation and Analysis of Distributed Reaction Systems 13
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 11
Quantitative Pathway Logic for Computational Biology 6
An Abstract Generic Framework for Web Site Verification 2
Totale 11.200
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.955
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 35.955
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021784 0 0 0 0 0 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/20251.711 47 80 145 99 173 116 36 126 140 62 180 507
2025/20262.455 326 634 332 421 668 74 0 0 0 0 0 0
Totale 11.200