The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael I. Schwartzbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach
    Making Type Inference Practical. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1992, pp:329-349 [Conf]
  2. Jens Palsberg, Michael I. Schwartzbach
    Object-Oriented Type Inference. [Citation Graph (1, 0)][DBLP]
    OOPSLA, 1991, pp:146-161 [Conf]
  3. Nils Klarlund, Michael I. Schwartzbach
    Graphs and Decidable Transductions Based on Edge Constraints (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAAP, 1994, pp:187-201 [Conf]
  4. Michael I. Schwartzbach
    Infinite Values in Hierarchical Imperative Types. [Citation Graph (0, 0)][DBLP]
    CAAP, 1990, pp:254-268 [Conf]
  5. Claus Brabrand, Anders Møller, Michael I. Schwartzbach
    Dual Syntax for XML Languages. [Citation Graph (0, 0)][DBLP]
    DBPL, 2005, pp:27-41 [Conf]
  6. Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach
    Yakyak: parsing with logical side constraints. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 1999, pp:286-301 [Conf]
  7. Nils Klarlund, Michael I. Schwartzbach
    A Domain-Specific Language for Regular Sets of Strings and Trees. [Citation Graph (0, 0)][DBLP]
    DSL, 1997, pp:- [Conf]
  8. Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
    Type Inference of SELF. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1993, pp:247-267 [Conf]
  9. Jens Palsberg, Michael I. Schwartzbach
    What is Type-Safe Code Reuse? [Citation Graph (0, 0)][DBLP]
    ECOOP, 1991, pp:325-341 [Conf]
  10. Jacob Elgaard, Anders Møller, Michael I. Schwartzbach
    Compile-Time Debugging of C Programs Working on Trees. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:119-134 [Conf]
  11. Anders Sandholm, Michael I. Schwartzbach
    Distributed Safety Controllers for Web Services. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:270-284 [Conf]
  12. Nils Klarlund, Anders Møller, Michael I. Schwartzbach
    DSD: A schema language for XML. [Citation Graph (0, 0)][DBLP]
    FMSP, 2000, pp:101-111 [Conf]
  13. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Inference of Partial Types [Citation Graph (0, 0)][DBLP]
    FOCS, 1992, pp:363-371 [Conf]
  14. Michael I. Schwartzbach
    Static Correctness of Hierarchical Procedures. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:32-45 [Conf]
  15. Jens Palsberg, Michael I. Schwartzbach
    Binding-time Analysis: Abstract Interpretation versus Type Inference. [Citation Graph (0, 0)][DBLP]
    ICCL, 1994, pp:277-288 [Conf]
  16. Anders Møller, Michael I. Schwartzbach
    The Design Space of Type Checkers for XML Transformation Languages. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:17-36 [Conf]
  17. Erik Meineche Schmidt, Michael I. Schwartzbach
    An Imperative Type Hierarchy with Partial Products. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:458-470 [Conf]
  18. Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach
    Formal Design Constraints. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:370-383 [Conf]
  19. Jens Palsberg, Michael I. Schwartzbach
    Type Substitution for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:151-160 [Conf]
  20. Claus Brabrand, Anders Møller, Michael I. Schwartzbach
    Static validation of dynamically generated HTML. [Citation Graph (0, 0)][DBLP]
    PASTE, 2001, pp:38-45 [Conf]
  21. Claus Brabrand, Michael I. Schwartzbach
    Growing languages with metamorphic syntax macros. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:31-40 [Conf]
  22. Anders Møller, Michael I. Schwartzbach
    XML graphs in program analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 2007, pp:1-10 [Conf]
  23. Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund, Michael I. Schwartzbach
    Automatic Verification of Pointer Programs using Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:226-236 [Conf]
  24. Anders Møller, Michael I. Schwartzbach
    The Pointer Assertion Logic Engine. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:221-231 [Conf]
  25. Nils Klarlund, Michael I. Schwartzbach
    Graph Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:196-205 [Conf]
  26. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:419-428 [Conf]
  27. Anders Sandholm, Michael I. Schwartzbach
    A Type System for Dynamic Web Documents. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:290-301 [Conf]
  28. Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
    Precise Analysis of String Expressions. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:1-18 [Conf]
  29. Michael I. Schwartzbach
    Type Inference with Inequalities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:441-455 [Conf]
  30. Nils Klarlund, Anders Møller, Michael I. Schwartzbach
    MONA Implementation Secrets. [Citation Graph (0, 0)][DBLP]
    CIAA, 2000, pp:182-194 [Conf]
  31. Nils Klarlund, Anders Møller, Michael I. Schwartzbach
    The DSD Schema Language. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:3, pp:285-319 [Journal]
  32. Claus Brabrand, Anders Møller, Anders Sandholm, Michael I. Schwartzbach
    A Runtime System for Interactive Web Services. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1999, v:31, n:11-16, pp:1391-1401 [Journal]
  33. Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard
    The metafront System: Extensible Parsing and Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:3, pp:- [Journal]
  34. Jens Palsberg, Michael I. Schwartzbach
    Safety Analysis versus Type Inference [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:1, pp:128-141 [Journal]
  35. Nils Klarlund, Anders Møller, Michael I. Schwartzbach
    MONA Implementation Secrets. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:4, pp:571-586 [Journal]
  36. Kim S. Larsen, Michael I. Schwartzbach, Erik Meineche Schmidt
    A New Formalism for Relational Algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:41, n:3, pp:163-168 [Journal]
  37. Jens Palsberg, Michael I. Schwartzbach
    Safety Analysis Versus Type Inference for Partial Types. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:43, n:4, pp:175-180 [Journal]
  38. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Inference of Partial Types. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1994, v:49, n:2, pp:306-324 [Journal]
  39. Kim S. Larsen, Michael I. Schwartzbach
    Injectivity of Composite Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:17, n:5, pp:393-408 [Journal]
  40. Henning Böttger, Anders Møller, Michael I. Schwartzbach
    Contracts for Cooperation between Web Service Programmers and HTML Designers. [Citation Graph (0, 0)][DBLP]
    J. Web Eng., 2006, v:5, n:1, pp:65-90 [Journal]
  41. Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach
    Efficient Recursive Subtyping. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:113-125 [Journal]
  42. Jens Palsberg, Michael I. Schwartzbach
    Three discussions on object-oriented typing. [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1992, v:3, n:2, pp:31-38 [Journal]
  43. Michael I. Schwartzbach, Jens Palsberg
    Types for the language designer (abstract). [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1993, v:4, n:2, pp:219- [Journal]
  44. Jens Palsberg, Michael I. Schwartzbach
    Static Typing for Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:23, n:1, pp:19-53 [Journal]
  45. Ole Agesen, Jens Palsberg, Michael I. Schwartzbach
    Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:9, pp:975-995 [Journal]
  46. Ole I. Hougaard, Michael I. Schwartzbach, Hosein Askari
    Type Inference for Turbo Pascal. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1995, v:16, n:4, pp:160-169 [Journal]
  47. Jens Palsberg, Michael I. Schwartzbach
    Editorial. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1995, v:1, n:3, pp:149- [Journal]
  48. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
    Foreword: Special Volume of TAPSOFT 1995 Papers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:167, n:1&2, pp:1- [Journal]
  49. Michael I. Schwartzbach
    Interpretations of Recursively Defined Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:106, n:1, pp:119-134 [Journal]
  50. Michael I. Schwartzbach
    Static Correctness of Hierarchical Procedures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:156, n:1&2, pp:177-201 [Journal]
  51. Claus Brabrand, Anders Møller, Michael I. Schwartzbach
    The <bigwig> project. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Internet Techn., 2002, v:2, n:2, pp:79-114 [Journal]
  52. Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
    Extending Java for high-level Web service construction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:6, pp:814-875 [Journal]
  53. Christian Kirkegaard, Anders Møller, Michael I. Schwartzbach
    Static Analysis of XML Transformations in Java. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:3, pp:181-192 [Journal]
  54. Nils Klarlund, Michael I. Schwartzbach
    A Domain-Specific Language for Regular Sets of Strings and Trees. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:3, pp:378-386 [Journal]
  55. Claus Brabrand, Anders Møller, Steffan Olesen, Michael I. Schwartzbach
    Language-Based Caching of Dynamiclly Generated HTML. [Citation Graph (0, 0)][DBLP]
    World Wide Web, 2002, v:5, n:4, pp:305-324 [Journal]
  56. Claus Brabrand, Anders Møller, Mikkel Ricky, Michael I. Schwartzbach
    PowerForms: Declarative client-side form field validation. [Citation Graph (0, 0)][DBLP]
    World Wide Web, 2000, v:3, n:4, pp:205-214 [Journal]
  57. Claus Brabrand, Michael I. Schwartzbach
    The metafront system: Safe and extensible parsing and transformation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:68, n:1, pp:2-20 [Journal]
  58. Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach
    Static validation of XSL transformations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:4, pp:- [Journal]

  59. Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. [Citation Graph (, )][DBLP]


  60. Secure Multiparty Computation Goes Live. [Citation Graph (, )][DBLP]


  61. A domain-specific programming language for secure multiparty computation. [Citation Graph (, )][DBLP]


Search in 0.133secs, Finished in 0.136secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002