Concepedia

Andrea Maggiolo–Schettini

AM

27

Publications

748

Citations

16

H-Index

1979

Active since

Affiliations

University of Pisa(Current)

University of Insubria

Institute of Computer Science

University of Turin

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Andrea Maggiolo–Schettini is an author at University of Pisa specializing in engineering, formal methods, and formal verification.

Top concepts

Publications per year

1979–2014

27

Publications

27

Time-based expressivity of time Petri nets for system specification

António Cerone, Andrea Maggiolo–Schettini · Theoretical Computer Science · 1999 · 86 citations

, , +9

Parametric probabilistic transition systems for system design and analysis

Ruggero Lanotte, Andrea Maggiolo–Schettini, Angelo Troina · Formal Aspects of Computing · 2006 · 72 citations · Full text

A Calculus of Looping Sequences for Modelling Microbiological Systems

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

Transformations of structures: An algebraic approach

Hartmut Ehrig, Hans‐Jörg Kreowski, Andrea Maggiolo–Schettini et al. · Theory of Computing Systems · 1981 · 52 citations

, , +3

Spatial P systems

Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo et al. · Natural Computing · 2010 · 49 citations

, , +3

Rows per page

1–5 of 27