Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Moon, B., Jun, J. Y., Lee, J., Kim, K., Hachisuka, T. & Yoon , S. E. (2013). Robust Image Denoising using a Virtual Flash Image for Monte Carlo Ray Tracing. Computer Graphics Forum, 32(1), 139–151. https://doi.org/10.1111/cgf.12004

Monti, C., Manco, G., Aslay, C. & Bonchi, F. (2021). Learning Ideological Embeddings from Information Cascades. In Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (pp. 1325-1334). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482444

Møller-Nielsen, P. & Gejl Kristensen, J. (2004). Room #1. (Strandgade 10, 1. sal): Virtual reality and Visual Art. Paper presented at Den Gyldne, Charlottenborg Udstillingsbygning, Charlottenborg, København, Denmark.

Møller-Nielsen, P. & Gejl, J. (2005). Room #2 (Guirlanden, Aarhus Kunstbygning). Poster session presented at Room #2 (Guirlanden, Aarhus Kunstbygning), Aarhus, Denmark.

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Den gyldne, Charlottenborg Udstillingsbygning). Poster session presented at Room #2 (Den gyldne, Charlottenborg Udstillingsbygning), København, Denmark.

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Kunsthallen Brænderigården). Poster session presented at Room #2 (Kunsthallen Brænderigården), Viborg, Denmark.

Møller-Nielsen, P. & Gejl, J. (2006). Halvanden Meter Max.

Møller-Nielsen, P. & Gejl, J. (2006). Eyes On <-> Hands On.

Møller-Nielsen, P. & Gejl Kristensen, J. (2008). Waterfield. (Video ed.).

Møller-Nielsen, P. (2022). Undersøgelser omkring analyse og manipulation af musik og tale: En antologi.

Møller-Nielsen, P. (2022). Two Extensions of a Phase Vocoder.

Møller, A. & Schwartzbach, M. I. (2005). The Design Space of Type Checkers for XML Transformation Languages. In Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings (pp. 17-36). Springer. https://doi.org/10.1007/978-3-540-30570-5_2

Møller, A. (2002). Document Structure Description 2.0. B R I C S Notes Series, (NS-02-7).

Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. In M. L. Sofia (Ed.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Vol. 36(5), pp. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851

Møller, A. & Schwartzbach, M. I. (2001). The XML Revolution. B R I C S Notes Series, (NS-01-8).

Møller, A. & Schwartzbach, M. I. (2006). An Introduction to XML and Web Technologies. Addison-Wesley.

Møller, A. & Schwartzbach, M. I. (2007). XML Graphs in Program Analysis. In G. Ramalingam & E. Visser (Eds.), Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 1-10). Association for Computing Machinery. https://doi.org/10.1145/1244381.1244383

Møller, A., Olesen, M. Ø. & Schwartzbach, M. I. (2007). Static Validation of XSL Transformations. A C M Transactions on Programming Languages and Systems, 29(4), Article 21. https://doi.org/10.1145/1255450.1255454

Møller, A. (2006). Static Analysis for Event-Based XML Processing. B R I C S Report Series, (RS-06-16).

Møller, H. H., Dahl, M. R. & Grønbæk, K. (2007). EKGAR: Augmented Reality Support for Learning of Electrocardiography (ECG) Analysis. In Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2007 Association for the Advancement of Computing in Education.

Møller, H. H., Dahl, M. R. & Grønbæk, K. (2007). EKGAR: Interactive ECG-Learning with Augmented Reality. In 2nd Conference on Human Factors Engineering in Health Informatics: HFE2007 Proceedings (pp. 22 - 24). Virtual Center for Health Informatics, Aalborg University. http://www.v-chi.dk/hfeinhi2007/54449%20HFE%20proceedings_WEB.pdf

Møller, A. (2008). Static Analysis for Event-Based XML Processing. In PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008 (pp. 18-27). Universität Trier.

Møller, A. & Schwarz, M. R. (2009). JWIG: Yet Another Framework for Maintainable and Secure Web Applications. In J. Filipe & J. Cordeiro (Eds.), WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies (pp. 47-53). Institute for Systems and Technologies of Information, Control and Communication.

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

Møller, A. & Schwartzbach, M. I. (2002). Interactive Web Services with Java. (pp. 1-100). Department of Computer Science, Aarhus University. http://www.brics.dk/NS/02/1/BRICS-NS-02-1.pdf

Møller, A. & Schwarz, M. R. (2011). HTML Validation of Context-Free Languages. Lecture Notes in Computer Science, 6604, 426-440. https://doi.org/10.1007/978-3-642-19805-2_29

Møller, M. H., Adamsen, S., Thomsen, R. W., Møller, A. M. & Peptic Ulcer Perforation (PULP) trial group (2011). Multicentre trial of a perioperative protocol to reduce mortality in patients with peptic ulcer perforation. British Journal of Surgery, 98(6), 802-10. https://doi.org/10.1002/bjs.7429

