CINECA IRIS Institutional Research Information System

BARBUTI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 15.267
NA - Nord America 7.432
AS - Asia 1.131
AF - Africa 154
SA - Sud America 16
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
Totale 24.010
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 12.640
US - Stati Uniti d'America 7.096
SE - Svezia 1.051
CN - Cina 561
DE - Germania 490
BG - Bulgaria 348
CA - Canada 336
TR - Turchia 209
UA - Ucraina 183
FI - Finlandia 161
SG - Singapore 155
GB - Regno Unito 149
VN - Vietnam 112
CI - Costa d'Avorio 94
CH - Svizzera 65
FR - Francia 41
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.010
Salva come PNG Salva come JPEG
Città #
Serra 11.723
Woodbridge 927
Ann Arbor 790
Fairfield 777
Chandler 726
Houston 570
Ashburn 470
Seattle 358
Sofia 348
Ottawa 327
Milan 302
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
Dong Ket 58
Nanchang 46
Jüchen 43
San Diego 42
Brussels 40
Hong Kong 35
Lagos 34
Pisa 33
Pune 32
Rome 32
Boulder 26
Redwood City 26
Helsinki 24
Kunming 23
Marseille 20
Düsseldorf 19
Changsha 18
Hebei 18
Jiaxing 18
Dakar 16
Shenyang 16
Auburn Hills 14
Los Angeles 13
Hangzhou 12
Hefei 11
Nürnberg 11
Tianjin 11
Washington 11
Boardman 10
Como 10
London 10
Shanghai 9
Guangzhou 8
Monsummano Terme 8
Norwalk 8
Ogden 8
Orange 8
Pesaro 8
Phoenix 7
Verona 7
Capannori 6
Indiana 6
Jinan 6
Lanzhou 6
North York 6
Edinburgh 5
Pistoia 5
Council Bluffs 4
Doetinchem 4
Montgomery 4
Riomaggiore 4
Singapore 4
Torino 4
Velp 4
Walnut 4
Brooklyn 3
Buenos Aires 3
Central District 3
Dallas 3
Fuzhou 3
Groningen 3
Kampala 3
Livorno 3
Lucca 3
Madrid 3
Nijmegen 3
Redmond 3
San Jose 3
Tappahannock 3
Viterbo 3
Zhengzhou 3
Algiers 2
Totale 20.814
Salva come PNG Salva come JPEG
Nome #
P systems with endosomes 495
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods 416
Generalized contexts for reaction systems: definition and study of dynamic causalities 411
Modelling Population Dynamics Using Grid Systems 396
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways 387
An Intermediate Language for the Simulation of Biological Systems 387
The role of deleterious mutations in the stability of hybridogenetic water frog complexes 386
Delay stochastic simulation of biological systems: A purely delayed approach 385
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 379
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer 375
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs 372
Applications of P systems in population biology and ecology: The cases of MPP and APP systems 365
A probabilistic model for molecular systems 361
Spatial Calculus of Looping Sequences 360
A Compositional Semantics of Reaction Systems with Restriction 359
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer 358
Foundational aspects of multiscale modeling of biological systems with process algebras 358
Investigating dynamic causalities in reaction systems 357
Systolic automata and p systems 352
Timed P Automata 349
Spatial Calculus of Looping Sequences 347
Simulation of Spatial P system models 347
The Calculus of Looping Sequences 346
null 346
Parallel Probabilistic Semantics for Multiset Rewriting 344
P Systems with Transport and Diffusion Membrane Channels 343
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 336
Compositional Semantics of Spiking Neural P Systems 333
Computational Models for Population Dynamics: Two Case Studies 331
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security 329
Attributed probabilistic P systems and their application to the modelling of social interactions in primates 328
An Overview of Operational Semantics in Membrane Computing 326
Bisimulation Congruences in the Calculus of Looping Sequences 325
Compositional semantics and behavioral equivalences for P Systems 323
Compositional semantics and behavioural equivalences for reaction systems with restriction 322
Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+ 320
Bisimulations in Calculi Modelling Membranes 320
Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level 315
A Calculus of Looping Sequences for Modelling Microbiological Systems 313
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings 312
A P Systems Flat Form Preserving Step-by-step Behaviour 307
Timed P automata 292
The Calculus of Looping Sequences for Modelling Biological Membranes 287
Spatial P Systems 279
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+ 163
Programming environments: deriving language dependent tools from structured donotational semantics 161
Fine-tuning anti-tumor immunotherapies via stochastic simulations 157
A STRUCTURED APPROACH TO STATIC SEMANTICS CORRECTNESS 147
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING 141
Recognizing Non-Floundering Logic Programs and Goals 139
Abstract Interpretation of Operational Semantics for Secure Information Flow 135
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 131
A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs 130
Completeness of the SLDNF-resolution for a class of logic programs 123
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 123
Localizing Tortoise Nests by Neural Networks 123
A BOTTOM-UP POLYMORPHIC TYPE INFERENCE IN LOGIC PROGRAMMING 121
A Multiple-Valued Logical Semantics for Prolog 121
Cooperating Logic Theories 119
Algebraic Computational Models of OR-parallel Execution of Prolog 119
Programming environment generation based on denotational semantics 118
Modelling Prolog Control 118
Modelling Biochemical Pathways with the Calculus of Looping Sequences 118
A Constructive Approach to Static Verification of Program Properties 117
A decidable notion of timed non-interference 117
REDUCED MODELS FOR EFFICIENT CCS VERIFICATION 113
Towards the definition of an experimental programming environment from language formal specifications 111
P Systems with Transport and Diffusion Membrane Channels 111
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach 108
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions 107
Tortoise@: a system for localizing tortoises during the eggs deposition phase 104
LEAF: A Language which Integrates Logic, Equations and Functions 103
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates 103
Fixing the Java Bytecode Verifier by a Suitable Type Domain 102
Timed automata with urgent transitions 101
Aspects of Multiscale Modelling in a Process Algebra for Biological Systems 101
Analysing Information Flow Properties in Assembly Code by Abstract Interpretation 101
An Abstract Interpretation Approach for Enhancing the Java Bytecode Verifier 100
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems 99
Java bytecode verification on Java cards 98
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 97
Selective Mu-calculus and formula-based equivalence of transition systems 95
A Notion of Non-Interference for Timed Automata 95
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES 94
Abstract Interpretation of Trace Semantics for Concurrent Calculi 91
Oracle Semantics for Prolog 90
Oracle Semantics for Prolog 90
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 88
LEAF: A Language witch Integrates Logic, Equations and Functions. 87
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 86
Modeling Prolog Control 84
A Process Calculus for Molecular Interaction Maps 83
Towards a Logical Semantics fo Prolog 83
Totale 22.438
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.732
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 41.732
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019918 0 0 0 0 0 0 0 0 0 341 332 245
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.357 207 136 273 87 178 272 85 96 15 8 0 0
Totale 24.127