Algorithms 402: Increasing the efficiency of quicksort. - Maarten H. van Emden (Commun. ACM, 1970)

Increasing the efficiency of quicksort. - M. H. van Emden (Commun. ACM, 1970)

Verification Conditions as Programs. - Maarten H. van Emden (ICALP, 1976)

The Semantics of Predicate Logic as a Programming Language. - Maarten H. van Emden; Robert A. Kowalski (J. ACM, 1976)

Computation and Deductive Information Retrieval. - Maarten H. van Emden (Formal Description of Programming Concepts, 1977)

Equations Compared with Clauses for Specification of Abstract Data Types. - Maarten H. van Emden; T. S. E. Maibaum (Advances in Data Base Theory, 1979)

Programming with Verification Conditions. - Maarten H. van Emden (IEEE Trans. Software Eng., 1979)

Consequence Verification of Flowcharts. - Keith L. Clark; Maarten H. van Emden (IEEE Trans. Software Eng., 1981)

An Algorithm for Interpreting Prolog Programs. - Maarten H. van Emden (ICLP, 1982)

Contributions to the Theory of Logic Programming. - Krzysztof R. Apt; Maarten H. van Emden (J. ACM, 1982)

An Interpreting Algorithm for Prolog Programs. - Maarten H. van Emden (Implementations of Prolog, 1984)

Towards a western Fifth-Generation Computer System project. - Maarten H. van Emden (ACM Annual Conference, 1984)

A Logical Reconstruction of Prolog II. - Maarten H. van Emden; John W. Lloyd (ICLP, 1984)

Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. - Derek R. Brough; Maarten H. van Emden (SLP, 1984)

Top-Down Semantics of Fair Computations of Logic Programs. - Maarten H. van Emden; M. A. Nait Abdallah (J. Log. Program., 1985)

Quantitative Deduction and its Fixpoint Theory. - Maarten H. van Emden (J. Log. Program., 1986)

Spreadsheets with Incremental Queries as a User Interface for Logic Programming. - Maarten H. van Emden; Masaru Ohki; Akikazu Takeuchi (New Gener. Comput., 1986)

First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). - Maarten H. van Emden (LICS, 1987)

Logic Programming with Equations. - Maarten H. van Emden; Keitaro Yukawa (J. Log. Program., 1987)

Converting AND-Control to OR-Control by Program Transformation. - Maarten H. van Emden; Péter Szeredi (Foundations of Deductive Databases and Logic Programming., 1988)

Tables as a User Interface for Logic Programs. - Mantis H. M. Cheng; Maarten H. van Emden; Jimmy Ho-Man Lee (FGCS, 1988)

Conditional Answers for Polymorphic Type Inference. - Maarten H. van Emden (ICLP/SLP, 1988)

Complete Sets of Frontiers in Logic-Based Program Transformation. - Mantis H. M. Cheng; Maarten H. van Emden; Paul A. Strooper (META, 1988)

On Warren's Method for Functional Programming in Logic. - Mantis H. M. Cheng; Maarten H. van Emden; B. E. Richards (ICLP, 1990)

Mental Ergonomics as Basis for New-Generation Computer Systems. - Maarten H. van Emden (FGCS, 1992)

Adapting CLP to Floating-Point Arithmetic. - Jimmy Ho-Man Lee; Maarten H. van Emden (FGCS, 1992)

Editorial: Rhetoric versus Modernism in Computing. - Maarten H. van Emden (J. Log. Comput., 1992)

Compositional Operational Semantics for Prolog Programs. - Mantis H. M. Cheng; R. Nigel Horspool; Michael R. Levy; M. H. van Emden (New Gener. Comput., 1992)

Structured Inspections of Code. - Maarten H. van Emden (Softw. Test. Verification Reliab., 1992)

Describing Symmetrical Structures in Logic. - Paul A. Strooper; Maarten H. van Emden (Ann. Math. Artif. Intell., 1993)

Interval Computation as Deduction in CHIP. - Jimmy Ho-Man Lee; Maarten H. van Emden (J. Log. Program., 1993)

