| Secure multiparty computation goes live P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ... Financial Cryptography and Data Security: 13th International Conference, FC …, 2009 | 680 | 2009 |
| Secure multiparty computation goes live P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ... Financial Cryptography and Data Security: 13th International Conference, FC …, 2009 | 680 | 2009 |
| Secure multiparty computation goes live P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ... Financial Cryptography and Data Security, 325-343, 2009 | 680 | 2009 |
| Precise analysis of string expressions AS Christensen, A Møller, MI Schwartzbach Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA …, 2003 | 606 | 2003 |
| Object-oriented type inference J Palsberg, MI Schwartzbach ACM SIGPLAN Notices 26 (11), 146-161, 1991 | 470 | 1991 |
| The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Notices 36 (5), 221-231, 2001 | 364 | 2001 |
| Object-oriented type systems J Palsberg, MI Schwartzbach John Wiley and Sons Ltd., 1994 | 362 | 1994 |
| MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (04), 571-586, 2002 | 210 | 2002 |
| Graph types N Klarlund, MI Schwartzbach Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 209 | 1993 |
| Type Inference of Self Analysis of Objects with Dynamic and Multiple Inheritance O Agesen, J Palsberg, MI Schwartzbach ECOOP’93—Object-Oriented Programming: 7th European Conference …, 2000 | 173* | 2000 |
| Efficient recursive subtyping D Kozen, J Palsberg, MI Schwartzbach Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 169 | 1993 |
| An introduction to XML and Web technologies A Møller, MI Schwartzbach Pearson Education, 2006 | 162 | 2006 |
| Making type inference practical N Oxhøj, J Palsberg, MI Schwartzbach ECOOP’92 European Conference on Object-Oriented Programming: Utrecht, The …, 1992 | 156 | 1992 |
| 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 | 150 | 2003 |
| The project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002 | 147 | 2002 |
| 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 | 131 | 2000 |
| Automatic verification of pointer programs using monadic second-order logic JL Jensen, ME Jørgensen, MI Schwartzbach, N Klarlund Proceedings of the ACM SIGPLAN 1997 conference on Programming language …, 1997 | 125 | 1997 |
| Static analysis of XML transformations in Java C Kirkegaard, A Moller, MI Schwartzbach IEEE Transactions on Software Engineering 30 (3), 181-192, 2004 | 111 | 2004 |
| Efficient inference of partial types D Kozen, J Palsberg, MI Schwartzbach Journal of Computer and System Sciences 49 (2), 306-324, 1994 | 99 | 1994 |
| Growing languages with metamorphic syntax macros C Brabrand, MI Schwartzbach Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and …, 2002 | 97 | 2002 |
Anders MøllerProfessor, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
