CINECA IRIS Institutional Research Information System

BARBUTI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 15.985
NA - Nord America 10.768
AS - Asia 5.177
SA - Sud America 543
AF - Africa 230
Continente sconosciuto - Info sul continente non disponibili 131
OC - Oceania 10
Totale 32.844
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 12.726
US - Stati Uniti d'America 10.338
SG - Singapore 1.676
CN - Cina 1.637
SE - Svezia 1.057
HK - Hong Kong 681
DE - Germania 619
BR - Brasile 437
CA - Canada 363
VN - Vietnam 353
BG - Bulgaria 349
TR - Turchia 282
GB - Regno Unito 231
FI - Finlandia 208
FR - Francia 199
UA - Ucraina 191
KR - Corea 186
RU - Federazione Russa 144
CI - Costa d'Avorio 95
JP - Giappone 86
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 27
PK - Pakistan 23
EC - Ecuador 21
ZA - Sudafrica 21
SN - Senegal 18
SA - Arabia Saudita 16
UZ - Uzbekistan 16
VE - Venezuela 16
ES - Italia 14
GR - Grecia 13
ID - Indonesia 13
HU - Ungheria 12
EG - Egitto 11
PL - Polonia 11
CO - Colombia 10
MA - Marocco 9
AE - Emirati Arabi Uniti 8
CL - Cile 8
IL - Israele 7
JM - Giamaica 7
KE - Kenya 7
NP - Nepal 7
UG - Uganda 7
AT - Austria 6
AU - Australia 6
IE - Irlanda 6
JO - Giordania 6
LB - Libano 6
BJ - Benin 5
DZ - Algeria 5
HR - Croazia 5
LT - Lituania 5
PH - Filippine 5
TN - Tunisia 5
AZ - Azerbaigian 4
CR - Costa Rica 4
CZ - Repubblica Ceca 4
ET - Etiopia 4
EU - Europa 4
KZ - Kazakistan 4
NI - Nicaragua 4
NZ - Nuova Zelanda 4
PE - Perù 4
PY - Paraguay 4
RO - Romania 4
BO - Bolivia 3
DK - Danimarca 3
GE - Georgia 3
MD - Moldavia 3
MY - Malesia 3
RS - Serbia 3
UY - Uruguay 3
AL - Albania 2
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BS - Bahamas 2
BY - Bielorussia 2
EE - Estonia 2
GT - Guatemala 2
HN - Honduras 2
LU - Lussemburgo 2
NO - Norvegia 2
PR - Porto Rico 2
PS - Palestinian Territory 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BB - Barbados 1
BF - Burkina Faso 1
BH - Bahrain 1
BN - Brunei Darussalam 1
Totale 32.699
Salva come PNG Salva come JPEG
Città #
Serra 11.724
Ashburn 1.058
Singapore 963
Woodbridge 928
Ann Arbor 790
Fairfield 778
Chandler 726
Hong Kong 670
Santa Clara 633
Houston 577
San Jose 448
Beijing 364
Seattle 361
Sofia 349
Dallas 344
Ottawa 330
Milan 319
Wilmington 295
Shanghai 277
Cambridge 269
Hefei 251
Jacksonville 239
New York 214
Izmir 206
Seoul 182
Frankfurt am Main 158
Boardman 143
Princeton 133
Lawrence 128
Los Angeles 123
Lauterbourg 119
Nanjing 118
Bremen 111
Medford 101
Council Bluffs 98
Dearborn 98
Des Moines 98
Abidjan 95
Ho Chi Minh City 92
Tokyo 76
Chicago 73
Munich 71
Florence 69
Bern 64
Dong Ket 58
Buffalo 53
Istanbul 53
Hanoi 48
Nanchang 48
Jüchen 43
Pisa 43
Helsinki 42
San Diego 42
Brussels 41
Rome 40
Redondo Beach 37
London 36
Lagos 34
Düsseldorf 33
Pune 33
São Paulo 31
Turku 28
The Dalles 27
Boulder 26
Redwood City 26
Kunming 24
Ogden 22
Brooklyn 21
Marseille 20
Orem 20
Atlanta 19
Changsha 19
Rio de Janeiro 19
Columbus 18
Dakar 18
Hebei 18
Jiaxing 18
Zurich 18
Phoenix 17
Shenyang 16
Haiphong 15
Auburn Hills 14
Belo Horizonte 14
Fuzhou 14
Tashkent 14
Amsterdam 12
Hangzhou 12
Tianjin 12
Ankara 11
Chennai 11
Nürnberg 11
Washington 11
Como 10
Da Nang 10
Guangzhou 10
Mexico City 10
Quito 10
San Francisco 10
Baghdad 9
Jinan 9
Totale 26.601
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 610
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 539
Generalized contexts for reaction systems: definition and study of dynamic causalities 520
Modelling Population Dynamics Using Grid Systems 489
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 481
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 467
P Systems with Transport and Diffusion Membrane Channels 457
Investigating dynamic causalities in reaction systems 457
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 452
Delay stochastic simulation of biological systems: A purely delayed approach 450
An Intermediate Language for the Simulation of Biological Systems 444
Tumour suppression by Immune System through Stochastic Oscillations 443
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 436
Systolic automata and p systems 433
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 433
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 427
Simulation of Spatial P system models 427
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 425
Foundational aspects of multiscale modeling of biological systems with process algebras 423
A Compositional Semantics of Reaction Systems with Restriction 420
A probabilistic model for molecular systems 417
Parallel Probabilistic Semantics for Multiset Rewriting 415
Spatial Calculus of Looping Sequences 412
The Calculus of Looping Sequences 401
Spatial Calculus of Looping Sequences 399
Compositional semantics and behavioural equivalences for reaction systems with restriction 398
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 396
An Intermediate Language for the Stochastic Simulation of Biological Systems 395
Timed P Automata 394
Compositional Semantics of Spiking Neural P Systems 394
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 394
Computational Models for Population Dynamics: Two Case Studies 393
Bisimulation Congruences in the Calculus of Looping Sequences 389
An Overview of Operational Semantics in Membrane Computing 388
Probabilistic model checking of biological systems with uncertain kinetic rates 386
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 385
Bisimulations in Calculi Modelling Membranes 381
Compositional semantics and behavioral equivalences for P Systems 375
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 369
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 366
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 362
A Calculus of Looping Sequences for Modelling Microbiological Systems 362
null 346
A P Systems Flat Form Preserving Step-by-step Behaviour 345
Timed P automata 333
The Calculus of Looping Sequences for Modelling Biological Membranes 329
Spatial P Systems 322
Identification of nesting phase in tortoise populations by neural networks. 319
Programming environments: deriving language dependent tools from structured donotational semantics 248
Fine-tuning anti-tumor immunotherapies via stochastic simulations 234
P Systems with Transport and Diffusion Membrane Channels 223
Modelling Prolog Control 220
On the Integration of Logic Programming and Functional Programming 216
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 215
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 215
Recognizing Non-Floundering Logic Programs and Goals 211
Programming environment generation based on denotational semantics 210
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 206
Checking Security of Java Bytecode by Abstract Interpretation 204
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 203
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 198
Towards the definition of an experimental programming environment from language formal specifications 197
Modelling Prolog Control 197
A Constructive Approach to Static Verification of Program Properties 195
Cooperating Logic Theories 195
Localizing Tortoise Nests by Neural Networks 194
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 192
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 190
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures 190
Completeness of the SLDNF-resolution for a class of logic programs 188
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 185
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions 182
Modelling Biochemical Pathways with the Calculus of Looping Sequences 182
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 181
LEAF: A Language which Integrates Logic, Equations and Functions 179
Algebraic Computational Models of OR-parallel Execution of Prolog 174
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 172
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 172
Oracle Semantics for Prolog 171
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 168
A Multiple-Valued Logical Semantics for Prolog 167
Modeling OR-Parallel Execution of Prolog using CHOCS 166
Tortoise@: a system for localizing tortoises during the eggs deposition phase 166
A decidable notion of timed non-interference 165
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 165
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 163
Characterization and computation of ancestors in reaction systems 162
Modeling Prolog Control 157
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 156
Timed automata with urgent transitions 155
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 155
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 154
A Notion of Non-Interference for Timed Automata 154
Abstract Interpretation of Trace Semantics for Concurrent Calculi 153
Java bytecode verification on Java cards 151
Fixing the Java Bytecode Verifier by a Suitable Type Domain 151
Selective Mu-calculus and formula-based equivalence of transition systems 151
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 151
null 148
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 147
Totale 29.242
Salva come PNG Salva come JPEG
Categoria #
all - tutte 71.972
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 71.972
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.673 0 104 38 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/2027295 123 172 0 0 0 0 0 0 0 0 0 0
Totale 32.844