I agree that this site is using cookies. You can find further informations here.
X
Lanese, Ivan
267  results:
OpenAccess-fulltext X
Search for persons X
?
1

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
2

Towards a Taxonomy for Reversible Computation Approaches:

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38100-3_3.  , 2023
Link: https://inria.hal.scienc..
 
?
3

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023.  , 2023
Link: https://inria.hal.scienc..
 
?
4

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023.  , 2023
Link: https://inria.hal.scienc..
 
?
5

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
6

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
7

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890.  , 2023
Link: https://inria.hal.scienc..
 
?
8

The Reversible Temporal Process Language:

Bocchi Laura ; Lanese Ivan ; Mezzina Claudio.
info:eu-repo/grantAgreement/RCUK/EPSRC/EP/T014512/1/.  , 2023
Link: https://zenodo.org/recor..
 
?
9

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890.  , 2023
Link: https://inria.hal.scienc..
 
?
10

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511.  , 2023
Link: https://hal.science/hal-..
 
?
11

Causal Reversibility Implies Time Reversibility:

Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43835-6_19.  , 2023
Link: https://inria.hal.scienc..
 
?
12

An Axiomatic Theory for Reversible Computation:

Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek
http://arxiv.org/abs/2307.13360.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Causal Reversibility Implies Time Reversibility:

Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43835-6_19.  , 2023
Link: https://inria.hal.scienc..
 
?
14

AI Techniques in the Microservices Life-Cycle: A Survey:

Moreschini, Sergio ; Pour, Shahrzad ; Lanese, Ivan...
http://arxiv.org/abs/2305.16092.  , 2023
Link: http://arxiv.org/abs/230..
 
?
15

Towards a Taxonomy for Reversible Computation Approaches:

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38100-3_3.  , 2023
Link: https://inria.hal.scienc..
 
1-15