Møller, A. & Schwarz, M. (2012). Automated Detection of Client-State Manipulation Vulnerabilities. In M. Glinz, G. Murphy & M. Pezzè (Eds.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (pp. 749 - 759 ). IEEE Communications Society. https://doi.org/10.1109/ICSE.2012.6227143

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, Article 29. https://doi.org/10.1145/2531921

Møller, A. & Naik, M. (2015). SOAP'15: Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis. In Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2771284

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Møller, A. & Torp, M. T. (2019). Model-based testing of breaking changes in Node.js libraries. In S. Apel, M. Dumas, A. Russo & D. Pfahl (Eds.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 409-419). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338940

Møller, A. & Veileborg, O. H. (2020). Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization. Proceedings of the ACM on Programming Languages , 4(OOPSLA), Article 168. https://doi.org/10.1145/3428236

Møller, A. & Sridharan, M. (Eds.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). In A. Møller & M. Sridharan (Eds.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (pp. vii-ix). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

Møller, A. (2002). Program Verification with Monadic Second-Order Logic & Languages for Web Service Development. Datalogisk Institut, Aarhus Universitet.

Mølhave, T., Agarwal, P. K., Arge, L. A. & Revsbæk, M. (2010). Scalable Algorithms for Large High-Resolution Terrain Data. In L. Liao (Ed.), Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application. COM.Geo '10 (pp. Article No.: 20). Association for Computing Machinery. https://doi.org/10.1145/1823854.1823878

Mølhave, T. (2009). Handling Massive Terrains and Unreliable Memory. Aarhus Universitetsforlag.

Møldrup, L. & Pavlogiannis, A. (2025). AWDIT: An Optimal Weak Database Isolation Tester. Proceedings of the ACM on Programming Languages , 9, 1540-1564. Article 209. https://doi.org/10.1145/3742465

Mogensen, P. H. (2001). Interactive Workspaces: Demo. Paper presented at Nordic Interactive Conference, Cobenhagen, Denmark.

Mogensen, P. H., Grønbæk, K., Christensen, M. & Ørbæk, P. (2001). Open 3D spatial Hypermedia as Roomware Components for Interactive Workspaces. In K. Grønbæk (Ed.), Conference on Hypertext and Hypermedia: Proceedings of the 12th ACM conference on Hypertext and Hypermedia (Vol. Session: Presentations, pp. Demo). Society for Industrial and Applied Mathematics.

Mogensen, P. (2001). Workspace - distributed work support through spatial computing environments. Paper presented at Disappearing Computer Jamboree, Zürich, Switzerland.

Mogensen, P. H. (Ed.) (2004). Documentation of Appliances & Interaction Devices: Deliverable 16. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 16 ed., Vol. WS-UAA-20, pp. 1-22). Datalogisk Institut, Aarhus Universitet. http://www.daimi.au.dk/workspace/Deliverables/WS-D16-v1-0.pdf

Mogensen, P. H. (2005). Next Generation Collaborative Working Environments. Collaboration@Work, The 2005 Report on new working environments and practices, 106-108.

Mogensen, P. H. & Shapiro, D. (1998). When Survival is an Issue: PD in support of landscape architecture. Computer Supported Cooperative Work: The Journal of Collaborative Computing, 7, 187-203. https://doi.org/10.1023/A:1008655302519

Mogensen, P. H. & Robinson, M. (1995). Triggering Artefacts. AI & Society, 9(4), 373-388. https://doi.org/10.1007/BF01210588

Mogensen, P. H. (1992). Towards a Provotyping Approach in Systems Development. Scandinavian Journal of Information Systems, 4, 31-53.

Mogensen, P. H. & Grønbæk, K. (2000). Hypermedia in the Virtual Project Room - Toward Open 3D Spatial Hypermedia. In Proceedings of the Eleventh Conference on Hypertext and Hypermedia (pp. 113-122). Association for Computing Machinery. https://doi.org/10.1145/336296.336340

Mogensen, P. H. & Trigg, R. (1992). Artifacts as triggers for participatory analysis. In Proceedings of the Participatory Design Conference (PDC) (pp. 55-62)

Mogensen, M., Frey, D., Guerraoui, R., Kermarrec, A.-M., Monod, M. & Quema, V. (2008). Gossiping Capabilities. École Polytechnique Fédérale de Lausanne.

Mogensen, M. (2009). Epidemic Protocols for Pervasive Computing Systems - Moving Focus from Architecture to Protocol. In L. Veiga, D. Donsez, O. Riva & S. Terzis (Eds.), Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009) (pp. Article 6). Association for Computing Machinery.

Displaying results 1351 to 1400 out of 5709

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University