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

Mosses, P. D. (red.) (2004). Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language. (2960 i Lecture Notes in Computer Science udg.) Springer.

Mosses, P. D. (2004). Exploiting Labels in Structural Operational Semantics. Fundamenta Informaticae, 60, 17-31.

Mosses, P. D., Haddad, H. (red.), Omicini, A. (red.), Wainwright, R. L. (red.) & Liebrock, L. M. (red.) (2004). Exploiting Labels in Structural Operational Semantics. I Ikke angivet (s. 1476-1481). Association for Computing Machinery.

Mosses, P. D., Karsai, G. (red.) & Visser, E. (red.) (2004). Modular Language Descriptions. I Ikke angivet (3286 i Lecture Notes in Computer Science udg., s. 489-490). Springer.

Mosses, P. D. (2004). Modular Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming, 60-61, 195-228.

Mosses, P. D., Kirchner, H. (red.) & Ringeissen, C. (red.) (2002). Pragmatics of Modular SOS. I Ikke angivet (2422 of Lecture Notes in Computer Science udg., s. 49-72). Springer.

Mosses, P. D. (2002). Proceedings of the 4th International Workshop on Action Semantics. (BRICS NS-02-8 udg.) Aarhus Universitet.

Mosses, P. D., Bjørner, D. (red.), Broy, M. (red.) & Zamulin, A. V. (red.) (2001). The Varieties of Programming Language Semantics (and Their Uses). I Perspectives of System Informatics: Lecture Notes in Computer Science (Bind 2244, s. 165-190). Springer.

Mosses, P. D. (2005). Exploiting Labels in Structural Operational Semantics. BRICS Report Series, (RS-05-8).

Mosses, P. D. (2005). Modular Structural Operational Semantics. BRICS Report Series, (RS-05-7).

Mosses, P. D. & Czaja, L. (red.) (2003). Some Novel Techniques in Operational Semantics. I L. Czaja (red.), Concurrency, Specification, and Programming, CS\&P 2003, Czarna, Poland, Proceedings (s. 21-34). Warsaw University.

Mosegaard, J. & Sørensen, T. S. (2005). Real-time Deformation of Detailed Geometry Based on Mappings to a Less Detailed Physical Simulation on the GPU. I 11th Eurographics Workshop on Virtual Enviroments (s. 105-111). European Association for Computer Graphics.

Mosegaard, J. & Sørensen, T. S. (2005). A GPU Accelerated Spring Mass System for Surgical Simulation. I Medicine Meets Virtual Reality (13 udg., s. 342-348). IOS Press.

Mosegaard, J. (2004). Parameter Optimisation for the Behaviour of Elastic Models over Time. I J. D. Westwood (red.), Medicine Meets Virtual Reality (Bind Technology and informatics 98, s. 256-258). IOS Press.

Mosegaard, J. (2004). LR-Spring Mass Model for Cardiac Surgical Simulation. I Medicine Meets Virtual Reality (12 udg., Bind 98, s. 253-255). IOS Press.

Mosegaard, J. & Bennedsen, J. (2006). A Framework for Narration and Learning in Educational Multimedia. I D. Lassner & C. McNaught (red.), World Conference on Educational Multimedia, Hypermedia and Telecommunications 2003 (Bind 2003, Issue 1, s. 99-106). ED-MEDIA.

Mosegaard, J. & Sørensen, T. S. (2006). Technical Aspects of the GPU Accelerated Surgical Simulator. Software .

Mosegaard, J., Carstensen, B. S., Rasmusson, A. & Sørensen, T. S. (2007). Smooth haptic interaction from discontinuous simulation data. I Proceedings of Medicine Meets Virtual Reality 15. Studies in Health Technology and Informatics (Bind 125, s. 328-333). IOS Press.

Mosegaard, J. (2006). Cardiac Surgery Simulation.

Moruz, G. (2007). Hardware-Aware Algorithms and Data Structures.

Mortensen, K. H. (2001). Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. I K. Jensen (red.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 57-75). Department of Computer Science, Aarhus University.

Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (red.), Eggen, B. (red.) & Aarts (red.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science udg., s. 315-326). Springer.

