EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-C.2.4
Home Policy Brochure Browse Search User Area Contact Help

2009

Blom, S.C.C. and van de Pol, J.C. (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. pp. 32-46. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
Brim, L. and van de Pol, J.C. (2009) Preface. In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 4 Nov 2009, Eindhoven, The Netherlands. Electronic Proceedings in Theoretical Computer Science 14. Open Publishing Association. ISSN 2075-2180
Zwartjes, G.J. and van de Voort, M. and Dil, B.J. and Havinga, P.J.M. (2009) Experiencing Wireless Sensor Network Concepts in an Undergraduate Computer Science Curriculum. In: 2009 Workshop on Embedded Systems Education, WESE '09, 15 Oct 2009, Grenoble, France. pp. 42-49. ACM. ISBN 978-1-60558-700-4

2008

Bakhshi, R. and Fokkink, W.J. and Pang, J. and van de Pol, J.C. (2008) Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In: Fifth IFIP International Conference On Theoretical Computer Science, 8-10 Sept 2008, Milano, Italy. pp. 57-72. IFIP International Federation for Information Processing 273/2008. Springer Verlag. ISSN 1571-5736 ISBN 978-0-387-09679-7

2007

Alvisi, L. and Doumen, J.M. and Guerraoui, R. and Koldehofe, B. and Li, H. and van Renesse, R. and Tredan, G. (2007) How robust are gossip-based communication protocols? Operating Systems Review, 41 (5). pp. 14-18. ISSN 0163-5980