io-port 05990134 Cordero, Francesca; Horváth, András; Manini, Daniele; Napione, Lucia; De Pierro, Massimiliano; Pavan, Simona; Picco, Andrea; Veglio, Andrea; Sereno, Matteo; Bussolino, Federico; Balbo, Gianfranco

Theor. Comput. Sci. 412, No. 43, 6036-6057 (2011).

io-port 50238006 Balbo, Gianfranco; Beccuti, Marco; De Pierro, Massimiliano; Franceschinis, Giuliana

Comput. J. 54, No. 5, 653-673 (2011).

io-port 70928556 Balbo, Gianfranco; Beccuti, Marco; De Pierro, Massimiliano; Franceschinis, Giuliana

ICPE, 7-18 (2011).

io-port 05609282 Napione, Lucia; Manini, Daniele; Cordero, Francesca; Horváth, András; Picco, Andrea; De Pierro, Massimiliano; Pavan, Simona; Sereno, Matteo; Veglio, Andrea; Bussolino, Federico; Balbo, Gianfranco

Degano, Pierpaolo (ed.) et al., Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31‒September 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03844-0/pbk). Lecture Notes in Computer Science 5688. Lecture Notes in Bioinformatics, 281-295 (2009).

io-port 05574235 Balbo, Gianfranco; De Pierro, Massimiliano; Franceschinis, Giuliana

Bradley, Jeremy T. (ed.), Computer performance engineering. 6th European performance engineering workshop, EPEW 2009, London, UK, July 9‒10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02923-3/pbk). Lecture Notes in Computer Science 5652, 1-15 (2009).

io-port 70559586 Napione, Lucia; Manini, Daniele; Cordero, Francesca; Horváth, András; Picco, Andrea; De Pierro, Massimiliano; Pavan, Simona; Sereno, Matteo; Veglio, Andrea; Bussolino, Federico; Balbo, Gianfranco

CMSB, 281-295 (2009).

io-port 71011833 Balbo, Gianfranco; De Pierro, Massimiliano; Franceschinis, Giuliana

EPEW, 1-15 (2009).

io-port 05869991 Balbo, Gianfranco

Bernardo, Marco (ed.) et al., Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28‒June 2, 2007. Advanced lectures. Berlin: Springer (ISBN 978-3-540-72482-7/pbk). Lecture Notes in Computer Science 4486, 83-131 (2007).

io-port 70566071 Balbo, Gianfranco

SFM, 83-131 (2007).

io-port 05114453 Balbo, G.; Bruell, S.C.; Sereno, M.

IEEE Transactions on Software Engineering 28, No.10, 915-932 (2002).

io-port 50017214 Balbo, Gianfranco; Bruell, Steven C.; Sereno, Matteo

IEEE Trans. Software Eng. 28, No. 10, 915-932 (2002).

io-port 01786473 Balbo, Gianfranco

Brinksma, Ed (ed.) et al., Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3-7, 2000. Revised lectures. Berlin: Springer. Lect. Notes Comput. Sci. 2090, 84-155 (2001).

io-port 70353131 Marsan, Marco Ajmone; Balbo, Gianfranco; Conte, Gianni

Performance Evaluation, 505-512 (2000).

io-port 70803914 Balbo, Gianfranco

European Educational Forum: School on Formal Methods and Performance Analysis, 84-155 (2000).

io-port 05443254 Marsan, Marco Ajmone; Balbo, Gianfranco; Conte, Gianni; Donatelli, Susanna; Franceschinis, Giuliana

SIGMETRICS Perform. Eval. Rev. 26, No. 2, 2 (1998).

io-port 01046610 Azéma, Pierre (ed.); Balbo, Gianfranco (ed.)

Lecture Notes in Computer Science 1248. Berlin: Springer (ISBN 3-540-63139-9). viii, 467~p. DM~98.00; öS~715.40; sFr~86.50 (1997).

io-port 00985481 Sereno, Matteo; Balbo, Gianfranco

Perform. Eval. 29, No.1, 35-62 (1997).

io-port 00984098 Balbo, Gianfranco; Serazzi, Giuseppe

Perform. Eval. 26, No.1, 51-72 (1996).

io-port 00763717 Marsan, M.Ajmone; Balbo, G.; Donatelli, S.; Franceschinis, G.; Conte, G.

Wiley Series in Parallel Computing. Chichester: Wiley. xxi, 301 p. \sterling 45.00; \$ 73.95 (1995).

io-port 00732081 Baccelli, F.; Balbo, G.; Boucherie, R.; Campos, J.; Chiola, G.

Boxma, O. J. (ed.) et al., Performance evaluation of parallel and distributed systems. Solution methods. Proceedings of the 3rd QMIPS workshop, held in Torino, Italy, on September 25 and 26, 1993. Part 1. Amsterdam: CWI. CWI Tracts. 105, 25-44 (1994).