Concepedia

David Thibodeau

DT

3

Publications

132

Citations

3

H-Index

2013

Active since

Affiliations

McGill University(Current)

Swansea University

Ludwig-Maximilians-Universität München

David Thibodeau is an author at McGill University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationCompilersSemanticsData ScienceVerificationProgram Analysis

Publications per year

2013–2018

3

Publications

3

Copatterns

Andreas Abel, Brigitte Pientka, David Thibodeau et al. · 2013 · 103 citations

Finite Data, Programming Language Theory, Declarative Programming +12

Andreas Abel, Brigitte Pientka, David Thibodeau et al. · ACM SIGPLAN Notices · 2013 · 19 citations

Engineering, Data Type, Operational Semantics +11

A case study in programming coinductive proofs: Howe’s method

Alberto Momigliano, Brigitte Pientka, David Thibodeau · Mathematical Structures in Computer Science · 2018 · 10 citations · Full text

Engineering, Coinductive Proofs, Verification +19

Rows per page

1–3 of 3