Publications
Publications found: 409
- Safe Ambients: Abstract Machine and Distributed Implementation
Paola Giannini, Davide Sangiorgi, Andrea Valente
Published on Science of Computer Programming 59, 2006, Pages: 209 - 249 - New Challenges in Network Reliability Analysis
Andrea Bobbio, Caterina Ferraris, Roberta Terruggia
Published on TR-INF-2006-11-04-UNIPMN, Ed. Computer Science Department, UPO, 2006 - The Engineering of a Compression Boosting Library: Theory vs Practice in BWT compression
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini
Published on TR-INF-2006-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2006 - A Case-Based Architecture for Temporal Abstraction Configuration and Processing
Alessio Bottrighi, Jose Juarez, Giorgio Leonardi, Stefania Montani, Luigi Portinale
Published on TR-INF-2006-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2006 - The Draw-Net Modeling System: a framework for the design and the solution of single-formalism and multi-formalism models
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Published on TR-INF-2006-01-01-UNIPMN, Ed. Computer Science Department, UPO, 2006 - Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems
Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis
Published on Proceedings of the International Conference on Quantitative Evaluation of Systems, Ed. IEEE Computer Society, 2005, Pages: 257-258 - A High Level Language for Structural Relations in Well-Formed Nets
Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
Published on ICATPN, 2005, Pages: 168-187 - Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets
Giuliana Franceschinis
Published on ICATPN, 2005, Pages: 1-14 - A flexible approach to user-defined symbolic granularities in temporal databases
Lavinia Egidi, Paolo Terenziani
Published on SAC, 2005, Pages: 592-597 - The Digital Restyling of Audiobook
Lavinia Egidi, Marco Furini
Published on Proceedings of the Communication Systems and Networks (CSN2005), Ed. Acta Press, 2005
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 > »