A Method for Implementing Equational Theories as Logic Programs. - Mantis H. M. Cheng; Douglas Stott Parker Jr.; Maarten H. van Emden (ICLP, 1995)

Canonical extensions as common basis for interval constraints and interval arithmetic. - Maarten H. van Emden (JFPLC, 1997)

Value Constraints in the CLP Scheme. - Maarten H. van Emden (Constraints An Int. J., 1997)

A Unified Framework for Interval Constraints and Interval Arithmetic. - Timothy J. Hickey; Maarten H. van Emden; Huan Wu (CP, 1998)

The Logic Programming Paradigm in Numerical Computation. - Maarten H. van Emden (The Logic Programming Paradigm, 1999)

Algorithmic Power from Declarative Use of Redundant Constraints. - Maarten H. van Emden (Constraints An Int. J., 1999)

Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. - Timothy J. Hickey; Zhe Qju; Maarten H. van Emden (Reliab. Comput., 2000)

Factored Notation for Interval I/O - Maarten H. van Emden (CoRR, 2001)

Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems - Maarten H. van Emden (CoRR, 2001)

Interval arithmetic: From principles to implementation. - Timothy J. Hickey; Qun Ju; Maarten H. van Emden (J. ACM, 2001)

A Portrait of a Scientist as a Computational Logician. - Maurice Bruynooghe; Luís Moniz Pereira; Jörg H. Siekmann; Maarten H. van Emden (Computational Logic: Logic Programming and Beyond, 2002)

New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization - Maarten H. van Emden (CoRR, 2002)

Using Propagation for Solving Complex Arithmetic Constraints - Maarten H. van Emden; Belaid Moa (CoRR, 2003)

Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems - Maarten H. van Emden; Belaid Moa (CoRR, 2004)

On the Significance of Digits in Interval Notation. - Maarten H. van Emden (Reliab. Comput., 2004)

Computational Euclid. - Maarten H. van Emden; Belaid Moa (CCCG, 2006)

Compositional Semantics for the Procedural Interpretation of Logic. - Maarten H. van Emden (ICLP, 2006)

Towards Applicative Relational Programming - H. Ibrahim; Maarten H. van Emden (CoRR, 2006)

Object-Oriented Modeling of Programming Paradigms - Maarten H. van Emden; S. C. Somosan (CoRR, 2006)

Set-Theoretic Preliminaries for Computer Scientists - Maarten H. van Emden (CoRR, 2006)

The Fundamental Theorems of Interval Analysis - Maarten H. van Emden; Belaid Moa (CoRR, 2007)

Functions to Support Input and Output of Intervals - Maarten H. van Emden; Belaid Moa; S. C. Somosan (CoRR, 2007)

Interval Semantics for Standard Floating-Point Arithmetic - William W. Edmonson; Maarten H. van Emden (CoRR, 2008)

Integrating Interval Constraints into Logic Programming - Maarten H. van Emden (CoRR, 2010)

Matrix Code: a Language for the Parallel Development of Verification and Program - Maarten H. van Emden (CoRR, 2011)

From Interval Arithmetic to Interval Constraints. - Maarten H. van Emden (Reliab. Comput., 2011)

Relational Semantics for Databases and Predicate Calculus - Philip Kelly; M. H. van Emden (CoRR, 2012)

Discovering Algorithms with Matrix Code - M. H. van Emden (CoRR, 2012)

Constraint propagation as information maximization. - A. Nait Abdallah; M. H. van Emden (Artif. Intell., 2013)

Logic programming beyond Prolog. - M. H. van Emden (CoRR, 2014)

Matrix Code. - M. H. van Emden (Sci. Comput. Program., 2014)

The lambda mechanism in lambda calculus and in other calculi. - M. H. van Emden (CoRR, 2015)

Contributions to the compositional semantics of first-order predicate logic. - Philip Kelly; M. H. van Emden (CoRR, 2015)

Beyond Structured Programming. - M. H. van Emden (CoRR, 2018)

Correct by construction. - M. H. van Emden (CoRR, 2018)

Egyptian multiplication and some of its ramifications. - M. H. van Emden (CoRR, 2019)