×

zbMATH — the first resource for mathematics

Tini, Simone

Compute Distance To:
Author ID: tini.simone Recent zbMATH articles by "Tini, Simone"
Published as: Tini, Simone
External Links: ORCID
Documents Indexed: 56 Publications since 1999, including 2 Books

Publications by Year

Citations contained in zbMATH

39 Publications have been cited 154 times in 70 Documents Cited by Year
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Sós specifications of probabilistic systems by uniformly continuous operators. Zbl 1374.68328
Gebler, Daniel; Tini, Simone
9
2015
Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes. Zbl 1334.68156
Tini, Simone
8
2010
Modal decomposition on nondeterministic probabilistic processes. Zbl 1392.68288
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
7
2016
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
7
2016
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
Probabilistic bisimulation as a congruence. Zbl 1351.68183
Lanotte, Ruggero; Tini, Simone
7
2009
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
Compositional metric reasoning with probabilistic process calculi. Zbl 06487995
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
6
2015
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
Probabilistic congruence for semistochastic generative processes. Zbl 1118.68572
Lanotte, Ruggero; Tini, Simone
6
2005
A comparison of Statecharts step semantics. Zbl 1018.68045
Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
6
2003
SOS specifications for uniformly continuous operators. Zbl 1380.68296
Gebler, Daniel; Tini, Simone
5
2018
On the expressiveness of timed concurrent constraint programming. Zbl 0958.68044
Tini, Simone
5
1999
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
SOS-based modal decomposition on nondeterministic probabilistic processes. Zbl 1448.68333
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
3
2018
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Non expansive \(\epsilon \)-bisimulations. Zbl 1170.68543
Tini, Simone
3
2008
Taylor approximation for hybrid systems. Zbl 1130.68071
Lanotte, Ruggero; Tini, Simone
3
2007
Rule formats for compositional non-interference properties. Zbl 1072.68073
Tini, Simone
3
2004
An axiomatic semantics for Esterel. Zbl 0983.68136
Tini, Simone
3
2001
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161
Castiglioni, Valentina; Tini, Simone
2
2019
Weak bisimulation metrics in models with nondeterminism and continuous state spaces. Zbl 06983513
Lanotte, Ruggero; Tini, Simone
2
2018
Taylor approximation for hybrid systems. Zbl 1078.93044
Lanotte, Ruggero; Tini, Simone
2
2005
Concurrency in timed automata. Zbl 1070.68073
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2003
Rule formats for non interference. Zbl 1032.68105
Tini, Simone
2
2003
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Concurrency in timed automata. Zbl 0999.68135
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2001
Transformations of timed cooperating automata. Zbl 1004.68088
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano
2
2001
Applying techniques of asynchronous concurrency to synchronous languages. Zbl 0942.68029
Maggiolo-Schettini, Andrea; Tini, Simone
2
1999
Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209
Castiglioni, Valentina; Tini, Simone
1
2020
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
1
2018
A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2016
A specification format for rooted branching bisimulation. Zbl 1315.68190
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2014
Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Dynamic hierarchical machines. Zbl 1111.68061
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
1
2003
An axiomatic semantics for the synchronous language Gentzen. Zbl 1035.68061
Tini, Simone
1
2003
Probabilistic divide & congruence: branching bisimilarity. Zbl 1436.68209
Castiglioni, Valentina; Tini, Simone
1
2020
Logical characterization of branching metrics for nondeterministic probabilistic transition systems. Zbl 1430.68161
Castiglioni, Valentina; Tini, Simone
2
2019
SOS specifications for uniformly continuous operators. Zbl 1380.68296
Gebler, Daniel; Tini, Simone
5
2018
SOS-based modal decomposition on nondeterministic probabilistic processes. Zbl 1448.68333
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
3
2018
Weak bisimulation metrics in models with nondeterminism and continuous state spaces. Zbl 06983513
Lanotte, Ruggero; Tini, Simone
2
2018
Equational reasonings in wireless network gossip protocols. Zbl 1408.68030
Lanotte, Ruggero; Merro, Massimo; Tini, Simone
1
2018
Modal decomposition on nondeterministic probabilistic processes. Zbl 1392.68288
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone
7
2016
Compositional bisimulation metric reasoning with probabilistic process calculi. Zbl 1398.68365
Gebler, Daniel; Larsen, Kim G.; Tini, Simone
7
2016
A function elimination method for checking satisfiability of arithmetical logics. Zbl 1403.03048
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2016
Sós specifications of probabilistic systems by uniformly continuous operators. Zbl 1374.68328
Gebler, Daniel; Tini, Simone
9
2015
Compositional metric reasoning with probabilistic process calculi. Zbl 06487995
Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
6
2015
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
A specification format for rooted branching bisimulation. Zbl 1315.68190
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
1
2014
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes. Zbl 1334.68156
Tini, Simone
8
2010
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Probabilistic bisimulation as a congruence. Zbl 1351.68183
Lanotte, Ruggero; Tini, Simone
7
2009
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
Non expansive \(\epsilon \)-bisimulations. Zbl 1170.68543
Tini, Simone
3
2008
Taylor approximation for hybrid systems. Zbl 1130.68071
Lanotte, Ruggero; Tini, Simone
3
2007
Probabilistic congruence for semistochastic generative processes. Zbl 1118.68572
Lanotte, Ruggero; Tini, Simone
6
2005
Taylor approximation for hybrid systems. Zbl 1078.93044
Lanotte, Ruggero; Tini, Simone
2
2005
Rule formats for compositional non-interference properties. Zbl 1072.68073
Tini, Simone
3
2004
A comparison of Statecharts step semantics. Zbl 1018.68045
Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
6
2003
Concurrency in timed automata. Zbl 1070.68073
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2003
Rule formats for non interference. Zbl 1032.68105
Tini, Simone
2
2003
Dynamic hierarchical machines. Zbl 1111.68061
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
1
2003
An axiomatic semantics for the synchronous language Gentzen. Zbl 1035.68061
Tini, Simone
1
2003
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
An axiomatic semantics for Esterel. Zbl 0983.68136
Tini, Simone
3
2001
Concurrency in timed automata. Zbl 0999.68135
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2001
Transformations of timed cooperating automata. Zbl 1004.68088
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano
2
2001
On the expressiveness of timed concurrent constraint programming. Zbl 0958.68044
Tini, Simone
5
1999
Applying techniques of asynchronous concurrency to synchronous languages. Zbl 0942.68029
Maggiolo-Schettini, Andrea; Tini, Simone
2
1999
all top 5

