×

zbMATH — the first resource for mathematics

Lanese, Ivan

Compute Distance To:
Author ID: lanese.ivan Recent zbMATH articles by "Lanese, Ivan"
Published as: Lanese, Ivan
Homepage: https://www.unibo.it/sitoweb/ivan.lanese/en
External Links: dblp
Documents Indexed: 52 Publications since 2004, including 8 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 197 times in 115 Documents Cited by Year
Reversing higher-order pi. Zbl 1287.68137
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard
25
2010
Controlling reversibility in higher-order pi. Zbl 1344.68168
Lanese, Ivan; Mezzina, Claudio Antares; Schmitt, Alan; Stefani, Jean-Bernard
20
2011
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
15
2006
On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
14
2011
Reversibility in the higher-order \(\pi\)-calculus. Zbl 1338.68078
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard
11
2016
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
11
2014
On the expressiveness of polyadic and synchronous communication in higher-order process calculi. Zbl 1288.68183
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
10
2010
Cauder: a causal-consistent reversible debugger for Erlang. Zbl 06900736
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
9
2018
Concurrent flexible reversibility. Zbl 1381.68210
Lanese, Ivan; Lienhardt, Michael; Mezzina, Claudio Antares; Schmitt, Alan; Stefani, Jean-Bernard
8
2013
On the expressive power of primitives for compensation handling. Zbl 1260.68102
Lanese, Ivan; Vaz, Cátia; Ferreira, Carla
8
2010
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
7
2017
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
7
2017
An operational semantics for a calculus for wireless systems. Zbl 1200.68035
Lanese, Ivan; Sangiorgi, Davide
7
2010
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
Controlled reversibility and compensations. Zbl 1451.68123
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard
5
2013
Concurrent and located synchronizations in \(\pi \)-calculus. Zbl 1132.68044
Lanese, Ivan
4
2007
Synchronization algebras with mobility for graph transformations. Zbl 1272.68310
Lanese, Ivan; Montanari, Ugo
3
2005
Parametric synchronizations in mobile nominal calculi. Zbl 1146.68051
Bruni, Roberto; Lanese, Ivan
3
2008
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
3
2018
Most general property-preserving updates. Zbl 06725150
Bresolin, Davide; Lanese, Ivan
2
2017
Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021
Diaz, Josep (ed.); Lanese, Ivan (ed.); Sangiorgi, Davide (ed.)
2
2014
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
Dynamic error handling in service oriented applications. Zbl 1215.68040
Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
1
2009
PRISMA: a mobile calculus with parametric synchronization. Zbl 1211.68025
Bruni, Roberto; Lanese, Ivan
1
2007
Complete axioms for stateless connectors. Zbl 1151.68511
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
1
2005
Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Zbl 1339.68004
Albert, Elvira (ed.); Lanese, Ivan (ed.)
1
2016
A new strategy for distributed compensations with interruption in long-running transactions. Zbl 1312.68126
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio
1
2012
A modular formalization of reversibility for concurrent models and languages. Zbl 1433.68238
Bernadet, Alexis; Lanese, Ivan
1
2016
An axiomatic approach to reversible computation. Zbl 07250951
Lanese, Ivan; Phillips, Iain; Ulidowski, Irek
1
2020
From reversible semantics to reversible debugging. Zbl 06957254
Lanese, Ivan
1
2018
Static versus dynamic reversibility in CCS. Zbl 07340917
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
1
2021
Static versus dynamic reversibility in CCS. Zbl 07340917
Lanese, Ivan; Medić, Doriana; Mezzina, Claudio Antares
1
2021
An axiomatic approach to reversible computation. Zbl 07250951
Lanese, Ivan; Phillips, Iain; Ulidowski, Irek
1
2020
Cauder: a causal-consistent reversible debugger for Erlang. Zbl 06900736
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
9
2018
A theory of reversibility for Erlang. Zbl 1400.68046
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán
3
2018
From reversible semantics to reversible debugging. Zbl 06957254
Lanese, Ivan
1
2018
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
7
2017
Causal-consistent rollback in a tuple-based language. Zbl 1362.68213
Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
7
2017
Most general property-preserving updates. Zbl 06725150
Bresolin, Davide; Lanese, Ivan
2
2017
Reversibility in the higher-order \(\pi\)-calculus. Zbl 1338.68078
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard
11
2016
Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Zbl 1339.68004
Albert, Elvira; Lanese, Ivan
1
2016
A modular formalization of reversibility for concurrent models and languages. Zbl 1433.68238
Bernadet, Alexis; Lanese, Ivan
1
2016
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
11
2014
Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021
Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide
2
2014
Concurrent flexible reversibility. Zbl 1381.68210
Lanese, Ivan; Lienhardt, Michael; Mezzina, Claudio Antares; Schmitt, Alan; Stefani, Jean-Bernard
8
2013
Controlled reversibility and compensations. Zbl 1451.68123
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard
5
2013
A new strategy for distributed compensations with interruption in long-running transactions. Zbl 1312.68126
Bruni, Roberto; Kersten, Anne; Lanese, Ivan; Spagnolo, Giorgio
1
2012
Controlling reversibility in higher-order pi. Zbl 1344.68168
Lanese, Ivan; Mezzina, Claudio Antares; Schmitt, Alan; Stefani, Jean-Bernard
20
2011
On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
14
2011
Reversing higher-order pi. Zbl 1287.68137
Lanese, Ivan; Mezzina, Claudio Antares; Stefani, Jean-Bernard
25
2010
On the expressiveness of polyadic and synchronous communication in higher-order process calculi. Zbl 1288.68183
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
10
2010
On the expressive power of primitives for compensation handling. Zbl 1260.68102
Lanese, Ivan; Vaz, Cátia; Ferreira, Carla
8
2010
An operational semantics for a calculus for wireless systems. Zbl 1200.68035
Lanese, Ivan; Sangiorgi, Davide
7
2010
Tiles for Reo. Zbl 1253.68090
Arbab, Farhad; Bruni, Roberto; Clarke, Dave; Lanese, Ivan; Montanari, Ugo
7
2009
Dynamic error handling in service oriented applications. Zbl 1215.68040
Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
1
2009
Parametric synchronizations in mobile nominal calculi. Zbl 1146.68051
Bruni, Roberto; Lanese, Ivan
3
2008
Concurrent and located synchronizations in \(\pi \)-calculus. Zbl 1132.68044
Lanese, Ivan
4
2007
PRISMA: a mobile calculus with parametric synchronization. Zbl 1211.68025
Bruni, Roberto; Lanese, Ivan
1
2007
A basic algebra of stateless connectors. Zbl 1153.68331
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
15
2006
Synchronised hyperedge replacement as a model for service oriented computing. Zbl 1196.68025
Ferrari, Gian Luigi; Hirsch, Dan; Lanese, Ivan; Montanari, Ugo; Tuosto, Emilio
6
2006
Synchronization algebras with mobility for graph transformations. Zbl 1272.68310
Lanese, Ivan; Montanari, Ugo
3
2005
Complete axioms for stateless connectors. Zbl 1151.68511
Bruni, Roberto; Lanese, Ivan; Montanari, Ugo
1
2005
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto; Fiadeiro, José Luiz; Lanese, Ivan; Lopes, Antónia; Montanari, Ugo
1
2004
all top 5

