Pieter H. Hartel Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Henk L. Muller: Simple algebraic data types for C. Softw., Pract. Exper. 42(2): 191-210 (2012)
2011
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjan Jeckmans, Qiang Tang, Pieter H. Hartel: Poster: privacy-preserving profile similarity computation in online social networks. ACM Conference on Computer and Communications Security 2011: 793-796
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuan Ibraimi, Svetla Nikova, Pieter H. Hartel, Willem Jonker: Public-Key Encryption with Delegated Search. ACNS 2011: 532-549
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjan Jeckmans, Qiang Tang, Pieter H. Hartel: Privacy-preserving profile matching using the social graph. CASoN 2011: 42-47
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaeed Sedghi, Pieter H. Hartel, Willem Jonker, Svetla Nikova: Privacy Enhanced Access Control by Means of Policy Blinding. ISPEC 2011: 108-122
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrajce Dimkov, Wolter Pieters, Pieter H. Hartel: Training students to steal: a practical assignment in computer security education. SIGCSE 2011: 21-26
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Bösch, Richard Brinkman, Pieter H. Hartel, Willem Jonker: Conjunctive Wildcard Search over Encrypted Data. Secure Data Management 2011: 114-127
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Giorgi Moniava, Zheng Gong, Pieter H. Hartel, Marimuthu Palaniswami: KALwEN: a new practical and interoperable key management scheme for body sensor networks. Security and Communication Networks 4(11): 1309-1329 (2011)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel: Model-based qualitative risk assessment for availability of IT infrastructures. Software and System Modeling 10(4): 553-580 (2011)
2010
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrajce Dimkov, Wolter Pieters, Pieter H. Hartel: Laptop theft: a case study on the effectiveness of security mechanisms in open organizations. ACM Conference on Computer and Communications Security 2010: 666-668
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrajce Dimkov, Wolter Pieters, Pieter H. Hartel: Two methodologies for physical penetration testing using social engineering. ACSAC 2010: 399-408
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrajce Dimkov, Wolter Pieters, Pieter H. Hartel: Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. ARSPA-WITS 2010: 112-129
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDina Hadziosmanovic, Damiano Bolzoni, Pieter H. Hartel: MEDUSA: Mining Events to Detect Undesirable uSer Actions in SCADA. RAID 2010: 500-501
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaeed Sedghi, Peter van Liesdonk, Svetla Nikova, Pieter H. Hartel, Willem Jonker: Searching Keywords with Wildcards on Encrypted Data. SCN 2010: 138-153
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter van Liesdonk, Saeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker: Computationally Efficient Searchable Symmetric Encryption. Secure Data Management 2010: 87-100
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker: Exploring Type-and-Identity-Based Proxy Re-Encryption Scheme to Securely Manage Personal Health Records. IJCMAM 1(2): 1-21 (2010)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis: Embedding renewable cryptographic keys into noisy data. Int. J. Inf. Sec. 9(3): 193-208 (2010)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed G. Khatib, Pieter H. Hartel, Hylke W. van Dijk: Energy-Efficient Streaming Using Non-volatile Memory. Signal Processing Systems 60(2): 149-168 (2010)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed G. Khatib, Pieter H. Hartel: Optimizing MEMS-based storage devices for mobile battery-powered systems. TOS 6(1): (2010)
2009
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZheng Gong, Pieter H. Hartel, Svetla Nikova, Bo Zhu: Towards Secure and Practical MACs for Body Sensor Networks. INDOCRYPT 2009: 182-198
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker: Efficient and Provable Secure Ciphertext-Policy Attribute-Based Encryption Schemes. ISPEC 2009: 1-12
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed G. Khatib, Pieter H. Hartel: Policies for probe-wear leveling in MEMS-based storage devices. MASCOTS 2009: 1-10
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Sandro Etalle, Pieter H. Hartel: Panacea: Automating Attack Classification for Anomaly-Based Network Intrusion Detection Systems. RAID 2009: 1-20
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuan Ibraimi, Milan Petkovic, Svetla Nikova, Pieter H. Hartel, Willem Jonker: Mediated Ciphertext-Policy Attribute-Based Encryption and Its Application. WISA 2009: 309-323
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Jeroen Doumen, Pieter H. Hartel: Fuzzy extractors for continuous distributions. IACR Cryptology ePrint Archive 2009: 545 (2009)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Bas Boom, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis: Secure pairing with biometrics. IJSN 4(1/2): 27-42 (2009)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Marimuthu Palaniswami, Lodewijk van Hoesel, Jeroen Doumen, Pieter H. Hartel, Paul J. M. Havinga: Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. TOSN 5(1): (2009)
2008
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed G. Khatib, Pieter H. Hartel: Power management of MEMS-based storage devices for mobile systems. CASES 2008: 245-254
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel: Workload-based configuration of MEMS-based storage devices for mobile systems. EMSOFT 2008: 41-50
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Leon Abelmann, Mohammed G. Khatib: Towards Tamper-evident Storage on Patterned Media. FAST 2008: 283-296
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen: Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. FMCAD 2008: 1-10
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Jeroen Doumen, Pieter H. Hartel, Qiang Tang, Raymond N. J. Veldhuis: Embedding Renewable Cryptographic Keys into Continuous Noisy Data. ICICS 2008: 294-310
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaeed Sedghi, Jeroen Doumen, Pieter H. Hartel, Willem Jonker: Towards an Information Theoretic Analysis of Searchable Encryption. ICICS 2008: 345-360
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaluca Marin-Perianu, Johann Hurink, Pieter H. Hartel: A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks. ISPA 2008: 863-870
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQiang Tang, Pieter H. Hartel, Willem Jonker: Inter-domain Identity-Based Proxy Re-encryption. Inscrypt 2008: 332-347
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuan Ibraimi, Qiang Tang, Pieter H. Hartel, Willem Jonker: A Type-and-Identity-Based Proxy Re-encryption Scheme and Its Application in Healthcare. Secure Data Management 2008: 185-198
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel: Cluster-based service discovery for heterogeneous wireless sensor networks. IJPEDS 23(4): 325-346 (2008)
2007
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis: Fuzzy extractors for continuous distributions. ASIACCS 2007: 353-355
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed G. Khatib, Berend-Jan van der Zwaag, Pieter H. Hartel, Gerard J. M. Smit: Interposing Flash between Disk and DRAM to Save Energy for Streaming Workloads. ESTImedia 2007: 7-12
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Jeroen Doumen, Pieter H. Hartel, Raymond N. J. Veldhuis: Feeling Is Believing: A Secure Template Exchange Protocol. ICB 2007: 897-906
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed analysis of security protocols. Journal of Computer Security 15(6): 619-645 (2007)
2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIleana Buhan, Asker M. Bazen, Pieter H. Hartel, Raymond N. J. Veldhuis: A False Rejection Oriented Threat Model for the Design of Biometric Authentication Systems. ICB 2006: 728-736
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasughi Sundramoorthy, Pieter H. Hartel, Hans Scholten: On consistency maintenance in service discovery. IPDPS 2006
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Sandro Etalle, Pieter H. Hartel, Emmanuele Zambon: POSEIDON: a 2-tier Anomaly-based Network Intrusion Detection System. IWIA 2006: 144-156
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaluca Marin-Perianu, Hans Scholten, Paul J. M. Havinga, Pieter H. Hartel: Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks. LCN 2006: 931-938
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff: LicenseScript: a logical language for digital rights management. Annales des Télécommunications 61(3-4): 284-331 (2006)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications. Electr. Notes Theor. Comput. Sci. 157(3): 113-130 (2006)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Jeroen Doumen, Pieter H. Hartel: Survey and benchmark of block ciphers for wireless sensor networks. TOSN 2(1): 65-93 (2006)
2005
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Pieter H. Hartel, Jerry den Hartog, Paul J. M. Havinga: Link-layer jamming attacks on S-MAC. EWSN 2005: 217-225
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Rieks Joosten, Geert Kleinhuis: Service Brokerage in Prolog. ICEIS (3) 2005: 409-412
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasughi Sundramoorthy, Pieter H. Hartel, Jerry den Hartog, Hans Scholten, C. Tan: Functional Principles of Registry-based Service Discovery. LCN 2005: 209-217
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Lodewijk van Hoesel, Jeroen Doumen, Pieter H. Hartel, Paul J. M. Havinga: Energy-efficient link-layer jamming attacks against wireless sensor network MAC protocols. SASN 2005: 76-88
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJieyin Cheng, Cheun Ngen Chong, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Stefan Nikolaus: StreamTo: Streaming Content using a Tamper-Resistant Token. SEC 2005: 601-612
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: A Trace Semantics for Positive Core XPath. TIME 2005: 103-112
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed Analysis of Security Protocols CoRR abs/cs/0503036: (2005)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Jerry den Hartog: Nonmonotonic Trust Management for P2P Applications CoRR abs/cs/0510061: (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDamiano Bolzoni, Emmanuele Zambon, Sandro Etalle, Pieter H. Hartel: Poseidon: a 2-tier Anomaly-based Intrusion Detection System CoRR abs/cs/0511043: (2005)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Antonio Durante: A Trace Logic for Local Security Properties. Electr. Notes Theor. Comput. Sci. 118: 129-143 (2005)
2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa: Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader: Timed model checking of security protocols. FMSE 2004: 23-32
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond N. J. Veldhuis, Asker M. Bazen, Joost A. Kauffman, Pieter H. Hartel: Biometric verification based on grip-pattern recognition. Security, Steganography, and Watermarking of Multimedia Contents 2004: 634-641
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Bin Ren, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Ricardo Corin: License Protection with a Tamper-Resistant Token. WISA 2004: 223-237
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Brinkman, Ling Feng, Jeroen Doumen, Pieter H. Hartel, Willem Jonker: Efficient Tree Search in Encrypted Data. WOSIS 2004: 126-135
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo Corin, Antonio Durante, Sandro Etalle, Pieter H. Hartel: A Trace Logic for Local Security Properties CoRR cs.CR/0411010: (2004)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Brinkman, Ling Feng, Jeroen Doumen, Pieter H. Hartel, Willem Jonker: Efficient Tree Search in Encrypted Data. Information Systems Security 13(3): 14-21 (2004)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Henk L. Muller, Hugh Glaser: The Functional "C" experience. J. Funct. Program. 14(2): 129-135 (2004)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTon Kalker, Dick H. J. Epema, Pieter H. Hartel, Reginald L. Lagendijk, Maarten van Steen: Music2Share - Copyright-Compliant Music Sharing in P2P Systems. Proceedings of the IEEE 92(6): 961-970 (2004)
2003
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel, Yee Wei Law: Approximating Fair Use in LicenseScript. ICADL 2003: 432-443
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Sandro Etalle, Pieter H. Hartel: Comparing Logic-Based and XML-Based Rights Expression Languages. OTM Workshops 2003: 779-792
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel: A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. PWC 2003: 27-39
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYee Wei Law, Sandro Etalle, Pieter H. Hartel: Assessing Security in Energy-Efficient Sensor Networks. SEC 2003: 459-463
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, Zhonghong Peng, Pieter H. Hartel: Secure Audit Logging with Tamper-Resistant Hardware. SEC 2003: 73-84
2002
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErik Poll, Pieter H. Hartel, Eduard de Jong: A Java Reference Model of Transacted Memory for Smart Cards. CARDIS 2002: 75-86
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: The State of WG 8.8. CARDIS 2002
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCheun Ngen Chong, René van Buuren, Pieter H. Hartel, Geert Kleinhuis: Security Attributes Based Digital Rights Management. IDMS/PROMS 2002: 339-352
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Scholten, Pierre G. Jansen, Ferdy Hanssen, Pieter H. Hartel, T. Hattink, Vasughi Sundramoorthy: Multimedia QoS in Low-Cost Home Networks. LCN 2002: 327-328
2001
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil J. Henderson, Neil M. White, Pieter H. Hartel: iButton Enrolment and Verification Requirements for the Pressure Sequence Smartcard Biometric. E-smart 2001: 124-134
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley: Transacted Memory for Smart Cards. FME 2001: 478-499
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Field, Pieter H. Hartel, Wim Mooij: Personal DJ, an architecture for personalised content delivery. WWW 2001: 1-7
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Luc Moreau: Formalizing the safety of Java, the Java virtual machine, and Java card. ACM Comput. Surv. 33(4): 517-558 (2001)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosep Domingo-Ferrer, Pieter H. Hartel: Current directions in smart cards. Computer Networks 36(4): 377-379 (2001)
2000
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: Formalising Java Safety - An overview. CARDIS 2000: 115-134
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Henderson, Pieter H. Hartel: Pressure Sequence - A Novel Method of Protecting Smart Cards. CARDIS 2000: 241-256
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Eduard de Jong: A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. Java Card Workshop 2000: 52-72
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugh Glaser, Pieter H. Hartel, Paul W. Garratt: Programming by Numbers: A Programming Method for Novices. Comput. J. 43(4): 252-265 (2000)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Diehl, Pieter H. Hartel, Peter Sestoft: Abstract machines for programming language implementation. Future Generation Comp. Syst. 16(7): 739-751 (2000)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Diehl, Pieter H. Hartel, Peter Sestoft: Principles of abstract machines. Future Generation Comp. Syst. 16(7): (2000)
1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Michael J. Butler, Moshe Levy: The Operational Semantics of a Java Secure Processor. Formal Syntax and Semantics of Java 1999: 313-352
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael J. Butler, Pieter H. Hartel: Reasoning about Grover's quantum search algorithm using probabilistic wp. ACM Trans. Program. Lang. Syst. 21(3): 417-429 (1999)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandro Etalle, Pieter H. Hartel, Willem G. Vree: Declarative solutions to partitioned-grid problems. Softw., Pract. Exper. 29(13): 1173-1200 (1999)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: LETOS - a lightweight execution tool for operational semantics. Softw., Pract. Exper. 29(15): 1379-1416 (1999)
1998
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Jake Hill, Matt Sims: An Operational Model of QuickPay - Extended Abstract. CARDIS 1998: 19-28
1997
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Henk L. Muller: Functional C. Addison-Wesley-Longman 1997: I-XVI, 1-433
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugh Glaser, Pieter H. Hartel, Herbert Kuchen: Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings Springer 1997
1996
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Jean-Jacques Quisquater: Introduction to CARDIS 1996. CARDIS 1996
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugh Glaser, Pieter H. Hartel, Eduard K. de Jong Frz: Structuring and Visualising an IC-card Security Standard. CARDIS 1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz: Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS 1996
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Hugh Glaser: The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. J. Funct. Program. 6(1): 29-45 (1996)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)
1995
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Marinus J. Plasmeijer: Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings Springer 1995
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Bert van Es, Dick Tromp: Basic Proof Skills of Computer Science Students. FPLE 1995: 269-287
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugh McEvoy, Pieter H. Hartel: Local Linear Logic for Locality Consciousness in Multiset Transformation PLILP 1995: 357-379
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Rutger F. H. Hofman, Koen Langendoen, Henk L. Muller, Willem G. Vree, Louis O. Hertzberger: A toolkit for parallel functional programming. Concurrency - Practice and Experience 7(8): 765-793 (1995)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Marinus J. Plasmeijer: Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. J. Funct. Program. 5(3): 279-281 (1995)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem G. Vree, Pieter H. Hartel: Communication Lifting: Fixed Point Computation for Parallelism. J. Funct. Program. 5(4): 549-581 (1995)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Reza Haydarlou, Pieter H. Hartel: Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional Language. Journal of Functional and Logic Programming 1995(1): (1995)
1994
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Willem G. Vree: Experiments wiht Destructive Updates in a Lazy Functional Language. Comput. Lang. 20(3): 177-192 (1994)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Hugh Glaser, John M. Wild: Compilation of Functional Languages using Flow Graph Analysis. Softw., Pract. Exper. 24(2): 127-173 (1994)
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Koen Langendoen: Benchmarking Implementations of Lazy Functional Languages. FPCA 1993: 341-349
1992
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKoen Langendoen, Pieter H. Hartel: FCG: A Code Generator for Lazy Functional Languages. CC 1992: 278-296
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: Performance of Lazy Combinator Graph Reduction. Softw., Pract. Exper. 21(3): 299-329 (1991)
1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: A Comparison of Three Garbage Collection Algorithms. Structured Programming 11(3): 117-128 (1990)
1988
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel: The Average Size of Ordered Binary Subgraphs. WG 1988: 327-351
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPieter H. Hartel, Arthur H. Veen: Statistics on Graph Reduction of SASL Programs. Softw., Pract. Exper. 18(3): 239-253 (1988)
1983
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel: Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. IEEE Trans. Software Eng. 9(3): 247-259 (1983)

