M. H. van Emden
According to our database^{1},
M. H. van Emden
authored at least 67 papers
between 1970 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on cs.uvic.ca
On csauthors.net:
Bibliography
2019
CoRR, 2019
2018
CoRR, 2018
CoRR, 2018
2015
CoRR, 2015
CoRR, 2015
2014
Sci. Comput. Program., 2014
CoRR, 2014
2013
Artif. Intell., 2013
2012
CoRR, 2012
CoRR, 2012
2011
Reliab. Comput., 2011
CoRR, 2011
2010
CoRR, 2010
2008
CoRR, 2008
2007
CoRR, 2007
CoRR, 2007
2006
CoRR, 2006
CoRR, 2006
CoRR, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the 18th Annual Canadian Conference on Computational Geometry, 2006
2004
Reliab. Comput., 2004
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems
CoRR, 2004
2003
CoRR, 2003
2002
New Developments in Interval Arithmetic and Their Implications for FloatingPoint Standardization
CoRR, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
J. ACM, 2001
Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems
CoRR, 2001
CoRR, 2001
2000
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations.
Reliab. Comput., 2000
1999
Constraints An Int. J., 1999
Proceedings of the Logic Programming Paradigm  A 25Year Perspective, 1999
1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
1997
Constraints An Int. J., 1997
Canonical extensions as common basis for interval constraints and interval arithmetic.
Proceedings of the JFPLC'97, 1997
1995
A Method for Implementing Equational Theories as Logic Programs.
Proceedings of the Logic Programming, 1995
1993
J. Log. Program., 1993
Ann. Math. Artif. Intell., 1993
1992
Softw. Test. Verification Reliab., 1992
New Gener. Comput., 1992
J. Log. Comput., 1992
Adapting CLP to FloatingPoint Arithmetic.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
Mental Ergonomics as Basis for NewGeneration Computer Systems.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
1990
On Warren's Method for Functional Programming in Logic.
Proceedings of the Logic Programming, 1990
1988
Complete Sets of Frontiers in LogicBased Program Transformation.
Proceedings of the MetaProgramming in Logic Programming, 1988
Conditional Answers for Polymorphic Type Inference.
Proceedings of the Logic Programming, 1988
Tables as a User Interface for Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988
1987
J. Log. Program., 1987
Firstorder Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987
1986
New Gener. Comput., 1986
J. Log. Program., 1986
1985
J. Log. Program., 1985
1984
J. Log. Program., 1984
Dataflow, Flowcharts, and "LUCID"style Programming in Logic.
Proceedings of the 1984 International Symposium on Logic Programming, 1984
Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, 1984
An Interpreting Algorithm for Prolog Programs.
Proceedings of the Implementations of Prolog. , 1984
1982
J. ACM, 1982
An Algorithm for Interpreting Prolog Programs.
Proceedings of the First International Logic Programming Conference, 1982
1981
IEEE Trans. Software Eng., 1981
1979
IEEE Trans. Software Eng., 1979
Equations Compared with Clauses for Specification of Abstract Data Types.
Proceedings of the Advances in Data Base Theory, 1979
1977
Computation and Deductive Information Retrieval.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
1976
J. ACM, 1976
Verification Conditions as Programs.
Proceedings of the Third International Colloquium on Automata, 1976
1970
Commun. ACM, 1970
Commun. ACM, 1970