Simone Tini - Concepedia

Author

Simone Tini

University of Insubria ORCID

Also Known As

S TINI, SIMONE TINI, Simone Tini, Tini, Simone

112

Publications

730

Citations

H-Index

Concepts

All Affiliations

University of Insubria University of Pisa Vrije Universiteit Amsterdam Institute of Informatics and Telematics Institut national de recherche en sciences et technologies du numérique

About

Simone Tini is an author at University of Insubria specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	15	270
2	Language Studies	3	3	55
3	Social Sciences	1	1	13
4	Cognitive Science	1	1	13
5	Computer Engineering	1	1	13

Simone Tini

Publications

328

Citations

H-Index

Page 1

	Year	Citations
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
Probabilistic bisimulation as a congruence Ruggero Lanotte, Simone Tini ACM Transactions on Computational Logic Rule FormatProbabilistic BisimulationEngineeringReactive ModelAutomated Reasoning	2009	25
A P Systems Flat Form Preserving Step-by-step Behaviour Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo, EngineeringTransition P SystemsHigher-order LogicSemanticsComputational Mechanics	2008	23
On the expressiveness of Timed Concurrent Constraint Programming Simone Tini Electronic Notes in Theoretical Computer Science	1999	22
Logical Characterization of Bisimulation Metrics Valentina Castiglioni, Daniel Gebler, Simone Tini Electronic Proceedings in Theoretical Computer Science EngineeringBisimulation MetricsAutomated ReasoningProbabilistic VerificationVerification	2016	21
Non-expansive <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>ϵ</mml:mi></mml:math>-bisimulations for probabilistic processes Simone Tini Theoretical Computer Science Stochastic SimulationMath XmlnsEngineeringProbabilistic SystemStochastic Processes	2010	21
Rule formats for compositional non-interference properties Simone Tini The Journal of Logic and Algebraic Programming Non-local InteractionEngineeringRule FormatsFormal MethodsInterference Cancellation	2004	19
Formal Models of Timing Attacks on Web Privacy Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Electronic Notes in Theoretical Computer Science Privacy ProtectionEngineeringInformation SecurityVerificationInformation Forensics	2002	17
Compositional semantics and behavioural equivalences for reaction systems with restriction Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo–Schettini, Theoretical Computer Science Formal SemanticsProcess CalculusEngineeringCompositional SemanticsOperational Semantics	2014	15

Page 1