Statistics
Publications
10
Citations
330
H-Index
10
Active since
2009
Jacob Thamsborg is an author at IT University of Copenhagen specializing in computing, computer science, and type systems.
Publications per year
2009–2013
10
10
Logical relations for fine-grained concurrency
Aaron Turon, Jacob Thamsborg, Amal Ahmed et al. · 2013 · 77 citations
Step-indexed kripke models over recursive worlds
Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · ACM SIGPLAN Notices · 2011 · 56 citations · Full text
Computing, Computer Science, Natural Language Processing +10
Step-indexed kripke models over recursive worlds
Lars Birkedal, Bernhard Reus, Jan Schwinghammer et al. · 2011 · 43 citations
Computing, Computer Science, Natural Language Processing +10
1–5 of 10