Maarten H. van Emden

59 papers A* 2A 1B 5Journal 36Unranked 12

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	From Interval Arithmetic to Interval Constraints. Reliab. Comput. Maarten H. van Emden
2011	J	`jnl`	Matrix Code: a Language for the Parallel Development of Verification and Program CoRR Maarten H. van Emden
2010	J	`jnl`	Integrating Interval Constraints into Logic Programming CoRR Maarten H. van Emden
2008	J	`jnl`	Interval Semantics for Standard Floating-Point Arithmetic CoRR William W. Edmonson, Maarten H. van Emden
2007	J	`jnl`	Functions to Support Input and Output of Intervals CoRR Maarten H. van Emden, Belaid Moa, S. C. Somosan
2007	J	`jnl`	The Fundamental Theorems of Interval Analysis CoRR Maarten H. van Emden, Belaid Moa
2006	J	`jnl`	Compositional Semantics for the Procedural Interpretation of Logic CoRR Maarten H. van Emden
2006	B	`conf`	Compositional Semantics for the Procedural Interpretation of Logic. ICLP Maarten H. van Emden
2006	J	`jnl`	Computational Euclid CoRR Maarten H. van Emden, Belaid Moa
2006	—	`conf`	Computational Euclid. CCCG Maarten H. van Emden, Belaid Moa
2006	J	`jnl`	Object-Oriented Modeling of Programming Paradigms CoRR Maarten H. van Emden, S. C. Somosan
2006	J	`jnl`	Set-Theoretic Preliminaries for Computer Scientists CoRR Maarten H. van Emden
2006	J	`jnl`	Towards Applicative Relational Programming CoRR H. Ibrahim, Maarten H. van Emden
2004	J	`jnl`	On the Significance of Digits in Interval Notation. Reliab. Comput. Maarten H. van Emden
2004	J	`jnl`	Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems CoRR Maarten H. van Emden, Belaid Moa
2003	J	`jnl`	Using Propagation for Solving Complex Arithmetic Constraints CoRR Maarten H. van Emden, Belaid Moa
2002	—	`conf`	A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
2002	J	`jnl`	New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization CoRR Maarten H. van Emden
2002	J	`jnl`	On the Significance of Digits in Interval Notation CoRR Maarten H. van Emden
2001	J	`jnl`	Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems CoRR Maarten H. van Emden
2001	J	`jnl`	Factored Notation for Interval I/O CoRR Maarten H. van Emden
2001	J	`jnl`	Interval arithmetic: From principles to implementation. J. ACM Timothy J. Hickey, Qun Ju, Maarten H. van Emden
2000	J	`jnl`	Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. Reliab. Comput. Timothy J. Hickey, Zhe Qju, Maarten H. van Emden
1999	J	`jnl`	Algorithmic Power from Declarative Use of Redundant Constraints. Constraints An Int. J. Maarten H. van Emden
1999	—	`ch.`	The Logic Programming Paradigm in Numerical Computation. The Logic Programming Paradigm Maarten H. van Emden
1998	A	`conf`	A Unified Framework for Interval Constraints and Interval Arithmetic. CP Timothy J. Hickey, Maarten H. van Emden, Huan Wu
1997	—	`conf`	Canonical extensions as common basis for interval constraints and interval arithmetic. JFPLC Maarten H. van Emden
1997	J	`jnl`	Value Constraints in the CLP Scheme. Constraints An Int. J. Maarten H. van Emden
1995	B	`conf`	A Method for Implementing Equational Theories as Logic Programs. ICLP Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden
1993	J	`jnl`	Describing Symmetrical Structures in Logic. Ann. Math. Artif. Intell. Paul A. Strooper, Maarten H. van Emden
1993	J	`jnl`	Interval Computation as Deduction in CHIP. J. Log. Program. Jimmy Ho-Man Lee, Maarten H. van Emden
1992	—	`conf`	Adapting CLP to Floating-Point Arithmetic. FGCS Jimmy Ho-Man Lee, Maarten H. van Emden
1992	J	`jnl`	Editorial: Rhetoric versus Modernism in Computing. J. Log. Comput. Maarten H. van Emden
1992	—	`conf`	Mental Ergonomics as Basis for New-Generation Computer Systems. FGCS Maarten H. van Emden
1992	J	`jnl`	Structured Inspections of Code. Softw. Test. Verification Reliab. Maarten H. van Emden
1990	B	`conf`	On Warren's Method for Functional Programming in Logic. ICLP Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards
1988	—	`conf`	Complete Sets of Frontiers in Logic-Based Program Transformation. META Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper
1988	—	`conf`	Conditional Answers for Polymorphic Type Inference. ICLP/SLP Maarten H. van Emden
1988	—	`ch.`	Converting AND-Control to OR-Control by Program Transformation. Foundations of Deductive Databases and Logic Programming. Maarten H. van Emden, Péter Szeredi
1988	—	`conf`	Tables as a User Interface for Logic Programs. FGCS Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee
1987	A*	`conf`	First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). LICS Maarten H. van Emden
1987	J	`jnl`	Logic Programming with Equations. J. Log. Program. Maarten H. van Emden, Keitaro Yukawa
1986	J	`jnl`	Quantitative Deduction and its Fixpoint Theory. J. Log. Program. Maarten H. van Emden
1986	J	`jnl`	Spreadsheets with Incremental Queries as a User Interface for Logic Programming. New Gener. Comput. Maarten H. van Emden, Masaru Ohki, Akikazu Takeuchi
1985	J	`jnl`	Top-Down Semantics of Fair Computations of Logic Programs. J. Log. Program. Maarten H. van Emden, M. A. Nait Abdallah
1984	B	`conf`	A Logical Reconstruction of Prolog II. ICLP Maarten H. van Emden, John W. Lloyd
1984	J	`jnl`	A Logical Reconstruction of Prolog II. J. Log. Program. Maarten H. van Emden, John W. Lloyd
1984	—	`ch.`	An Interpreting Algorithm for Prolog Programs. Implementations of Prolog Maarten H. van Emden
1984	—	`conf`	Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. SLP Derek R. Brough, Maarten H. van Emden
1984	—	`conf`	Towards a western Fifth-Generation Computer System project. ACM Annual Conference Maarten H. van Emden
1982	B	`conf`	An Algorithm for Interpreting Prolog Programs. ICLP Maarten H. van Emden
1982	J	`jnl`	Contributions to the Theory of Logic Programming. J. ACM Krzysztof R. Apt, Maarten H. van Emden
1981	J	`jnl`	Consequence Verification of Flowcharts. IEEE Trans. Software Eng. Keith L. Clark, Maarten H. van Emden
1979	—	`conf`	Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory Maarten H. van Emden, T. S. E. Maibaum
1979	J	`jnl`	Programming with Verification Conditions. IEEE Trans. Software Eng. Maarten H. van Emden
1977	—	`conf`	Computation and Deductive Information Retrieval. Formal Description of Programming Concepts Maarten H. van Emden
1976	J	`jnl`	The Semantics of Predicate Logic as a Programming Language. J. ACM Maarten H. van Emden, Robert A. Kowalski
1976	A*	`conf`	Verification Conditions as Programs. ICALP Maarten H. van Emden
1970	J	`jnl`	Algorithms 402: Increasing the efficiency of quicksort. Commun. ACM Maarten H. van Emden