Michael I. Schwartzbach
Affiliations:- Aarhus University, Denmark
According to our database1,
Michael I. Schwartzbach
authored at least 63 papers
between 1989 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on brics.dk
-
on dl.acm.org
On csauthors.net:
Bibliography
2012
Proceedings of the Web Engineering - 12th International Conference, 2012
2011
2009
Proceedings of the Financial Cryptography and Data Security, 2009
2008
Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation.
Proceedings of the Compiler Construction, 17th International Conference, 2008
2007
Sci. Comput. Program., 2007
Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007
2006
J. Web Eng., 2006
An introduction to XML and web technologies.
Addison-Wesley, ISBN: 978-0-321-26966-9, 2006
2005
Proceedings of the Database Theory, 2005
2004
2003
ACM Trans. Program. Lang. Syst., 2003
Proceedings of the Workshop on Language Descriptions, Tools and Applications, 2003
Proceedings of the Static Analysis, 10th International Symposium, 2003
2002
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002
2001
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001
2000
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000
Proceedings of the Programming Languages and Systems, 2000
1999
IEEE Trans. Software Eng., 1999
Proceedings of the Developments in Language Theory, 1999
1998
Proceedings of the Fundamental Approaches to Software Engineering, 1998
1997
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997
1996
Foreword: Special Volume of TAPSOFT 1995 Papers.
Theor. Comput. Sci., 1996
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996
1995
Editorial.
Theory Pract. Object Syst., 1995
Type Inference for Turbo Pascal.
Softw. Concepts Tools, 1995
Softw. Pract. Exp., 1995
1994
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994
Proceedings of the Trees in Algebra and Programming, 1994
Object-oriented type systems.
Wiley professional computing, Wiley, ISBN: 978-0-471-94128-6, 1994
1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
1992
Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992
Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992
1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991
Proceedings of the ECOOP'91 European Conference on Object-Oriented Programming, 1991
1990
Proceedings of the Conference on Object-Oriented Programming Systems, 1990
1989
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989