56
Publications
3.3K
Citations
29
H-Index
1999
Active since
Ralf Lämmel is an author at Centrum Wiskunde & Informatica specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware EngineeringSoftware DesignAutomated ReasoningFormal VerificationDesign
Publications per year
1999–2021
56
56
Google’s MapReduce programming model — Revisited
Ralf Lämmel · Science of Computer Programming · 2007 · 490 citations
Ralf Lämmel, Simon Peyton Jones · 2003 · 349 citations
Engineering, Computational Complexity, Software Analysis +20
Strongly typed heterogeneous collections
Oleg Kiselyov, Ralf Lämmel, Keean Schupke · 2004 · 181 citations
Semi‐automatic grammar recovery
Ralf Lämmel, C. Verhoef · Software Practice and Experience · 2001 · 147 citations
Rows per page
1–5 of 56