Authors: HARTEL PH

Citation: Ph. Hartel, FGCS SPECIAL ISSUE ON SMART CARDS, Future generations computer systems, 13(1), 1997, pp. 1-2

Authors: ALBERDA MI HARTEL PH FRZ EKD

Citation: Mi. Alberda et al., USING FORMAL METHODS TO CULTIVATE TRUST IN SMART CARD OPERATING-SYSTEMS, Future generations computer systems, 13(1), 1997, pp. 39-54

Authors: HARTEL PH VREE WG

Citation: Ph. Hartel et Wg. Vree, EXPERIMENTS WITH DESTRUCTIVE UPDATES IN A LAZY FUNCTIONAL LANGUAGE, Computer languages, 20(3), 1994, pp. 177-192

Authors: HARTEL PH GLASER H WILD JM

Citation: Ph. Hartel et al., COMPILATION OF FUNCTIONAL LANGUAGES USING FLOW GRAPH ANALYSIS, Software, practice & experience, 24(2), 1994, pp. 127-173