Concepedia

Roberto Barbuti

RB

44

Publications

1.3K

Citations

22

H-Index

1983

Active since

Affiliations

University of Pisa(Current)

University of Insubria

University of Turin

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSemanticsFormal VerificationLanguageLinguisticsLogic ProgrammingSystems Engineering

Publications per year

1983–2020

44

Publications

44

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 · 1993 · 89 citations · Full text

Applied Logic, Engineering, Logic Programs +21

A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models

Roberto Barbuti, Roberta Gori, Paolo Milazzo et al. · Journal of Membrane Computing · 2020 · 79 citations · Full text

A Calculus of Looping Sequences for Modelling Microbiological Systems

Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo et al. · 2005 · 69 citations

Tumour suppression by immune system through stochastic oscillations

Giulio Caravagna, Alberto d’Onofrio, Paolo Milazzo et al. · Journal of Theoretical Biology · 2010 · 65 citations · Full text

Medicine, Immunology, Tumor Immunity +6

A transformational approach to negation in logic programming

Roberto Barbuti, Paolo Mancarella, Dino Pedreschi et al. · The Journal of Logic Programming · 1990 · 64 citations

Non-classical Logic, Engineering, Automated Reasoning +5

Rows per page

1–5 of 44