Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Hartel, P.H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 12.


Misra, G. (2013) Permeance of ICT in Crime in India. Master's thesis, University of Twente.
Caselli, M. and Hadžiosmanović, D. and Zambon, Emmanuele and Kargl, F. (2013) On the feasibility of device fingerprinting in industrial control systems. In: Critical Information Infrastructures Security, 16-18 Sept 2013, Amsterdam. pp. 155-166. Lecture Notes in Computer Science (8328). Springer. ISSN 0302-9743 ISBN 978-3-319-03963-3


Gras, F. and Le Dantec, B. and Trébucq, O. and Cucinelli, B. and Leduc, M. and Simplot, D. and Bueker, U. and Barthe, G. and Michaud, B. and Hartel, P.H. and Thevenot, B. and Moedl, A. and Quisquater, J.-J. and Thomasson, J.-P. and Canto, E., ed. (2003) RESET Roadmap for European research on Smartcard rElated Technologies. Report Type UNSPECIFIED Number UNSPECIFIED


Diehl, S. and Hartel, P.H. and Sestoft, P., ed. (2000) Special issue: Principles of Abstract Machines. Future Generation Computer Systems, 16 (7). v-vi. ISSN 0167-739X *** ISI Impact 2,430 ***


Glaser, H. and Hartel, P.H. and Kuchen, H., ed. (1997) 9th Programming Languages: Implementations, Logics and Programs (PLILP). Springer-Verlag, Berlin. ISBN 3-540-63398-7


Hartel, P.H. and Paradinas, P. and Quisquater, J.-J., ed. (1996) 2nd Smart Card Research and Advanced Application (CARDIS). CWI (Centrum voor Wiskunde en Informatica), Amsterdam. ISBN 90 6196 465 2
Glaser, H. and Hartel, P.H. and de Jong, E.K. (1996) Structuring and Visualising an IC-card Security Standard. In: 2nd Smart card research and advanced application (CARDIS), Amsterdam, The Netherlands. pp. 89-110. CWI (Centrum voor Wiskunde en Informatica). ISBN 90 6196 465 2


Hartel, P.H. and Plasmeijer, M.J., ed. (1995) 1st Functional Programming languages in Education (FPLE). Springer-Verlag, Berlin. ISBN 3 540 60675 0
Hartel, P.H. and van Es, B. and Tromp, T.J.M. (1995) Basic proof skills of computer science students. In: 1st Functional Programming languages in Education (FPLE), Nijmegen, The Netherlands. pp. 269-287. Springer-Verlag. ISBN 3-540-60675-0


Wieringa, R.J. (1994) Transaction decomposition in Object-Oriented Models. In: Workshop on Formal Methods for Information System Dynamics, 6-7 Jun 1994, Utrecht, the Netherlands. Memoranda Informatica. University of Twente, Department of Computer Science. ISSN 0924-3755


Hartel, P.H. and Glaser, H. and Wild, J.M. (1991) On the benefits of different analyses in the compilation of functional languages. In: 3rd Implementation of functional languages on parallel architectures, Southampton, UK. pp. 123-145.
Glaser, H. and Hartel, P.H., ed. (1991) 3rd Workshop Implementation of functional languages on parallel architectures. Technical Report CSTR 91-07, Department of Electronics and Computer Science, University of Southampton, Southampton.

This list was generated on Mon May 22 00:41:42 CEST 2017.