Edit Profile (opens in new tab) Schwartzbach, Michael I. Co-Author Distance Author ID: schwartzbach.michael-i Published as: Schwartzbach, Michael I.; Schwartzbach, Michael; Schwartzbach, M. I. more...less Documents Indexed: 29 Publications since 1989, including 1 Book 4 Contributions as Editor Co-Authors: 26 Co-Authors with 28 Joint Publications 485 Co-Co-Authors all top 5 Co-Authors 5 single-authored 9 Møller, Anders Pape 7 Palsberg, Jens 5 Klarlund, Nils 3 Brabrand, Claus 3 Kozen, Dexter C. 2 Larsen, Kim Skak 2 Mosses, Peter D. 2 Schmidt, Erik Meineche 1 Arenas, Marcelo 1 Bogetoft, Peter 1 Christensen, Aske Simon 1 Christensen, Dan Lund 1 Damgaard, Niels 1 Damgård, Ivan Bjerre 1 Elgaard, Jacob 1 Geisler, Martin 1 Graf, Susanne 1 Jakobsen, Thomas Pelle 1 Krøigaard, Mikkel 1 Nielsen, Janus Dam 1 Nielsen, Jesper Buus 1 Nielsen, Kurt 1 Pagter, Jakob Illeborg 1 Ricky, Mikkel 1 Sandholm, Anders 1 Toft, Tomas all top 5 Serials 3 Theoretical Computer Science 3 Science of Computer Programming 3 Lecture Notes in Computer Science 2 Information Processing Letters 1 Journal of Computer and System Sciences 1 Journal of Symbolic Computation 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 1 Fields 32 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 159 times in 137 Documents Cited by ▼ Year ▼ Secure multiparty computation goes live. Zbl 1417.94045Bogetoft, Peter; Christensen, Dan Lund; Damgård, Ivan; Geisler, Martin; Jakobsen, Thomas; Krøigaard, Mikkel; Nielsen, Janus Dam; Nielsen, Jesper Buus; Nielsen, Kurt; Pagter, Jakob; Schwartzbach, Michael; Toft, Tomas 36 2009 Precise analysis of string expressions. Zbl 1067.68541Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael I. 24 2003 MONA implementation secrets. Zbl 1066.68079Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 22 2002 Efficient recursive subtyping. Zbl 0840.03007Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 13 1995 MONA implementation secrets. Zbl 0989.03500Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 10 2001 Efficient inference of partial types. Zbl 0823.68011Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 8 1994 Object-oriented type systems. Zbl 0821.68023Palsberg, Jens; Schwartzbach, Michael I. 8 1994 The metafront system: safe and extensible parsing and transformation. Zbl 1188.68164Brabrand, Claus; Schwartzbach, Michael I. 5 2007 Safety analysis versus type inference for partial types. Zbl 0763.68024Palsberg, Jens; Schwartzbach, Michael I. 4 1992 Dual syntax for XML languages. Zbl 1159.68407Brabrand, Claus; Møller, Anders; Schwartzbach, Michael I. 4 2005 Safety analysis versus type inference. Zbl 0941.68831Palsberg, Jens; Schwartzbach, Michael I. 4 1995 The design space of type checkers for XML transformation languages. Zbl 1112.68372Møller, Anders; Schwartzbach, Michael I. 3 2005 XML graphs in program analysis. Zbl 1215.68079Møller, Anders; Schwartzbach, Michael 3 2011 An imperative type hierarchy with partial products. Zbl 0755.68030Schmidt, Erik M.; Schwartzbach, Michael I. 2 1989 Compile-time debugging of C programs working on trees. Zbl 0971.68590Elgaard, Jacob; Møller, Anders; Schwartzbach, Michael I. 2 2000 Efficient inference of partial types. Zbl 0977.68505Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 2 1992 A new formalism for relational algebra. Zbl 0751.68022Larsen, Kim S.; Schwartzbach, Michael I.; Schmidt, Erik M. 1 1992 Infinite values in hierarchical imperative types. Zbl 0758.68021Schwartzbach, Michael I. 1 1990 Static correctness of hierarchical procedures. Zbl 0765.68017Schwartzbach, Michael I. 1 1990 Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 – April 2, 2000. Proceedings. Zbl 0935.00048 1 2000 YakYak: Parsing with logical side constraints. Zbl 0996.68076Klarlund, Nils; Damgaard, Niels; Schwartzbach, Michael I. 1 2000 Type inference with inequalities. Zbl 0967.68528Schwartzbach, Michael I. 1 1991 The DSD schema language. Zbl 1034.68622Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 1 2002 PowerForms: Declarative client-side form field validation. Zbl 1012.68991Brabrand, Claus; Møller, Anders; Ricky, Mikkel; Schwartzbach, Michael I. 1 2000 A type system for dynamic web documents. Zbl 1323.68227Sandholm, Anders; Schwartzbach, Michael I. 1 2000 XML graphs in program analysis. Zbl 1215.68079Møller, Anders; Schwartzbach, Michael 3 2011 Secure multiparty computation goes live. Zbl 1417.94045Bogetoft, Peter; Christensen, Dan Lund; Damgård, Ivan; Geisler, Martin; Jakobsen, Thomas; Krøigaard, Mikkel; Nielsen, Janus Dam; Nielsen, Jesper Buus; Nielsen, Kurt; Pagter, Jakob; Schwartzbach, Michael; Toft, Tomas 36 2009 The metafront system: safe and extensible parsing and transformation. Zbl 1188.68164Brabrand, Claus; Schwartzbach, Michael I. 5 2007 Dual syntax for XML languages. Zbl 1159.68407Brabrand, Claus; Møller, Anders; Schwartzbach, Michael I. 4 2005 The design space of type checkers for XML transformation languages. Zbl 1112.68372Møller, Anders; Schwartzbach, Michael I. 3 2005 Precise analysis of string expressions. Zbl 1067.68541Christensen, Aske Simon; Møller, Anders; Schwartzbach, Michael I. 24 2003 MONA implementation secrets. Zbl 1066.68079Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 22 2002 The DSD schema language. Zbl 1034.68622Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 1 2002 MONA implementation secrets. Zbl 0989.03500Klarlund, Nils; Møller, Anders; Schwartzbach, Michael I. 10 2001 Compile-time debugging of C programs working on trees. Zbl 0971.68590Elgaard, Jacob; Møller, Anders; Schwartzbach, Michael I. 2 2000 Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 – April 2, 2000. Proceedings. Zbl 0935.00048 1 2000 YakYak: Parsing with logical side constraints. Zbl 0996.68076Klarlund, Nils; Damgaard, Niels; Schwartzbach, Michael I. 1 2000 PowerForms: Declarative client-side form field validation. Zbl 1012.68991Brabrand, Claus; Møller, Anders; Ricky, Mikkel; Schwartzbach, Michael I. 1 2000 A type system for dynamic web documents. Zbl 1323.68227Sandholm, Anders; Schwartzbach, Michael I. 1 2000 Efficient recursive subtyping. Zbl 0840.03007Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 13 1995 Safety analysis versus type inference. Zbl 0941.68831Palsberg, Jens; Schwartzbach, Michael I. 4 1995 Efficient inference of partial types. Zbl 0823.68011Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 8 1994 Object-oriented type systems. Zbl 0821.68023Palsberg, Jens; Schwartzbach, Michael I. 8 1994 Safety analysis versus type inference for partial types. Zbl 0763.68024Palsberg, Jens; Schwartzbach, Michael I. 4 1992 Efficient inference of partial types. Zbl 0977.68505Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. 2 1992 A new formalism for relational algebra. Zbl 0751.68022Larsen, Kim S.; Schwartzbach, Michael I.; Schmidt, Erik M. 1 1992 Type inference with inequalities. Zbl 0967.68528Schwartzbach, Michael I. 1 1991 Infinite values in hierarchical imperative types. Zbl 0758.68021Schwartzbach, Michael I. 1 1990 Static correctness of hierarchical procedures. Zbl 0765.68017Schwartzbach, Michael I. 1 1990 An imperative type hierarchy with partial products. Zbl 0755.68030Schmidt, Erik M.; Schwartzbach, Michael I. 2 1989 all cited Publications top 5 cited Publications all top 5 Cited by 310 Authors 8 Palsberg, Jens 6 Kozen, Dexter C. 5 Klaedtke, Felix 5 Schwartzbach, Michael I. 4 Holík, Lukáš 4 Lengál, Ondřej 4 Smart, Nigel Paul 4 Vojnar, Tomáš 3 Bonelli, Eduardo 3 Bultan, Tevfik 3 Ibarra, Oscar H. 3 Langer, Alexander 3 Møller, Anders Pape 3 Viso, Andrés 3 Wand, Mitchell 3 Yu, Fang 2 Arceri, Vincenzo 2 Ayala-Rincón, Mauricio 2 Barrett, Clark W. 2 Bjørner, Nikolaj S. 2 Brabrand, Claus 2 Cortesi, Agostino 2 Dagdelen, Özgür 2 Damgård, Ivan Bjerre 2 Edi, Juan 2 Eisinger, Jochen 2 Fiedor, Tomáš 2 Giegerich, Robert 2 Havlena, Vojtěch 2 Hu, Alan J. 2 Kneis, Joachim 2 Kumaresan, Ranjit 2 Kushilevitz, Eyal 2 Liang, Tianyi 2 Mohassel, Payman 2 O’Keefe, Patrick 2 Pandya, Paritosh K. 2 Rakamarić, Zvonimir 2 Reynolds, Andrew 2 Rossmanith, Peter 2 Talibi Alaoui, Younes 2 Tinelli, Cesare 2 Tsiskaridze, Nestan 2 Veanes, Margus 2 Venturi, Daniele 2 Visser, Eelco 2 Wakankar, Amol 2 Zălinescu, Eugen 2 Zhao, Tian 1 Achten, Peter 1 Ah-Fat, Patrick 1 Al-Nabhan, Najla 1 Alkhalaf, Muath 1 Aly, Abdelrahaman 1 Ancona, Davide 1 Andrychowicz, Marcin 1 Atapoor, Shahla 1 Avdyukhin, Dmitry 1 Bacelar Almeida, José 1 Bantegui, Michael 1 Barbosa, Manuel 1 Barelli, Élise 1 Barth, Stephan 1 Barthe, Gilles 1 Basin, David A. 1 Baum, Carsten 1 Bektaş, Atilla 1 Benkaouz, Yahya 1 Beringer, Lennart 1 Berzish, Murphy 1 Bhargava, Radhika 1 Biere, Armin 1 Bigonha, Roberto S. 1 Bingham, Jesse D. 1 Blanton, Marina 1 Bodeveix, Jean-Paul 1 Botelho da Gama, Mariana 1 Bravenboer, Martin 1 Bravetti, Mario 1 Bruttomesso, Roberto 1 Büscher, Niklas 1 Carbone, Marco 1 Cartlidge, John 1 Cazzola, Walter 1 Chang, Byeong-Mo 1 Cheon, Jung Hee 1 Choe, Kwang-Moo 1 Choi, Kwanghoon 1 Choi, Seung Geol 1 Choudhary, Ashish 1 Chow, Sherman S. M. 1 Chung, Kai-Min 1 Cimatti, Alessandro 1 Ciobanu, Gabriel 1 Clifton, Chris 1 Coan, Brian A. 1 Colazzo, Dario 1 Couvreur, Alain 1 Crescenzo, Giovanni 1 Cutts, Quintin I. ...and 210 more Authors all top 5 Cited in 31 Serials 13 Theoretical Computer Science 9 Information and Computation 6 Formal Methods in System Design 5 Information Processing Letters 5 Science of Computer Programming 3 Acta Informatica 3 Journal of Automated Reasoning 3 Journal of Logical and Algebraic Methods in Programming 2 Journal of Computer and System Sciences 2 Journal of Cryptology 2 Formal Aspects of Computing 2 MSCS. Mathematical Structures in Computer Science 2 Higher-Order and Symbolic Computation 2 Computer Languages, Systems & Structures 1 Artificial Intelligence 1 Computing 1 Software. Practice & Experience 1 Journal of Symbolic Computation 1 SIAM Journal on Discrete Mathematics 1 International Journal of Foundations of Computer Science 1 Concurrency: Practice and Experience 1 Distributed Computing 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 Theory of Computing Systems 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 Mathematical Biosciences and Engineering 1 Discrete Optimization 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review all top 5 Cited in 7 Fields 115 Computer science (68-XX) 34 Information and communication theory, circuits (94-XX) 27 Mathematical logic and foundations (03-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Combinatorics (05-XX) 2 General topology (54-XX) 1 Biology and other natural sciences (92-XX) Citations by Year