dblp.uni-trier.dewww.uni-trier.de

Michael I. Schwartzbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
69EEOege 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 Springer 2009
68EEPeter Bogetoft, Dan Lund Christensen, Ivan Damgård, Martin Geisler, Thomas 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
67EEMarcelo Arenas, Michael I. Schwartzbach: Information systems preface. Inf. Syst. 34(7): 577 (2009)
2008
66EEMichael I. Schwartzbach: Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. CC 2008: 1-15
65EEClaus Brabrand, Anders Møller, Michael I. Schwartzbach: Dual syntax for XML languages. Inf. Syst. 33(4-5): 385-406 (2008)
2007
64 Marcelo Arenas, Michael I. Schwartzbach: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers Springer 2007
63EEAnders Møller, Michael I. Schwartzbach: XML graphs in program analysis. PEPM 2007: 1-10
62EEJanus Dam Nielsen, Michael I. Schwartzbach: A domain-specific programming language for secure multiparty computation. PLAS 2007: 21-30
61EEAnders Møller, Mads Østerby Olesen, Michael I. Schwartzbach: Static validation of XSL transformations. ACM Trans. Program. Lang. Syst. 29(4): (2007)
60EEClaus Brabrand, Michael I. Schwartzbach: The metafront system: Safe and extensible parsing and transformation. Sci. Comput. Program. 68(1): 2-20 (2007)
2006
59 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
58 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)
57EEGudmund Skovbjerg Frandsen, Michael I. Schwartzbach: A singular choice for multiple choice. SIGCSE Bulletin 38(4): 34-38 (2006)
2005
56EEClaus Brabrand, Anders Møller, Michael I. Schwartzbach: Dual Syntax for XML Languages. DBPL 2005: 27-41
55EEAnders Møller, Michael I. Schwartzbach: The Design Space of Type Checkers for XML Transformation Languages. ICDT 2005: 17-36
2004
54EEChristian Kirkegaard, Anders Møller, Michael I. Schwartzbach: Static Analysis of XML Transformations in Java. IEEE Trans. Software Eng. 30(3): 181-192 (2004)
2003
53EEAske Simon Christensen, Anders Møller, Michael I. Schwartzbach: Precise Analysis of String Expressions. SAS 2003: 1-18
52EEAske 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)
51EEClaus Brabrand, Michael I. Schwartzbach, Mads Vanggaard: The metafront System: Extensible Parsing and Transformation. Electr. Notes Theor. Comput. Sci. 82(3): (2003)
2002
50EEClaus Brabrand, Michael I. Schwartzbach: Growing languages with metamorphic syntax macros. PEPM 2002: 31-40
49EEClaus Brabrand, Anders Møller, Michael I. Schwartzbach: The <bigwig> project. ACM Trans. Internet Techn. 2(2): 79-114 (2002)
48 Nils Klarlund, Anders Møller, Michael I. Schwartzbach: The DSD Schema Language. Autom. Softw. Eng. 9(3): 285-319 (2002)
47EENils Klarlund, Anders Møller, Michael I. Schwartzbach: MONA Implementation Secrets. Int. J. Found. Comput. Sci. 13(4): 571-586 (2002)
46 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)
2001
45EEClaus Brabrand, Anders Møller, Michael I. Schwartzbach: Static validation of dynamically generated HTML. PASTE 2001: 38-45
44 Anders Møller, Michael I. Schwartzbach: The Pointer Assertion Logic Engine. PLDI 2001: 221-231
2000
43 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 Springer 2000
42EENils Klarlund, Anders Møller, Michael I. Schwartzbach: MONA Implementation Secrets. CIAA 2000: 182-194
41EEJacob Elgaard, Anders Møller, Michael I. Schwartzbach: Compile-Time Debugging of C Programs Working on Trees. ESOP 2000: 119-134
40EENils Klarlund, Anders Møller, Michael I. Schwartzbach: DSD: A schema language for XML. FMSP 2000: 101-111
39EEAnders Sandholm, Michael I. Schwartzbach: A Type System for Dynamic Web Documents. POPL 2000: 290-301
38 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)
1999
37 Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach: Yakyak: parsing with logical side constraints. Developments in Language Theory 1999: 286-301
36EEClaus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach: A Runtime System for Interactive Web Services. Computer Networks 31(11-16): 1391-1401 (1999)
35EENils Klarlund, Michael I. Schwartzbach: A Domain-Specific Language for Regular Sets of Strings and Trees. IEEE Trans. Software Eng. 25(3): 378-386 (1999)
1998
34EEAnders Sandholm, Michael I. Schwartzbach: Distributed Safety Controllers for Web Services. FASE 1998: 270-284
1997
33EENils Klarlund, Michael I. Schwartzbach: A Domain-Specific Language for Regular Sets of Strings and Trees. DSL 1997
32 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
31 Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach: Formal Design Constraints. OOPSLA 1996: 370-383
30EEMichael I. Schwartzbach: Static Correctness of Hierarchical Procedures. Theor. Comput. Sci. 156(1&2): 177-201 (1996)
29 Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach: Foreword: Special Volume of TAPSOFT 1995 Papers. Theor. Comput. Sci. 167(1&2): 1 (1996)
1995
28 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 Springer 1995
27 Jens Palsberg, Michael I. Schwartzbach: Safety Analysis versus Type Inference Inf. Comput. 118(1): 128-141 (1995)
26 Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach: Efficient Recursive Subtyping. Mathematical Structures in Computer Science 5(1): 113-125 (1995)
25 Ole Agesen, Jens Palsberg, Michael I. Schwartzbach: Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance Softw., Pract. Exper. 25(9): 975-995 (1995)
24 Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari: Type Inference for Turbo Pascal. Software - Concepts and Tools 16(4): 160-169 (1995)
23 Jens Palsberg, Michael I. Schwartzbach: Editorial. TAPOS 1(3): 149 (1995)
1994
22EENils Klarlund, Michael I. Schwartzbach: Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). CAAP 1994: 187-201
21 Jens Palsberg, Michael I. Schwartzbach: Binding-time Analysis: Abstract Interpretation versus Type Inference. ICCL 1994: 277-288
20 Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach: Efficient Inference of Partial Types. J. Comput. Syst. Sci. 49(2): 306-324 (1994)
19 Kim S. Larsen, Michael I. Schwartzbach: Injectivity of Composite Functions. J. Symb. Comput. 17(5): 393-408 (1994)
18 Jens Palsberg, Michael I. Schwartzbach: Static Typing for Object-Oriented Programming. Sci. Comput. Program. 23(1): 19-53 (1994)
1993
17EEOle Agesen, Jens Palsberg, Michael I. Schwartzbach: Type Inference of SELF. ECOOP 1993: 247-267
16 Nils Klarlund, Michael I. Schwartzbach: Graph Types. POPL 1993: 196-205
15 Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach: Efficient Recursive Subtyping. POPL 1993: 419-428
14 Michael I. Schwartzbach, Jens Palsberg: Types for the language designer (abstract). OOPS Messenger 4(2): 219 (1993)
1992
13EENicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach: Making Type Inference Practical. ECOOP 1992: 329-349
12 Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach: Efficient Inference of Partial Types FOCS 1992: 363-371
11 Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt: A New Formalism for Relational Algebra. Inf. Process. Lett. 41(3): 163-168 (1992)
10 Jens Palsberg, Michael I. Schwartzbach: Safety Analysis Versus Type Inference for Partial Types. Inf. Process. Lett. 43(4): 175-180 (1992)
9 Jens Palsberg, Michael I. Schwartzbach: Three discussions on object-oriented typing. OOPS Messenger 3(2): 31-38 (1992)
8 Michael I. Schwartzbach: Interpretations of Recursively Defined Types. Theor. Comput. Sci. 106(1): 119-134 (1992)
1991
7EEJens Palsberg, Michael I. Schwartzbach: What is Type-Safe Code Reuse? ECOOP 1991: 325-341
6 Jens Palsberg, Michael I. Schwartzbach: Object-Oriented Type Inference. OOPSLA 1991: 146-161
5EEMichael I. Schwartzbach: Type Inference with Inequalities. TAPSOFT, Vol.1 1991: 441-455
1990
4EEMichael I. Schwartzbach: Infinite Values in Hierarchical Imperative Types. CAAP 1990: 254-268
3EEMichael I. Schwartzbach: Static Correctness of Hierarchical Procedures. ICALP 1990: 32-45
2 Jens Palsberg, Michael I. Schwartzbach: Type Substitution for Object-Oriented Programming. OOPSLA/ECOOP 1990: 151-160
1989
1EEErik Meineche Schmidt, Michael I. Schwartzbach: An Imperative Type Hierarchy with Partial Products. MFCS 1989: 458-470

