Maarten H. van Emden

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

54EEWilliam W. Edmonson, Maarten H. van Emden: Interval Semantics for Standard Floating-Point Arithmetic CoRR abs/0810.4196: (2008)
53EEMaarten H. van Emden, Belaid Moa: The Fundamental Theorems of Interval Analysis CoRR abs/cs/0701141: (2007)
52EEMaarten H. van Emden, Belaid Moa, S. C. Somosan: Functions to Support Input and Output of Intervals CoRR abs/cs/0703003: (2007)
51EEMaarten H. van Emden, Belaid Moa: Computational Euclid. CCCG 2006
50EEMaarten H. van Emden: Compositional Semantics for the Procedural Interpretation of Logic. ICLP 2006: 315-329
49EEMaarten H. van Emden: Compositional Semantics for the Procedural Interpretation of Logic CoRR abs/cs/0602098: (2006)
48EEH. Ibrahim, Maarten H. van Emden: Towards Applicative Relational Programming CoRR abs/cs/0602099: (2006)
47EEMaarten H. van Emden, S. C. Somosan: Object-Oriented Modeling of Programming Paradigms CoRR abs/cs/0603016: (2006)
46EEMaarten H. van Emden, Belaid Moa: Computational Euclid CoRR abs/cs/0606036: (2006)
45EEMaarten H. van Emden: Set-Theoretic Preliminaries for Computer Scientists CoRR abs/cs/0607039: (2006)
44EEMaarten H. van Emden, Belaid Moa: Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems CoRR cs.OH/0404034: (2004)
43EEMaarten H. van Emden: On the Significance of Digits in Interval Notation. Reliable Computing 10(1): 45-58 (2004)
42EEMaarten H. van Emden, Belaid Moa: Using Propagation for Solving Complex Arithmetic Constraints CoRR cs.NA/0309018: (2003)
41EEMaurice 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
40EEMaarten H. van Emden: On the Significance of Digits in Interval Notation CoRR cs.NA/0201015: (2002)
39EEMaarten H. van Emden: New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization CoRR cs.NA/0210015: (2002)
38EEMaarten H. van Emden: Factored Notation for Interval I/O CoRR cs.NA/0102023: (2001)
37EEMaarten H. van Emden: Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems CoRR cs.PL/0106008: (2001)
36EETimothy J. Hickey, Qun Ju, Maarten H. van Emden: Interval arithmetic: From principles to implementation. J. ACM 48(5): 1038-1068 (2001)
35EETimothy 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)
34 Maarten H. van Emden: Algorithmic Power from Declarative Use of Redundant Constraints. Constraints 4(4): 363-381 (1999)
33EETimothy J. Hickey, Maarten H. van Emden, Huan Wu: A Unified Framework for Interval Constraints and Interval Arithmetic. CP 1998: 250-264
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)
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
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)
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)
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
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
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)
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)
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)
13EEMaarten 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)
8 Maarten H. van Emden: An Algorithm for Interpreting Prolog Programs. ICLP 1982: 56-64
7EEKrzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862 (1982)
6 Keith L. Clark, Maarten H. van Emden: Consequence Verification of Flowcharts. IEEE Trans. Software Eng. 7(1): 52-60 (1981)
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)
3 Maarten H. van Emden: Verification Conditions as Programs. ICALP 1976: 99-119
2EEMaarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742 (1976)
1EEMaarten H. van Emden: Algorithms 402: Increasing the efficiency of quicksort. Commun. ACM 13(11): 693-694 (1970)

Coauthor Index

1M. A. Nait Abdallah [14]
2Krzysztof R. Apt [7]
3Derek R. Brough [11]
4Maurice Bruynooghe [41]
5Mantis H. M. Cheng [20] [22] [23] [30]
6Keith L. Clark [6]
7William W. Edmonson [54]
8Timothy J. Hickey [33] [35] [36]
9H. Ibrahim [48]
10Qun Ju [36]
11Robert A. Kowalski [2]
12Jimmy Ho-Man Lee (J. H. M. Lee) [22] [26] [28]
13John W. Lloyd [9] [12]
14T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [5]
15Belaid Moa [42] [44] [46] [51] [52] [53]
16Masaru Ohki [15]
17Douglas Stott Parker Jr. [30]
18Luís Moniz Pereira (Luíz Moniz Pereira) [41]
19Zhe Qju [35]
20B. E. Richards [23]
21Jörg H. Siekmann [41]
22S. C. Somosan [47] [52]
23Paul A. Strooper [20] [29]
24Péter Szeredi [19]
25Akikazu Takeuchi [15]
26Huan Wu [33]
27Keitaro Yukawa [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)