Concepedia

Aart Middeldorp

AM

Statistics

Publications

38

Citations

1.5K

H-Index

23

Active since

1982

Affiliations

University of Tsukuba(Current)

Universität Innsbruck

University of Amsterdam

Vrije Universiteit Amsterdam

Japan Advanced Institute of Science and Technology

Aart Middeldorp is an author at University of Tsukuba specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSoftware AnalysisComputational ComplexityGrammarSyntaxVerification

Publications per year

1982–2018

38

Publications

38

Automating the dependency pair method

Nao Hirokawa, Aart Middeldorp · Information and Computation · 2005 · 133 citations

Dependency Analysis, Dependency Pair Method, Engineering +6

Completeness results for basic narrowing

Aart Middeldorp, Erik Hamoen · Applicable Algebra in Engineering Communication and Computing · 1994 · 116 citations

Engineering, Incompleteness, Parameterized Complexity +5

Tyrolean termination tool: Techniques and features

Nao Hirokawa, Aart Middeldorp · Information and Computation · 2006 · 109 citations

Engineering, Tyrolean Termination Tool, Civil Engineering +6

Vegetational history of Carbury Bog (Co. Kildare, Ireland) during the last 850 years and a test of the temperature indicator value of <sup>2</sup>H/<sup>1</sup>H measurements of peat samples in relation to historical sources and meteorological data

B. van Geel, Aart Middeldorp · New Phytologist · 1988 · 80 citations · Full text

Carbury Bog, Engineering, Forestry +20

Pollen concentration as a basis for indirect dating and quantifying net organic and fungal production in a peat bog ecosystem

Aart Middeldorp · Review of Palaeobotany and Palynology · 1982 · 80 citations

Organic Geochemistry, Biogeochemistry, Engineering +5

Rows per page

1–5 of 38