Anders Møller

Research activity per year

Filter

2000

DSD: A Schema Language for XML
Klarlund, N., Møller, A. & Schwartzbach, M. I., 2000, Proceedings of the third workshop on Formal methods in software practice. Association for Computing Machinery, p. 101-111 11 p.
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

21 Citations (Scopus)
1999
A Runtime System for Interactive Web Services
Brabrand, C., Møller, A., Sandholm, A. & Schwartzbach, M. I., 1999, Proceedings of the 8th International World Wide Web Conference. Elsevier
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
9 Citations (Scopus)
1998
MONA 1.x: New Techniques for WS1S and WS2S
Elgaard, J., Klarlund, N. & Møller, A., 1998, Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. Hu, A. J. & Vardi, M. Y. (eds.). Springer, p. 516-520 5 p. (Lecture Notes in Computer Science, Vol. 1427).
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
56 Citations (Scopus)

Research output