Lanese, I.; Dal Lago, U.; Choudhury, V., Towards Quantum Multiparty Session Types, in: Software Engineering and Formal Methods (SEFM 2024), 2025, 15280, pp. 385 - 403 (atti di: SEFM, Aveiro, Portugal, 4-8/11/2024) [Contribution to conference proceedings]Open Access
Lami, P.; Lanese, I.; Stefani, J. -B., A Small-Step Semantics for Janus, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2024, 14680, pp. 105 - 123 (atti di: 16th International Conference on Reversible Computation, RC 2024, pol, 2024) [Contribution to conference proceedings]
Lanese I.; Phillips I.; Ulidowski I., An Axiomatic Theory for Reversible Computation, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2024, 25, Article number: 11 , pp. 1 - 40 [Scientific article]Open Access
Lanese, I.; Gossler, G., Causal Debugging for Concurrent Systems, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2024, 14680, pp. 3 - 9 (atti di: 16th International Conference on Reversible Computation, RC 2024, pol, 2024) [Contribution to conference proceedings]
Pal, S.; Lanese, I.; Clo, M., Choreographic Automata: A Case Study in Healthcare Management, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2024, 14676, pp. 3 - 19 (atti di: 26th International Conference on Coordination Models and Languages, COORDINATION 2024, nld, 2024) [Contribution to conference proceedings]
Fabbretti, G.; Lanese, I.; Stefani, J. -B., Reversibility with Holes, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2024, 14680, pp. 69 - 74 (atti di: 16th International Conference on Reversible Computation, RC 2024, pol, 2024) [Contribution to conference proceedings]
Lami, Pietro; Lanese, Ivan; Stefani, Jean-Bernard; Sacerdoti Coen, Claudio; Fabbretti, Giovanni, Reversible debugging of concurrent Erlang programs: Supporting imperative primitives, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 138, Article number: 100944 , pp. 1 - 37 [Scientific article]Open Access
Lanese, I.; Vidal, G., Reversible Debugging of Erlang Programs in CauDEr, in: DEBT 2024: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, 2024, pp. 30 - 31 (atti di: DEBT, Vienna, Austria, 19/9/2024) [Contribution to conference proceedings]
Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., revTPL: THE REVERSIBLE TEMPORAL PROCESS LANGUAGE, «LOGICAL METHODS IN COMPUTER SCIENCE», 2024, 20, pp. 11 - 35 [Scientific article]Open Access
Barbanera F.; Lanese I.; Tuosto E., A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES, «LOGICAL METHODS IN COMPUTER SCIENCE», 2023, 19, pp. 1 - 36 [Scientific article]Open Access
Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C., Causal Reversibility Implies Time Reversibility, in: Quantitative Evaluation of Systems, Cham, Springer Science and Business Media Deutschland GmbH, 2023, 14287, pp. 270 - 287 (atti di: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, Antwerp, Belgium, 20-22/9/92023) [Contribution to conference proceedings]Open Access
Barbanera F.; Lanese I.; Tuosto E., Composition of synchronous communicating systems, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2023, 135, Article number: 100890 , pp. 1 - 33 [Scientific article]Open Access
Glück R.; Lanese I.; Mezzina C.A.; Miszczak J.A.; Phillips I.; Ulidowski I.; Vidal G., Towards a Taxonomy for Reversible Computation Approaches, in: Reversible Computation, 2023, 13960 LNCS, pp. 24 - 39 (atti di: Reversible Computation, Giessen, Germany, 18-19/7/2023) [Contribution to conference proceedings]Open Access
Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J., A MAPE-K Approach to Autonomic Microservices, in: 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 100 - 103 (atti di: 19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022, usa, 2022) [Contribution to conference proceedings]Open Access
Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N., Design-By-Contract for Flexible Multiparty Session Protocols, in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2022, 222, pp. 1 - 28 (atti di: 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, 6 - 10 June 2022) [Contribution to conference proceedings]Open Access
