×
Edit Profile (opens in new tab)

Thamsborg, Jacob

Co-Author Distance
Author ID: thamsborg.jacob Recent zbMATH articles by "Thamsborg, Jacob"
Published as: Thamsborg, Jacob
Documents Indexed: 11 Publications since 2006, including 1 Additional arXiv Preprint
Co-Authors: 10 Co-Authors with 10 Joint Publications
210 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
10 Birkedal, Lars
5 Støvring, Kristian
2 Sieczkowski, Filip
2 Yang, Hongseok
1 Ahmed, Amal
1 Dreyer, Derek R.
1 Jaber, Guilhem
1 Reus, Bernhard
1 Schwinghammer, Jan
1 Turon, Aaron Joseph

Serials

1 Theoretical Computer Science
1 Information and Computation
1 Mathematical Structures in Computer Science
1 The Journal of Logic and Algebraic Programming
1 Logical Methods in Computer Science

Fields

10 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Category theory; homological algebra (18-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 General topology (54-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

9 Publications have been cited 81 times in 54 Documents Cited by ▼ Year ▼
Step-indexed Kripke models over recursive worlds. Zbl 1284.68102
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
16
2011
Logical relations for fine-grained concurrency. Zbl 1301.68181
Turon, Aaron J.; Thamsborg, Jacob; Ahmed, Amal; Birkedal, Lars; Dreyer, Derek
12
2013
Realizability semantics of parametric polymorphism, general references, and recursive types. Zbl 1234.68052
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
12
2009
The category-theoretic solution of recursive metric-space equations. Zbl 1205.68216
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
11
2010
Realisability semantics of parametric polymorphism, general references and recursive types. Zbl 1209.68122
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
10
2010
A Kripke logical relation for effect-based program transformations. Zbl 1323.68230
Thamsborg, Jacob; Birkedal, Lars
9
2011
A concurrent logical relation. Zbl 1252.68074
Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob
8
2012
A Kripke logical relation for effect-based program transformations. Zbl 1345.68095
Birkedal, Lars; Jaber, Guilhem; Sieczkowski, Filip; Thamsborg, Jacob
2
2016
A relational realizability model for higher-order stateful ADTs. Zbl 1279.68227
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
1
2012
A Kripke logical relation for effect-based program transformations. Zbl 1345.68095
Birkedal, Lars; Jaber, Guilhem; Sieczkowski, Filip; Thamsborg, Jacob
2
2016
Logical relations for fine-grained concurrency. Zbl 1301.68181
Turon, Aaron J.; Thamsborg, Jacob; Ahmed, Amal; Birkedal, Lars; Dreyer, Derek
12
2013
A concurrent logical relation. Zbl 1252.68074
Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob
8
2012
A relational realizability model for higher-order stateful ADTs. Zbl 1279.68227
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
1
2012
Step-indexed Kripke models over recursive worlds. Zbl 1284.68102
Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
16
2011
A Kripke logical relation for effect-based program transformations. Zbl 1323.68230
Thamsborg, Jacob; Birkedal, Lars
9
2011
The category-theoretic solution of recursive metric-space equations. Zbl 1205.68216
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
11
2010
Realisability semantics of parametric polymorphism, general references and recursive types. Zbl 1209.68122
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
10
2010
Realizability semantics of parametric polymorphism, general references, and recursive types. Zbl 1234.68052
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob
12
2009
all cited Publications top 5 cited Publications
all top 5

Cited by 93 Authors

20 Birkedal, Lars
6 Thamsborg, Jacob
5 Krebbers, Robbert
5 Reus, Bernhard
5 Støvring, Kristian
4 Tzevelekos, Nikos
3 Bizjak, Aleš
3 Gaboardi, Marco
3 Jaber, Guilhem
3 Schwinghammer, Jan
3 Sieczkowski, Filip
3 Svendsen, Kasper
3 Yang, Hongseok
2 Appel, Andrew W.
2 Bengtson, Jesper
2 Benton, Nick
2 Charlton, Nathaniel
2 Clouston, Ranald A.
2 Dreyer, Derek R.
2 Frumin, Dan
2 Gavazzo, Francesco
2 Grathwohl, Hans Bugge
2 Harper, Robert
2 Hofmann, Martin
2 Jung, Ralf
2 Katsumata, Shin-ya
2 Murawski, Andrzej S.
2 Pottier, François
1 Azevedo de Amorim, Arthur
1 Barthe, Gilles
1 Blelloch, Guy E.
1 Brunel, Aloïs
1 Buisse, Alexandre
1 Cai, Hongxu
1 Cao, Qinxiang
1 Cherigui, Ikram
1 Crole, Roy L.
1 Crubillé, Raphaëlle
1 Cuellar, Santiago
1 Dagnino, Francesco
1 Dal Lago, Ugo
1 Dardha, Ornela
1 Derakhshan, Farzaneh
1 Devriese, Dominique
1 Dockins, Robert
1 Dodds, Mike
1 Dotzel, Myra
1 Dvir, Yotam
1 Feng, Xinyu
1 Garg, Deepak
1 Gotsman, Alexey
1 Hobor, Aquinas
1 Horsfall, Ben
1 Hsu, Justin
1 Hur, Chung-Kil
1 Itzhaky, Shachar
1 Jacobs, Bart
1 Jensen, Jonas Braband
1 Jia, Limin
1 Jourdan, Jacques-Henri
1 Kammar, Ohad
1 Kastberg Hinrichsen, Jonas
1 Khyzha, Artem
1 Krishnaswami, Neelakantan R.
1 Krogh-Jespersen, Morten
1 Kumar, Ananya
1 Lahav, Ori
1 Nanevski, Aleksandar
1 Nebel, Frank
1 Neis, Georg
1 Nigam, Vivek
1 Parkinson, Matthew J.
1 Peleg, Hila
1 Polikarpova, Nadia
1 Pradic, Pierre
1 Qu, Weihao
1 Reddy, Uday S.
1 Reinhard, Tobias
1 Rowe, Reuben N. S.
1 Sergey, Ilya
1 Shao, Zhong
1 Skorstengaard, Lau
1 Sozeau, Matthieu
1 Spitters, Bas
1 Sumii, Eijiro
1 Surbatovich, Milijana
1 Tabareau, Nicolas
1 Tan, Gang
1 Tassarotti, Joseph
1 Timany, Amin
1 Vafeiadis, Viktor
1 Vezzosi, Andrea
1 Zalakain, Uma
all top 5

Cited in 10 Serials

4 Journal of Functional Programming
4 Logical Methods in Computer Science
2 Theoretical Computer Science
2 Information and Computation
2 Journal of Automated Reasoning
1 New Generation Computing
1 Mathematical Structures in Computer Science
1 The Journal of Logic and Algebraic Programming
1 Computer Languages, Systems & Structures
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Cited in 6 Fields

52 Computer science (68-XX)
37 Mathematical logic and foundations (03-XX)
4 Category theory; homological algebra (18-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 General topology (54-XX)
1 Algebraic topology (55-XX)

Citations by Year