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

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. I U. Zdun (red.), Proceedings of the 2014 European Conference on Software Architecture Workshops, ECSAW '14 Artikel 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), Artikel 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. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 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

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

Mailund, T., Halager, A. E. & Westergaard, M. (2012). Using colored Petri nets to construct coalescent hidden markov models: Automatic translation from demographic specifications to efficient inference methods. Lecture Notes in Computer Science, 7347, 32-50. https://doi.org/10.1007/978-3-642-31131-4_3

Mailund, T., Halager, A. E., Westergaard, M., Dutheil, J. Y., Munch, K., Andersen, L. N., Lunter, G., Prüfer, K., Scally, A., Hobolth, A. & Schierup, M. H. (2012). A New Isolation with Migration Model along Complete Genomes Infers Very Different Divergence Processes among Closely Related Great Ape Species. P L o S Genetics, 8(12), e1003125. https://doi.org/10.1371/journal.pgen.1003125

Mai, S. T., Dieu, M. S., Assent, I., Jacobsen, J., Kristensen, J. & Birk, M. (2017). Scalable and interactive graph clustering algorithm on multicore CPUs. I 2017 IEEE 33rd International Conference on Data Engineering (ICDE) (s. 349-360). IEEE Computer Society Press. https://doi.org/10.1109/ICDE.2017.94

Mai, S. T., Assent, I., Jacobsen, J. & Dieu, M. S. (2018). Anytime parallel density-based clustering. Data Mining and Knowledge Discovery, 32(4), 1121-1176. https://doi.org/10.1007/s10618-018-0562-1

