Fabbretti, G.; Lanese, I.; Stefani, J. -B., A BEHAVIORAL THEORY FOR DISTRIBUTED SYSTEMS WITH WEAK RECOVERY, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, 21, pp. 1 - 52 [Scientific article]
Moreschini, S.; Pour, S.; Lanese, I.; Balouek, D.; Bogner, J.; Li, X.; Pecorelli, F.; Soldani, J.; Truyen, E.; Taibi, D., AI Techniques in the Microservices Life-Cycle: a Systematic Mapping Study, «COMPUTING», 2025, 107, Article number: 100 , pp. 1 - 50 [Scientific article]Open Access
Genovese, G.; Lanese, I.; Di Giusto, C.; Tuosto, E.; Vidal, G., Choreographies for Program Understanding, in: Lecture Notes in Computer Science, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, 2025, 15732, pp. 173 - 181 (atti di: 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, Francia, 2025) [Contribution to conference proceedings]
Arnone, W.; Lanese, I., Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility, in: International Conference on Reversible Computation, RC 2025, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, 2025, 15716, pp. 1 - 8 (atti di: RC, Odense, Danimarca, 3-4 luglio 2025) [Contribution to conference proceedings]
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: Reversible Computation. RC 2024, 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, Toruń, Poland, July 4-5 , 2024) [Contribution to conference proceedings]Open Access
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: Reversible Computation. RC 2024, 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, Toruń, Poland, July 4-5 , 2024) [Contribution to conference proceedings]Open Access
Pal, S.; Lanese, I.; Clo, M., Choreographic Automata: A Case Study in Healthcare Management, in: Lecture Coordination Models and Languages. COORDINATION 2024, 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, Groningen, Netherlands, June 17-21, 2024) [Contribution to conference proceedings]Open Access
Fabbretti, G.; Lanese, I.; Stefani, J. -B., Reversibility with Holes, in: Mogensen, T.Æ., Mikulski, Ł. (eds) Reversible Computation. RC 2024, 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, Toruń, Poland, July 4-5 , 2024) [Contribution to conference proceedings]Open Access
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]Open Access
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
