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

Afshani, P., Agrawal, M., Doerr, B., Doerr, C., Larsen, K. G. & Mehlhorn, K. (2019). The query complexity of a permutation-based variant of Mastermind. Discrete Applied Mathematics, 260, 28-50. https://doi.org/10.1016/j.dam.2019.01.007

Arge, L., de Berg, M., Haverkort, H. & Yi, K. (2004). The Priority R-Tree: A Practically Efficient and Worst-Case Optimal R-tree. I G. Weikum, A. C. König & S. Dessloch (red.), Proceedings of ACM SIGMOD International Conference on Management of Data (s. 347-358). Association for Computing Machinery. https://doi.org/10.1145/1007568.1007608

Arge, L., de Berg, M., Haverkort, H. & Yi, K. (2008). The Priority R-tree: A Practically Efficient and Worst-Case Optimal R-tree. A C M Transactions on Algorithms, 4(1). https://doi.org/10.1145/1328911.1328920

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

Kristensen, L. M., Christensen, S. & Jensen, K. (1998). The Practitioner's guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 98-132. https://doi.org/10.1007/s100090050021

Braverman, V., Cohen-Addad, V., Jiang, S. H.-C., Krauthgamer, R., Schwiegelshohn, C., Toftrup, M. B. & Wu, X. (2022). The Power of Uniform Sampling for Coresets. I Proceedings - 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science, FOCS 2022 (s. 462-473). IEEE. https://doi.org/10.1109/FOCS54457.2022.00051

Schwiegelshohn, C. & Schwiegelshohn, U. (2016). The power of migration for online slack scheduling. I C. Zaroliagis & P. Sankowski (red.), 24th Annual European Symposium on Algorithms, ESA 2016 Artikel 75 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2016.75

Berlin, R., Borchorst, N. G., Mathiasen, N. R. & Svarre, T. (2008). The Potential of Genre Theory within E-Governance Web Applications. I J. J. Jensen (red.), Proceedings of the Eight Danish Human-Computer Interaction Research Symposium (s. 19-22). Aalborg Universitetsforlag.

Møller, A. & Schwartzbach, M. I. (2001). The Pointer Assertion Logic Engine. I M. L. Sofia (red.), Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (Bind 36(5), s. 221-231). Association for Computing Machinery. https://doi.org/10.1145/381694.378851

Billington, J., Christensen, S., Hee, K. V., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M., Aalst, W. M. P. V. D. (red.) & Best, E. (red.) (2003). The Petri Net Markup Language: Concepts, Technology, and Tools. I Ikke angivet (2679 of Lecture Notes in Computer Science udg., s. 483-505). Springer.

Bardram, J. E., Adlam, T. (red.), Wactlar, H. (red.) & Korhonen, I. (red.) (2004). The Personal Medical Unit - A Ubiquitous Computing Infrastructure for Personal Pervasive Healthcare. I UbiHealth 2004: The 3nd International Workshop on Ubiquitous Computing for Pervasive Healthcare Applications (Nottingham, England ) UbiComp.org Community.

Jensen, C. S., Li, K.-J. & Winter, S. (2011). The other 87%: a report on The Second International Workshop on Indoor Spatial Awareness (San Jose, California - November 2, 2010). SIGSPATIAL Special, 3(1), 10-12. https://doi.org/10.1145/1966478.1966483

Dodis, Y. & Nielsen, J. B. (red.) (2015). Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II. Springer VS. Lecture Notes in Computer Science Bind 9015 https://doi.org/10.1007/978-3-662-46497-7

Dodis, Y. & Nielsen, J. B. (red.) (2015). Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I. Springer VS. Lecture Notes in Computer Science Bind 9014 https://doi.org/10.1007/978-3-662-46494-6

Damgård, I. B. (2006). Theory and Practice of Multiparty Computation. I R. De Prisco & M. Yung (red.), Security and Cryptography for Networks: 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings (s. 360-364). Springer. https://doi.org/10.1007/11832072_25

Arge, L. A., Procopiuc, O., Ramaswamy, S., Suel, T. & Vitter, J. S. (1998). Theory and practice of I/O-efficient algorithms for multidimensional batched searching problems. I Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms (s. 685-694). Association for Computing Machinery.