Mai, T., Munteanu, A., Musco, C., Rao, A. B., Schwiegelshohn, C. & Woodruff, D. P. (2023). Optimal Sketching Bounds for Sparse Linear Regression. Proceedings of Machine Learning Research, 206, 11288-11316. https://proceedings.mlr.press/v206/mai23a.html

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2024). Towards Personalized Similarity Search for Vector Databases. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications. SISAP 2024 (s. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Mahmud, N., Vermeulen, J., Luyten, K. & Coninx, K. (2009). The Five Commandments of Activity-Aware Ubiquitous Computing Applications. HCI International '07, 257-264. https://doi.org/10.1007/978-3-642-02809-0_28

Magnussen, R., Hansen, S. D., Grønbæk, K., Mølmer, K. & Sherson, J. F. (2012). Game-based Research Collaboration applied to Science Education. Games+Learning+Society Conference Proceedings, 431-436.

Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F. (2013). SkyView: a user evaluation of the skyline operator. I Q. He & A. Iyengar (red.), Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 (s. 2249-2254 ). Association for Computing Machinery. https://doi.org/10.1145/2505515.2505739

Magnani, M., Montesi, D. & Rossi, L. (2012). Conversation Retrieval from Microblogging Sites. Information Retrieval, 15(3-4), 354-372. https://doi.org/10.1007/s10791-012-9189-9

Magnani, M., Montesi, D. & Rossi, L. (2013). Factors enabling information propagation in a Social Network Site. I T. Özyer , J. Rokne , G. Wagner & A. H. P. Reuser (red.), The Influence of Technology on Social Network Analysis and Mining (s. 411-426 ). Springer. https://doi.org/10.1007/978-3-7091-1346-2_18

Magnani, M., Assent, I. & Mortensen, M. L. (2012). Anytime skyline query processing for interactive systems. Afhandling præsenteret på International Workshop on Ranking in Databases, Istanbul, Tyrkiet. http://chenwsdb.fulton.ad.asu.edu/DBRank2012/

Magnani, M. & Assent, I. (2013). From stars to galaxies: skyline queries on aggregate data. I G. Guerrini & N. W. . Paton (red.), International Conference on Extending Database Technology (s. 477-488 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452432

Magnani, M. & Rossi, L. (2013). Formation of multiple networks. I A. M. Greenberg , W. G. Kennedy & N. D. Bos (red.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (s. 257-264). Springer Publishing Company. https://doi.org/10.1007/978-3-642-37210-0_28

Magnani, M. & Rossi, L. (2013). Pareto distance for multi-layer network analysis. I A. M. Greenberg, W. G. Kennedy & N. D. Bos (red.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (s. 249-256). Springer VS. https://doi.org/10.1007/978-3-642-37210-0_27

Magnani, M., Assent, I. & Mortensen, M. L. (2014). Taking the Big Picture: representative skylines based on significance and diversity. V L D B Journal, 23(5), 795-815. https://doi.org/10.1007/s00778-014-0352-3

Madsen, A. B. & Ernst, E. (2010). Revisiting Parametric Types and Virtual Classes. Lecture Notes in Computer Science, 6141, 233-252. https://doi.org/10.1007/978-3-642-13953-6_13

Madsen, O. L. (2011). COOMP 2011: first international workshop on combined object-oriented modeling and programming. Abstract fra SPLASH 2011, Portland, Oregon, USA. https://doi.org/10.1145/2048147.2048226

Madsen, M. & Andreasen, E. (2014). String Analysis for Dynamic Field Access. I A. Cohen (red.), Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (s. 197-217). Springer. https://doi.org/10.1007/978-3-642-54807-9_12

Madsen, O. L. (2014). Building Safe Concurrency Abstractions. I G. Agha, A. Igarashi, N. Kobayashi , H. Masuhara, S. Matsuoka , E. Shibayama & K. Taura (red.), Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday (s. 66-104). Springer VS. https://doi.org/10.1007/978-3-662-44471-9_4

Madsen, M. & Møller, A. (2014). Sparse Dataflow Analysis with Pointers and Reachability. I M. Müller-Olm & H. Seidl (red.), Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (s. 201-218). Springer VS. https://doi.org/10.1007/978-3-319-10936-7_13

Madsen, M. (2015). Static Analysis of Dynamic Languages. Department of Computer Science, Aarhus University.

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. I Proceedings - 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering Companion, ICSE 2016: ICSE 2016 (s. 899-910). Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

Madsen, O. L. & Møller-Pedersen, B. (2016). The Essence of Subclassing. Afhandling præsenteret på NOOL 2016, Amsterdam, Holland.

Madsen, M., Livshits, B. & Fanning, M. (2013). Practical static analysis of JavaScript applications in the presence of frameworks and libraries. I B. Meyer, L. Baresi & M. Mezini (red.), Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2013 (s. 499-509). Association for Computing Machinery. https://doi.org/10.1145/2491411.2491417

Madsen, M., Lhoták, O. & Tip, F. (2020). A Semantics for the Essence of React. I R. Hirschfeld & T. Pape (red.), 34th European Conference on Object-Oriented Programming (ECOOP 2020) (Bind 166, s. 12:1-12:26). Artikel 12 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.12

Madsen, M. & Lhoták, O. (2020). Fixpoints for the masses: programming with first-class Datalog constraints. I Proceedings of the ACM on Programming Languages (OOPSLA udg., Bind 4). Association for Computing Machinery. https://doi.org/10.1145/3428193

Madsen, M. & Pol, J. V. D. (2020). Polymorphic types and effects with Boolean unification. I Proceedings of the ACM on Programming Languages (OOPSLA udg., Bind 4). Association for Computing Machinery. https://doi.org/10.1145/3428222

Madsen, M. & Van De Pol, J. (2021). Relational nullable types with Boolean unification. Proceedings of the ACM on Programming Languages , 5(OOPSLA), 1-28. Artikel 110. https://doi.org/10.1145/3485487

Madsen, O. L. (2021). Using Coroutines for Multi-core Preemptive Scheduling. I Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21) (s. 46-52). Association for Computing Machinery. https://doi.org/10.1145/3477113.3487271

Madsen, O. L. & Møller-Pedersen, B. (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming . I Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (s. 220–239). Association for Computing Machinery. https://doi.org/10.1145/3563835.3568735

Madsen, J., Sode, L., Dahl, J. F., Corredig, M. & Schulz, H.-J. (2022). Visual Exploration of Rheological Test Results from Soft Materials. I Proceedings - 2022 1st International Workshop on Visualization in Testing of Hardware, Software, and Manufacturing, TestVis 2022 (s. 1-7). IEEE. https://doi.org/10.1109/TestVis57757.2022.00006

Madsen, O. L. & Møller-Pedersen, B. (2022). Using supplementary properties to reduce the need for documentation. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings: Software Engineering (s. 35-59). Springer. https://doi.org/10.1007/978-3-031-19756-7_4

Madsen, O. L. & Møller-Pedersen, B. (2018). This is not a Model: On development of a common terminology for modeling and programming. I T. Margaria & B. Steffen (red.), Leveraging applications of formal methods, verification and validation (Bind I, s. 206-224). Springer. https://doi.org/10.1007/978-3-030-03418-4_13

Madsen, M. (2022). The Principles of the Flix Programming Language. I Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022 (s. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3563835.3567661

Madsen, M., Starup, J. L. & Lhoták, O. (2022). Flix: A Meta Programming Language for Datalog. I Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) (s. 202-206). CEUR-WS.org. https://ceur-ws.org/Vol-3203/short8.pdf

Madsen, M., Starup, J. L. & Lutze, M. (2023). Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 (s. 17:1-17:27). Artikel 17 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.17

Madsen, O. L. (2013). Back to the future: SIMULA style concurrent objects. I AGERE! 2013 - Proceedings of the 2013 ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control (s. 145-146). Association for Computing Machinery, Inc.. https://doi.org/10.1145/10.1145/2541329.2541347

Madsen, O. L. (2006). From ECOOP'87 to ECOOP 2006 and beyond. I ECOOP 2006 - Object-Oriented Programming - 20th European Conference, Proceedings (s. 186-191). Springer Verlag. https://doi.org/10.1007/11785477_11

Madsen, O. L. (1980). On defining semantics by means of extended attribute grammars. I N. D. Jones (red.), Semantics-Directed Compiler Generation - Proceedings of a Workshop (s. 259-299). Springer Verlag. https://doi.org/10.1007/3-540-10250-7_25

Madsen, O. L. (2023). Using Object-Sequence Diagrams for Debugging. I E. Gonzalez Boix & C. Scholliers (red.), DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques (s. 11-22). Association for Computing Machinery. https://doi.org/10.1145/3605155.3605864

Madsen, O. L. & Møller-Pedersen, B. (2023). What your mother forgot to tell you about modeling – and programming. I 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (s. 200-210). IEEE. https://doi.org/10.1109/MODELS-C59198.2023.00049

Madsen, O. L. (2001). Virtual classes and their implementation. I R. Wilhelm (red.), Compiler Construction - 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings (s. 1-2). Springer Verlag. https://doi.org/10.1007/3-540-45306-7_1

Madsen, O. L., Magnusson, B. & Møller-Pedersen, B. (1990). Strong typing of object-oriented languages revisited. I Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990 (s. 140-150). Association for Computing Machinery, Inc.. https://doi.org/10.1145/97945.97964

Viser resultater 901 til 950 ud af 2959

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series