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 [articolo]
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 [articolo]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, «LECTURE NOTES IN COMPUTER SCIENCE», 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) [Contributo in Atti di convegno]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15716, pp. 1 - 8 (atti di: RC, Odense, Danimarca, 3-4 luglio 2025) [Contributo in Atti di convegno]
Lanese, I.; Dal Lago, U.; Choudhury, V., Towards Quantum Multiparty Session Types, in: Software Engineering and Formal Methods (SEFM 2024), «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15280, pp. 385 - 403 (atti di: SEFM, Aveiro, Portugal, 4-8/11/2024) [Contributo in Atti di convegno]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14680, pp. 105 - 123 (atti di: 16th International Conference on Reversible Computation, RC 2024, Toruń, Poland, July 4-5 , 2024) [Contributo in Atti di convegno]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 [articolo]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14680, pp. 3 - 9 (atti di: 16th International Conference on Reversible Computation, RC 2024, Toruń, Poland, July 4-5 , 2024) [Contributo in Atti di convegno]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14676, pp. 3 - 19 (atti di: 26th International Conference on Coordination Models and Languages, COORDINATION 2024, Groningen, Netherlands, June 17-21, 2024) [Contributo in Atti di convegno]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2024, 14680, pp. 69 - 74 (atti di: 16th International Conference on Reversible Computation, RC 2024, Toruń, Poland, July 4-5 , 2024) [Contributo in Atti di convegno]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 [articolo]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) [Contributo in Atti di convegno]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 [articolo]Open Access
Barbanera F.; Lanese I.; Tuosto E., A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES, «LOGICAL METHODS IN COMPUTER SCIENCE», 2023, 19, pp. 1 - 36 [articolo]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, «LECTURE NOTES IN COMPUTER SCIENCE», 2023, 14287, pp. 270 - 287 (atti di: 20th International Conference on Quantitative Evaluation of SysTems, QEST 2023, Antwerp, Belgium, 20-22/9/92023) [Contributo in Atti di convegno]Open Access
