A. Maggiolo‐Schettini

Author

Also Known As

A. Maggiolo-Schettini, A. Maggiolo‐Schettini, Andreas Maggiolo-Schettini

Publications

144

Citations

H-Index

Concepts

All Affiliations

A. Maggiolo‐Schettini is an author at University of Pisa specializing in formal methods, verification, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	51
2	Computer Science	3	3	51
3	Systems Engineering	2	2	39
4	Compilers	1	1	12
5	Data Privacy	1	1	16

A. Maggiolo‐Schettini

Publications

Citations

H-Index

Page 1

	Year	Citations
Weak bisimulation for probabilistic timed automata and applications to security Ruggero Lanotte, A. Maggiolo‐Schettini, Angelo Troina EngineeringVerificationProbabilistic ComputationFormal VerificationTimed Setting	2003	23
Sequence-to-sequence recursiveness G. Germano, A. Maggiolo‐Schettini Information Processing Letters	1975	18
Time and Probability-Based Information Flow Analysis Ruggero Lanotte, A. Maggiolo‐Schettini, Angelo Troina IEEE Transactions on Software Engineering EngineeringInformation SecurityVerificationInformation ForensicsSoftware Analysis	2010	16
Proving a compiler correct: A simple approach G. Germano, A. Maggiolo‐Schettini Journal of Computer and System Sciences EngineeringProgram AnalysisAutomated ReasoningCompiler SupportVerification	1975	12

Page 1