Keller, M. (2012). Theory and practice of cryptographic protocols -or- cryptography: will it blend? Department of Computer Science, Aarhus University.

Balasch, J., Faust, S., Gierlichs, B. & Verbauwhede, I. (2012). Theory and Practice of a Leakage Resilient Masking Scheme. Lecture Notes in Computer Science, 7658, 758-775. https://doi.org/10.1007/978-3-642-34961-4_45

Birkedal, L., Dinsdale-Young, T., Guéneau, A., Jaber, G., Svendsen, K. & Tzevelekos, N. (2021). Theorems for free from separation logic specifications. Proceedings of the ACM on Programming Languages , 5(ICFP), Artikel 81. https://doi.org/10.1145/3473586

Assadi Soumeh, E., Van Milgen, J., Sloth, N. M., Corrent, E., Poulsen, H. D. & Norgaard, J. V. (2015). The optimum ratio of standardized ileal digestible leucine to lysine for 8 to 12 kg female pigs. Journal of Animal Science, 93(5), 2218-2224. https://doi.org/10.2527/jas.2014-8699

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). The Optimal Joint Power and Rate Adaption for Mobile Multicast: A Theoretical Approach. I 2008 IEEE Sarnoff Symposium IEEE Computer Society Press. https://doi.org/10.1109/SARNOF.2008.4520061

Bernaerts, Y., Druwé, M., Steensels, S., Vermeulen, J. & Schöning, J. (2014). The Office Smartwatch: Development and Design of a Smartwatch App to Digitally Augment Interactions in an Office Environment. -, 41-44. https://doi.org/10.1145/2598784.2602777