Cited by 161 Authors

17 Lanese, Ivan
14 Bruni, Roberto
11 Montanari, Ugo G.
10 Mezzina, Claudio Antares
8 Yoshida, Nobuko
7 Melgratti, Hernán
6 Bliudze, Simon
6 Pérez, Jorge A.
6 Ulidowski, Irek
5 Bonchi, Filippo
5 Phillips, Iain W.
4 Dezani-Ciancaglini, Mariangiola
4 Merro, Massimo
4 Sifakis, Joseph
4 Sobociński, Paweł
4 Stefani, Jean-Bernard
4 Xu, Xian
3 Arbab, Farhad
3 Baranov, Eduard
3 Bodei, Chiara
3 Clarke, Dave
3 Cristescu, Ioana Domnina
3 Gadducci, Fabio
3 Kouzapas, Dimitrios
3 Lluch Lafuente, Alberto
3 Medić, Doriana
3 Montesi, Fabrizio
3 Schmitt, Alan
3 Tiezzi, Francesco
3 Tuosto, Emilio
3 Zanasi, Fabio
2 Barbanera, Franco
2 Bocchi, Laura
2 Bresolin, Davide
2 Brodo, Linda
2 Castellani, Ilaria
2 Ciobanu, Gabriel
2 Cruz-Filipe, Luís
2 Fu, Yuxi
2 Giannini, Paola
2 Given-Wilson, Thomas
2 Graversen, Eva
2 Johansen, Christian
2 Kesner, Delia
2 Krivine, Jean
2 Kühn, Stefan
2 Lanotte, Ruggero
2 Legay, Axel
2 Lenglet, Sergueï
2 Long, Huan
2 Normann, Håkon
2 Palacios, Adrian G.
2 Sammartino, Matteo
2 Sibilio, Eleonora
2 Troels Hildebrandt, Thomas
2 Vidal, Germán
2 Vieira, Hugo Torres
2 Yin, Qiang
1 Åman Pohjola, Johannes
1 Aman, Bogdan
1 Arrighi, Pablo
1 Attie, Paul C.
1 Aubert, Clément
1 Autili, Marco
1 Bagossy, Attila
1 Baldan, Paolo
1 Ballardin, Francesco
1 Balsamo, Simonetta
1 Barylska, Kamila
1 Biernacki, Dariusz
1 Bonsangue, Marcello Maria
1 Borgström, Johannes
1 Boy de la Tour, Thierry
1 Bracciali, Andrea
1 Caballero, Rafael E.
1 Cao, Zining
1 Cavallin, Filippo
1 Cenciarelli, Pietro
1 Chen, Zhenbang
1 Chessa, Stefano
1 Corradini, Andrea
1 De Nicola, Rocco
1 Debois, Søren
1 Dedeić, Jovana
1 de’Liguoro, Ugo
1 Dokter, Kasper
1 Echahed, Rachid
1 Ferreira, Carla
1 Galletta, Letterio
1 Giachino, Elena
1 Gorla, Daniele
1 Hildebrandt, Thomas T.
1 Hoey, James
1 Holland, Joshua
1 Huang, Changqin
1 Huang, Shuqin
1 Hüttel, Hans
1 Inverardi, Paola
1 Jaber, Mohamad Y.
1 Johansson, Magnus M.
...and 61 more Authors

Citations by Year