Coauthor Index

1Leon Abelmann [86]
2Marjan I. Alberda [19]
3Martin Alt [17]
4Lennart Augustsson [17]
5Peter Baumann [17]
6Asker M. Bazen [55] [74]
7Marcel Beemster [17]
8Damiano Bolzoni [59] [72] [93] [103]
9Bas Boom (B. J. Boom, Bastiaan Johannes Boom) [90]
10Jan van den Bos [1]
11Christoph Bösch [109]
12Richard Brinkman [51] [53] [109]
13Ileana Buhan (Ileana Buhan-Dulman) [74] [76] [78] [84] [90] [91] [99]
14Michael J. Butler [27] [28] [38]
15René van Buuren [41]
16Emmanuel Chailloux [17]
17Jieyin Cheng [63]
18Cheun Ngen Chong [41] [44] [47] [48] [54] [63] [66] [70]
19Ricardo Corin [46] [52] [54] [56] [58] [61] [70] [75]
20Marcin Czenko [60] [69]
21Stephan Diehl [29] [30]
22Hylke W. van Dijk [98]
23Trajce Dimkov [104] [105] [106] [110]
24Josep Domingo-Ferrer [35]
25Jeroen Doumen [51] [53] [54] [60] [63] [64] [68] [69] [70] [76] [78] [83] [84] [89] [90] [91] [99] [101]
26Antonio Durante [52] [58]
27Pascal van Eck [57]
28Dick H. J. Epema [49]
29Bert van Es [15]
30Sandro Etalle [26] [45] [46] [47] [48] [52] [54] [56] [57] [58] [59] [60] [61] [63] [66] [69] [70] [72] [75] [93] [107]
31Marc Feeley [17]
32Ling Feng [51] [53]
33Adam Field [37]
34Christine H. Flood [17]
35Eduard K. de Jong Frz [19] [20]
36Paul W. Garratt [31]
37Marc Geilen (Marc C. W. Geilen) [85]
38Hugh Glaser [8] [18] [20] [22] [31] [50]
39Zheng Gong [96] [108]
40Wolfgang Grieskamp [17]
41John H. G. van Groningen [17]
42Dina Hadziosmanovic [103]
43Kevin Hammond [17]
44Ferdy Hanssen [40]
45Jerry den Hartog (J. I. den Hartog) [60] [65] [67] [69]
46T. Hattink [40]
47Bogumil Hausman [17]
48Paul J. M. Havinga [64] [67] [71] [79] [89]
49A. Reza Haydarlou [10]
50Neil Henderson [33]
51Neil J. Henderson [39]
52Louis O. Hertzberger (Bob Hertzberger) [13]
53Jake Hill [24]
54Lodewijk van Hoesel [64] [89]
55Rutger F. H. Hofman [13]
56Johann Hurink (Johann L. Hurink) [82]
57Luan Ibraimi [80] [92] [95] [100] [113]
58Melody Y. Ivory [17]
59Pierre G. Jansen [40]
60Arjan Jeckmans [112] [114]
61Richard E. Jones [17]
62Eduard de Jong [32] [38] [43]
63Willem Jonker [51] [53] [80] [81] [83] [92] [95] [100] [101] [102] [109] [111] [113]
64Rieks Joosten [66]
65Ton Kalker (Antonius A. C. M. Kalker) [49]
66Jasper Kamperman [17]
67Joost A. Kauffman [55]
68Mohammed G. Khatib [77] [86] [87] [88] [94] [97] [98]
69Geert Kleinhuis [41] [66]
70Herbert Kuchen [22]
71Reginald L. Lagendijk (Inald Lagendijk) [49]
72Koen Langendoen [6] [7] [13]
73Yee Wei Law [45] [46] [48] [64] [67] [68] [70] [89] [108]
74Peter Lee [17]
75Xavier Leroy [17]
76Moshe Levy [28]
77Peter van Liesdonk [101] [102]
78Rafael Dueire Lins [17]
79Mark Longley [38]
80Sandra Loosemore [17]
81Angelika Mader [56] [61] [75]
82Raluca Marin-Perianu [71] [79] [82]
83Hugh McEvoy [14]
84Ethan L. Miller [87]
85Giorgi Moniava [108]
86Wim Mooij [37]
87Luc Moreau [36]
88Henk L. Muller [13] [23] [50] [115]
89Stefan Nikolaus [63]
90Svetla Nikova [92] [96] [102] [111] [113]
91Marimuthu Palaniswami [89] [108]
92Zhonghong Peng [44]
93Milan Petkovic [92]
94Wolter Pieters [104] [105] [106] [110]
95Marinus J. Plasmeijer (Rinus Plasmeijer) [1] [12] [16]
96Erik Poll [43]
97Jean-Jacques Quisquater [21]
98Bin Ren [54]
99Niklas Röjemo [17]
100Theo C. Ruys [85]
101Hans Scholten [40] [65] [71] [73] [79]
102Saeed Sedghi [83] [101] [102] [111]
103Manuel Serrano [17]
104Peter Sestoft [29] [30]
105Matt Sims [24]
106Gerard J. M. Smit [77]
107Maarten van Steen [49]
108Vasughi Sundramoorthy [40] [65] [73]
109Jean-Pierre Talpin [17]
110C. Tan [65]
111Qiang Tang [80] [81] [84] [95] [99] [100] [112] [114]
112Jon Thackray [17]
113Stephen Thomas [17]
114Andrew Tokmakoff [70]
115Ha Tran [60] [69]
116Dick Tromp [15]
117Arthur H. Veen [2]
118Raymond N. J. Veldhuis [55] [74] [76] [78] [84] [90] [99]
119Willem G. Vree [9] [11] [13] [26]
120Pum Walters [17]
121Pierre Weis [17]
122Peter Wentworth [17]
123Neil M. White [39]
124Roel Wieringa [57] [107]
125John M. Wild [8]
126Emmanuele Zambon [59] [72] [107]
127Bo Zhu [96]
128Berend-Jan van der Zwaag [77]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page