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

Müller, E., Assent, I., Günnemann, S., Seidl, T. & Dy, J. (2015). MultiClust special issue on discovering, summarizing and using multiple clusterings. Machine Learning, 98(1-2), 1-5. https://doi.org/10.1007/s10994-014-5445-0

Müller, J., Eberle, D. & Schmidt, C. (2015). BaseLase: An Interactive Focus + Context Laser Floor. In B. Begole & J. Kim (Eds.), CHI '15, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (pp. 3869-3878 ). Association for Computing Machinery. http://dx.doi.org/10.1145/2702123.2702246

Müller, A., Bøcher, P. K. & Svenning, J.-C. (2015). Where are the wilder parts of anthropogenic landscapes? A mapping case study for Denmark. Landscape and Urban Planning, 144(Dec.), 90-102. https://doi.org/10.1016/j.landurbplan.2015.08.016

Müller, J., Oulasvirta, A. & Murray-Smith, R. (2017). Control theoretic models of pointing. ACM Transactions on Computer-Human Interaction, 24(4), Article 27. https://doi.org/10.1145/3121431

Müller, J. (2017). Dynamics of pointing with pointer acceleration. In R. Bernhaupt, G. Dalvi, A. Joshi, D. K. Balkrishan, J. O'Neill & M. Winckler (Eds.), Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Proceedings (Vol. 10515 LNCS, pp. 475-495). Springer VS. https://doi.org/10.1007/978-3-319-67687-6_33

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Article 255. https://doi.org/10.1145/3622831

Muller, E., Assent, I., Iglesias, P., Mülle, Y. & Böhm, K. B. (2012). Outlier Ranking via Subspace Analysis in Multiple Views of the Data. In Proceedings of the 12th IEEE International Conference on Data Mining, ICDM (pp. 529 - 538 ). IEEE Communications Society. https://doi.org/10.1109/ICDM.2012.112

Muller, M., Neureiter, K., Verdezoto, N., Krischkowsky, A., Al Zubaidi-Polli, A. M. & Tscheligi, M. (2016). Collaborative Appropriation: How Couples, Teams, Groups and Communities Adapt and Adopt Technologies. In Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (pp. 473-480). Association for Computing Machinery. https://doi.org/10.1145/2818052.2855508

Mukund, M. & Nielsen, M. (1992). CCS, locations and asynchronous transition systems. In R. Shyamasundar (Ed.), Foundations of Software Technology and Theoretical Computer Science: 12th Conference New Delhi, India, December 18-20, 1992 Proceedings (pp. 328-341). Springer. https://doi.org/10.1007/3-540-56287-7_116

Mukherjee, P. (2015). Protecting Cryptographic Memory against Tampering Attack. Department of Computer Science, Aarhus University.

Mukherjee, P. & Wichs, D. (2015). Two Round MPC from LWE via Multi-Key FHE. Cryptology ePrint Archive. http://eprint.iacr.org/2015/345

Mueller, F., Petersen, M. G. & Li, Z. (2023). Technology futures: Towards understanding how to design awe-inspiring futures. International Journal of Human Computer Studies, 170, Article 102961. https://doi.org/10.1016/j.ijhcs.2022.102961

Mottin, D., Lissandrini, M., Velegrakis, Y. & Palpanas, T. (2019). Exploring the Data Wilderness through Examples. In SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data (pp. 2031-2035). Association for Computing Machinery. https://doi.org/10.1145/3299869.3314031

Mosses, P. D. (2002). A Modular SOS for Action Notation - Revisited. (pp. 75-76). BRICS.

Mosses, P. D. (2002). Action Semantics and ASF+SDF: System demonstration. Electronic Notes in Theoretical Computer Science, 65(3).

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

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

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

Mosses, P. D., Karsai, G. (Ed.) & Visser, E. (Ed.) (2004). Modular Language Descriptions. In Ikke angivet (3286 i Lecture Notes in Computer Science ed., pp. 489-490). Springer.

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

Mosses, P. D., Kirchner, H. (Ed.) & Ringeissen, C. (Ed.) (2002). Pragmatics of Modular SOS. In Ikke angivet (2422 of Lecture Notes in Computer Science ed., pp. 49-72). Springer.

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

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

Mosses, P. D. (2005). Exploiting Labels in Structural Operational Semantics. B R I C S Report Series, (RS-05-8).

Mosses, P. D. (2005). Modular Structural Operational Semantics. B R I C S Report Series, (RS-05-7).

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

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

Mosegaard, J. (2004). LR-Spring Mass Model for Cardiac Surgical Simulation. In Medicine Meets Virtual Reality (12 ed., Vol. 98, pp. 253-255). IOS Press.

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

Mosegaard, J. (2006). Cardiac Surgery Simulation. Daimi PhD Dissertation No. PD-06-12

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

Moruz, G. (2007). Hardware-Aware Algorithms and Data Structures. Daimi PhD Dissertation No. PD-07-8

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

Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (Ed.), Eggen, B. (Ed.) & Aarts (Ed.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. In Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science ed., pp. 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. In P. Markopoulos, B. Eggen, E. Aarts & J. Crowley (Eds.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (pp. 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. In CHI EA '12: Extended abstracts on Human Factors in Computing Systems (pp. 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. In International Conference on Extending Database Technology (EDBT 2015) (pp. 337-348). openproceedings.org. https://doi.org/10.5441/002/edbt.2015.30

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

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

Morozov, K. (2005). On Cryptographic Primitives Based on Noisy Channel. Århus Universitet. BRICS Dissertations Series No. DS-05-1

Moreira, J. M. M., Jensen, C. S., Dias, P. & Mesquita, P. (2013). Creating data representations for moving objects with extent from images. In 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. (2023). UCoDe: unified community detection with graph convolutional networks. Machine Learning, 112(12), 5057-5080. https://doi.org/10.1007/s10994-023-06402-0

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.

Displaying results 1201 to 1250 out of 5407

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University