| 2008 |
|---|
| 54 | EE | William W. Edmonson,
Maarten H. van Emden:
Interval Semantics for Standard Floating-Point Arithmetic
CoRR abs/0810.4196: (2008) |
| 2007 |
|---|
| 53 | EE | Maarten H. van Emden,
Belaid Moa:
The Fundamental Theorems of Interval Analysis
CoRR abs/cs/0701141: (2007) |
| 52 | EE | Maarten H. van Emden,
Belaid Moa,
S. C. Somosan:
Functions to Support Input and Output of Intervals
CoRR abs/cs/0703003: (2007) |
| 2006 |
|---|
| 51 | EE | Maarten H. van Emden,
Belaid Moa:
Computational Euclid.
CCCG 2006 |
| 50 | EE | Maarten H. van Emden:
Compositional Semantics for the Procedural Interpretation of Logic.
ICLP 2006: 315-329 |
| 49 | EE | Maarten H. van Emden:
Compositional Semantics for the Procedural Interpretation of Logic
CoRR abs/cs/0602098: (2006) |
| 48 | EE | H. Ibrahim,
Maarten H. van Emden:
Towards Applicative Relational Programming
CoRR abs/cs/0602099: (2006) |
| 47 | EE | Maarten H. van Emden,
S. C. Somosan:
Object-Oriented Modeling of Programming Paradigms
CoRR abs/cs/0603016: (2006) |
| 46 | EE | Maarten H. van Emden,
Belaid Moa:
Computational Euclid
CoRR abs/cs/0606036: (2006) |
| 45 | EE | Maarten H. van Emden:
Set-Theoretic Preliminaries for Computer Scientists
CoRR abs/cs/0607039: (2006) |
| 2004 |
|---|
| 44 | EE | Maarten H. van Emden,
Belaid Moa:
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
CoRR cs.OH/0404034: (2004) |
| 43 | EE | Maarten H. van Emden:
On the Significance of Digits in Interval Notation.
Reliable Computing 10(1): 45-58 (2004) |
| 2003 |
|---|
| 42 | EE | Maarten H. van Emden,
Belaid Moa:
Using Propagation for Solving Complex Arithmetic Constraints
CoRR cs.NA/0309018: (2003) |
| 2002 |
|---|
| 41 | EE | Maurice Bruynooghe,
Luís Moniz Pereira,
Jörg H. Siekmann,
Maarten H. van Emden:
A Portrait of a Scientist as a Computational Logician.
Computational Logic: Logic Programming and Beyond 2002: 1-4 |
| 40 | EE | Maarten H. van Emden:
On the Significance of Digits in Interval Notation
CoRR cs.NA/0201015: (2002) |
| 39 | EE | Maarten H. van Emden:
New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization
CoRR cs.NA/0210015: (2002) |
| 2001 |
|---|
| 38 | EE | Maarten H. van Emden:
Factored Notation for Interval I/O
CoRR cs.NA/0102023: (2001) |
| 37 | EE | Maarten H. van Emden:
Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems
CoRR cs.PL/0106008: (2001) |
| 36 | EE | Timothy J. Hickey,
Qun Ju,
Maarten H. van Emden:
Interval arithmetic: From principles to implementation.
J. ACM 48(5): 1038-1068 (2001) |
| 2000 |
|---|
| 35 | EE | Timothy J. Hickey,
Zhe Qju,
Maarten H. van Emden:
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
Reliable Computing 6(1): 81-92 (2000) |
| 1999 |
|---|
| 34 | | Maarten H. van Emden:
Algorithmic Power from Declarative Use of Redundant Constraints.
Constraints 4(4): 363-381 (1999) |
| 1998 |
|---|
| 33 | EE | Timothy J. Hickey,
Maarten H. van Emden,
Huan Wu:
A Unified Framework for Interval Constraints and Interval Arithmetic.
CP 1998: 250-264 |
| 1997 |
|---|
| 32 | | Maarten H. van Emden:
Canonical extensions as common basis for interval constraints and interval arithmetic.
JFPLC 1997: 71-84 |
| 31 | | Maarten H. van Emden:
Value Constraints in the CLP Scheme.
Constraints 2(2): 163-183 (1997) |
| 1995 |
|---|
| 30 | | Mantis H. M. Cheng,
Douglas Stott Parker Jr.,
Maarten H. van Emden:
A Method for Implementing Equational Theories as Logic Programs.
ICLP 1995: 497-511 |
| 1993 |
|---|
| 29 | | Paul A. Strooper,
Maarten H. van Emden:
Describing Symmetrical Structures in Logic.
Ann. Math. Artif. Intell. 8(3-4): 301-314 (1993) |
| 28 | | Jimmy Ho-Man Lee,
Maarten H. van Emden:
Interval Computation as Deduction in CHIP.
J. Log. Program. 16(3): 255-276 (1993) |
| 1992 |
|---|
| 27 | | Maarten H. van Emden:
Mental Ergonomics as Basis for New-Generation Computer Systems.
FGCS 1992: 1149-1156 |
| 26 | | Jimmy Ho-Man Lee,
Maarten H. van Emden:
Adapting CLP to Floating-Point Arithmetic.
FGCS 1992: 996-1003 |
| 25 | | Maarten H. van Emden:
Editorial: Rhetoric versus Modernism in Computing.
J. Log. Comput. 2(5): 551-555 (1992) |
| 24 | | Maarten H. van Emden:
Structured Inspections of Code.
Softw. Test., Verif. Reliab. 2(3): 133-153 (1992) |
| 1990 |
|---|
| 23 | | Mantis H. M. Cheng,
Maarten H. van Emden,
B. E. Richards:
On Warren's Method for Functional Programming in Logic.
ICLP 1990: 546-560 |
| 1988 |
|---|
| 22 | | Mantis H. M. Cheng,
Maarten H. van Emden,
Jimmy Ho-Man Lee:
Tables as a User Interface for Logic Programs.
FGCS 1988: 784-791 |
| 21 | | Maarten H. van Emden:
Conditional Answers for Polymorphic Type Inference.
ICLP/SLP 1988: 590-603 |
| 20 | | Mantis H. M. Cheng,
Maarten H. van Emden,
Paul A. Strooper:
Complete Sets of Frontiers in Logic-Based Program Transformation.
META 1988: 283-297 |
| 19 | | Maarten H. van Emden,
Péter Szeredi:
Converting AND-Control to OR-Control by Program Transformation.
Foundations of Deductive Databases and Logic Programming. 1988: 699-709 |
| 1987 |
|---|
| 18 | | Maarten H. van Emden:
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).
LICS 1987: 179 |
| 17 | | Maarten H. van Emden,
Keitaro Yukawa:
Logic Programming with Equations.
J. Log. Program. 4(4): 265-288 (1987) |
| 1986 |
|---|
| 16 | | Maarten H. van Emden:
Quantitative Deduction and its Fixpoint Theory.
J. Log. Program. 3(1): 37-53 (1986) |
| 15 | | Maarten H. van Emden,
Masaru Ohki,
Akikazu Takeuchi:
Spreadsheets with Incremental Queries as a User Interface for Logic Programming.
New Generation Comput. 4(3): 287-304 (1986) |
| 1985 |
|---|
| 14 | | Maarten H. van Emden,
M. A. Nait Abdallah:
Top-Down Semantics of Fair Computations of Logic Programs.
J. Log. Program. 2(1): 67-75 (1985) |
| 1984 |
|---|
| 13 | EE | Maarten H. van Emden:
Towards a western Fifth-Generation Computer System project.
ACM Conference on Computer Science 1984: 298-302 |
| 12 | | Maarten H. van Emden,
John W. Lloyd:
A Logical Reconstruction of Prolog II.
ICLP 1984: 35-40 |
| 11 | | Derek R. Brough,
Maarten H. van Emden:
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic.
SLP 1984: 252-258 |
| 10 | | Maarten H. van Emden:
An Interpreting Algorithm for Prolog Programs.
Implementations of Prolog 1984: 93-110 |
| 9 | | Maarten H. van Emden,
John W. Lloyd:
A Logical Reconstruction of Prolog II.
J. Log. Program. 1(2): 143-149 (1984) |
| 1982 |
|---|
| 8 | | Maarten H. van Emden:
An Algorithm for Interpreting Prolog Programs.
ICLP 1982: 56-64 |
| 7 | EE | Krzysztof R. Apt,
Maarten H. van Emden:
Contributions to the Theory of Logic Programming.
J. ACM 29(3): 841-862 (1982) |
| 1981 |
|---|
| 6 | | Keith L. Clark,
Maarten H. van Emden:
Consequence Verification of Flowcharts.
IEEE Trans. Software Eng. 7(1): 52-60 (1981) |
| 1979 |
|---|
| 5 | | Maarten H. van Emden,
T. S. E. Maibaum:
Equations Compared with Clauses for Specification of Abstract Data Types.
Advances in Data Base Theory 1979: 159-193 |
| 4 | | Maarten H. van Emden:
Programming with Verification Conditions.
IEEE Trans. Software Eng. 5(2): 148-159 (1979) |
| 1976 |
|---|
| 3 | | Maarten H. van Emden:
Verification Conditions as Programs.
ICALP 1976: 99-119 |
| 2 | EE | Maarten H. van Emden,
Robert A. Kowalski:
The Semantics of Predicate Logic as a Programming Language.
J. ACM 23(4): 733-742 (1976) |
| 1970 |
|---|
| 1 | EE | Maarten H. van Emden:
Algorithms 402: Increasing the efficiency of quicksort.
Commun. ACM 13(11): 693-694 (1970) |
