CINECA IRIS Institutional Research Information System

BARBUTI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 15.300
NA - Nord America 7.543
AS - Asia 1.230
AF - Africa 154
SA - Sud America 16
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
Totale 24.253
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 12.650
US - Stati Uniti d'America 7.207
SE - Svezia 1.051
CN - Cina 563
DE - Germania 492
BG - Bulgaria 348
CA - Canada 336
SG - Singapore 252
TR - Turchia 209
UA - Ucraina 183
GB - Regno Unito 167
FI - Finlandia 162
VN - Vietnam 112
CI - Costa d'Avorio 94
CH - Svizzera 65
FR - Francia 43
BE - Belgio 40
HK - Hong Kong 39
RU - Federazione Russa 37
IN - India 35
NG - Nigeria 34
NL - Olanda 19
SN - Senegal 16
GR - Grecia 13
AR - Argentina 11
HU - Ungheria 11
UG - Uganda 6
JP - Giappone 5
AU - Australia 4
EU - Europa 4
KR - Corea 4
CZ - Repubblica Ceca 3
ES - Italia 3
IL - Israele 3
RO - Romania 3
BR - Brasile 2
DZ - Algeria 2
EC - Ecuador 2
HR - Croazia 2
ID - Indonesia 2
IE - Irlanda 2
NZ - Nuova Zelanda 2
RS - Serbia 2
BD - Bangladesh 1
BN - Brunei Darussalam 1
CO - Colombia 1
EG - Egitto 1
KW - Kuwait 1
KZ - Kazakistan 1
LT - Lituania 1
MD - Moldavia 1
MY - Malesia 1
NP - Nepal 1
PL - Polonia 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 24.253
Salva come PNG Salva come JPEG
Città #
Serra 11.723
Woodbridge 927
Ann Arbor 790
Fairfield 777
Chandler 726
Houston 570
Ashburn 471
Seattle 358
Sofia 348
Ottawa 327
Milan 306
Wilmington 295
Cambridge 269
Jacksonville 239
Beijing 212
Izmir 205
New York 200
Frankfurt am Main 139
Princeton 133
Lawrence 128
Nanjing 118
Bremen 111
Medford 101
Dearborn 98
Des Moines 98
Abidjan 94
Florence 67
Bern 64
Chicago 59
Singapore 59
Dong Ket 58
Nanchang 46
Jüchen 43
San Diego 42
Brussels 40
Hong Kong 35
Lagos 34
Pisa 34
Rome 34
Pune 32
London 28
Boulder 26
Redwood City 26
Helsinki 25
Kunming 23
Los Angeles 22
Ogden 22
Marseille 20
Düsseldorf 19
Changsha 18
Hebei 18
Jiaxing 18
Dakar 16
Shenyang 16
Auburn Hills 14
Hangzhou 12
Hefei 11
Nürnberg 11
Tianjin 11
Washington 11
Boardman 10
Como 10
Shanghai 9
Guangzhou 8
Monsummano Terme 8
Norwalk 8
Orange 8
Pesaro 8
Phoenix 8
Verona 7
Capannori 6
Indiana 6
Jinan 6
Lanzhou 6
North York 6
Edinburgh 5
Kent 5
Pistoia 5
Council Bluffs 4
Doetinchem 4
Livorno 4
Montgomery 4
Riomaggiore 4
Torino 4
Velp 4
Walnut 4
Brooklyn 3
Buenos Aires 3
Central District 3
Dallas 3
Fuzhou 3
Groningen 3
Kampala 3
Lucca 3
Madrid 3
Nijmegen 3
Redmond 3
San Jose 3
Tappahannock 3
Viterbo 3
Totale 20.980
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 522
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 418
Generalized contexts for reaction systems: definition and study of dynamic causalities 416
Modelling Population Dynamics Using Grid Systems 398
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 388
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 388
An Intermediate Language for the Simulation of Biological Systems 388
Delay stochastic simulation of biological systems: A purely delayed approach 387
Tumour suppression by Immune System through Stochastic Oscillations 382
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday 380
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 377
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 376
P Systems with Transport and Diffusion Membrane Channels 370
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 368
A probabilistic model for molecular systems 362
Spatial Calculus of Looping Sequences 361
A Compositional Semantics of Reaction Systems with Restriction 361
Foundational aspects of multiscale modeling of biological systems with process algebras 361
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 360
Investigating dynamic causalities in reaction systems 359
Systolic automata and p systems 354
Timed P Automata 351
Simulation of Spatial P system models 349
Spatial Calculus of Looping Sequences 348
The Calculus of Looping Sequences 347
Parallel Probabilistic Semantics for Multiset Rewriting 346
null 346
An Intermediate Language for the Stochastic Simulation of Biological Systems 340
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment 338
Probabilistic model checking of biological systems with uncertain kinetic rates 337
Compositional Semantics of Spiking Neural P Systems 334
Computational Models for Population Dynamics: Two Case Studies 332
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 331
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 330
An Overview of Operational Semantics in Membrane Computing 327
Bisimulation Congruences in the Calculus of Looping Sequences 326
Compositional semantics and behavioural equivalences for reaction systems with restriction 325
Compositional semantics and behavioral equivalences for P Systems 323
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 321
Bisimulations in Calculi Modelling Membranes 321
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 316
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 314
A Calculus of Looping Sequences for Modelling Microbiological Systems 314
A P Systems Flat Form Preserving Step-by-step Behaviour 307
Timed P automata 293
The Calculus of Looping Sequences for Modelling Biological Membranes 288
Spatial P Systems 279
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 165
Programming environments: deriving language dependent tools from structured donotational semantics 162
Fine-tuning anti-tumor immunotherapies via stochastic simulations 158
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 150
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 142
Recognizing Non-Floundering Logic Programs and Goals 139
P Systems with Transport and Diffusion Membrane Channels 138
Abstract Interpretation of Operational Semantics for Secure Information Flow 136
Checking Security of Java Bytecode by Abstract Interpretation 134
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ 134
Modelling Prolog Control 133
On the Integration of Logic Programming and Functional Programming 132
Static Type Checking for Languages with Parametric Types and Polymorphic Procedures 132
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 131
Localizing Tortoise Nests by Neural Networks 125
Completeness of the SLDNF-resolution for a class of logic programs 124
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 124
A Multiple-Valued Logical Semantics for Prolog 122
Programming environment generation based on denotational semantics 121
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 121
Algebraic Computational Models of OR-parallel Execution of Prolog 120
Modelling Biochemical Pathways with the Calculus of Looping Sequences 120
Cooperating Logic Theories 119
Modelling Prolog Control 119
A Constructive Approach to Static Verification of Program Properties 118
A decidable notion of timed non-interference 118
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 114
Towards the definition of an experimental programming environment from language formal specifications 112
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 110
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions 108
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 105
Tortoise@: a system for localizing tortoises during the eggs deposition phase 105
LEAF: A Language which Integrates Logic, Equations and Functions 104
Fixing the Java Bytecode Verifier by a Suitable Type Domain 103
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 103
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 103
Timed automata with urgent transitions 102
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 102
Java bytecode verification on Java cards 100
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 100
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 98
A Notion of Non-Interference for Timed Automata 96
Selective Mu-calculus and formula-based equivalence of transition systems 95
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 94
Abstract Interpretation of Trace Semantics for Concurrent Calculi 92
Oracle Semantics for Prolog 91
Oracle Semantics for Prolog 90
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 89
LEAF: A Language witch Integrates Logic, Equations and Functions. 88
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 87
Modeling Prolog Control 85
A Process Calculus for Molecular Interaction Maps 84
Towards a Logical Semantics fo Prolog 83
Totale 22.639
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.250
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 44.250
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202013.867 287 3.102 8.689 197 247 305 278 182 227 125 176 52
2020/20211.054 93 44 104 60 144 44 57 107 112 78 75 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/202519 19 0 0 0 0 0 0 0 0 0 0 0
Totale 24.370