Concepedia

David E. Langworthy

DE

Statistics

Publications

5

Citations

200

H-Index

5

Active since

2004

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

Hamburg University of Technology

Saarland University

Universität Hamburg

David E. Langworthy is an author at Microsoft (United States) specializing in formal verification, formal methods, and verification.

Top concepts

Publications per year

2004–2012

5

Publications

5

Semantic subtyping with an SMT solver

Gavin Bierman, Andrew D. Gordon, Cătălin Hriţcu et al. · 2010 · 59 citations

, , +20

Web Services Business Activity Framework (WS-BusinessActivity)

Tony Storey, Luis Felipe Cabrera, William Cox et al. · 2004 · 58 citations

, , +1

Formal Specification of a Web Services Protocol

James E. Johnson, David E. Langworthy, Leslie Lamport et al. · Electronic Notes in Theoretical Computer Science · 2004 · 46 citations · Full text

, , +15

Semantic subtyping with an SMT solver

Gavin Bierman, Andrew D. Gordon, Cătălin Hriţcu et al. · Journal of Functional Programming · 2012 · 21 citations · Full text

, , +20

Formal specification of a Web services protocol

James E. Johnson, David E. Langworthy, Leslie Lamport et al. · The Journal of Logic and Algebraic Programming · 2006 · 16 citations

, , +7

1–5 of 5