Lanese, Ivan
- A Theory of Reversibility for Erlang
2018/06/19 by Ivan Lanese, Lanese, Ivan, Naoki Nishida +5 · 2 voices · 1 citation
#cs.PL #cs.LO
- Microservices: How To Make Your Application Scale
2017/02/23 by Nicola Dragoni, Dragoni, Nicola, Ivan Lanese +9 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE
- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
2014/07/03 by Preda, Mila Dalla, Giallorenzo, Saverio, Lanese, Ivan +2 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Adaptable TeaStore
2024/12/20 by Bliudze, Simon, De Palma, Giuseppe, Giallorenzo, Saverio +3 · 5 citations
#Distributed #FOS: Computer and information sciences #Parallel #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- An Axiomatic Theory for Reversible Computation
2023/07/25 by Lanese, Ivan, Phillips, Iain, Ulidowski, Irek · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- AI Techniques in the Microservices Life-Cycle: A Systematic Mapping Study
2023/05/25 by Sergio Moreschini, Shahrzad M. Pour, Moreschini, Sergio +17 · 1 citation
Computer Science · #Software System Performance and Reliability #Cloud Computing and Resource Management #Software-Defined Networks and 5G