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

Marcedone , A. & Orlandi, C. (2014). Obfuscation ⇒ (IND-CPA Security ⇏ Circular Security). I M. Abdalla & R. D. Prisco (red.), Security and Cryptography for Networks: 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings (s. 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. I K. Jensen (red.), Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 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. 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

Manakhov, P. (2025). 3D UI Placement for Interaction on the Go. [Ph.d.-afhandling, Aarhus Universitet].

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

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

Maity, A., Potamitis, N. & Arora, A. (2025). Reconciling Divergent Views Through a Critical Analysis of Iterative Self-Improvement in LLMs.

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

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

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

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

Mailund , Pedersen, C. N. S., Bardino, J., Vinter, B. & Karlsen, H. H. (2005). Initial experiences with GeneRecon on MiG. I 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. BMC 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. BMC 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. BMC 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. I Proceedings of IJCBS 2009 (s. 565-568). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.42

Mailund, T. & Westergaard, M. (2004). Obtaining Memory-Efficient Reachability Graph. I K. Jensen & A. Podelski (red.), 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 (s. 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. PLoS Genetics, 8(12), e1003125. https://doi.org/10.1371/journal.pgen.1003125

Mailund, T. (2003). Sweeping the State Space.

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. I Proceedings of The 26th International Conference on Artificial Intelligence and Statistics (s. 11288-11316). PMLR. 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. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (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., 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

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

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

Viser resultater 1651 til 1700 ud af 6013

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series