Mortensen, K. H., Schougaard, K. S. F. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Center for Pervasive Computing Publications, CfPC-2003-PB-53.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I P. Markopoulos, B. Eggen, E. Aarts & J. Crowley (red.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (s. 315-326). Springer. https://doi.org/10.1007/978-3-540-30473-9_30

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Department of Computer Science, Aarhus University.

Mortensen, D. H., Hepworth, S. J., Berg, K. S. & Petersen, M. G. (2012). "It's in Love with You". Communicating Status and Preference with Simple Product Movements. I CHI EA '12: Extended abstracts on Human Factors in Computing Systems (s. 61-70). Association for Computing Machinery. https://doi.org/10.1145/2212776.2212784

Mortensen, M. L., Chester, S., Assent, I. & Magnani, M. (2015). Efficient caching for constrained skyline queries. I International Conference on Extending Database Technology (EDBT 2015) (s. 337-348). openproceedings.org. https://doi.org/10.5441/002/edbt.2015.30

Mortensen, K. O., Zardbani, F., Haque, M. A., Agustsson, S. Y., Mottin, D., Hofmann, P. & Karras, P. (2023). Marigold: Efficient k-means Clustering in High Dimensions. Proceedings of the VLDB Endowment, 16(7), 1740-1748. https://doi.org/10.14778/3587136.3587147

Mortensen, M. L. (2016). Multi-Criteria Decision Support Queries in Exploratory & Open World Settings.

Mortensen, K. O., Skitsas, K., Christensen, E. M., Talebi, M. S., Pavlogiannis, A., Mottin, D. & Karras, P. (2025). SwiftVI: Time-Efficient Planning and Learning with MDPs. I M. Zaharia, G. Joshi & Y. Lin (red.), Proceedings of Machine Learning and Systems (Bind 7). MLSys. https://proceedings.mlsys.org/paper_files/paper/2025/file/0f8426558905746fc38da5e335700aec-Paper-Conference.pdf

Morozov, K. (2005). On Cryptographic Primitives Based on Noisy Channel. Aarhus Universitet.

Morita, H., Pohle, E., Sadakane, K., Scholl, P., Tozawa, K. & Tschudi, D. (2025). MAESTRO: Multi-Party AES Using Lookup Tables. I Proceedings of the 34th USENIX Security Symposium (s. 1965-1984). USENIX - The Advanced Computing Systems Association. https://doi.org/10.5555/3766078.3766180

Moreira, J. M. M., Jensen, C. S., Dias, P. & Mesquita, P. (2013). Creating data representations for moving objects with extent from images. I Presented at the COST MOVE Workshop at Moving Objects at Sea, Brest, France, June 28–29, 2013

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2021). UCoDe: Unified Community Detection with Graph Convolutional Networks. ArXiv. https://doi.org/10.48550/arXiv.2112.14822

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2023). UCoDe: unified community detection with graph convolutional networks. Machine Learning, 112(12), 5057-5080. https://doi.org/10.1007/s10994-023-06402-0

Moradan, A., Sorkhpar, M., Miyauchi, A., Mottin, D. & Assent, I. (2025). Untapping the Power of Indirect Relationships in Entity Summarization. I WSDM 2025 : Proceedings of the 18th ACM International Conference on Web Search and Data Mining (s. 820-828). Association for Computing Machinery. https://doi.org/10.1145/3701551.3703566

Moradan, A. (2024). On the Expressiveness of Community Detection in Complex Networks. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

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. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 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. Afhandling præsenteret på Den Gyldne, Charlottenborg Udstillingsbygning, Charlottenborg, København, Danmark.

Møller-Nielsen, P. & Gejl, J. (2005). Room #2 (Guirlanden, Aarhus Kunstbygning). Poster-session præsenteret på Room #2 (Guirlanden, Aarhus Kunstbygning), Aarhus, Danmark.

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Den gyldne, Charlottenborg Udstillingsbygning). Poster-session præsenteret på Room #2 (Den gyldne, Charlottenborg Udstillingsbygning), København, Danmark.

Møller-Nielsen, P. & Gejl, J. (2006). Room #2 (Kunsthallen Brænderigården). Poster-session præsenteret på Room #2 (Kunsthallen Brænderigården), Viborg, Danmark.

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 udg.).

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. I Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings (s. 17-36). Springer. https://doi.org/10.1007/978-3-540-30570-5_2

Møller, A. (2002). Document Structure Description 2.0. BRICS Notes Series, (NS-02-7).

Viser resultater 1451 til 1500 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series