Concepedia

Lambert Meertens

LM

17

Publications

958

Citations

14

H-Index

1975

Active since

Affiliations

Vanderbilt University(Current)

University of Szeged

Centrum Wiskunde & Informatica

Kestrel Institute

Utrecht University

Lambert Meertens is an author at Vanderbilt University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityVerificationFormal VerificationAlgorithm DesignProof ComplexityRadar

Publications per year

1975–2006

17

Publications

17

Revised report on the algorithmic language ALGOL 68

A. van Wijngaarcien, B. J. Mailloux, J. E. L. Peck et al. · Acta Informatica · 1975 · 233 citations · Full text

Engineering, Algorithmic Library, Algorithm Design +5

Generic Programming - An Introduction -

Roland Backhouse, Patrik Jansson, Johan Jeuring et al. · Utrecht University Repository (Utrecht University) · 1999 · 129 citations · Full text

Algorithmics : towards programming as a mathematical activity

Lambert Meertens · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 1986 · 125 citations · Full text

Mathematical Programming, Engineering, Algorithm Design +7

Node density independent localization

Branislav Kusý, Ákos Lédeczi, Miklós Maróti et al. · 2006 · 88 citations

Radar, Rf Localization, Machine Vision +13

Lambert Meertens · Formal Aspects of Computing · 1992 · 80 citations

Rows per page

1–5 of 17