Inductive assertion patters for recursive procedures. - Maarten M. Fokkinga (Symposium on Programming, 1974)

Axiomatization of Declarations and the Formal Treatment of an Escape Construct. - Maarten M. Fokkinga (Formal Description of Programming Concepts, 1977)

A Correctness Proof of Sorting by Means of Formal Procedures. - Maarten M. Fokkinga (Sci. Comput. Program., 1987)

Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. - Erik Meijer 001; Maarten M. Fokkinga; Ross Paterson (FPCA, 1991)

An Exercise in Transformational Programming: Backtracking and Branch-and-Bound. - Maarten M. Fokkinga (Sci. Comput. Program., 1991)

Subtyping Can Have a Simple Semantics. - Herman Balsters; Maarten M. Fokkinga (Theor. Comput. Sci., 1991)

Law and order in algorithmics. - Maarten M. Fokkinga (Univ. Twente, 1992)

Calculate Categorically! - Maarten M. Fokkinga (Formal Aspects Comput., 1992)

Modular Completeness for Communication Closed Layers. - Maarten M. Fokkinga; Mannes Poel; Job Zwiers (CONCUR, 1993)

Expressions That Talk About Themselves. - Maarten M. Fokkinga (Comput. J., 1996)

Datatype Laws without Signatures. - Maarten M. Fokkinga (Math. Struct. Comput. Sci., 1996)

Protocol Assuring Universal Language. - Rick van Rein; Maarten M. Fokkinga (FMOODS, 1999)

The associativity of equivalence and the Towers of Hanoi problem. - Roland Carl Backhouse; Maarten M. Fokkinga (Inf. Process. Lett., 2001)

Data Exchange over Web-based Applications with DXL. - Roelof van Zwol; V. Jeronimus; Maarten M. Fokkinga; Peter M. G. Apers (DIWeb, 2002)

Comparing Refinements for Failure and Bisimulation Semantics. - Rik Eshuis; Maarten M. Fokkinga (Fundam. Informaticae, 2002)

Aligning Application Architecture to the Business Context. - Roel J. Wieringa; Henk M. Blanken; Maarten M. Fokkinga; Paul W. P. J. Grefen (CAiSE, 2003)

Z-style notation for Probabilities. - Maarten M. Fokkinga (TDM, 2006)

Ignorance in the Relational Model. - Maarten M. Fokkinga (TDM, 2006)

Ranking Query Results using Context-Aware Preferences. - Arthur H. van Bunningen; Maarten M. Fokkinga; Peter M. G. Apers; Ling Feng (ICDE Workshops, 2007)

Generative modeling of persons and documents for expert search. - Pavel Serdyukov; Djoerd Hiemstra; Maarten M. Fokkinga; Peter M. G. Apers (SIGIR, 2007)

Composable Markov Building Blocks. - Sander Evers; Maarten M. Fokkinga; Peter M. G. Apers (SUM, 2007)

Probabilistic processing of interval-valued sensor data. - Sander Evers; Maarten M. Fokkinga; Peter M. G. Apers (DMSN, 2008)

The Right Expert at the Right Time and Place. - Pavel Serdyukov; Ling Feng; Arthur H. van Bunningen; Sander Evers; Harold van Heerde; Peter M. G. Apers; Maarten M. Fokkinga; Djoerd Hiemstra (PAKM, 2008)

A Framework to Balance Privacy and Data Usability Using Data Degradation. - Harold van Heerde; Maarten M. Fokkinga; Nicolas Anciaux (CSE (3), 2009)

The Hough transform. - Maarten M. Fokkinga (J. Funct. Program., 2011)