Concepedia

Hans‐Wolfgang Loidl

HL

16

Publications

442

Citations

12

H-Index

1995

Active since

Affiliations

University of St Andrews(Current)

Heriot-Watt University

Ludwig-Maximilians-Universität München

University of Glasgow

Microsoft Research (United Kingdom)

Hans‐Wolfgang Loidl is an author at University of St Andrews specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringComputer ArchitectureParallel ProgrammingFormal MethodsParallel ComputingSoftware AnalysisCompilers

Publications per year

1995–2013

16

Publications

16

Static determination of quantitative resource usage for higher-order programs

Steffen Jost, Kevin Hammond, Hans‐Wolfgang Loidl et al. · 2010 · 119 citations

Software Maintenance, Mathematical Programming, Engineering +23

Simon Marlow, Patrick Maier, Hans‐Wolfgang Loidl et al. · 2010 · 66 citations

Programming Language Theory, Complete Redesign, Engineering +15

A program logic for resources

David Aspinall, Lennart Beringer, Martin Hofmann et al. · Theoretical Computer Science · 2007 · 56 citations · Full text

Programming Language Theory, Declarative Programming, Engineering +10

Engineering parallel symbolic programs in GPH

Hans‐Wolfgang Loidl, Philip W. Trinder, Kevin Hammond et al. · Concurrency Practice and Experience · 1999 · 35 citations

Cluster Computing, Engineering, Computer Architecture +21

On the Granularity of Divide-and-Conquer Parallelism

Hans‐Wolfgang Loidl, Kevin Hammond · Electronic workshops in computing · 1995 · 30 citations · Full text

Cluster Computing, Priority Thread Creation, Engineering +19

Rows per page

1–5 of 16