The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maarten H. van Emden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  51. Towards a western Fifth-Generation Computer System project. [Citation Graph (, )][DBLP]


  52. Interval Semantics for Standard Floating-Point Arithmetic [Citation Graph (, )][DBLP]


  53. Integrating Interval Constraints into Logic Programming [Citation Graph (, )][DBLP]


Search in 0.172secs, Finished in 0.176secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002