EEMCS

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

EEMCS EPrints Service


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

Number of items: 12.

2013

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

2003

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

2000

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 ***

1997

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

1996

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

1995

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

1994

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

1991

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 Mar 27 02:57:39 CEST 2017.