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

Meiklejohn, S. & Mercer, R. (2018). Möbius: Trustless tumbling for transaction privacy. Proceedings on Privacy Enhancing Technologies, 2018(2), 105-121. https://doi.org/10.1515/popets-2018-0015

Meijer, J. & van de Pol, J. (2019). Sound black-box checking in the LearnLib. Innovations in Systems and Software Engineering, 15(3-4), 267-287. https://doi.org/10.1007/s11334-019-00342-6

Mehlhorn, K. & Schmidt, E. M. (1982). Las Vegas is better than determinism in VLSI and distributed computing. In STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing (pp. 330-337). Association for Computing Machinery. https://doi.org/10.1145/800070.802208

Mechler, J., Müller-Quade, J. & Nilges, T. (2016). Universally Composable (Non-Interactive) Two-Party Computation from Untrusted Reusable Hardware Tokens. http://eprint.iacr.org/2016/615

McMillan, D., Brown, B., Lampinen, A., McGregor, M., Hoggan, E. & Pizza, S. (2017). Situating Wearables: Smartwatch Use in Context. In CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 3582-3594). Association for Computing Machinery. https://doi.org/10.1145/3025453.3025993

McFadden, I. R., Sandel, B., Tsirogiannis, C., Morueta-Holme, N., Svenning, J. C., Enquist, B. J. & Kraft, N. J. B. (2019). Temperature shapes opposing latitudinal gradients of plant taxonomic and phylogenetic β diversity. Ecology Letters, 22(7), 1126-1135. https://doi.org/10.1111/ele.13269

McCauley, S., de Groot, S., Mailund, T. & Hein, J. (2007). Annotation of selection strengths in viral genomes. Bioinformatics, 23(22), 2978-2986. https://doi.org/10.1093/bioinformatics/btm472

Mayoh, B. H., Shafazand, H. (Ed.) & Tjoa, A. M. (Ed.) (2002). Evolution of Cooperation in Multiagent Systems. In Proceeding of EurAsia-ICT 2002: Information and Communication Technology (2510 of Lecture Notes in Computer Science ed., pp. 701-710). Springer.

Mayoh, B. H. (1986). A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 291-302). Springer.

Mayer, S., Lischke, L., Grønbæk, J. E., Sarsenbayeva, Z., Vogelsang, J., Wozniak, P. W., Henze, N. & Jacucci, G. (2018). Pac-Many: Movement Behavior when Playing Collaborative and Competitive Games on Large Displays. In CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Article 539 Association for Computing Machinery. https://doi.org/10.1145/3173574.3174113

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. In Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings: 42nd Annual International Cryptology Conference, CRYPTO 2022, Procerdings (pp. 400-430). Springer, Cham. https://doi.org/10.1007/978-3-031-15979-4_14

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2020). The Complexity of Dynamic Data Race Prediction. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (pp. 713–727). Article 3394783 Association for Computing Machinery. https://doi.org/10.1145/3373718.3394783

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2021). Optimal Prediction of Synchronization-Preserving Races. Proceedings of the ACM on Programming Languages , 5(POPL), Article 36. https://doi.org/10.1145/3434317

Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M. (2022). A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. In B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (Eds.), ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 710-725). Association for Computing Machinery. https://doi.org/10.1145/3503222.3507734

Mathisen, A., Krogh, S., Stisen, A., Blunck, H. & Grønbæk, K. (2016). A comparative analysis of Indoor WiFi Positioning at a large building complex. In J. J. G. Domínguez, Á. H. Alonso & J. Ureña Ureña (Eds.), 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 Article 7743666 IEEE Press. https://doi.org/10.1109/IPIN.2016.7743666

Mathisen, A., Nielsen, M. & Grønbæk, K. (2017). Integrating Guided Clustering in Visual Analytics to Support Domain Expert Reasoning Processes. 1. Poster session presented at 19th EG/VGTC Conference on Visualization (EuroVis) 2017, Barcelona, Spain. https://diglib.eg.org/bitstream/handle/10.2312/eurp20171164/eurovis2017-posters0123-file1.pdf?sequence=2&isAllowed=y

