Roberto Barbuti - Concepedia

Author

Roberto Barbuti

University of Pisa ORCID

Also Known As

BARBUTI, ROBERTO, Barbuti, Roberto, R. Barbuti, ROBERTO BARBUTI, Roberto Barbuti

143

Publications

1.8K

Citations

H-Index

Concepts

All Affiliations

University of Pisa University of Insubria University of Turin

About

Roberto Barbuti is an author at University of Pisa specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	27	694
2	Language Studies	8	8	151
3	Medicine	2	2	81
4	Social Sciences	2	2	33
5	Public Health	1	1	20

Roberto Barbuti

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
A general framework for semantics-based bottom-up abstract interpretation of logic programs Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi ACM Transactions on Programming Languages and Systems Applied LogicEngineeringLogic ProgramsSoftware EngineeringWell-founded Semantics	1993	89
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models Roberto Barbuti, Roberta Gori, Paolo Milazzo, Journal of Membrane Computing	2020	79
A Calculus of Looping Sequences for Modelling Microbiological Systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo,	2005	69
Tumour suppression by immune system through stochastic oscillations Giulio Caravagna, Alberto d’Onofrio, Paolo Milazzo, Journal of Theoretical Biology MedicineImmunologyTumor ImmunityStochastic Dynamical SystemStochastic Resonance	2010	65
A transformational approach to negation in logic programming Roberto Barbuti, Paolo Mancarella, Dino Pedreschi, The Journal of Logic Programming Non-classical LogicEngineeringAutomated ReasoningNonmonotonic LogicFormal Methods	1990	64
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Journal of Computer and System Sciences Transition SystemsEngineeringAutomated ReasoningFormal MethodsProcess Calculus	1999	61
Spatial P systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo, Natural Computing Spatial TheorySpatial ScienceSpatial P SystemsComputational GeometrySpatial Structure	2010	49
Investigating dynamic causalities in reaction systems Roberto Barbuti, Roberta Gori, Francesca Levi, Theoretical Computer Science Process ControlDynamic ProcessComplex Dynamic SystemDynamic CausalitiesSystem Dynamic	2015	49
LEAF: A Language which Integrates Logic, Equations and Functions. Roberto Barbuti, Marco Bellia, Giorgio Levi, CINECA IRIS Institutial research information system (University of Pisa) EngineeringAutomated ReasoningFormal MethodsEquational LogicLanguage Studies	1986	43
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Journal of Theoretical Biology	2015	38

Page 1