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

Midtgaard, J. & Møller, A. (2015). QuickChecking Static Analysis Properties. I 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015 (s. 1-10). IEEE. https://doi.org/10.1109/ICST.2015.7102603

Midtgaard, J. & Møller, A. (2017). QuickChecking static analysis properties. Software Testing, Verification and Reliability, 27(6), Artikel e1640. https://doi.org/10.1002/stvr.1640

Michalak, T. P., Szczepański , P. L., Rahwan, T., Chrobak, A., Branzei, S., Wooldridge, M. & Jennings , N. (2014). Implementation and Computation of a Value for Generalized Characteristic Function Games. A C M Transactions on Economics and Computation, 2(4), Artikel 16. https://doi.org/10.1145/2665007

Micenková, B., van Beusekom, J. & Shafait, F. (2012). Stamp Verification for Automated Document Authentication. Afhandling præsenteret på International Workshop on Computational Forensics , Tsukuba, Japan.

Micenková, B., Ng, R. T., Dang, X.-H. & Assent, I. (2013). Explaining outliers by subspace separability. I H. Xiong, G. Karypis, B. Thuraisingham, D. Cook & X. Wu (red.), Proceedings, IEEE 13th International Conference on Data Mining (ICDM 2013) (s. 518 - 527 ). IEEE Press. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6724379

Micenková, B., McWilliams, B. & Assent, I. (2014). Learning Outlier Ensembles: The Best of Both Worlds–Supervised and Unsupervised. Afhandling præsenteret på ACM SIGKDD 2014 Workshop ODD2 , New York, USA. http://outlier-analytics.org/odd14kdd/odd-2014-proceedings.pdf

Micenková, B. (2015). Outlier Detection and Explanation for Domain Experts. Department of Computer Science, University of Aarhus.

Micenkova, B. & van Beusekom, J. (2011). Stamp Detection in Color Document Images. I 2011 International Conference on Document Analysis and Recognition (ICDAR) (s. 1125-1129). IEEE Computer Society Press. https://doi.org/10.1109/ICDAR.2011.227

Micallef, L., Schulz, H.-J., Angelini, M., Aupetit, M., Chang, R., Kohlhammer, J., Perer, A. & Santucci, G. (2019). The Human User in Progressive Visual Analytics. I EuroVis 2019 - Short Papers (s. 19-23). Eurographics Association. https://doi.org/10.2312/evs.20191164

Mic, V., Sedmidubsky, J. & Zezula, P. (2023). CRANBERRY: Memory-Effective Search in 100M High-Dimensional CLIP Vectors. I O. Pedreira & V. Estivill-Castro (red.), Similarity Search and Applications - 16th International Conference, SISAP 2023, Proceedings (s. 300-308). Springer. https://doi.org/10.1007/978-3-031-46994-7_26

Mic, V. & Zezula, P. (2024). Filtering with relational similarity. Information Systems, 122, Artikel 102345. https://doi.org/10.1016/j.is.2024.102345

Mezzetti, G., Møller, A. & Strocco, F. (2016). Type unsoundness in practice: An empirical study of dart. I R. Ierusalimschy (red.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (s. 13-24). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989227

Mezzetti, G. (2017). Foreword to the thematic track: Quality aspects in verification and validation. Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Artikel 7814536. https://doi.org/10.1109/QUATIC.2016.039

Mezzetti, G., Møller, A. & Torp, M. T. (2018). Type Regression Testing to Detect Breaking Changes in Node.js Libraries. I T. D. Millstein (red.), 32nd European Conference on Object-Oriented Programming, ECOOP 2018 (Bind 109, s. 7:1-7:24). Artikel 7 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2018.7

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Rate-1 Arithmetic Garbling From Homomorphic Secret Sharing. I E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 71-97). Artikel 323579 Springer Nature. https://doi.org/10.1007/978-3-031-78023-3_3

Meskens, J., Vermeulen, J., Luyten, K. & Coninx, K. (2008). Gummy for Multi-platform User Interface Designs: Shape Me, Multiply Me, Fix Me, Use Me. Unspecified journal, 233-240. https://doi.org/10.1145/1385569.1385607

