EEMCS

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

EEMCS EPrints Service


Editor: van de Pol, J.C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 8.

2011

Manthey, B. (2011) Towards explaining the speed of k-means. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 2011. pp. 45-54. ISSN not assigned

2010

van de Pol, J.C. and Weber, Michael (2010) Preface. In: 17th International SPIN Workshop on Model Checking Software, 27-29 Sep 2010, Enschede, The Netherlands. v-vi. Lecture Notes in Computer Science 6349. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16163-6

2009

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
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
Hiemstra, D. (2009) Towards an Information Retrieval Theory of Everything. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica (NVTI), 2009. pp. 27-38. ISSN not assigned

2007

Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0
Romijn, J.M.T. and Smith, G. and van de Pol, J.C. (2007) Preface. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 29 Nov 2005, Eindhoven, The Netherlands. pp. 1-2. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661
Calamé, J.R. and Ioustinova, N. and van de Pol, J.C. (2007) Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In: Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005), 29 Nov 2005, Eindhoven, The Netherlands. pp. 25-48. Electronic Notes in Theoretical Computer Science 191. Elsevier. ISSN 1571-0661

This list was generated on Sun Oct 19 16:48:26 CEST 2014.