CINECA IRIS Institutional Research Information System

BARBUTI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 15.971
NA - Nord America 10.473
AS - Asia 5.167
SA - Sud America 532
AF - Africa 227
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 7
Totale 32.387
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 12.719
US - Stati Uniti d'America 10.061
SG - Singapore 1.670
CN - Cina 1.637
SE - Svezia 1.056
HK - Hong Kong 680
DE - Germania 619
BR - Brasile 430
CA - Canada 356
VN - Vietnam 353
BG - Bulgaria 349
TR - Turchia 282
GB - Regno Unito 231
FI - Finlandia 208
FR - Francia 198
UA - Ucraina 189
KR - Corea 186
RU - Federazione Russa 144
CI - Costa d'Avorio 95
JP - Giappone 86
IN - India 84
CH - Svizzera 82
BE - Belgio 40
MX - Messico 37
AR - Argentina 34
NG - Nigeria 34
NL - Olanda 33
IQ - Iraq 30
BD - Bangladesh 27
PK - Pakistan 21
EC - Ecuador 20
SN - Senegal 18
ZA - Sudafrica 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
MA - Marocco 9
AE - Emirati Arabi Uniti 8
CL - Cile 8
CO - Colombia 8
IL - Israele 7
KE - Kenya 7
NP - Nepal 7
UG - Uganda 7
AT - Austria 6
AU - Australia 6
IE - Irlanda 6
JM - Giamaica 6
JO - Giordania 6
LB - Libano 6
BJ - Benin 5
DZ - Algeria 5
LT - Lituania 5
PH - Filippine 5
TN - Tunisia 5
AZ - Azerbaigian 4
CZ - Repubblica Ceca 4
ET - Etiopia 4
EU - Europa 4
HR - Croazia 4
KZ - Kazakistan 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
CR - Costa Rica 2
EE - Estonia 2
GT - Guatemala 2
LU - Lussemburgo 2
NI - Nicaragua 2
NO - Norvegia 2
PS - Palestinian Territory 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
BW - Botswana 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GF - Guiana Francese 1
Totale 32.367
Salva come PNG Salva come JPEG
Città #
Serra 11.724
Ashburn 1.046
Singapore 961
Woodbridge 928
Ann Arbor 790
Fairfield 778
Chandler 726
Hong Kong 669
Santa Clara 631
Houston 577
San Jose 448
Beijing 364
Seattle 361
Sofia 349
Dallas 342
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 122
Lauterbourg 119
Nanjing 118
Bremen 111
Medford 101
Dearborn 98
Des Moines 98
Abidjan 95
Ho Chi Minh City 92
Tokyo 76
Chicago 72
Munich 71
Florence 69
Bern 64
Dong Ket 58
Buffalo 53
Istanbul 53
Hanoi 48
Nanchang 48
Council Bluffs 46
Jüchen 43
Pisa 43
Helsinki 42
San Diego 42
Brussels 40
Rome 39
Redondo Beach 37
London 36
Lagos 34
Düsseldorf 33
Pune 33
São Paulo 30
Turku 28
Boulder 26
Redwood City 26
The Dalles 26
Kunming 24
Ogden 22
Marseille 20
Orem 20
Changsha 19
Rio de Janeiro 19
Dakar 18
Hebei 18
Jiaxing 18
Zurich 18
Brooklyn 17
Columbus 17
Phoenix 17
Shenyang 16
Haiphong 15
Auburn Hills 14
Belo Horizonte 14
Fuzhou 14
Tashkent 14
Atlanta 12
Hangzhou 12
Tianjin 12
Amsterdam 11
Ankara 11
Chennai 11
Nürnberg 11
Washington 11
Como 10
Da Nang 10
Guangzhou 10
Mexico City 10
Baghdad 9
Jinan 9
Manchester 9
Quanzhou 9
Totale 26.509
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 515
Modelling Population Dynamics Using Grid Systems 487
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 480
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 465
P Systems with Transport and Diffusion Membrane Channels 456
Investigating dynamic causalities in reaction systems 454
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 450
Delay stochastic simulation of biological systems: A purely delayed approach 448
An Intermediate Language for the Simulation of Biological Systems 444
Tumour suppression by Immune System through Stochastic Oscillations 439
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 434
Systolic automata and p systems 433
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 432
Simulation of Spatial P system models 426
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 425
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 422
A Compositional Semantics of Reaction Systems with Restriction 420
A probabilistic model for molecular systems 416
Parallel Probabilistic Semantics for Multiset Rewriting 415
Spatial Calculus of Looping Sequences 411
The Calculus of Looping Sequences 399
Spatial Calculus of Looping Sequences 398
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 393
Compositional Semantics of Spiking Neural P Systems 393
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 393
Computational Models for Population Dynamics: Two Case Studies 390
An Overview of Operational Semantics in Membrane Computing 388
Bisimulation Congruences in the Calculus of Looping Sequences 388
Probabilistic model checking of biological systems with uncertain kinetic rates 385
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 384
Bisimulations in Calculi Modelling Membranes 381
Compositional semantics and behavioral equivalences for P Systems 372
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 368
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 363
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 362
A Calculus of Looping Sequences for Modelling Microbiological Systems 361
null 346
A P Systems Flat Form Preserving Step-by-step Behaviour 345
Timed P automata 332
The Calculus of Looping Sequences for Modelling Biological Membranes 328
Spatial P Systems 322
Programming environments: deriving language dependent tools from structured donotational semantics 247
Fine-tuning anti-tumor immunotherapies via stochastic simulations 232
Modelling Prolog Control 218
P Systems with Transport and Diffusion Membrane Channels 217
On the Integration of Logic Programming and Functional Programming 215
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 215
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 214
Recognizing Non-Floundering Logic Programs and Goals 211
Programming environment generation based on denotational semantics 209
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 205
Checking Security of Java Bytecode by Abstract Interpretation 202
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 201
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 197
Towards the definition of an experimental programming environment from language formal specifications 195
Cooperating Logic Theories 194
Modelling Prolog Control 194
A Constructive Approach to Static Verification of Program Properties 193
Localizing Tortoise Nests by Neural Networks 191
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 190
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 189
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures 189
Completeness of the SLDNF-resolution for a class of logic programs 187
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 184
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions 180
LEAF: A Language which Integrates Logic, Equations and Functions 179
Modelling Biochemical Pathways with the Calculus of Looping Sequences 179
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 177
Algebraic Computational Models of OR-parallel Execution of Prolog 173
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 172
Oracle Semantics for Prolog 170
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 169
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 168
A Multiple-Valued Logical Semantics for Prolog 165
Tortoise@: a system for localizing tortoises during the eggs deposition phase 165
Modeling OR-Parallel Execution of Prolog using CHOCS 164
A decidable notion of timed non-interference 164
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 164
Characterization and computation of ancestors in reaction systems 161
Modeling Prolog Control 157
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 155
Timed automata with urgent transitions 154
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 154
A Notion of Non-Interference for Timed Automata 153
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 153
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 152
Java bytecode verification on Java cards 151
Selective Mu-calculus and formula-based equivalence of transition systems 151
Identification of nesting phase in tortoise populations by neural networks. 151
Fixing the Java Bytecode Verifier by a Suitable Type Domain 150
Abstract Interpretation of Trace Semantics for Concurrent Calculi 149
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 149
null 148
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 146
Totale 28.938
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.329
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 70.329
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021136 0 0 0 0 0 0 0 0 0 0 0 136
2021/20221.699 26 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.038 317 643 362 271 411 403 683 181 177 406 119 65
Totale 32.510