Concepedia

Aart Middeldorp

AM

Statistics

Publications

38

Citations

1.5K

H-Index

24

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 computing, computer science, and formal methods.

Publications per year

1982–2018

38

Publications

38

Automating the dependency pair method

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

Language Studies, Computer Science, Computational Linguistics +9

Completeness results for basic narrowing

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

Computing, Computer Science, Mathematics +9

Tyrolean termination tool: Techniques and features

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

Computing, Computer Science, Formal Methods +4

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 · 81 citations · Full text

Life Sciences, Botany, Ecology +17

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

Life Sciences, Ecology, Plant Sciences +16

1–5 of 38