Publications
Publications found: 404
- Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Published on Proceedings of the International Conference on Quantitative Evaluation of Systems, Ed. IEEE Computer Society, 2005, Pages: 257-258 - Solving Dynamic Reliability Problems by means of Ordinary and Fluid Stochastic Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Published on Proceedings of the European Safety and Reliability Conference, Ed. Taylor & Francis, 2005, Pages: 381-389 - Towards Type Inference for JavaScript
Christopher Anderson, Sophia Drossopoulou, Paola Giannini
Published on 19th European Conference on Object-Oriented Programming (ECOOP 2005), Ed. Springer, 2005, Pages: 428-453 - Type Checking for JavaScript
Christopher Anderson, Paola Giannini
Published on WOOD'05, Ed. Elsevier, 2005 - Boosting Textual Compression in Optimal Linear time
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini, Marinella Sciortino
Published on Journal of the ACM 52, 2005, Pages: 688-713 - Indexing compressed text
Paolo Ferragina, Giovanni Manzini
Published on Journal of the ACM 52 4, 2005, Pages: 552--581 - Compressing and Searching XML Data Via Two Zips
Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan
Published on TR-INF-2005-12-06-UNIPMN, Ed. Computer Science Department, UPO, 2005 - Policy Based Anonymous Channels
Lavinia Egidi, Giovanni Porcelli
Published on TR-INF-2005-11-05-UNIPMN, Ed. Computer Science Department, UPO, 2005 - An Audio-Video Summarization Scheme Based on Audio and Video Analysis
Marco Furini, Vittorio Ghini
Published on TR-INF-2005-10-04-UNIPMN, Ed. Computer Science Department, UPO, 2005 - Achieving Self-Healing in Autonomic Software Systems: a case-based reasoning approach
Cosimo Anglano, Stefania Montani
Published on TR-INF-2005-09-03-UNIPMN, Ed. Computer Science Department, UPO, 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 > »