Parallel Graph Rewriting on Loosely Coupled Machine Architectures. - Marko C. J. D. van Eekelen; Marinus J. Plasmeijer; J. E. W. Smetsers (CTRS, 1990)

Generating Efficient Code for Lazy Functional Languages. - Sjaak Smetsers; Eric Nöcker; John H. G. van Groningen; Marinus J. Plasmeijer (FPCA, 1991)

Concurrent Clean. - E. G. J. M. H. Nöcker; J. E. W. Smetsers; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (PARLE (2), 1991)

Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems. - Steffen van Bakel; Sjaak Smetsers; Simon Brock (CAAP, 1992)

Extending Graph Rewriting with Copying. - Erik Barendsen; Sjaak Smetsers (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs. - Sjaak Smetsers; Erik Barendsen; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Conventional and Uniqueness Typing in Graph Rewrite Systems. - Erik Barendsen; Sjaak Smetsers (FSTTCS, 1993)

Partially Strict Non-Recursive Data Types. - Eric Nöcker; Sjaak Smetsers (J. Funct. Program., 1993)

Uniqueness Typing in Natural Deduction Style. - Erik Barendsen; Sjaak Smetsers (Functional Programming, 1995)

Uniqueness Type Inference - Erik Barendsen; Sjaak Smetsers (PLILP, 1995)

A derivation system for uniqueness typing. - Erik Barendsen; Sjaak Smetsers (SEGRAGRA, 1995)

Graph Rewriting Semantics for Functional Programming Languages. - Marko C. J. D. van Eekelen; Sjaak Smetsers; Marinus J. Plasmeijer (CSL, 1996)

Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. - Erik Barendsen; Sjaak Smetsers (Math. Struct. Comput. Sci., 1996)

Fusion in Practice. - Diederik van Arkel; John H. G. van Groningen; Sjaak Smetsers (IFL, 2002)

Optimizing Generic Functions. - Artem Alimarine; Sjaak Smetsers (MPC, 2004)

There and back again: arrows for invertible programming. - Artem Alimarine; Sjaak Smetsers; Arjen van Weelden; Marko C. J. D. van Eekelen; Rinus Plasmeijer (Haskell, 2005)

Polytypic Syntax Tree Operations. - Arjen van Weelden; Sjaak Smetsers; Rinus Plasmeijer (IFL, 2005)

Improved Fusion for Optimizing Generics. - Artem Alimarine; Sjaak Smetsers (PADL, 2005)

Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. - Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (FMICS, 2007)

AHA: Amortized Heap Space Usage Analysis. - Marko C. J. D. van Eekelen; Olha Shkaravska; Ron van Kesteren; Bart Jacobs 001; Erik Poll; Sjaak Smetsers (Trends in Functional Programming, 2007)

Code-carrying theories. - Bart Jacobs 001; Sjaak Smetsers; Ronny Wichers Schreur (Formal Aspects Comput., 2007)

Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. - Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (FMICS, 2008)

Efficient and Type-Safe Generic Data Storage. - Sjaak Smetsers; Arjen van Weelden; Rinus Plasmeijer (WGT@ETAPS, 2008)

LaQuSo: Using Formal Methods for Analysis of Safety-Cr. - Sjaak Smetsers; Marko C. J. D. van Eekelen (ERCIM News, 2008)

Preemption Abstraction. - Erik Schierboom; Alejandro Tamalet; Hendrik Tews; Marko C. J. D. van Eekelen; Sjaak Smetsers (FMICS, 2009)

A Formal Verification Study on the Rotterdam Storm Surge Barrier. - Ken Madlener; Sjaak Smetsers; Marko C. J. D. van Eekelen (ICFEM, 2010)

Formal Component-Based Semantics - Ken Madlener; Sjaak Smetsers; Marko C. J. D. van Eekelen (SOS, 2011)

Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. - Bernard van Gastel; Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (Sci. Comput. Program., 2011)

A Proof Framework for Concurrent Programs. - Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (IFM, 2012)

Generating Verifiable Java Code from Verified PVS Specifications. - Leonard Lensink; Sjaak Smetsers; Marko C. J. D. van Eekelen (NASA Formal Methods, 2012)

Higher-Order Strictness Typing. - Sjaak Smetsers; Marko C. J. D. van Eekelen (Trends in Functional Programming, 2012)

Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS. - Sjaak Smetsers; Erik Barendsen (The Beauty of Functional Code, 2013)

Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. - Rody Kersten; Bernard van Gastel; Manu Drijvers; Sjaak Smetsers; Marko C. J. D. van Eekelen (NASA Formal Methods, 2013)

Modular Bialgebraic Semantics and Algebraic Laws. - Ken Madlener; Sjaak Smetsers; Marko C. J. D. van Eekelen (SBLP, 2013)

GSOS Formalized in Coq. - Ken Madlener; Sjaak Smetsers (TASE, 2013)

Towards an empirically validated model for assessment of code quality. - Martijn Stegeman; Erik Barendsen; Sjaak Smetsers (Koli Calling, 2014)

TweetNaCl: A Crypto Library in 100 Tweets. - Daniel J. Bernstein; Bernard van Gastel; Wesley Janssen; Tanja Lange 001; Peter Schwabe; Sjaak Smetsers (LATINCRYPT, 2014)

Formalizing Bialgebraic Semantics in PVS 6.0. - Sjaak Smetsers; Ken Madlener; Marko C. J. D. van Eekelen (WPTE@RDP, 2015)

Derivation and inference of higher-order strictness types. - Sjaak Smetsers; Marko C. J. D. van Eekelen (Comput. Lang. Syst. Struct., 2015)

Designing a rubric for feedback on code quality in programming courses. - Martijn Stegeman; Erik Barendsen; Sjaak Smetsers (Koli Calling, 2016)

Problem Solving and Algorithmic Development with Flowcharts. - Renske Smetsers-Weeda; Sjaak Smetsers (WiPSCE, 2017)

Evaluation of a Structured Design Methodology for Concurrent Programming. - Lex Bijlsma 001; Kees Huizing; Ruurd Kuiper 001; Harrie Passier; Harold Pootjes; Sjaak Smetsers (CSERC, 2019)

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? - Marc Schoolderman; Sjaak Smetsers; Marko C. J. D. van Eekelen (CSERC, 2019)

A benchmark for C program verification. - Marko C. J. D. van Eekelen; Daniil Frumin; Herman Geuvers; Léon Gondelman; Robbert Krebbers; Marc Schoolderman; Sjaak Smetsers; Freek Verbeek; Benoît Viguier; Freek Wiedijk (CoRR, 2019)

Analyzing the influence of block highlighting on beginning programmers' reading behavior using eye tracking. - Renske Talsma; Erik Barendsen; Sjaak Smetsers (CSERC, 2020)

Efficient Verification of Optimized Code: Correct High-speed Curve25519. - Marc Schoolderman; Jonathan Moerman; Sjaak Smetsers; Marko C. J. D. van Eekelen (CoRR, 2020)

Efficient Verification of Optimized Code: Correct High-speed X25519. - Marc Schoolderman; Jonathan Moerman; Sjaak Smetsers; Marko C. J. D. van Eekelen (IACR Cryptol. ePrint Arch., 2021)

Unraveling novices' code composition difficulties. - Renske Weeda; Sjaak Smetsers; Erik Barendsen (Comput. Sci. Educ., 2024)