Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 17 di 17
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
The LTS WorkBench 1-gen-2015 Scalas, Alceste; Bartoletti, Massimo ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association
Choreographies in the wild 1-gen-2015 Bartoletti, Massimo; Lange, J; Scalas, Alceste; Zunino, R. SCIENCE OF COMPUTER PROGRAMMING -
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
A semantic deconstruction of session types 1-gen-2014 Bartoletti, Massimo; Scalas, Alceste; Zunino, R. LECTURE NOTES IN COMPUTER SCIENCE Springer
Honesty by typing 1-gen-2013 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; 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 -
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
Photo-Realistic Image Synthesis in Volume Rendering for Rapid Prototyping and CAM Applications (draft) 1-gen-2003 Scalas, Alceste; Pili, P. - -
GVol: software libero per la manipolazione e visualizzazione di dati volumetrici 1-gen-2003 Scalas, Alceste - -
GVol Application Procedural Interface 1-gen-2003 Scalas, Alceste - -
Configuring and Installing Debian GNU/Linux on a 64 Bit HP Itanium2 Architecture 1-gen-2002 Scalas, Alceste - -
Mostrati risultati da 1 a 17 di 17
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile