Andrea Tosatto
Articles
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi,
COORDINATION 2015, Grenoble, France
COORDINATION 2015, Grenoble, France
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language,
FMOODS/FORTE 2013, Florence, Italy
FMOODS/FORTE 2013, Florence, Italy
Journal article
Loss Allocation in Joint Transmission and Distribution Peer-to-Peer Markets,
IEEE Transactions on Power Systems 2021
IEEE Transactions on Power Systems 2021
Generated using
minifold
and minifold-lincs
at 2025-03-31 17:01.