| Secure multiparty computation goes live P Bogetoft, DL Christensen, I Damgård, M Geisler, T Jakobsen, ... Financial Cryptography and Data Security, 325-343, 2009 | 780 | 2009 |
| Precise analysis of string expressions AS Christensen, A Møller, MI Schwartzbach International Static Analysis Symposium, 1-18, 2003 | 623 | 2003 |
| Object-oriented type inference J Palsberg, MI Schwartzbach ACM SIGPLAN Notices 26 (11), 146-161, 1991 | 476 | 1991 |
| Object-oriented type systems J Palsberg, MI Schwartzbach John Wiley and Sons Ltd., 1994 | 373 | 1994 |
| The pointer assertion logic engine A Møller, MI Schwartzbach ACM SIGPLAN Notices 36 (5), 221-231, 2001 | 369 | 2001 |
| MONA implementation secrets N Klarlund, A Møller, MI Schwartzbach International Journal of Foundations of Computer Science 13 (04), 571-586, 2002 | 219 | 2002 |
| Graph types N Klarlund, MI Schwartzbach Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 211 | 1993 |
| Efficient recursive subtyping D Kozen, J Palsberg, MI Schwartzbach Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 174 | 1993 |
| Type Inference of Self Analysis of Objects with Dynamic and Multiple Inheritance O Agesen, J Palsberg, MI Schwartzbach European Conference on Object-Oriented Programming, 247-267, 1993 | 172 | 1993 |
| An introduction to XML and Web technologies A Møller, MI Schwartzbach Pearson Education, 2006 | 167 | 2006 |
| 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 | 160 | 2003 |
| Making type inference practical N Oxhøj, J Palsberg, MI Schwartzbach ECOOP’92 European Conference on Object-Oriented Programming: Utrecht, The …, 1992 | 160 | 1992 |
| The project C Brabrand, A Møller, MI Schwartzbach ACM Transactions on Internet Technology (TOIT) 2 (2), 79-114, 2002 | 146 | 2002 |
| 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 | 137 | 1997 |
| 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 | 134 | 2000 |
| Static analysis of XML transformations in Java C Kirkegaard, A Moller, MI Schwartzbach IEEE Transactions on Software Engineering 30 (3), 181-192, 2004 | 113 | 2004 |
| Static program analysis A Møller, MI Schwartzbach Notes. Feb, 2012 | 102 | 2012 |
| Efficient inference of partial types D Kozen, J Palsberg, MI Schwartzbach Journal of Computer and System Sciences 49 (2), 306-324, 1994 | 100 | 1994 |
| Growing languages with metamorphic syntax macros C Brabrand, MI Schwartzbach Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and …, 2002 | 99 | 2002 |
| Powerforms: Declarative client-side form field validation C Brabrand, A Møller, M Ricky, MI Schwartzbach World Wide Web 3, 205-214, 2000 | 98 | 2000 |
Anders MøllerProfessor, Aarhus University在 cs.au.dk 的电子邮件经过验证
