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

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)

Mailund & Kristensen, L. M. (2002). A Compositional Sweep-Line State Space Exploration Method. In Proceedings of Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE 2002) (pp. 327-343)

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004) (pp. 177-191)

Mailund , Pedersen, C. N. S., Bardino, J., Vinter, B. & Karlsen, H. H. (2005). Initial experiences with GeneRecon on MiG. In Proceedings of The 2005 International Conference on Grid Computing and Applications (GCA)

Mailund & Pedersen, C. N. S. (2004). QDist—Quartet Distance Between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.

Mailund & Pedersen, C. N. S. (2004). QuickJoin—Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.

Mailund , Schierup, M. H., Pedersen, C. N. S., Mechlenborg, P., Madsen, J. N. & Schauser, L. (2005). CoaSim: A Flexible Environment for Simulating Genetic Data under Coalescent Models. B M C Bioinformatics, 6(252). http://www.biomedcentral.com/1471-2105/6/252

Mailund , Brodal, G. S., Fagerberg, R., Pedersen, C. N. S. & Phillips, D. (2006). Recrafting the Neighbor-Joining Method. B M C Bioinformatics, 7(29).

Mailund, T. & Pedersen, C. N. S. (2004). QDist - Quartet Distance between Evolutionary Trees. Bioinformatics, 20(10), 1636-1637.

Mailund, T. & Pedersen, C. N. S. (2004). QuickJoin - Fast Neighbour-Joining Tree Reconstruction. Bioinformatics, 20(17), 3261-3262.

Mailund, T. (2006). Getting Started with Blossoc. http://www.daimi.au.dk/~mailund/Blossoc/download/getting-started-1.1.pdf

Mailund, T., Schierup, M. H., Pedersen, C. N. S., Madsen, J. N., Hein, J. & Schauser, L. (2006). GeneRecon—A coalescent based tool for fine-scale association mapping. Bioinformatics, 22(18), 2317–2318.

Mailund, T., Besenbacher, S. & Schierup, M. H. (2006). Whole genome association mapping by incompatibilities and local perfect phylogenies. B M C Bioinformatics, 7(454). https://doi.org/10.1186/1471-2105-7-454

Mailund, T., Pedersen, C. N. S., Bardino, J., Vinter, B. & Karlsen, H. (2007). Experiences with GeneRecon on MiG. Future Generation Computer Systems - The International Journal of eScience, 23, 580-586. https://doi.org/10.1016/j.future.2006.09.003

Mailund, T. (2006). Getting Started with HapCluster: An introduction to the HapCluster association mapping tool.

Mailund, T., Nielsen, J. & Pedersen, C. S. (2009). A Quadratic Time Algorithm for Computing the Quartet Distance between Two General Trees. In Proceedings of IJCBS 2009 (pp. 565-568). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.42

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. In K. Jensen & A. Podelski (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings (pp. 177-191). Springer.

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. In 2017 IEEE 33rd International Conference on Data Engineering (ICDE) (pp. 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. (2025). Towards Personalized Similarity Search for Vector Databases. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (pp. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

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. In Q. He & A. Iyengar (Eds.), Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 (pp. 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. In T. Özyer , J. Rokne , G. Wagner & A. H. P. Reuser (Eds.), The Influence of Technology on Social Network Analysis and Mining (pp. 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. Paper presented at International Workshop on Ranking in Databases, Istanbul, Turkey. http://chenwsdb.fulton.ad.asu.edu/DBRank2012/

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

Magnani, M. & Rossi, L. (2013). Formation of multiple networks. In A. M. Greenberg , W. G. Kennedy & N. D. Bos (Eds.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (pp. 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. In A. M. Greenberg, W. G. Kennedy & N. D. Bos (Eds.), Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (pp. 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

Magård, E. (2002). Possible mechanisms for the coexistence of congeneric (Pourouma, Cecropiaceae) Amazonian tree species. Ecotropica, 8(1), 15-22.

Madsen, B. A. (2006). An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter. Information Processing Letters, 97(1), 28-30.

Madsen, B. A., Nielsen, J. M. & Skjernaa, B. (2002). On the Number of Maximal Bipartite Subgraphs of a Graph. B R I C S Report Series, (RS-02-17).

Madsen, B. A. & Rossmanith, P. (2004). Maximum Exact Satisfiability: NP-completeness Proofs and Exact Algorithms. B R I C S Report Series, (RS-04-19).

Madsen, B. A., Byskov, J. M. & Skjernaa, B. (2005). New Algorithms for Exact Satisfiability. Theoretical Computer Science, 332(1-3), 515-541.

Madsen, O. L. (1999). Semantic Analysis of Virtual Classes and Nested Classes. In A. M. Berman (Ed.), Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications: , systems, languages, and applications (pp. 114 - 131). Association for Computing Machinery. https://doi.org/10.1145/320384.320394

Madsen, O. L. (2000). Towards a Unified Programming Language. In E. Bertino (Ed.), ECOOP 2000 - Object-Oriented Programming: 14th European Conference Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (pp. 1-26). Springer. https://doi.org/10.1007/3-540-45102-1_1

Madsen, O. L. (2000). Abstraction and Modularization in the BETA Programming Language. In J. Gutknecht & W. Weck (Eds.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (pp. 211-237). Springer. https://doi.org/10.1007/10722581_18

Madsen, O. L. (1999). COM Support in BETA. In Proceedings of the Workshop on Object-Oriented Technology (pp. 187). Springer. https://doi.org/10.1007/3-540-46589-8

Madsen, O. L. (1999). Towards Integration of Object-Oriented Languages and State Machines. In Proceedings of the Technology of Object-Oriented Languages and Systems: Proceedings of the Technology of Object-Oriented Languages and Systems (Vol. 1, pp. 261-274). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.1999.779018

Madsen, O. L. (1998). A Block-Structure Concurrent Object-Oriented Language. In Z. Zamir (Ed.), Handbook of Object-Technology CRC Press.

Madsen, O. L., Torgersen, M., Røn, H. & Thorup, K. K. (1998). A Conceptual Approach to Teaching Object-Orientation to C Programmers. In M. L. Manns (Ed.), Proceedings Educators' Symposium: Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'98). Session: Mastering OO Modeling: Experiences in OO Education. (pp. 3-10). Association for Computing Machinery.

Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1993). Object-Oriented Programming in the Beta Programming Language. (2. ed.) Addison-Wesley.

Displaying results 1551 to 1600 out of 5709

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University