Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Maarten H. van Emden
2010 – today
- 2011
[i16]Maarten H. van Emden: Matrix Code: a Language for the Parallel Development of Verification and Program. CoRR abs/1109.5416 (2011)- 2010
- [i15]Maarten H. van Emden: Integrating Interval Constraints into Logic Programming. CoRR abs/1002.1422 (2010)
2000 – 2009
- 2008
- [i14]William W. Edmonson, Maarten H. van Emden: Interval Semantics for Standard Floating-Point Arithmetic. CoRR abs/0810.4196 (2008)
- 2007
- [i13]Maarten H. van Emden, Belaid Moa: The Fundamental Theorems of Interval Analysis. CoRR abs/cs/0701141 (2007)
- [i12]Maarten H. van Emden, Belaid Moa, S. C. Somosan: Functions to Support Input and Output of Intervals. CoRR abs/cs/0703003 (2007)
- 2006
- [c19]
- [c18]Maarten H. van Emden: Compositional Semantics for the Procedural Interpretation of Logic. ICLP 2006: 315-329
- [i11]Maarten H. van Emden: Compositional Semantics for the Procedural Interpretation of Logic. CoRR abs/cs/0602098 (2006)
- [i10]H. Ibrahim, Maarten H. van Emden: Towards Applicative Relational Programming. CoRR abs/cs/0602099 (2006)
- [i9]Maarten H. van Emden, S. C. Somosan: Object-Oriented Modeling of Programming Paradigms. CoRR abs/cs/0603016 (2006)
- [i8]
- [i7]Maarten H. van Emden: Set-Theoretic Preliminaries for Computer Scientists. CoRR abs/cs/0607039 (2006)
- 2004
- [j19]Maarten H. van Emden: On the Significance of Digits in Interval Notation. Reliable Computing 10(1): 45-58 (2004)
- [i6]Maarten H. van Emden, Belaid Moa: Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems. CoRR cs.OH/0404034 (2004)
- 2003
- [i5]Maarten H. van Emden, Belaid Moa: Using Propagation for Solving Complex Arithmetic Constraints. CoRR cs.NA/0309018 (2003)
- 2002
- [c17]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
- [i4]
- [i3]Maarten H. van Emden: New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization. CoRR cs.NA/0210015 (2002)
- 2001
- [j18]Timothy J. Hickey, Qun Ju, Maarten H. van Emden: Interval arithmetic: From principles to implementation. J. ACM 48(5): 1038-1068 (2001)
- [i2]
- [i1]Maarten H. van Emden: Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems. CoRR cs.PL/0106008 (2001)
- 2000
- [j17]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)
1990 – 1999
- 1999
- [j16]Maarten H. van Emden: Algorithmic Power from Declarative Use of Redundant Constraints. Constraints 4(4): 363-381 (1999)
- 1998
- [c16]Timothy J. Hickey, Maarten H. van Emden, Huan Wu: A Unified Framework for Interval Constraints and Interval Arithmetic. CP 1998: 250-264
- 1997
- [j15]
- [c15]Maarten H. van Emden: Canonical extensions as common basis for interval constraints and interval arithmetic. JFPLC 1997: 71-84
- 1995
- [c14]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
- [j14]Paul A. Strooper, Maarten H. van Emden: Describing Symmetrical Structures in Logic. Ann. Math. Artif. Intell. 8(3-4): 301-314 (1993)
- [j13]Jimmy Ho-Man Lee, Maarten H. van Emden: Interval Computation as Deduction in CHIP. J. Log. Program. 16(3): 255-276 (1993)
- 1992
- [j12]Maarten H. van Emden: Editorial: Rhetoric versus Modernism in Computing. J. Log. Comput. 2(5): 551-555 (1992)
- [j11]Maarten H. van Emden: Structured Inspections of Code. Softw. Test., Verif. Reliab. 2(3): 133-153 (1992)
- [c13]Jimmy Ho-Man Lee, Maarten H. van Emden: Adapting CLP to Floating-Point Arithmetic. FGCS 1992: 996-1003
- [c12]Maarten H. van Emden: Mental Ergonomics as Basis for New-Generation Computer Systems. FGCS 1992: 1149-1156
- 1990
- [c11]Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards: On Warren's Method for Functional Programming in Logic. ICLP 1990: 546-560
1980 – 1989
- 1988
- [p2]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
- [c10]Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee: Tables as a User Interface for Logic Programs. FGCS 1988: 784-791
- [c9]
- [c8]Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper: Complete Sets of Frontiers in Logic-Based Program Transformation. META 1988: 283-297
- 1987
- [j10]Maarten H. van Emden, Keitaro Yukawa: Logic Programming with Equations. J. Log. Program. 4(4): 265-288 (1987)
- [c7]Maarten H. van Emden: First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). LICS 1987: 179
- 1986
- [j9]Maarten H. van Emden: Quantitative Deduction and its Fixpoint Theory. J. Log. Program. 3(1): 37-53 (1986)
- [j8]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
- [j7]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
- [j6]Maarten H. van Emden, John W. Lloyd: A Logical Reconstruction of Prolog II. J. Log. Program. 1(2): 143-149 (1984)
- [p1]Maarten H. van Emden: An Interpreting Algorithm for Prolog Programs. Implementations of Prolog 1984: 93-110
- [c6]Maarten H. van Emden: Towards a western Fifth-Generation Computer System project. ACM Conference on Computer Science 1984: 298-302
- [c5]
- [c4]Derek R. Brough, Maarten H. van Emden: Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. SLP 1984: 252-258
- 1982
- [j5]Krzysztof R. Apt, Maarten H. van Emden: Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862 (1982)
- [c3]
- 1981
- [j4]Keith L. Clark, Maarten H. van Emden: Consequence Verification of Flowcharts. IEEE Trans. Software Eng. 7(1): 52-60 (1981)
1970 – 1979
- 1979
- [j3]Maarten H. van Emden: Programming with Verification Conditions. IEEE Trans. Software Eng. 5(2): 148-159 (1979)
- [c2]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
- 1976
- [j2]Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742 (1976)
- [c1]
- 1970
- [j1]Maarten H. van Emden: Algorithms 402: Increasing the efficiency of quicksort. Commun. ACM 13(11): 693-694 (1970)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:30 CET by the dblp team