Merritt, T. R., Nørgaard, M., Laursen, C., Rasmussen, M. K. & Petersen, M. G. (2015). Imagined Physics: Exploring Examples of Shape-changing Interfaces. I H. Samani (red.), Cognitive Robotics (s. 89-111). CRC Press.

Merritt, T. R., Nielsen, C. L., Jakobsen, F. L. & Grønbæk, J. E. (2017). GlowPhones: Designing for Proxemics Play with Low-Resolution Displays in Location-based Games. I Proceedings of the Annual Symposium on Computer-Human Interaction in Play: CHI PLAY '17 (s. 69-81). Association for Computing Machinery. https://doi.org/10.1145/3116595.3116598

Mennicken, S., Vermeulen, J. & Huang, E. M. (2014). From Today's Augmented Houses to Tomorrow's Smart Homes: New Directions for Home Automation Research. -, 105-115. https://doi.org/10.1145/2632048.2636076

Menheere, D., Van Hartingsveldt, E., Birkebæk, M., Vos, S. & Lallemand, C. (2021). Laina: Dynamic Data Physicalization for Slow Exercising Feedback. I DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (s. 1015-1030). Association for Computing Machinery. https://doi.org/10.1145/3461778.3462041

Melissaris Papanikolaou, N., Rachuri, R., Baum, C. & Scholl, P. (2024). Cheater Identification on a Budget: MPC with Identifiable Abort from Pairwise MACs. 454-488. Afhandling præsenteret på 44th Annual International Cryptology Conference - CRYPTO 2024, Santa Barbara, California, USA. https://doi.org/10.1007/978-3-031-68397-8_14

Melissaris Papanikolaou, N., Ravi, D. & Yakoubov, S. (2024). Threshold-Optimal MPC With Friends and Foes. I A. Chattopadhyay, S. Bhasin, S. Picek & C. Rebeiro (red.), Progress in Cryptology – INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II (Bind 2, s. 3-24). Springer. https://doi.org/10.1007/978-3-031-56235-8_1

Meldgaard, S. T. (2013). Unconditionally Secure Protocols. Institut for Datalogi, Aarhus Universitet.

Meiklejohn, S. & Orlandi, C. (2015). Privacy-enhancing overlays in bitcoin. I M. Brenner , N. Christin , B. Johnson & K. Rohloff (red.), Financial Cryptography and Data Security : FC 2015 International Workshops, BITCOIN, WAHC, and Wearable, San Juan, Puerto Rico, January 30, 2015, Revised Selected Papers (Bind 8976, s. 127-141). Springer. https://doi.org/10.1007/978-3-662-48051-9_10

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

Meier, W., Jensen, M., Pichon-Pharabod, J. & Spitters, B. (2025). CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. I Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 127-139). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705879

Mehrotra, A., Vermeulen, J., Pejovic, V. & Musolesi, M. (2015). Ask, but Don't Interrupt: The Case for Interruptibility-aware Mobile Experience Sampling. -, 723-732. https://doi.org/10.1145/2800835.2804397

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. I CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 3582-3594). Association for Computing Machinery. https://doi.org/10.1145/3025453.3025993

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. I CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Artikel 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. Cryptology ePrint Archive. https://eprint.iacr.org/2022/010

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. I Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings: 42nd Annual International Cryptology Conference, CRYPTO 2022, Procerdings (s. 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. I Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (s. 713–727). Artikel 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), Artikel 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. I B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (red.), ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (s. 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. I J. J. G. Domínguez, Á. H. Alonso & J. Ureña Ureña (red.), 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 Artikel 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 præsenteret på 19th EG/VGTC Conference on Visualization (EuroVis) 2017, Barcelona, Spanien. 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. I 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017 (s. 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. I 2017 IEEE Visualization in Data Science, VDS 2017 (s. 7-14). Artikel 8573439 IEEE. https://doi.org/10.1109/VDS.2017.8573439

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

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

Mathiasen, A., Hvilshøj, F., Jørgensen, J. R., Nasery, A. & Mottin, D. (2020). What if Neural Networks had SVDs? I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), 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), Artikel 34. https://doi.org/10.1145/3434315

Mathiasen, A. & Hvilshøj, F. (2020). Backpropagating through Fréchet Inception Distance.

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 fra ICA annual conference, Paris, Frankrig.

Viser resultater 851 til 900 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series