Andrea Maggiolo–Schettini

Author

Also Known As

A. Maggiolo‐Schettini, ANDREA MAGGIOLO-SCHETTINI, Andrea Maggiolo-Schettini, Andrea Maggiolo–Schettini, Maggiolo-Schettini, Andrea, Paolo Milazzo

120

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

University of Pisa University of Insubria Institute of Computer Science University of Turin Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	19	410
2	Language Studies	3	3	55
3	Social Sciences	1	1	13
4	Cognitive Science	1	1	13
5	Communication	1	1	15

Andrea Maggiolo–Schettini

Publications

748

Citations

H-Index

Page 1

	Year	Citations
Time-based expressivity of time Petri nets for system specification António Cerone, Andrea Maggiolo–Schettini Theoretical Computer Science Petri NetEngineeringStochastic Petri NetFormal MethodsProcess Control	1999	86
Parametric probabilistic transition systems for system design and analysis Ruggero Lanotte, Andrea Maggiolo–Schettini, Angelo Troina Formal Aspects of Computing	2006	72
A Calculus of Looping Sequences for Modelling Microbiological Systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo,	2005	69
Transformations of structures: An algebraic approach Hartmut Ehrig, Hans‐Jörg Kreowski, Andrea Maggiolo–Schettini, Theory of Computing Systems Architectural DesignMathematical StructureAbstract AlgebraAlgebraic StructureAlgebraic Approach	1981	52
Spatial P systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo, Natural Computing Spatial TheorySpatial ScienceSpatial P SystemsComputational GeometrySpatial Structure	2010	49
Bisimulations in calculi modelling membranes Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo, Formal Aspects of Computing	2008	35
Spatial Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo, Theoretical Computer Science Mathematical ProgrammingGeometric AlgorithmSpatial CalculusLoop SpaceComputational Geometry	2011	33
A Probabilistic Model for Molecular Systems Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo–Schettini, EngineeringVerificationMolecular BiologyProbabilistic ComputationComputational Chemistry	2005	27
Compositional semantics and behavioral equivalences for P Systems Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo, Theoretical Computer Science Formal SemanticsSyntaxEngineeringOperational SemanticsAutomated Reasoning	2008	27
A comparison of Statecharts step semantics Andrea Maggiolo–Schettini, Adriano Peron, Simone Tini Theoretical Computer Science Formal SemanticsEngineeringAutomated ReasoningStatecharts Step SemanticsFormal Methods	2002	25

Page 1