Edit Profile Palsberg, Jens Compute Distance To: Compute 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 all cited Publications top 5 cited Publications Citations contained in zbMATH 33 Publications have been cited 112 times in 80 Documents Cited by ▼ Year ▼ Complexity results for 1-safe nets. Zbl 0873.68146Cheng, Allan; Esparza, Javier; Palsberg, Jens 16 1995 Efficient recursive subtyping. Zbl 0840.03007Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 14 1995 Object-oriented type systems. Zbl 0821.68023Palsberg, Jens; Schwartzbach, Michael I. 7 1994 Efficient inference of partial types. Zbl 0823.68011Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 7 1994 From polyvariant flow information to intersection and union types. Zbl 0976.68024Palsberg, Jens; Pavlopoulou, Christina 5 2001 Efficient inference of object types. Zbl 0849.68018Palsberg, Jens 5 1995 A type system equivalent to a model checker. Zbl 1108.68406Naik, Mayur; Palsberg, Jens 4 2005 Efficient and flexible matching of recursive types. Zbl 1005.68043Palsberg, Jens; Zhao, Tian 4 2001 Complexity results for 1-safe-nets. Zbl 0925.68329Cheng, Allan; Esparza, Javier; Palsberg, Jens 4 1993 Breaking through the normalization barrier: a self-interpreter for F-omega. Zbl 1347.68046Brown, Matt; Palsberg, Jens 3 2016 Typed self-interpretation by pattern matching. Zbl 1323.68124Jay, Barry; Palsberg, Jens 3 2011 Trust in the \(\lambda\)-calculus. Zbl 0918.03013Ørbæk, P.; Palsberg, J. 3 1997 Type inference with non-structural subtyping. Zbl 0868.68074Palsberg, Jens; Wand, Mitchell; O’Keefe, Patrick 3 1997 Safety analysis versus type inference. Zbl 0941.68831Palsberg, Jens; Schwartzbach, Michael I. 3 1995 Efficient inference of partial types. Zbl 0977.68505Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 3 1992 Safety analysis versus type inference for partial types. Zbl 0763.68024Palsberg, Jens; Schwartzbach, Michael I. 3 1992 Typed self-evaluation via intensional type functions. Zbl 1380.68090Brown, Matt; Palsberg, Jens 2 2017 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 2 2004 CPS transformation of flow information. Zbl 1110.68360Palsberg, Jens; Wand, Mitchell 2 2003 A typed interrupt calculus. Zbl 1278.68191Palsberg, Jens; Ma, Di 2 2002 Type inference with simple selftypes is \(NP\)-complete. Zbl 1034.68528Palsberg, Jens; Jim, Trevor 2 1997 Generating action compilers by partial evaluation. Zbl 0856.68040Bondorf, Anders; Palsberg, Jens 2 1996 Strong normalization with non-structural subtyping. Zbl 0840.03006Wand, Mitchell; O’Keefe, Patrick; Palsberg, Jens 2 1995 Normal forms have partial types. Zbl 0795.68030Palsberg, Jens 2 1993 Self-representation in Girard’s System U. Zbl 1345.68039Brown, Matt; Palsberg, Jens 1 2015 Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Zbl 1173.68014Palsberg, Jens (ed.) 1 2009 Aliased register allocation for straight-line programs is NP-complete. Zbl 1160.68015Lee, Jonathan K.; Palsberg, Jens; Pereira, Fernando Magno Quintão 1 2008 A framework for end-to-end verification and evaluation of register allocators. Zbl 1211.68099Nandivada, V. Krishna; Pereira, Fernando Magno Quintão; Palsberg, Jens 1 2007 Type-based confinement. Zbl 1091.68021Zhao, Tian; Palsberg, Jens; Vitek, Jan 1 2006 Register allocation via coloring of chordal graphs. Zbl 1159.68379Pereira, Fernando Magno Quintão; Palsberg, Jens 1 2005 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 1 2003 Efficient type matching. Zbl 1077.68608Jha, Somesh; Palsberg, Jens; Zhao, Tian 1 2002 Optimal representations of polymorphic types with subtyping. Zbl 0941.68076Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens 1 1999 Typed self-evaluation via intensional type functions. Zbl 1380.68090Brown, Matt; Palsberg, Jens 2 2017 Breaking through the normalization barrier: a self-interpreter for F-omega. Zbl 1347.68046Brown, Matt; Palsberg, Jens 3 2016 Self-representation in Girard’s System U. Zbl 1345.68039Brown, Matt; Palsberg, Jens 1 2015 Typed self-interpretation by pattern matching. Zbl 1323.68124Jay, Barry; Palsberg, Jens 3 2011 Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Zbl 1173.68014Palsberg, Jens (ed.) 1 2009 Aliased register allocation for straight-line programs is NP-complete. Zbl 1160.68015Lee, Jonathan K.; Palsberg, Jens; Pereira, Fernando Magno Quintão 1 2008 A framework for end-to-end verification and evaluation of register allocators. Zbl 1211.68099Nandivada, V. Krishna; Pereira, Fernando Magno Quintão; Palsberg, Jens 1 2007 Type-based confinement. Zbl 1091.68021Zhao, Tian; Palsberg, Jens; Vitek, Jan 1 2006 A type system equivalent to a model checker. Zbl 1108.68406Naik, Mayur; Palsberg, Jens 4 2005 Register allocation via coloring of chordal graphs. Zbl 1159.68379Pereira, Fernando Magno Quintão; Palsberg, Jens 1 2005 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 2 2004 CPS transformation of flow information. Zbl 1110.68360Palsberg, Jens; Wand, Mitchell 2 2003 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 1 2003 A typed interrupt calculus. Zbl 1278.68191Palsberg, Jens; Ma, Di 2 2002 Efficient type matching. Zbl 1077.68608Jha, Somesh; Palsberg, Jens; Zhao, Tian 1 2002 From polyvariant flow information to intersection and union types. Zbl 0976.68024Palsberg, Jens; Pavlopoulou, Christina 5 2001 Efficient and flexible matching of recursive types. Zbl 1005.68043Palsberg, Jens; Zhao, Tian 4 2001 Optimal representations of polymorphic types with subtyping. Zbl 0941.68076Aiken, Alexander; Wimmers, Edward L.; Palsberg, Jens 1 1999 Trust in the \(\lambda\)-calculus. Zbl 0918.03013Ørbæk, P.; Palsberg, J. 3 1997 Type inference with non-structural subtyping. Zbl 0868.68074Palsberg, Jens; Wand, Mitchell; O’Keefe, Patrick 3 1997 Type inference with simple selftypes is \(NP\)-complete. Zbl 1034.68528Palsberg, Jens; Jim, Trevor 2 1997 Generating action compilers by partial evaluation. Zbl 0856.68040Bondorf, Anders; Palsberg, Jens 2 1996 Complexity results for 1-safe nets. Zbl 0873.68146Cheng, Allan; Esparza, Javier; Palsberg, Jens 16 1995 Efficient recursive subtyping. Zbl 0840.03007Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 14 1995 Efficient inference of object types. Zbl 0849.68018Palsberg, Jens 5 1995 Safety analysis versus type inference. Zbl 0941.68831Palsberg, Jens; Schwartzbach, Michael I. 3 1995 Strong normalization with non-structural subtyping. Zbl 0840.03006Wand, Mitchell; O’Keefe, Patrick; Palsberg, Jens 2 1995 Object-oriented type systems. Zbl 0821.68023Palsberg, Jens; Schwartzbach, Michael I. 7 1994 Efficient inference of partial types. Zbl 0823.68011Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 7 1994 Complexity results for 1-safe-nets. Zbl 0925.68329Cheng, Allan; Esparza, Javier; Palsberg, Jens 4 1993 Normal forms have partial types. Zbl 0795.68030Palsberg, Jens 2 1993 Efficient inference of partial types. Zbl 0977.68505Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 3 1992 Safety analysis versus type inference for partial types. Zbl 0763.68024Palsberg, Jens; Schwartzbach, Michael I. 3 1992 all cited Publications top 5 cited Publications all top 5 Cited by 159 Authors 10 Palsberg, Jens 5 Busi, Nadia 5 Kozen, Dexter C. 4 Zhao, Tian 3 Bonelli, Eduardo 3 Viso, Andrés 3 Wand, Mitchell 3 Zavattaro, Gianluigi 2 Ayala-Rincón, Mauricio 2 Chatain, Thomas 2 Cheng, Allan 2 Edi, Juan 2 Esparza, Javier 2 Gorrieri, Roberto 2 Intrigila, Benedetto 2 Jay, C. Barry 2 Manzonetto, Giulio 2 Nielson, Flemming 2 O’Keefe, Patrick 2 Pereira, Fernando Magno Quintão 2 Polonsky, Andrew 2 Pugliese, Rosario 2 Rehof, Jakob 2 Riis Nielson, Hanne 2 Schwartzbach, Michael I. 1 Abramov, Sergeĭ Aleksandrovich 1 Adams, Michael D. 1 Akshay, S. 1 Alimonti, Paola 1 Alur, Rajeev 1 Ancona, Davide 1 Andreae, Chris 1 Barker, Steve 1 Bigonha, Roberto S. 1 Bodei, Chiara 1 Bonet, Blai 1 Bouajjani, Ahmed 1 Bozzelli, Laura 1 Brogi, Antonio 1 Bugliesi, Michele 1 Carmona, Josep 1 Chai, Xinwei 1 Chakaravarthy, Venkatesan T. 1 Chakraborty, Supratik 1 Chatterjee, Krishnendu 1 Chen, Lijing 1 Coady, Yvonne 1 Colazzo, Dario 1 Corradini, Flavio 1 Cutts, Quintin I. 1 Czarnecki, Krzysztof 1 d’Amorim, Marcelo 1 Danvy, Olivier 1 Das, Ankush 1 De Nicola, Rocco 1 Degano, Pierpaolo 1 Diekert, Volker 1 Diwan, Amer 1 Dong, Yuan 1 Dougherty, Daniel J. 1 Eisenecker, Ulrich W. 1 El-Zawawy, Mohamed A. 1 Farmer, William M. 1 Feng, Xinyu 1 Ferrari, Gian Luigi 1 Feuerstein, Esteban 1 Findler, Robert Bruce 1 Frey, Alexandre 1 Gabbrielli, Maurizio 1 Garavel, Hubert 1 Ghelli, Giorgio 1 Ghilezan, Silvia 1 Gibbs, Celina 1 Gilray, Thomas 1 Givan, Robert L. 1 Glück, Robert 1 Gorla, Daniele 1 Guo, Yu 1 Hansen, René Rydhof 1 Haslum, Patrik 1 Henzinger, Thomas A. 1 Hickmott, Sarah L. 1 Hosking, Antony L. 1 Inoue, Katsumi 1 Ishihara, Yasunori 1 Ito, Minoru 1 Jagannath, Vishal 1 Jensen, Thomas P. 1 Kreitz, Christoph 1 Lagorio, Giovanni 1 Lau, Kung-Kiu 1 Laud, Peeter 1 Laura, Luigi 1 Lee, Jonathan K. 1 Lescanne, Pierre 1 Leuschel, Michael 1 Liu, GuanJun 1 Lodaya, Kamal 1 Logozzo, Francesco 1 Lohrey, Markus ...and 59 more Authors all top 5 Cited in 22 Serials 17 Theoretical Computer Science 12 Information and Computation 4 Information Processing Letters 3 MSCS. Mathematical Structures in Computer Science 3 Higher-Order and Symbolic Computation 2 Journal of Computer and System Sciences 2 Science of Computer Programming 2 The Journal of Logic and Algebraic Programming 2 Computer Languages, Systems & Structures 2 Logical Methods in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Semigroup Forum 1 Software. Practice & Experience 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Real-Time Systems 1 International Journal of Foundations of Computer Science 1 Concurrency: Practice and Experience 1 Journal of the Egyptian Mathematical Society 1 Journal of Functional Programming 1 RAIRO. Theoretical Informatics and Applications 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 7 Fields 73 Computer science (68-XX) 21 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Group theory and generalizations (20-XX) 1 Biology and other natural sciences (92-XX) Citations by Year