CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 74
Titolo Autore(i) Anno Periodico Editore Tipo File
The Pairing of Contracts and Session Types C. Laneve; L. Padovani 2008-01-01 - Springer 2.01 Capitolo / saggio in libro -
From Biochemistry to Stochastic Processes C. Laneve; S. Pradalier; G. Zavattaro 2009-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
PiDuce - A project for experimenting Web services technologies S. Carpineti;
C. Laneve;
L. Padovani 		2009-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro 2009-01-01 - Springer 4.01 Contributo in Atti di convegno -
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages Delzanno, G; Di Giusto, C; Gabbrielli, M; Laneve, C; Zavattaro, G 2009-01-01 - SPRINGER-VERLAG BERLIN 4.01 Contributo in Atti di convegno -
Web Services and Formal Methods, 6th International Workshop C. Laneve; J. Su 2010-01-01 - Springer 3.02 Curatela -
The Expressive Power of Synchronizations C. Laneve;
A. Vitale 		2010-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -
The Interval Analysis of Multilinear Expressions C. Laneve;
T. Lascu;
V. Sordoni 		2010-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Reversibility in Massive Concurrent Systems Luca Cardelli; Cosimo Laneve 2011-01-01 SCIENTIFIC ANNALS OF COMPUTER SCIENCE - 1.01 Articolo in rivista -
Reversible structures Cardelli Luca; Cosimo Laneve 2011-01-01 - ACM 4.01 Contributo in Atti di convegno -
Analysis of Deadlocks in Object Groups Elena Giachino; Cosimo Laneve 2011-01-01 - Springer 4.01 Contributo in Atti di convegno -
Decidability Problems for Actor Systems Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro 2012-01-01 - Springer 4.01 Contributo in Atti di convegno -
Deadlock Analysis of Concurrent Objects: Theory and Practice Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong 2013-01-01 - - 4.01 Contributo in Atti di convegno -
SDA - Static Deadlock Analyzer for ABS Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt 2013-01-01 - - 7.04 Software -
Engineering virtualized services Elvira Albert;
Frank S. de Boer;
Reiner Hahnle;
Einar Broch Johnsen;
Cosimo Laneve 		2013-01-01 - - 4.01 Contributo in Atti di convegno -
A Beginner's Guide to the DeadLock Analysis Model Elena Giachino;
Cosimo Laneve 		2013-01-01 - - 4.01 Contributo in Atti di convegno -
An Algebraic Theory for Web Service Contracts. Cosimo Laneve;
Luca Padovani 		2013-01-01 - - 4.01 Contributo in Atti di convegno -
DF4ABS - Deadlock Framework for ABS Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael 2014-01-01 - - 7.04 Software -
Decidability problems for actor systems de Boer, F.S.; Jaghoori, M.M.; Laneve, C.; Zavattaro, G. 2014-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista -
Deadlock Analysis of Unbounded Process Networks Elena Giachino;Naoki Kobayashi;Cosimo Laneve 2014-01-01 - - 4.01 Contributo in Atti di convegno -
Mostrati risultati da 21 a 40 di 74
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