Concepedia

Théo Laurent

TL

Statistics

Publications

2

Citations

44

H-Index

2

Active since

2014

Affiliations

University of Virginia(Current)

Théo Laurent is an author at University of Virginia specializing in computer science, engineering, and formal methods.

Top concepts

Publications per year

2014–2018

2

Publications

2

When Good Components Go Bad

Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco et al. · 2018 · 30 citations · Full text

, , +24

Teaching Formal Methods and Discrete Mathematics

Mathieu Jaume, Théo Laurent · Electronic Proceedings in Theoretical Computer Science · 2014 · 14 citations · Full text

, , +18

1–2 of 2