Mathisen, A., Krogh Sørensen, S., Stisen, A., Blunck, H. & Grønbæk, K. (2017). A Study on the Impact of Indoor Positioning Performance on Activity Recognition Applications. In 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017 (pp. 58-67). Association for Computing Machinery. https://doi.org/10.1145/3144457.3144501

Mathisen, A., Horak, T., Klokmose, C. N., Grønbæk, K. & Elmqvist, N. (2019). InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics. Computer Graphics Forum, 38(3), 649-661. https://doi.org/10.1111/cgf.13717

Mathisen, A. (2019). Collaborative Visual Analytics: Leveraging Mixed Expertise in Data Analysis. Aarhus University.

Mathisen, A. & Grønbæk, K. (2018). Clear Visual Separation of Temporal Event Sequences. In 2017 IEEE Visualization in Data Science, VDS 2017 (pp. 7-14). Article 8573439 IEEE. https://doi.org/10.1109/VDS.2017.8573439

Mathiesen, S. S. & Schulz, H.-J. (2021). Aesthetics and Ordering in Stacked Area Charts. In A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (Eds.), Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Proceedings: 12th International Conference on the Theory and Application of Diagrams (DIAGRAMS'21) (pp. 3-19). Springer. https://doi.org/10.1007/978-3-030-86062-2_1

Mathiasen, N. R. (2007). Usable Security Revisited. Poster session presented at Danish HCI Research Symposium, DHRS 2007, København, Denmark.

Mathiasen, N. R. (2008). New design perspectives on security sensible systems. In J. Abdelnour-Nocera, L. Dunckley, K. Eason & R. Beale (Eds.), Sociotech-ID 2008 Workshop: New Sociotechnical Insights in Interaction Design (pp. 83-87). British Computer Society.

Mathiasen, N. R. (2008). Investigating how everyday people experience security. Poster session presented at Symposium On Usable Privacy and Security, Pittsburgh, United States.

Mathiasen, N. R. (2009). It-security seen from a user experience perspective. Poster session presented at NordiCHI. Workshop on User centered Security., Lund, Sweden.

Mathiasen, N. R., Bødker, S. & Petersen, M. G. (2011). While working around security. Paper presented at 3rd International Conference on Human Computer Interaction. HCI 2011, Bangalore, India.

Mathiasen, N. R. (2012). While Working Around Security. Department of Computer Science, Aarhus University.

Mathiasen, N. R. & Bødker, S. (2011). Experiencing Security in Interaction Design. In Proceedings of the 2011 annual Conference on Human Factors in Computing Systems (pp. 2325-2334). Association for Computing Machinery. https://doi.org/10.1145/1978942.1979283

Mathiasen, A., Hvilshøj, F., Jørgensen, J. R., Nasery, A. & Mottin, D. (2020). What if Neural Networks had SVDs? In H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (Eds.), Advances in Neural Information Processing Systems 33 pre-proceedings (NeurIPS 2020)

Mathiasen, A. A. & Pavlogiannis, A. (2021). The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis. Proceedings of the ACM on Programming Languages , 5(POPL), Article 34. https://doi.org/10.1145/3434315

Mathiasen, A. (2022). Algorithmic Improvements to Boosting and Neural Networks. Århus Universitet.

Matakos, A., Aslay, C., Galbrun, E. & Gionis, A. (2022). Maximizing the Diversity of Exposure in a Social Network. IEEE Transactions on Knowledge and Data Engineering, 34(9), 4357-4370. https://doi.org/10.1109/TKDE.2020.3038711

Mascheroni, G., Zaman, B., Eriksson, E., Cino, D., Brandsen, S. & Bressa, N. A. (2022). Towards Computational Empowerment of Disadvantaged Children and Youth in Non-Formal Learning Contexts. Abstract from ICA annual conference, Paris, France.

Marti, P., Pollini, A., Rullo, A., Giusti, L. & Grönvall, E. (2009). Creative interactive play for disabled children. In P. Paolini, F. Garzotto & F. Garzotto (Eds.), Proceedings of the 8th International Conference on Interaction Design and Children: WORKSHOP SESSION: Creative interactive play for disabled children (pp. 313-316). Association for Computing Machinery. https://doi.org/10.1145/1551788.1551871

Markussen, R., Mogensen, P. H., Bødker, S., Christiansen, E., Ehn, P. & Trigg, R. (1993). The AT project. Practical Research in Cooperative Design. In The AT Project (Vol. DAIMI PB-454,). Department of Computer Science, University of Aarhus.

Mark, B., Peter, W., McCarthy, J. & Bertelsen, O. W. (2006). Workshops: Theory and method for experience centered design. In G. M. Olson & R. Jeffries (Eds.), CHI '06: extended abstracts on Human factors in computing systems CHI '06 (pp. 1691-1695). Association for Computing Machinery. https://doi.org/10.1145/1125451.1125764

Marcedone , A. & Orlandi, C. (2014). Obfuscation ⇒ (IND-CPA Security ⇏ Circular Security). In M. Abdalla & R. D. Prisco (Eds.), Security and Cryptography for Networks: 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings (pp. 77-90). Springer VS. https://doi.org/10.1007/978-3-319-10879-7_5

Marandi, A., Alves, P. G. M. R., Aranha, D. F. & Jacobsen, R. H. (2024). Lattice-based Homomorphic Encryption for Privacy-Preserving Smart Meter Data Analytics. The Computer Journal, 67(5), 1687-1698. https://doi.org/10.1093/comjnl/bxad093

Mantzaflaris, A., Mourrain, B. & Tsigaridas, E. (2011). On Continued Fraction Expansion of Real Roots of Polynomial Systems. Theoretical Computer Science, 412(22), 2312-2330. https://doi.org/10.1016/j.tcs.2011.01.009

Mans, R. S., van der Aalst, W. M. P., Bakker, P. J. M., Moleman, A. J., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In K. Jensen (Ed.), Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 187-206)

