Maurice ter Beek

Contact information
Current projects
Past projects
Curriculum vitae
Scientific curriculum vitae
Publications
Quote
Disclaimer and Acknowledgements

Contact information

Maurice H. ter Beek

Formal Methods && Tools Group
Istituto di Scienza e Tecnologie dell'Informazione
Consiglio Nazionale delle Ricerche
Area della Ricerca di Pisa
Via G. Moruzzi 1
56124 Pisa
Italy

Office phone: +39-050-6213471
Office fax: +39-050-3152040

Current projects and activities

Selected past projects and activities

Short curriculum vitae (full version in or in )

Scientific curriculum vitae

Complete: 1994 - present
Per year: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994

Selected Publications (all publications)

Quote

U got 2 find the answers 2 the questions that U most fear

Think! It ain't illegal yet!

Funkadelic

Disclaimer and Acknowledgements

Most of the papers made available via my homepage have appeared in print and their copyright is often held by the publisher. Hence, while these papers can be used for personal academic use, their redistribution or reprinting for commercial purposes is prohibited.

The rotating images on the top of my homepage have been created with Wordle, while the rotating JavaScript has been freely provided by The JavaScript Source.


This site is administered by Maurice ter Beek.