×

zbMATH — the first resource for mathematics

Edit Profile

Palsberg, Jens

Compute Distance To:
Author ID: palsberg.jens
Published as: Palsberg, J.; Palsberg, Jens
External Links: MGP
Documents Indexed: 51 Publications since 1992, including 7 Books
all top 5

Co-Authors

8 single-authored
7 Schwartzbach, Michael I.
6 Zhao, Tian
5 Pereira, Fernando Magno Quintão
3 Kozen, Dexter C.
3 Ma, Di
3 Majumdar, Rupak
3 Wand, Mitchell
2 Aiken, Alexander
2 Chatterjee, Krishnendu
2 Cheng, Allan
2 Esparza, Javier
2 Glew, Neal
2 Henzinger, Thomas A.
2 Lee, Jonathan K.
2 O’Keefe, Patrick
2 Wimmers, Edward L.
1 Bondorf, Anders
1 Brown, Matthew L.
1 Brown, Matthew R.
1 Brown, Matthew S.
1 Dillig, Isil
1 Guo, Shu-yu
1 Havelund, Klaus
1 Hermanns, Holger
1 Jay, C. Barry
1 Jha, Somesh
1 Jim, Trevor
1 Lieberherr, Karl J.
1 Naik, Mayur
1 Nandivada, V. Krishna
1 Ørbæk, Peter
1 Patt-Shamir, Boaz
1 Pavlopoulou, Christina
1 Su, Zhendong
1 Vitek, Jan
all top 5

Serials

6 Information and Computation
6 Lecture Notes in Computer Science
5 Journal of Functional Programming
3 Science of Computer Programming
2 Information Processing Letters
2 Theoretical Computer Science
2 MSCS. Mathematical Structures in Computer Science
1 Journal of Computer and System Sciences
1 Formal Aspects of Computing
1 Nordic Journal of Computing
1 Higher-Order and Symbolic Computation

Fields

48 Computer science (68-XX)
10 Mathematical logic and foundations (03-XX)
6 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription