Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Møller, H. H., Dahl, M. R. & Grønbæk, K. (2007). EKGAR: Interactive ECG-Learning with Augmented Reality. I 2nd Conference on Human Factors Engineering in Health Informatics: HFE2007 Proceedings (s. 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. I PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008 (s. 18-27). Universität Trier.

Møller, A. & Schwarz, M. R. (2009). JWIG: Yet Another Framework for Maintainable and Secure Web Applications. I J. Filipe & J. Cordeiro (red.), WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies (s. 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. (s. 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. I M. Glinz, G. Murphy & M. Pezzè (red.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (s. 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, Artikel 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. I 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. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 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), Artikel 168. https://doi.org/10.1145/3428236

Møller, A. & Sridharan, M. (red.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). I A. Møller & M. Sridharan (red.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (s. 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. I L. Liao (red.), Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application. COM.Geo '10 (s. 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. Artikel 209. https://doi.org/10.1145/3742465

Mogensen, P. H. (2001). Interactive Workspaces: Demo. Afhandling præsenteret på Nordic Interactive Conference, Cobenhagen, Danmark.

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

Mogensen, P. (2001). Workspace - distributed work support through spatial computing environments. Afhandling præsenteret på Disappearing Computer Jamboree, Zürich, Schweiz.

Mogensen, P. H. (red.) (2004). Documentation of Appliances & Interaction Devices: Deliverable 16. I EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 16 udg., Bind WS-UAA-20, s. 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. I Proceedings of the Eleventh Conference on Hypertext and Hypermedia (s. 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. I Proceedings of the Participatory Design Conference (PDC) (s. 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. I L. Veiga, D. Donsez, O. Riva & S. Terzis (red.), Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009) (s. Article 6). Association for Computing Machinery.

Mogensen, P. H. (1994). Locating Design, Development and Use. Afhandling præsenteret på Oksnøen Symposium 1994.

Mogensen, P. H. (1992). Cooperative Analysis of Constraints and Possibilities for Change. I G. Bjerknes, T. Bratteteig & K. Krautz (red.), Proceedings of the 15th IRIS (s. 262-270). University of Oslo.

Mogensen, P. H. & Thomsen, M. (1990). Activity Theory and Heidegger: A Phenomenological Perspective on an Activity-theoretical Basis for Systems Development. Afhandling præsenteret på 2nd International Society for Cultural and Activity Research Congress. ISCRAT 1990, Lahti, Finland.

Mogensen, P. H. (1990). Provotyping? I Proceedings of the 13th IRIS (s. 299-312). Åbo Akademi.

Mogensen, P. H. & Wollsen, S. (2014). Participatory Realisation? PD in a complex, large-scale, and commercial context. I O. S. Iversen, H. Winschiers-Theophilus, V. D'Andrea, A. Clement, A. Botero & K. Bødker (red.), Proceedings of the 13th Participatory Design Conference, PDC '14 : Research Papers (s. 21-30 (Vol. 1)). Association for Computing Machinery. https://doi.org/10.1145/2661435.2661443

Mogensen, P. H. (1994). Challenging Practice: an Approach to Cooperative Analysis. Department of Computer Science, Aarhus University.

Moeslund, J. E., Bøcher, P. K., Svenning, J.-C., Møllehave, T. & Arge, L. (2009). Impacts of 21^stcentury sea-level rise on a Danish major city - an assessment based on fine-resolution digital topography and a new flooding algorithm. IOP Conference Series: Earth and Environment Science, 8(1), 012022. https://doi.org/10.1088/1755-1315/8/1/012022

Moeslund, J. E., Arge, L., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). Konsekvenser af "coastal squeezing" for plantesamfund på strandenge i Danmark.

Moeslund, J. E., Arge, L. A., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). The impacts of coastal squeezing on salt-meadow plant communities in Denmark. Poster-session præsenteret på Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Danmark.

Moeslund, J. E., Arge, L. A., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2011). Geographically Comprehensive Assessment of Salt-Meadow Vegetation-Elevation Relations Using LiDAR. Wetlands, 31(3), 471-482. https://doi.org/10.1007/s13157-011-0179-2

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Odgaard, M. V., Nygaard, B. & Svenning, J.-C. (2013). Topographically controlled soil moisture is the primary driver of local vegetation patterns across a lowland region. Ecosphere (Washington, D.C.), 4(7), Artikel 91. https://doi.org/10.1890/ES13-00134.1

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). Load Balancing Metric with Diversity for Energy Efficient Routing in Wireless Sensor Networks. Procedia Computer Science, 5, 804-811. https://doi.org/10.1016/j.procs.2011.07.110

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. I Wireless Days (WD), 2011 IFIP (s. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B., Bouabdallah, N. & Ksentini, A. (2012). On balancing between minimum energy and minimum delay with radio diversity for wireless sensor networks. I 2012 IFIP Wireless Days (WD) (s. 1 - 6 ). IEEE Press. https://doi.org/10.1109/WD.2012.6402840

Mitchell, R., Fender, A. & Mueller, F. F. (2016). HandyFeet: Social Bodily Play Via Split Control of a Human Puppet's Limbs. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (s. 506-511). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856531

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Head Up Visualization of Spatial Sound Sources in Virtual Reality for Deaf and Hard-of-Hearing People. I Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2021 (s. 582-587). Artikel 9417788 IEEE. https://doi.org/10.1109/VR50410.2021.00083

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Multi-modal Spatial Object Localization in Virtual Reality for Deaf and Hard-of-Hearing People. I Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2021 (s. 588-596). Artikel 9417786 IEEE. https://doi.org/10.1109/VR50410.2021.00084

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Effects of Using Vibrotactile Feedback on Sound Localization by Deaf and Hard-of-Hearing People in Virtual Environments. Electronics, 10(22), Artikel 2794. https://doi.org/10.3390/electronics10222794

Miruchna , V., Walter , R., Lindlbauer , D., Lehmann , M., Klitzing, R. V. & Müller, J. (2015). GelTouch: Localized Tactile Feedback Through Thin, Programmable Gel. I UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology (s. 3-10 ). Association for Computing Machinery. https://doi.org/10.1145/2807442.2807487

Miltersen, P. B., Rajasekaran, S. (red.), Pardalos, P. M. (red.), Reif, J. H. (red.) & Rolim, J. D. P. (red.) (2001). Derandomizing complexity classes. I Handbook on Randomized Computing: Combinatorial Optimization, Vol. 9 (chapter 19 udg., Bind II, chapter 19, s. 843-935). Kluwer Academic Publishers (Springer).

Viser resultater 1451 til 1500 ud af 5934

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series