M. H. van Emden - Concepedia

Author

M. H. van Emden

Also Known As

M. H. Van Emden, M. H. van Emden, M.H van Emden, M.H. Van Emden, M.H. van Emden, M.H.van Emden, Maarten H. Emden, Maarten H. Van Emden, Maarten H. van Emden, van Emden, M. H.

Publications

3.3K

Citations

H-Index

Concepts

All Affiliations

University of Waterloo University of Victoria Imperial College London

About

M. H. van Emden is an author at University of Waterloo specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	2.3K
2	Computer Science	10	10	627
3	Computer Engineering	5	5	487
4	Management	1	1	31
5	Civil Engineering	1	1	12

M. H. van Emden

Publications

Citations

H-Index

Page 1

	Year	Citations
The Semantics of Predicate Logic as a Programming Language M. H. van Emden, Robert Kowalski Journal of the ACM Declarative ProgrammingEngineeringOperational SemanticsAutomated ReasoningFirst-order Predicate Logic	1976	1.5K
Contributions to the Theory of Logic Programming Krzysztof R. Apt, M. H. van Emden Journal of the ACM	1982	586
Interval arithmetic Timothy J. Hickey, Qun Ju, M. H. van Emden Journal of the ACM Real Interval OperationsReal Data TypeEngineeringValidated NumericsApproximate Computing	2001	337
Quantitative deduction and its fixpoint theory M. H. van Emden The Journal of Logic Programming EngineeringAutomated ReasoningProof ComplexityQuantitative DeductionFormal Methods	1986	215
Increasing the efficiency of quicksort M. H. van Emden Communications of the ACM EngineeringData ScienceSorting AlgorithmAlert PreferencesComputer Engineering	1970	62
Logic programming with equations M. H. van Emden, Keitaro Yukawa The Journal of Logic Programming Mathematical ProgrammingApplied LogicEngineeringAutomated ReasoningFormal Methods	1987	51
A logical reconstruction of Prolog II M. H. van Emden, John W. Lloyd The Journal of Logic Programming EngineeringAutomated ReasoningLogical ReconstructionFormal MethodsFirst-order Logic	1984	45
Interval computation as deduction in chip Jimmy H. M. Lee, M. H. van Emden The Journal of Logic Programming Hardware SecurityEngineeringTiming AnalysisInterval AnalysisFormal Methods	1993	32
Spreadsheets with Incremental Queries as a user interface for logic programming M. H. van Emden, Masaru Ohki, Akikazu Takeuchi New Generation Computing Database TheoryEngineeringData ScienceDeductive DatabaseAutomated Reasoning	1986	31
Computation and Deductive Information Retrieval. M. H. van Emden Journal of Personality and Social Psychology	1977	27

Page 1