Cited by 106 Authors

23 Tini, Simone
15 Maggiolo-Schettini, Andrea
15 Milazzo, Paolo
12 Barbuti, Roberto
9 Pardini, Giovanni
7 Lanotte, Ruggero
5 Castiglioni, Valentina
4 Gebler, Daniel E.
3 Mousavi, Mohammadreza
3 Reniers, Michel Adriaan
2 Bove, Pasquale
2 Campagna, Dario
2 Cao, Yongzhi
2 Focardi, Riccardo
2 Gori, Roberta
2 Mendler, Michael
2 Merro, Massimo
2 Piazza, Carla
2 Priami, Corrado
2 Wu, Jinzhao
2 Yang, Shihan
1 Aceto, Luca
1 Adorna, Henry Natividad
1 Aguado, Joaquin
1 André, Étienne
1 Atanasiu, Adrian
1 Azgomi, Mohammad Abdollahi
1 Benerecetti, Massimo
1 Benmoussa, Mohamed Mahdi
1 Bibi, Alia
1 Birgisson, Arnar
1 Bliudze, Simon
1 Bodei, Chiara
1 Brim, Luboš
1 Butterfield, Andrew
1 Cabarle, Francis George C.
1 Calder, Muffy
1 Caravagna, Giulio
1 Češka, Milan
1 Choppy, Christine
1 Clarke, Edmund Melson jun.
1 Colvin, Robert J.
1 Crubillé, Raphaëlle
1 Dal Lago, Ugo
1 D’Argenio, Pedro Rubén
1 De Guglielmo, Renato
1 de Roever, Willem-Paul
1 Degano, Pierpaolo
1 Degasperi, Andrea
1 Di Pierro, Alessandra
1 Dingel, Juergen
1 Eshuis, Rik
1 Falaschi, Moreno
1 Fokkink, Willem Jan
1 Gentile, Ugo
1 Gorrieri, Roberto
1 Groote, Jan Friso
1 Gupta, Vineet
1 Hankin, Chris L.
1 He, Anping
1 Huang, Shuqin
1 Ingólfsdóttir, Anna
1 Jagadeesan, Radha
1 Larsen, Kim Guldstrand
1 Lee, Matias David
1 Lescaylle, Alexei
1 Levi, Francesca
1 Li, Yongming
1 Loreti, Michele
1 Lüttgen, Gerald
1 Marrone, Stefano
1 Martinelli, Fabio
1 Matteucci, Ilaria
1 Mazzocca, Nicola
1 Motallebi, Hassan
1 Mousavi, Mohammad Reza
1 Nardone, Roberto
1 Olarte, Carlos
1 Palamidessi, Catuscia
1 Pan, Haiyu
1 Peron, Adriano
1 Phillips, Iain C. C.
1 Pinna, G. Michele
1 Platzer, André
1 Qu, Wanling
1 Rudie, Karen
1 Saba, Andrea
1 Šafránek, David
1 Saraswat, Vijay A.
1 Sifakis, Joseph
1 Siveroni, Igor A.
1 Tan, Hongyan
1 Teh, Wen Chean
1 Tesei, Luca
1 Tronci, Enrico
1 Ulidowski, Irek
1 Valencia, Frank D.
1 van Glabbeek, Robert Jan
1 Velardi, Luigi
1 Villanueva, Alicia
...and 6 more Authors

Citations by Year