Concepedia

Simone Tini

ST

19

Publications

328

Citations

13

H-Index

1999

Active since

Affiliations

University of Insubria(Current)

University of Pisa

Vrije Universiteit Amsterdam

Institute of Informatics and Telematics

Institut national de recherche en sciences et technologies du numérique

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

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceProbabilityFormal VerificationSemanticsLanguageVerificationFormal Semantics

Publications per year

1999–2019

19

Publications

19

Compositional semantics and behavioral equivalences for P Systems

Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo et al. · Theoretical Computer Science · 2008 · 27 citations

Formal Semantics, Syntax, Engineering +8

A comparison of Statecharts step semantics

Andrea Maggiolo–Schettini, Adriano Peron, Simone Tini · Theoretical Computer Science · 2002 · 25 citations

Formal Semantics, Engineering, Automated Reasoning +8

Probabilistic bisimulation as a congruence

Ruggero Lanotte, Simone Tini · ACM Transactions on Computational Logic · 2009 · 25 citations

Rule Format, Probabilistic Bisimulation, Engineering +12

A P Systems Flat Form Preserving Step-by-step Behaviour

Roberto Barbuti, Andrea Maggiolo–Schettini, Paolo Milazzo et al. · 2008 · 23 citations

Engineering, Transition P Systems, Higher-order Logic +16

On the expressiveness of Timed Concurrent Constraint Programming

Simone Tini · Electronic Notes in Theoretical Computer Science · 1999 · 22 citations · Full text

Rows per page

1–5 of 19