default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael I. Schwartzbach
Person information
- affiliation: Aarhus University, Denmark
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[c37]Jakob G. Thomsen, Erik Ernst, Claus Brabrand, Michael I. Schwartzbach:
WebSelF: A Web Scraping Framework. ICWE 2012: 347-361- 2011
- [j30]Anders Møller
, Michael I. Schwartzbach:
XML graphs in program analysis. Sci. Comput. Program. 76(6): 492-515 (2011) - [c36]Johnni Winther, Michael I. Schwartzbach:
Related Types. ECOOP 2011: 434-458
2000 – 2009
- 2009
- [j29]Marcelo Arenas, Michael I. Schwartzbach:
Information systems preface. Inf. Syst. 34(7): 577 (2009) - [c35]Peter Bogetoft, Dan Lund Christensen, Ivan Damgård, Martin Geisler, Thomas P. Jakobsen, Mikkel Krøigaard, Janus Dam Nielsen, Jesper Buus Nielsen, Kurt Nielsen, Jakob Pagter, Michael I. Schwartzbach, Tomas Toft:
Secure Multiparty Computation Goes Live. Financial Cryptography 2009: 325-343 - [e5]Oege de Moor, Michael I. Schwartzbach:
Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5501, Springer 2009, ISBN 978-3-642-00721-7 [contents] - 2008
- [j28]Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
Dual syntax for XML languages. Inf. Syst. 33(4-5): 385-406 (2008) - [c34]Michael I. Schwartzbach:
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. CC 2008: 1-15 - [i1]Peter Bogetoft, Dan Lund Christensen, Ivan Damgård, Martin Geisler, Thomas P. Jakobsen, Mikkel Krøigaard, Janus Dam Nielsen, Jesper Buus Nielsen, Kurt Nielsen, Jakob Pagter, Michael I. Schwartzbach, Tomas Toft:
Multiparty Computation Goes Live. IACR Cryptol. ePrint Arch. 2008: 68 (2008) - 2007
- [j27]Claus Brabrand, Michael I. Schwartzbach:
The metafront system: Safe and extensible parsing and transformation. Sci. Comput. Program. 68(1): 2-20 (2007) - [j26]Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach:
Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29(4): 21 (2007) - [c33]Anders Møller, Michael I. Schwartzbach:
XML graphs in program analysis. PEPM 2007: 1-10 - [c32]Janus Dam Nielsen, Michael I. Schwartzbach:
A domain-specific programming language for secure multiparty computation. PLAS 2007: 21-30 - [e4]Marcelo Arenas, Michael I. Schwartzbach:
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4797, Springer 2007, ISBN 978-3-540-75986-7 [contents] - 2006
- [b2]Anders Møller, Michael I. Schwartzbach:
An introduction to XML and web technologies. Addison-Wesley 2006, ISBN 978-0-321-26966-9, pp. I-XXII, 1-542 - [j25]Henning Böttger, Anders Møller, Michael I. Schwartzbach:
Contracts for Cooperation between Web Service Programmers and HTML Designers. J. Web Eng. 5(1): 65-90 (2006) - [j24]Gudmund Skovbjerg Frandsen, Michael I. Schwartzbach:
A singular choice for multiple choice. ACM SIGCSE Bull. 38(4): 34-38 (2006) - [e3]Michael I. Schwartzbach, Thomas Ball:
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006. ACM 2006, ISBN 1-59593-320-4 [contents] - 2005
- [c31]Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
Dual Syntax for XML Languages. DBPL 2005: 27-41 - [c30]Anders Møller, Michael I. Schwartzbach:
The Design Space of Type Checkers for XML Transformation Languages. ICDT 2005: 17-36 - 2004
- [j23]Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach:
Static Analysis of XML Transformations in Java. IEEE Trans. Software Eng. 30(3): 181-192 (2004) - 2003
- [j22]Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
Extending Java for high-level Web service construction. ACM Trans. Program. Lang. Syst. 25(6): 814-875 (2003) - [c29]Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach:
Precise Analysis of String Expressions. SAS 2003: 1-18 - [c28]Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard:
The metafront System: Extensible Parsing and Transformation. LDTA@ETAPS 2003: 592-611 - 2002
- [j21]Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
The DSD Schema Language. Autom. Softw. Eng. 9(3): 285-319 (2002) - [j20]Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13(4): 571-586 (2002) - [j19]Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
The <bigwig> project. ACM Trans. Internet Techn. 2(2): 79-114 (2002) - [j18]Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach:
Language-Based Caching of Dynamiclly Generated HTML. World Wide Web 5(4): 305-324 (2002) - [c27]Claus Brabrand, Michael I. Schwartzbach:
Growing languages with metamorphic syntax macros. PEPM 2002: 31-40 - 2001
- [c26]Claus Brabrand, Anders Møller, Michael I. Schwartzbach:
Static validation of dynamically generated HTML. PASTE 2001: 38-45 - [c25]Anders Møller, Michael I. Schwartzbach:
The Pointer Assertion Logic Engine. PLDI 2001: 221-231 - 2000
- [j17]Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach:
PowerForms: Declarative client-side form field validation. World Wide Web 3(4): 205-214 (2000) - [c24]Jacob Elgaard, Anders Møller, Michael I. Schwartzbach:
Compile-Time Debugging of C Programs Working on Trees. ESOP 2000: 119-134 - [c23]Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
DSD: A schema language for XML. FMSP 2000: 101-111 - [c22]Anders Sandholm, Michael I. Schwartzbach:
A Type System for Dynamic Web Documents. POPL 2000: 290-301 - [c21]Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
MONA Implementation Secrets. CIAA 2000: 182-194 - [e2]Susanne Graf, Michael I. Schwartzbach:
Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science 1785, Springer 2000, ISBN 3-540-67282-6 [contents]
1990 – 1999
- 1999
- [j16]Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach:
A Runtime System for Interactive Web Services. Comput. Networks 31(11-16): 1391-1401 (1999) - [j15]Nils Klarlund, Michael I. Schwartzbach:
A Domain-Specific Language for Regular Sets of Strings and Trees. IEEE Trans. Software Eng. 25(3): 378-386 (1999) - [c20]Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach:
Yakyak: parsing with logical side constraints. Developments in Language Theory 1999: 286-301 - 1998
- [c19]Anders Sandholm, Michael I. Schwartzbach:
Distributed Safety Controllers for Web Services. FASE 1998: 270-284 - 1997
- [c18]Nils Klarlund, Michael I. Schwartzbach:
A Domain-Specific Language for Regular Sets of Strings and Trees. DSL 1997 - [c17]Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach:
Automatic Verification of Pointer Programs using Monadic Second-Order Logic. PLDI 1997: 226-236 - 1996
- [j14]Michael I. Schwartzbach:
Static Correctness of Hierarchical Procedures. Theor. Comput. Sci. 156(1&2): 177-201 (1996) - [j13]Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167(1&2): 1 (1996) - [c16]Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach:
Formal Design Constraints. OOPSLA 1996: 370-383 - 1995
- [j12]Jens Palsberg, Michael I. Schwartzbach:
Safety Analysis versus Type Inference. Inf. Comput. 118(1): 128-141 (1995) - [j11]Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach:
Efficient Recursive Subtyping. Math. Struct. Comput. Sci. 5(1): 113-125 (1995) - [j10]Ole Agesen, Jens Palsberg, Michael I. Schwartzbach:
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance. Softw. Pract. Exp. 25(9): 975-995 (1995) - [j9]Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari:
Type Inference for Turbo Pascal. Softw. Concepts Tools 16(4): 160-169 (1995) - [j8]Jens Palsberg, Michael I. Schwartzbach:
Editorial. Theory Pract. Object Syst. 1(3): 149 (1995) - [e1]Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach:
TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Lecture Notes in Computer Science 915, Springer 1995, ISBN 3-540-59293-8 [contents] - 1994
- [b1]Jens Palsberg, Michael I. Schwartzbach:
Object-oriented type systems. Wiley professional computing, Wiley 1994, ISBN 978-0-471-94128-6, pp. I-VIII, 1-180 - [j7]Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach:
Efficient Inference of Partial Types. J. Comput. Syst. Sci. 49(2): 306-324 (1994) - [j6]Kim S. Larsen, Michael I. Schwartzbach:
Injectivity of Composite Functions. J. Symb. Comput. 17(5): 393-408 (1994) - [j5]Jens Palsberg, Michael I. Schwartzbach:
Static Typing for Object-Oriented Programming. Sci. Comput. Program. 23(1): 19-53 (1994) - [c15]Nils Klarlund, Michael I. Schwartzbach:
Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). CAAP 1994: 187-201 - [c14]Jens Palsberg, Michael I. Schwartzbach:
Binding-time Analysis: Abstract Interpretation versus Type Inference. ICCL 1994: 277-288 - 1993
- [c13]Ole Agesen, Jens Palsberg, Michael I. Schwartzbach:
Type Inference of SELF. ECOOP 1993: 247-267 - [c12]Nils Klarlund, Michael I. Schwartzbach:
Graph Types. POPL 1993: 196-205 - [c11]Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach:
Efficient Recursive Subtyping. POPL 1993: 419-428 - 1992
- [j4]Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt:
A New Formalism for Relational Algebra. Inf. Process. Lett. 41(3): 163-168 (1992) - [j3]Jens Palsberg, Michael I. Schwartzbach:
Safety Analysis Versus Type Inference for Partial Types. Inf. Process. Lett. 43(4): 175-180 (1992) - [j2]Jens Palsberg, Michael I. Schwartzbach:
Three discussions on object-oriented typing. OOPS Messenger 3(2): 31-38 (1992) - [j1]Michael I. Schwartzbach:
Interpretations of Recursively Defined Types. Theor. Comput. Sci. 106(1): 119-134 (1992) - [c10]Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach:
Making Type Inference Practical. ECOOP 1992: 329-349 - [c9]Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach:
Efficient Inference of Partial Types. FOCS 1992: 363-371 - [c8]Michael I. Schwartzbach, Jens Palsberg:
Types for the language designer (abstract). OOPSLA Addendum 1992: 219 - 1991
- [c7]Jens Palsberg, Michael I. Schwartzbach:
What is Type-Safe Code Reuse? ECOOP 1991: 325-341 - [c6]Jens Palsberg, Michael I. Schwartzbach:
Object-Oriented Type Inference. OOPSLA 1991: 146-161 - [c5]Michael I. Schwartzbach:
Type Inference with Inequalities. TAPSOFT, Vol.1 1991: 441-455 - 1990
- [c4]Michael I. Schwartzbach:
Infinite Values in Hierarchical Imperative Types. CAAP 1990: 254-268 - [c3]Michael I. Schwartzbach:
Static Correctness of Hierarchical Procedures. ICALP 1990: 32-45 - [c2]Jens Palsberg, Michael I. Schwartzbach:
Type Substitution for Object-Oriented Programming. OOPSLA/ECOOP 1990: 151-160
1980 – 1989
- 1989
- [c1]Erik Meineche Schmidt, Michael I. Schwartzbach:
An Imperative Type Hierarchy with Partial Products. MFCS 1989: 458-470
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 21:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
