UNICA IRIS Institutional Research Information System

SCALAS, ALCESTE

SCALAS, ALCESTE  

DIPARTIMENTO DI MATEMATICA ED INFORMATICA  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Verifiable abstractions for contract-oriented systems 1-gen-2017 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING -
Honesty by typing 1-gen-2016 Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto LOGICAL METHODS IN COMPUTER SCIENCE -
A semantic deconstruction of session types 22-mag-2015 - - Università degli Studi di Cagliari
Choreographies in the wild 1-gen-2015 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
The LTS WorkBench 1-gen-2015 Scalas, Alceste; Bartoletti, Massimo ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association
A semantic deconstruction of session types 1-gen-2014 Bartoletti, Massimo; Scalas, Alceste; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Modelling and verifying contract-oriented systems in Maude 1-gen-2014 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Choreography synthesis as contract agreement 1-gen-2013 Lange, J; Scalas, Alceste ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE -
Honesty by typing 1-gen-2013 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
FLOW: Implementation and Formal Analysis of a Framework for Parallel and Distributed Computing 1-gen-2011 Scalas, Alceste; Casu, G. - -
FLOW: Implementazione e analisi formale di un framework per il calcolo parallelo e distribuito 1-gen-2011 Scalas, Alceste; Casu, G. - -
TinyKB: a dynamic class/object store and ORM for Python 1-gen-2011 Scalas, Alceste - -
High-performance technical computing with erlang 1-gen-2008 Scalas, Alceste; Casu, Giovanni; Pili, P. - ACM
GVol Application Procedural Interface 1-gen-2003 Scalas, Alceste - -
GVol: software libero per la manipolazione e visualizzazione di dati volumetrici 1-gen-2003 Scalas, Alceste - -
Photo-Realistic Image Synthesis in Volume Rendering for Rapid Prototyping and CAM Applications (draft) 1-gen-2003 Scalas, Alceste; Pili, P. - -
Configuring and Installing Debian GNU/Linux on a 64 Bit HP Itanium2 Architecture 1-gen-2002 Scalas, Alceste - -