DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa

Source URL: pages.di.unipi.it

• Models of computation
• Concurrency
• Computing
• Formal methods
• Diagrams
• Petri net
• Finite automata
• Model checking
• Analog television
• Finite-state machine
• Actor model
• Information and communications technology

Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Mathematics
• Formal methods
• Bisimulation
• Mathematical logic
• Petri net
• Rewriting

ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

Source URL: www.cs.ox.ac.uk

• Complexity classes
• Differential equations
• Systems science
• Control theory
• Hybrid system
• Systems theory
• NL
• Reachability
• P
• Mathematics

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings Roberto Barbuti1 , Andrea Maggiolo-Schettini1, Paolo Milazzo1 , and Simone Tini2 1

Source URL: pages.di.unipi.it

• Mathematics
• Models of computation
• Multiset
• Order theory
• Abstraction
• Permutation
• Set
• P system
• Path ordering
• Tree
• Mobile membranes

Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2

Source URL: pages.di.unipi.it

• Symbol
• Constructible universe

Argument Mining: a Machine Learning Perspective Marco Lippi1 and Paolo Torroni1 DISI – Universit` a degli Studi di Bologna {marco.lippi3,p.torroni}@unibo.it

Source URL: homepages.abdn.ac.uk

Transient and limit performance of distributed relative localization Wilbert Samuel Rossi Paolo Frasca Abstract— In this paper, we consider the problem of relative

Source URL: wwwhome.ewi.utwente.nl

IN OUR SERIES SECTIONS: Zombie Baseball Beatdown by Bacigalup, Paolo While practicing baseball, thirteen-yearold friends Rabi, Miguel, and Joe discover that the nefarious activities of the Delbe,

Source URL: hkdpl.org

30 protagonisti de questa stöia: Carlo Emery, Leonardo Fea, Enrico Hilyer Giglioli. Giovanni Gribodo, Lamberto Loria, Paolo Magretti. a cura di Isabella Descalzo

Source URL: www.acompagna.org

Contacts Dr. Paolo Pasini 7th Italian-Japanese Workshop on Liquid Crystals

Source URL: www.chem.chuo-u.ac.jp