SCALAS, ALCESTE
SCALAS, ALCESTE
DIPARTIMENTO DI MATEMATICA ED INFORMATICA
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Honesty by typing
2016-01-01 Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto
A semantic deconstruction of session types
2015-05-22
Choreographies in the wild
2015-01-01 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R.
The LTS WorkBench
2015-01-01 Scalas, Alceste; Bartoletti, Massimo
A semantic deconstruction of session types
2014-01-01 Bartoletti, Massimo; Scalas, Alceste; Zunino, R.
Modelling and verifying contract-oriented systems in Maude
2014-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, R.
Choreography synthesis as contract agreement
2013-01-01 Lange, J; Scalas, Alceste
Honesty by typing
2013-01-01 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, R.
FLOW: Implementation and Formal Analysis of a Framework for Parallel and Distributed Computing
2011-01-01 Scalas, Alceste; Casu, G.
FLOW: Implementazione e analisi formale di un framework per il calcolo parallelo e distribuito
2011-01-01 Scalas, Alceste; Casu, G.
TinyKB: a dynamic class/object store and ORM for Python
2011-01-01 Scalas, Alceste
High-performance technical computing with erlang
2008-01-01 Scalas, Alceste; Casu, Giovanni; Pili, P.
GVol Application Procedural Interface
2003-01-01 Scalas, Alceste
GVol: software libero per la manipolazione e visualizzazione di dati volumetrici
2003-01-01 Scalas, Alceste
Photo-Realistic Image Synthesis in Volume Rendering for Rapid Prototyping and CAM Applications (draft)
2003-01-01 Scalas, Alceste; Pili, P.
Configuring and Installing Debian GNU/Linux on a 64 Bit HP Itanium2 Architecture
2002-01-01 Scalas, Alceste