Mans, R. S., van der Aalst, W. M. P., Molemann, A. J., Bakker, P. J. M., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. D A I M I P B, PB-584, 187-206.

Mann, W., Augsten, N. & Bouros, P. (2016). An Empirical Evaluation of Set Similarity Join Techniques. Proceedings of the VLDB Endowment, 9(9), 636-647. https://doi.org/10.14778/2947618.2947620

Manikas, K., Hansen, K. M. & Kyng, M. (2014). Governance mechanisms for healthcare apps. In U. Zdun (Ed.), Proceedings of the 2014 European Conference on Software Architecture Workshops, ECSAW '14 Article 10 Association for Computing Machinery. https://doi.org/10.1145/2642803.2642813

Mane, S. V. & Elmqvist, N. (2024). “Wichita 1-1, Fox Three” – The Role of 3D Telemetry Analysis in Combat Flight Simulation. Proceedings of the ACM on Human-Computer Interaction, 8(CHI PLAY), Article 349. https://doi.org/10.1145/3677114

Manakhov, P., Sidenmark, L., Pfeuffer, K. & Gellersen, H. (2024). Gaze on the Go: Effect of Spatial Reference Frame on Visual Target Acquisition During Physical Locomotion in Extended Reality. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 373 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642915

Manakhov, P., Sidenmark, L., Pfeuffer, K. & Gellersen, H. (2024). Filtering on the Go: Effect of Filters on Gaze Pointing Accuracy During Physical Locomotion in Extended Reality. IEEE Transactions on Visualization and Computer Graphics, 30(11), 7234-7244. https://doi.org/10.1109/TVCG.2024.3456153

Mamykina, L., Bardram, J. E., Korhonen, I., Mynatt, E. & Pratt, W. (2004). HCI and homecare: Connecting families and clinicians. In Extended abstracts of the 2004 conference on Human factors and computing systems (pp. 1715-1716). Association for Computing Machinery.

Mampentzidis, K. (2019). Comparison and Construction of Phylogenetic Trees and Networks. Aarhus University.

Mailund & Lyngsø, R. B. (1998). Textual interchange format for high-level Petri nets. In Proceedings of the first workshop on practical use of coloured Petri nets and Design/CPN (pp. 47-64)

Mailund & Kristensen, L. M. (2002). A Generalised Sweep-Line Method for Safety Properties. In Proceedings of Formal Methods Europe (FME 2002) (pp. 549-567)

Displaying results 1451 to 1500 out of 5571

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University