← back to search

Laure Thompson

Princeton University · US
🔎 Find collaborators in Artificial Intelligence · Aerospace Engineering →
Search 5.9M scientists by topic, h-index, country & funding — free.
Area of research
Artificial Intelligence · Aerospace Engineering
Research interest
Research interests include Natural Language Processing Techniques, Topic Modeling, Combustion and Detonation Processes, and Risk and Safety Analysis.
h-index
10
citations
782
works
43
NIH funding
primary concept
email

Recent publications

The strange geometry of skip-gram with negative sampling
2017cited by 104position: lastdoi
Vale: Verifying High-Performance Cryptographic Assembly Code
USENIX Security Symposium 2017cited by 74position: last
A Coalgebraic Decision Procedure for NetKAT
2014cited by 95position: lastdoi

Grants

No grants ingested yet.

Frequent collaborators

· 1 papers (2017–2017)Bryan Parno · University of Maryland, College Park1 papers (2017–2017) · 1 papers (2017–2017)Mae Milano · Princeton University1 papers (2014–2014)Dexter Kozen · Cornell University1 papers (2014–2014)Srinath Setty · The University of Texas at Austin1 papers (2017–2017)K. Rustan M. Leino · Carnegie Mellon University1 papers (2017–2017)Manos Kapritsos · The University of Texas at Austin1 papers (2017–2017)David Mimno · Cornell University1 papers (2017–2017)Alexandra Silva · Cornell University1 papers (2014–2014)Ashay Rane · The University of Texas at Austin1 papers (2017–2017)Nate Foster · Cornell University1 papers (2014–2014) · 1 papers (2017–2017)
Looking for a research collaborator?
Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.
Find collaborators in Artificial Intelligence · Aerospace Engineering →