Coauthor Index

1Ole Agesen [17] [25]
2Marcelo Arenas [64] [67]
3Hosein Askari [24]
4Thomas Ball [59]
5Peter Bogetoft [68]
6Henning Böttger [58]
7Claus Brabrand [36] [38] [45] [46] [49] [50] [51] [56] [60] [65]
8Aske Simon Christensen [52] [53]
9Dan Lund Christensen [68]
10Niels Damgaard [37]
11Ivan Damgård [68]
12Jacob Elgaard [41]
13Gudmund Skovbjerg Frandsen [57]
14Martin Geisler [68]
15Susanne Graf [43]
16Ole I. Hougaard [24]
17Thomas Jakobsen [68]
18Jakob L. Jensen [32]
19Michael E. Jørgensen [32]
20Christian Kirkegaard [54]
21Nils Klarlund [16] [22] [31] [32] [33] [35] [37] [40] [42] [47] [48]
22Jari Koistinen [31]
23Dexter Kozen [12] [15] [20] [26]
24Mikkel Krøigaard [68]
25Kim S. Larsen [11] [19]
26Anders Møller [36] [38] [40] [41] [42] [44] [45] [46] [47] [48] [49] [52] [53] [54] [55] [56] [58] [61] [63] [65]
27Oege de Moor [69]
28Peter D. Mosses [28] [29]
29Janus Dam Nielsen [62] [68]
30Jesper Buus Nielsen [68]
31Kurt Nielsen [68]
32Mogens Nielsen [28] [29]
33Mads Østerby Olesen [61]
34Steffan Olesen [46]
35Nicholas Oxhøj [13]
36Jakob Illeborg Pagter (Jakob Pagter) [68]
37Jens Palsberg [2] [6] [7] [9] [10] [12] [13] [14] [15] [17] [18] [20] [21] [23] [25] [26] [27]
38Mikkel Ricky [38]
39Anders Sandholm [34] [36] [39]
40Erik Meineche Schmidt [1] [11]
41Tomas Toft [68]
42Mads Vanggaard [51]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)