Roberto Barbuti
Publications by Year
Research Areas
DNA and Biological Computing, Logic, programming, and type systems, Formal Methods in Verification, Gene Regulatory Network Analysis, Logic, Reasoning, and Knowledge
Most-Cited Works
- → The Calculus of Looping Sequences(2008)113 cited
- → A general framework for semantics-based bottom-up abstract interpretation of logic programs(1993)89 cited
- → A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models(2020)79 cited
- A Calculus of Looping Sequences for Modelling Microbiological Systems(2005)
- → Tumour suppression by immune system through stochastic oscillations(2010)66 cited
- → A transformational approach to negation in logic programming(1990)64 cited
- → Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems(1999)61 cited
- → Investigating dynamic causalities in reaction systems(2015)49 cited
- → Spatial P systems(2010)49 cited
- LEAF: A Language which Integrates Logic, Equations and Functions.(1986)