Michael Schwartzbach
Michael Schwartzbach
Professor of Computer Science, Aarhus University
Verified email at cs.au.dk - Homepage
TitleCited byYear
Precise analysis of string expressions
AS Christensen, A Møller, MI Schwartzbach
International Static Analysis Symposium, 1-18, 2003
5132003
Secure multiparty computation goes live
P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ...
International Conference on Financial Cryptography and Data Security, 325-343, 2009
4192009
Secure multiparty computation goes live
P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ...
International Conference on Financial Cryptography and Data Security, 325-343, 2009
4192009
Secure multiparty computation goes live
P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ...
Financial Cryptography and Data Security, 325-343, 2009
4192009
Object-oriented type inference
J Palsberg, MI Schwartzbach
DAIMI Report Series 20 (345), 1991
4181991
The pointer assertion logic engine
A Møller, MI Schwartzbach
ACM SIGPLAN Notices 36 (5), 221-231, 2001
3462001
Object-oriented type systems
J Palsberg, MI Schwartzbach
John Wiley and Sons Ltd., 1994
3461994
Graph types
N Klarlund, MI Schwartzbach
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1981993
MONA implementation secrets
N Klarlund, A Møller, MI Schwartzbach
International Journal of Foundations of Computer Science 13 (04), 571-586, 2002
1872002
Type Inference of Self
O Agesen, J Palsberg, MI Schwartzbach
European Conference on Object-Oriented Programming, 247-267, 1993
165*1993
Efficient recursive subtyping
D Kozen, J Palsberg, MI Schwartzbach
Mathematical Structures in Computer Science 5 (1), 113-125, 1995
1571995
An introduction to XML and Web technologies
M Anders
Pearson Education India, 2009
1512009
Making type inference practical
N Oxhøj, J Palsberg, MI Schwartzbach
European Conference on Object-Oriented Programming, 329-349, 1992
1481992
The< bigwig> project
C Brabrand, A Møller, MI Schwartzbach
ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002
1462002
Extending Java for high-level Web service construction
AS Christensen, A Møller, MI Schwartzbach
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 814-875, 2003
1422003
DSD: A schema language for XML
N Klarlund, A Møller, MI Schwartzbach
Proceedings of the third workshop on Formal methods in software practice …, 2000
1312000
Automatic verification of pointer programs using monadic second-order logic
JL Jensen, ME Jørgensen, MI Schwartzbach, N Klarlund
ACM SIGPLAN Notices 32 (5), 226-234, 1997
1271997
Constructing CSCW: The first quarter century
K Schmidt, L Bannon
Computer supported cooperative work (CSCW) 22 (4-6), 345-372, 2013
1042013
Public values and public service motivation: Conceptual and empirical relationships
LB Andersen, TB Jørgensen, AM Kjeldsen, LH Pedersen, K Vrangbæk
The American Review of Public Administration 43 (3), 292-311, 2013
1022013
Static analysis of XML transformations in Java
C Kirkegaard, A Moller, MI Schwartzbach
IEEE Transactions on Software Engineering 30 (3), 181-192, 2004
1012004
The system can't perform the operation now. Try again later.
Articles 1–20