CINECA IRIS Institutional Research Information System

BARBUTI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 16.091
NA - Nord America 12.426
AS - Asia 5.196
SA - Sud America 571
AF - Africa 230
Continente sconosciuto - Info sul continente non disponibili 131
OC - Oceania 10
Totale 34.655
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 12.824
US - Stati Uniti d'America 11.895
SG - Singapore 1.679
CN - Cina 1.639
SE - Svezia 1.057
HK - Hong Kong 682
DE - Germania 621
BR - Brasile 460
CA - Canada 426
VN - Vietnam 353
BG - Bulgaria 349
TR - Turchia 284
GB - Regno Unito 233
FI - Finlandia 208
FR - Francia 200
UA - Ucraina 191
KR - Corea 188
RU - Federazione Russa 145
CI - Costa d'Avorio 95
JP - Giappone 88
IN - India 84
CH - Svizzera 82
BE - Belgio 41
MX - Messico 39
AR - Argentina 35
NG - Nigeria 34
NL - Olanda 34
IQ - Iraq 30
BD - Bangladesh 28
PK - Pakistan 23
EC - Ecuador 21
ZA - Sudafrica 21
SN - Senegal 18
SA - Arabia Saudita 16
UZ - Uzbekistan 16
VE - Venezuela 16
JM - Giamaica 15
CO - Colombia 14
ES - Italia 14
GR - Grecia 13
ID - Indonesia 13
CR - Costa Rica 12
HU - Ungheria 12
EG - Egitto 11
PL - Polonia 11
CL - Cile 9
MA - Marocco 9
AE - Emirati Arabi Uniti 8
IL - Israele 8
KE - Kenya 7
NI - Nicaragua 7
NP - Nepal 7
UG - Uganda 7
AT - Austria 6
AU - Australia 6
HN - Honduras 6
IE - Irlanda 6
JO - Giordania 6
LB - Libano 6
MY - Malesia 6
PH - Filippine 6
BJ - Benin 5
DZ - Algeria 5
GT - Guatemala 5
HR - Croazia 5
KZ - Kazakistan 5
LT - Lituania 5
SV - El Salvador 5
TN - Tunisia 5
AZ - Azerbaigian 4
CZ - Repubblica Ceca 4
DK - Danimarca 4
ET - Etiopia 4
EU - Europa 4
NZ - Nuova Zelanda 4
PE - Perù 4
PY - Paraguay 4
RO - Romania 4
TT - Trinidad e Tobago 4
BA - Bosnia-Erzegovina 3
BB - Barbados 3
BO - Bolivia 3
GE - Georgia 3
MD - Moldavia 3
PR - Porto Rico 3
RS - Serbia 3
UY - Uruguay 3
AL - Albania 2
AM - Armenia 2
BS - Bahamas 2
BY - Bielorussia 2
EE - Estonia 2
LU - Lussemburgo 2
NO - Norvegia 2
PS - Palestinian Territory 2
TH - Thailandia 2
XK - ???statistics.table.value.countryCode.XK??? 2
AG - Antigua e Barbuda 1
AO - Angola 1
AW - Aruba 1
Totale 34.507
Salva come PNG Salva come JPEG
Città #
Serra 11.724
Ashburn 1.311
Singapore 963
Woodbridge 929
Ann Arbor 790
Fairfield 779
Chandler 726
Hong Kong 671
Santa Clara 640
Houston 582
San Jose 547
Beijing 365
Seattle 362
Dallas 351
Sofia 349
Ottawa 330
Milan 323
Wilmington 297
Council Bluffs 278
Shanghai 277
Cambridge 269
Hefei 251
Jacksonville 240
New York 222
Izmir 206
Seoul 182
Frankfurt am Main 158
Princeton 146
Boardman 143
Los Angeles 137
Lawrence 128
Lauterbourg 119
Nanjing 118
Bremen 111
Medford 102
Dearborn 98
Des Moines 98
Abidjan 95
Ho Chi Minh City 92
Chicago 78
Tokyo 78
Munich 71
Florence 70
Bern 64
Staranzano 64
Dong Ket 58
Buffalo 55
Istanbul 53
São Paulo 51
Hanoi 48
Nanchang 48
Rome 46
Jüchen 43
Pisa 43
San Diego 43
Helsinki 42
Brussels 41
London 38
Redondo Beach 37
Lagos 34
Düsseldorf 33
Pune 33
Turku 28
The Dalles 27
Boulder 26
Redwood City 26
Toronto 26
Atlanta 25
Brooklyn 24
Kunming 24
Phoenix 24
Ogden 22
Columbus 20
Marseille 20
Orem 20
Changsha 19
Rio de Janeiro 19
Dakar 18
Hebei 18
Jiaxing 18
Zurich 18
Shenyang 16
Auburn Hills 15
Haiphong 15
Belo Horizonte 14
Fuzhou 14
Tashkent 14
Amsterdam 12
Hangzhou 12
Miami 12
Tianjin 12
Washington 12
Ankara 11
Boston 11
Charlotte 11
Chennai 11
Las Vegas 11
Manchester 11
Nürnberg 11
San José 11
Totale 27.338
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 620
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 554
Generalized contexts for reaction systems: definition and study of dynamic causalities 537
Modelling Population Dynamics Using Grid Systems 504
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 494
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 488
Investigating dynamic causalities in reaction systems 478
P Systems with Transport and Diffusion Membrane Channels 472
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 466
Delay stochastic simulation of biological systems: A purely delayed approach 457
An Intermediate Language for the Simulation of Biological Systems 452
Tumour suppression by Immune System through Stochastic Oscillations 451
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 450
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 447
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 447
Systolic automata and p systems 443
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 438
Simulation of Spatial P system models 438
Foundational aspects of multiscale modeling of biological systems with process algebras 434
A Compositional Semantics of Reaction Systems with Restriction 432
A probabilistic model for molecular systems 431
Parallel Probabilistic Semantics for Multiset Rewriting 431
Spatial Calculus of Looping Sequences 425
The Calculus of Looping Sequences 417
Compositional semantics and behavioural equivalences for reaction systems with restriction 413
Timed P Automata 410
Spatial Calculus of Looping Sequences 410
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 409
Computational Models for Population Dynamics: Two Case Studies 408
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 407
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 407
An Intermediate Language for the Stochastic Simulation of Biological Systems 407
Compositional Semantics of Spiking Neural P Systems 404
An Overview of Operational Semantics in Membrane Computing 404
Probabilistic model checking of biological systems with uncertain kinetic rates 400
Bisimulation Congruences in the Calculus of Looping Sequences 400
Bisimulations in Calculi Modelling Membranes 394
Compositional semantics and behavioral equivalences for P Systems 390
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 380
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 377
A Calculus of Looping Sequences for Modelling Microbiological Systems 374
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 373
A P Systems Flat Form Preserving Step-by-step Behaviour 358
null 346
Timed P automata 345
Identification of nesting phase in tortoise populations by neural networks. 345
The Calculus of Looping Sequences for Modelling Biological Membranes 339
Spatial P Systems 335
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures 298
Programming environments: deriving language dependent tools from structured donotational semantics 272
Fine-tuning anti-tumor immunotherapies via stochastic simulations 249
P Systems with Transport and Diffusion Membrane Channels 238
Modelling Prolog Control 231
On the Integration of Logic Programming and Functional Programming 230
Programming environment generation based on denotational semantics 227
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 225
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 224
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 223
Recognizing Non-Floundering Logic Programs and Goals 221
Checking Security of Java Bytecode by Abstract Interpretation 216
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 215
Towards the definition of an experimental programming environment from language formal specifications 213
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 212
Localizing Tortoise Nests by Neural Networks 207
A Constructive Approach to Static Verification of Program Properties 206
Cooperating Logic Theories 206
Modelling Prolog Control 206
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 204
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions 199
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 199
Completeness of the SLDNF-resolution for a class of logic programs 198
Modelling Biochemical Pathways with the Calculus of Looping Sequences 195
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 194
LEAF: A Language which Integrates Logic, Equations and Functions 193
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 191
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 187
Tortoise@: a system for localizing tortoises during the eggs deposition phase 186
Characterization and computation of ancestors in reaction systems 186
Oracle Semantics for Prolog 185
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 185
Algebraic Computational Models of OR-parallel Execution of Prolog 184
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 183
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 182
Modeling OR-Parallel Execution of Prolog using CHOCS 177
A Multiple-Valued Logical Semantics for Prolog 177
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 177
A decidable notion of timed non-interference 176
Modeling Prolog Control 173
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 173
A Notion of Non-Interference for Timed Automata 172
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 169
Abstract Interpretation of Trace Semantics for Concurrent Calculi 166
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 166
Timed automata with urgent transitions 162
Selective Mu-calculus and formula-based equivalence of transition systems 162
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 161
Fixing the Java Bytecode Verifier by a Suitable Type Domain 160
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 159
Java bytecode verification on Java cards 158
LEAF: A Language witch Integrates Logic, Equations and Functions. 157
Totale 30.656
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.517
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 76.517
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.531 0 0 0 327 338 178 38 73 70 21 100 386
2022/20232.329 292 295 135 321 218 270 21 153 465 12 131 16
2023/20241.581 207 136 273 87 178 272 85 96 15 40 45 147
2024/20254.121 27 167 79 217 417 446 333 210 284 541 537 863
2025/20264.077 317 643 362 271 411 403 683 181 177 406 119 104
2026/20272.106 123 540 918 525 0 0 0 0 0 0 0 0
Totale 34.655