Bringmann, K., Grønlund, A., Künnemann, M. & Larsen, K. G. (2024). The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds. I V. Guruswami (red.), 15th Innovations in Theoretical Computer Science Conference (ITCS 2024) (s. 22:1-22:25). Artikel 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITCS.2024.22

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. I K. Stark, A. Timany, S. Blazy & N. Tabareau (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (s. 83-97). Association for Computing Machinery. https://doi.org/10.1145/3703595.3705876

Christensen, H. B. (2012). The Net4Care Platform. http://www.net4care.org

Caspersen, M. E. & Christensen, H. B. (2003). The Need for Killer Examples for Object-Oriented Frameworks. I OOPSLA Workshop "Killer Examples": Conference on Object Oriented Programming Systems Languages and Applications Association for Computing Machinery.

Klokmose, C. N. & Bertelsen, O. W. (2013). The Mysterious Whiteboard. I P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (red.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (s. 37-54 ). Springer VS. https://doi.org/10.1007/978-3-642-40480-1_3

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. I B. Filipic & J. Silc (red.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (s. 55-66). Ljublana: Jozef Stefan Institute.

Brian, G., Faonio, A., Obremski, M., Ribeiro, J., Simkin, M., Skorski, M. & Venturi, D. (2022). The Mother of All Leakages: How to Simulate Noisy Leakages via Bounded Leakage (Almost) for Free. IEEE Transactions on Information Theory, 68(12), 8197-8227. https://doi.org/10.1109/TIT.2022.3193848

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2025). The ML-Machine Toolkit: Empowering Teachers and Education Professionals to Explore Embodied Approaches to Teaching Machine Learning. I N. J. Nunes, V. Nisi, I. Oakley, Q. Yang & C. Zheng (red.), DIS 2025 - Proceedings of the 2025 ACM Designing Interactive Systems Conference (s. 535-551). Association for Computing Machinery. https://doi.org/10.1145/3715336.3735737

Dooms, G. & Katriel, I. (2006). The Minimum Spanning Tree Constraint. I F. Benhamou (red.), CP 2006 (s. 152-166) https://doi.org/10.1007/11889205_13

Faist, P., Dupont-Dupuis, F., Oppenheim, J. & Renner, R. (2015). The minimal work cost of information processing. Nature Communications, 6, Artikel 7669. https://doi.org/10.1038/ncomms8669

Caragiannis, I., Shah, N. & Voudouris, A. A. (2022). The Metric Distortion of Multiwinner Voting. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 4900-4907. https://doi.org/10.1609/aaai.v36i5.20419

Caragiannis, I., Shah, N. & Voudouris, A. A. (2022). The metric distortion of multiwinner voting. Artificial Intelligence, 313, Artikel 103802. https://doi.org/10.1016/j.artint.2022.103802

Brabrand, C., Schwartzbach, M. I., Vangaard, M., Bryant, B. R. (red.) & Saraiva, J. (red.) (2003). The METAFRONT System: Extensible Parsing and Transformation. I LDTA'2003 - Language descriptions, Tools and Applications. Proceedings (s. 592-611). Elsevier. https://doi.org/10.1016/S1571-0661(05)82622-2

Brabrand, C. & Schwartzbach, M. I. (2007). The METAFRONT System: Safe and Extensible Parsing and Transformation. Science of Computer Programming, 68(1), 2-20. https://doi.org/10.1016/j.scico.2005.06.007

Christensen, H. B., Bardram, J. & Dittmer, S. (2001). Theme One: Administration and Documentation of Medicine Report and Evaluation. Department of Computer Science, Aarhus University.

Spapé, M. M., Hoggan, E. E., Jacucci, G. & Ravaja, N. (2015). The meaning of the virtual Midas touch: an ERP study in economic decision making. Psychophysiology, 52(3), 378-87. https://doi.org/10.1111/psyp.12361

Høgsgaard, M. M., Larsen, K. G. & Mathiasen, M. E. (2024). The Many Faces of Optimal Weak-to-Strong Learning. https://arxiv.org/pdf/2408.17148

Buscher, M., Mogensen, P. H., Shapiro, D. & Wagner, I. (2002). The Manufaktur: Supporting Work Practice in (Landscape) Architecture. I Proceedings of the The Sixth European Conference on Computer Supported Cooperative Work (s. 21-40). Springer. https://doi.org/10.1007/0-306-47316-X_2

Bødker, S., Christiansen, E. T., Markussen, R. & Lytje, I. (1992). The Man in the Woman in the Researcher. Afhandling præsenteret på Conference on Gender, Technology and Ethics, Luleå, Sverige.

Kölker, J. (2012). The Magnets Puzzle is NP-Complete. Journal of Information Processing, 20(3), 707-708 . https://doi.org/10.2197/ipsjjip.20.707

Christensen, M., Crabtree, A., Damm, C. H., Hansen, K. M., Madsen, O. L., Marqvardsen, P., Mogensen, P. H., Sandvad, E., Sloth, L. & Thomsen, M. (1998). The M.A.D Experience: Multiperspective Application Development in Evolutionary Prototyping. I E. Jul (red.), ECOOP'98 - Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings (s. 13-40). Springer. https://doi.org/10.1007/BFb0054085

Kaspersen, M. H., Bilstrup, K.-E. K. & Petersen, M. G. (2021). The Machine Learning Machine: A Tangible User Interface for Teaching Machine Learning. I TEI 2021 - Proceedings of the 15th International Conference on Tangible, Embedded, and Embodied Interaction (s. 1-12). Artikel 19 Association for Computing Machinery. https://doi.org/10.1145/3430524.3440638

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2002). The <bigwig> Project. A C M Transactions on Internet Technology, 2(2), 79-114. https://doi.org/10.1145/514183.514184

Timany, A., Guéneau, A. & Birkedal, L. (2024). The Logical Essence of Well-Bracketed Control Flow. Proceedings of the ACM on Programming Languages , 8(POPL), 575-603. https://doi.org/10.1145/3632862

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Afhandling præsenteret på ACM Limits 2017, Santa Barbara, California, USA. https://doi.org/10.1145/3080556.3080567

Krink, T., Løvbjerg, M., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas Martin, J.-L. (red.) & Schwefel, H.-P. (red.) (2002). The LifeCycle model: Combining Particle Swarm Optimisation, Genetic Algorithms and HillClimbers. I Lecture Notes in Computer Science: Parallel Problem Solving from Nature --- PPSN VII (Bind 2439, s. 621-630). Springer.

Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B. (2024). The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. I A. Timany, D. Traytel, B. Pientka & S. Blazy (red.), CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 30-44). Association for Computing Machinery. https://doi.org/10.1145/3636501.3636961

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). The Knight Project: Tool Support for Collaborative Object-Oriented Modeling. Billeder, Video- og Lydoptagelser (digital)

Viser resultater 651 til 700 ud af 5987

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series