Publications
Publications found: 407
- Non deterministic Repairable Fault Trees for computing optimal repair strategy
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on Proceedings of the International Conference on Performance Evaluation, Methodologies and Tools, Ed. ICST, 2008 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Published on Scientific Annals of Computer Science, Ed. "A.I. Cuza'' University Press, 2008, Pages: 63--98 - Alias Types and effects for "environment-aware'' computations
Ferruccio Damiani, Elena Giachino, Paola Giannini
Published on Fundamenta Informaticae 88 1-2, Ed. IOS Press, 2008, Pages: 63-107 - A Type Safe State Abstraction for Coordination in Java-like Languages
Ferruccio Damiani, Sophia Drossopoulou, Elena Giachino, Paola Giannini
Published on Acta Informatica 45, Ed. Springer, 2008, Pages: 479-536 - A Calculus of Evolving Objects
Mariangiola Dezani-Ciancaglini, Paola Giannini, Oscar Nierstrasz
Published on MPOOL'08, 2008 - On state classes and their dynamic semantics
Emanuele Cazzola, Ferruccio Damiani, Elena Giachino, Paola Giannini
Published on Software and Data Technologies (ICSOFT 2006, Revised Selected Papers) 10, Ed. Springer, 2008, Pages: 84-96 - Case-based management of exceptions to business processes: an approach exploiting prototypes
Stefania Montani
Published on TR-INF-2008-12-09-UNIPMN, Ed. Computer Science Department, UPO, 2008 - BuzzChecker: Exploiting the Web to Better Understand Society
Marco Furini, S. Montangero
Published on TR-INF-2008-07-07-UNIPMN, Ed. Computer Science Department, UPO, 2008 - Low-Memory Adaptive Prefix Coding
Travis Gagie, Yakov Nekrich
Published on TR-INF-2008-07-06-UNIPMN, Ed. Computer Science Department, UPO, 2008 - Non deterministic Repairable Fault Trees for computing optimal repair strategy
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Published on TR-INF-2008-07-05-UNIPMN, Ed. Computer Science Department, UPO, 2008
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
