IRIS
FALASCHI, MORENO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.351
EU - Europa 3.562
AS - Asia 2.641
SA - Sud America 382
AF - Africa 151
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 4
Totale 12.099
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.270
CN - Cina 1.045
GB - Regno Unito 924
SG - Singapore 769
RU - Federazione Russa 669
IE - Irlanda 504
UA - Ucraina 321
BR - Brasile 320
SE - Svezia 298
FR - Francia 252
HK - Hong Kong 231
VN - Vietnam 215
IT - Italia 201
DE - Germania 178
KR - Corea 133
FI - Finlandia 88
ZA - Sudafrica 87
IN - India 65
CA - Canada 47
BD - Bangladesh 29
IQ - Iraq 24
MX - Messico 21
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
MA - Marocco 12
VE - Venezuela 12
IR - Iran 11
JP - Giappone 11
KE - Kenya 10
CH - Svizzera 8
CO - Colombia 8
EC - Ecuador 8
RO - Romania 8
SA - Arabia Saudita 8
AU - Australia 7
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
BO - Bolivia 4
EU - Europa 4
GR - Grecia 4
PY - Paraguay 4
EG - Egitto 3
ET - Etiopia 3
JM - Giamaica 3
JO - Giordania 3
MY - Malesia 3
OM - Oman 3
PE - Perù 3
SN - Senegal 3
CR - Costa Rica 2
EE - Estonia 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
HN - Honduras 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.091
Salva come PNG Salva come JPEG
Città #
Southend 794
Fairfield 651
Dublin 491
Dallas 446
Singapore 382
Ashburn 370
Woodbridge 321
Chandler 309
Ann Arbor 282
Jacksonville 271
Seattle 265
Beijing 239
Santa Clara 233
Wilmington 233
Cambridge 227
Houston 224
Hong Kong 221
Hefei 206
Moscow 188
Seoul 132
San Jose 102
Nanjing 91
Princeton 89
Johannesburg 79
The Dalles 75
Lauterbourg 67
Los Angeles 66
Hanoi 61
Ho Chi Minh City 58
Boardman 50
Siena 47
San Diego 44
Council Bluffs 37
Buffalo 33
San Mateo 32
Nanchang 27
Tianjin 26
Redondo Beach 25
Shenyang 24
Guangzhou 23
Hebei 21
Milan 21
Florence 20
Helsinki 20
New York 20
São Paulo 20
Warsaw 19
Bengaluru 18
Chicago 18
Columbus 18
London 18
Dearborn 17
Kunming 17
Orem 17
Dong Ket 16
Shanghai 16
Brussels 15
Changsha 15
Fremont 15
Rome 15
Tashkent 15
Zhengzhou 15
Jiaxing 14
Montreal 14
Jinan 13
Abuja 12
Amsterdam 12
Lappeenranta 12
Norwalk 12
San Francisco 12
Toronto 12
Vienna 12
Chennai 11
Brasília 10
Da Nang 10
Venezia 10
Berlin 9
Brooklyn 9
Munich 9
Serra 9
Atlanta 8
Boston 8
Düsseldorf 8
Frankfurt am Main 8
Haikou 8
Redwood City 8
Tokyo 8
Colombo 7
Curitiba 7
Enniskillen 7
Haiphong 7
Ningbo 7
Ottawa 7
Paris 7
Ribeirão Preto 7
Rio de Janeiro 7
Stockholm 7
Baghdad 6
Belo Horizonte 6
Edinburgh 6
Totale 8.273
Salva come PNG Salva come JPEG
Nome #
Process calculi for biological processes 253
Slicing concurrent constraint programs 243
A proof theoretic view of spatial and temporal dependencies in biochemical systems 242
A Declarative View of Signaling Pathways 241
A framework for abstract interpretation of timed concurrent constraint programs 240
A compact Fixpoint Semantics for Term Rewriting Systems 235
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems 230
A Fast Algebraic Web Verification Service 229
Abstract Diagnosis of Functional Programs 224
A Unifying View of Functional and Logic Program Specialization 224
A Fold/Unfold Transformation Framework for Rewrite Theories extended to CCT 221
Transformation and Debugging of Functional Logic Programs 214
A Synchronization Logic: Axiomatics and FormalSemantics of Generalized Horn Clauses 212
A Transformation System for Lazy Functional Logic Programs 203
A Logic Programming Approach to Reaction Systems 201
Specialization of Lazy Functional Logic Programs 198
A Rewriting-based Framework for Web sites Verification 198
Verification of spatial and temporal modalities in biochemical systems. 197
Modelling non-Markovian dynamics in biochemical reactions 194
Abstract Correction of first-order Functional Programs 188
Rewriting-based Repairing Strategies for XML Repositories 184
Completeness of Unfolding for Rewriting Logic Theories 183
Declarative Diagnosis of Temporal Concurrent Constraint Programs 182
Compositional Analysis for Concurrent Constraint Programming 182
Efficient Analysis of Concurrent Constraint Logic Programs 181
Rules + Strategies for Transforming Lazy Functional Logic Programs 179
Narrowing-Driven Partial Evaluation of Functional Logic Programs 179
Functional and (Constraint) Logic Programming 178
Compositional modelling of signalling pathways in Timed Concurrent Constraint Programming 176
Quantitative Pathway Logic for Computational Biology 176
Enhancing Embedding Representations of Biomedical Data using Logic Knowledge 175
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs 173
Rule-based Verification of Web Sites 170
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. 169
A framework for modelling spatially dependent interactions of biological systems in CCP. 169
Narrowing Approximations as an Optimization for Equational Logic Programs 167
Compositional Analysis for Equational Horn Programs 167
Automatic Verification of Timed Concurrent Constraint Programs 166
A logical and graphical framework for reaction systems 163
Semantic verification of web system contents 160
An Assertion Language for Slicing Constraint Logic Languages 160
Simulating Signalling Pathways With BioWayS 158
Improving Control in Functional Logic Program Specialization 158
Abstract interpretation of temporal concurrent constraint programs 156
A Model-Theoretic Reconstruction ofthe Operational Semantics of Logic Programs 154
A process algebraic approach to reaction systems 154
Confluent semantic basis for the analysis of concurrent constraint logic programs 152
Nested Guarded Horn Clauses 151
A New Declarative Semantics for Logic Languages 151
Cost-sensitive diagnosis of declarative programs 148
A Debugging Scheme for Functional Logic Programs 147
Confluence in Concurrent Constraint Programming 144
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy 143
Declarative modeling of the operational behavior of logic languages 140
Finite failures and partial computations in concurrent logic languages 140
Enhancing Reaction Systems: A Process Algebraic Approach 140
Foreword 139
A framework for monitored dynamic slicing of reaction systems 131
Automated Correction of Functional Logic Programs 131
Editorial 128
Dynamic Slicing for Concurrent Constraint Languages 124
Confluence in concurrent constraint programming 119
Preface WFLP2008 114
SOS Rules for Equivalences of Reaction Systems 109
null 102
ccReact: a rewriting framework for the formal analysis of reaction systems 96
Causal analysis of positive Reaction Systems 94
Quantitative extensions of reaction systems based on SOS semantics 90
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors 88
Verification of Reaction Systems Processes 86
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 86
Modeling and Analyzing Reaction Systems in Maude 79
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 77
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems 57
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks 48
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems 41
Simulation and Analysis of Distributed Reaction Systems 36
An Access Control Language Based on Term Rewriting and Description Logic 25
Quantitative Pathway Logic for Computational Biology 6
An Abstract Generic Framework for Web Site Verification 2
Totale 12.270
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.723
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 37.723
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021274 0 0 0 0 0 0 0 0 0 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/20263.525 326 634 332 421 668 112 470 169 142 251 0 0
Totale 12.270