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

Taylor, K., Wang, H., Weidner, F. & Gellersen, H. (2025). Towards the Fusion of Gaze and Micro-Gestures. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 1474-1475). IEEE. https://doi.org/10.1109/VRW66409.2025.00383

Bertelsen, O. W. & Pold, S. B. (2002). Towards the aesthetics of Human-computer interaction. I E. Frøkjær & K. Hornbæk (red.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (s. 11-12). University of Copenhagen.

Zhang, W. & Hansen, K. M. (2008). Towards Self-managed Pervasive Middleware using OWL/SWRL ontologies. I Fifth International Workshop on Modelling and Reasoning in Context. Proceedings Telecom, Bretagne. http://www.hydramiddleware.eu/hydra_papers/Towards_Self-managed_Pervasive_Middleware.pdf

Hansen, K. M., Zhang, W. & Ingstrup, M. (2008). Towards Self-Managed Executable Petri Nets. I S. Brueckner, P. Robertson & U. Bellur (red.), Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (s. 287-296). IEEE Computer Society Press. https://doi.org/10.1109/SASO.2008.59

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. [Ph.d.-afhandling, Aarhus Universitet]. Institut for Datalogi, Aarhus Universitet.

Amer-Yahia, S., Bogojeska, J., Facchinetti, R., Franceschi, V., Gionis, A., Hose, K., Koutrika, G., Kouyos, R., Lissandrini, M., Maniu, S., Mirylenka, K., Mottin, D., Palpanas, T., Rigotti, M. & Velegrakis, Y. (2025). Towards Reliable Conversational Data Analytics. I roceedings of the 28th International Conference on Extending Database Technology (3 udg., s. 962-969). openproceedings.org. https://doi.org/10.48786/edbt.2025.78

Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. I G. Rozenberg, H. J. Genrich & G. Roucairol (red.), Advances in Petri Nets 1984, Proceedings (s. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Damgård, I. B. (1991). Towards Practical Public Key Systems Secure Against Chosen Ciphertext attacks. I J. Feigenbaum (red.), Advances in Cryptology - CRYPTO '91: Proceedings (s. 445-456). Springer. https://doi.org/10.1007/3-540-46766-1_36

Baum, C., Lin, H. & Oechsner, S. (2018). Towards Practical Lattice-Based One-Time Linkable Ring Signatures. I D. Naccache, S. Xu, S. Qing, P. Samarati, G. Blanc, R. Lu, Z. Zhang & A. Meddahi (red.), Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings: ICICS 2018 (Bind 11149, s. 303-322). Springer VS. https://doi.org/10.1007/978-3-030-01950-1_18

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

Brodal, G. S., Gfeller, B., Jørgensen, A. G. & Sanders, P. (2011). Towards optimal range medians. Theoretical Computer Science, 412(24), 2588-2601. https://doi.org/10.1016/j.tcs.2010.05.003

Cohen-Addad, V., Larsen, K. G., Saulpic, D. & Schwiegelshohn, C. (2022). Towards optimal lower bounds for k-median and k-means coresets. I S. Leonardi & A. Gupta (red.), STOC 2022 - Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (s. 1038-1051). Association for Computing Machinery. https://doi.org/10.1145/3519935.3519946

Fournier, H., Limaye, N., Malod, G., Srinivasan, S. & Tavenas, S. (2023). Towards Optimal Depth-Reductions for Algebraic Formulas. I A. Ta-Shma (red.), 38th Computational Complexity Conference, CCC 2023 Artikel 28 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2023.28

Hansen, K. M., Zhang, W. & Fernandes, J. M. (2009). Towards open world software architectures with semantic architecture styles, components and connectors. I Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) (s. 40-49). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2009.7

Streit, M., Schulz, H.-J., Schmalstieg, D. & Schumann, H. (2009). Towards Multi-User Multi-Level Interaction. I P. Isenberg, M. Sedlmair, D. Baur, T. Isenberg & A. Butz (red.), Proceedings of the Workshop on Collaborative Visualization on Interactive Surfaces CoVIS 2009 (s. 5-8). https://www.medien.ifi.lmu.de/forschung/publikationen/detail?pub=isenberg2010covis

Baum, C. (2016). Towards More Efficient Secure Multiparty Computation in the Preprocessing Model. Department of Computer Science, Aarhus University.

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Aarhus Universitet.

Espensen, K. L., Kjeldsen, M. K. & Kristensen, L. M. (2007). Towards Modelling and Validation of the DYMO Routing Protocol for Mobile Ad-hoc Networks. I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 243-262)

Molina León, G., Bach, B., Valentim, M. & Elmqvist, N. (2026). Towards Measuring Interactive Visualization Abilities: Connecting With Existing Literacies and Assessments.

Blaabjerg, J. F. & Askarov, A. (2021). Towards Language-Based Mitigation of Traffic Analysis Attacks. Afhandling præsenteret på 34th IEEE Computer Security Foundations Symposium, Online, USA. https://doi.org/10.1109/CSF51468.2021.00030

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

Prentow, T. S., Blunck, H., Kjærgaard, M. B. & Stisen, A. (2015). Towards Indoor Transportation Mode Detection using Mobile Sensing. I S. Sigg , P. Nurmi & F. Salim (red.), Mobile Computing, Applications, and Services : 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12-13, 2015, Revised Selected Papers (Bind 162). Springer. https://doi.org/10.1007/978-3-319-29003-4

Nielsen, M. & Grønbæk, K. (2015). Towards highly affine visualizations of consumption data from buildings. I IVAPP 2015 - 6th International Conference on Information Visualization Theory and Applications; VISIGRAPP, Proceedings (s. 247-255). SCITEPRESS Digital Library.

Grønbæk, K., Vestergaard, P. P. & Ørbæk, P. (2002). Towards Geo-spatial Hypermedia: Concepts and Prototype Implementation. I J. Blustein (red.), Proceedings of the 13th ACM Conference on Hypertext and Hypermedia (s. 117-126). Association for Computing Machinery. https://doi.org/10.1145/513338.513370

Radaelli, L. & Jensen, C. S. (2013). Towards Fully Organic Indoor Positioning. I Proceedings of the Fifth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (s. 16-20). Association for Computing Machinery.

Fleischer, P. & Kristensen, L. M. (2007). Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 9-28)

Johns, C. A., Evangelista Belo, J. M., Feit, A. M., Klokmose, C. N. & Pfeuffer, K. (2023). Towards Flexible and Robust User Interface Adaptations With Multiple Objectives. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.), UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 108 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606799

Ingstrup, M. (2006). Towards Distributed Declarative Architectural Reflection.

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. I C. Frydman, F. Longo & K. Mekouar (red.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (s. 47-53). Universidad De La Laguna.

Derczynski, L., Yang, B. & Jensen, C. S. (2013). Towards Context-Aware Search and Analysis on Social Media Data. I G. Guerrini & N. W. Paton (red.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (s. 137-142 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452393

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.

Biernacka, M. & Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. I W. Clinger (red.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (s. 37-48). Association for Computing Machinery.

Biernacka, M. & Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Lecture Notes in Computer Science, 5700, 186-206. https://doi.org/10.1007/978-3-642-04164-8_10

Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. I W. Clinger (red.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (s. 21-36). Association for Computing Machinery.

Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Lecture Notes in Computer Science, 5700, 162-185. https://doi.org/10.1007/978-3-642-04164-8_9

Radaelli, L. & Jensen, C. S. (2015). Towards Characterizing the Temporal Aspect of Frequent Patterns in Indoor Trajectory Data.

Acharya, A., Hazay, C., Prabhakaran, M. & Kolesnikov, V. (2026). Towards Building Efficient SCALES Protocols. I G. Hanaoka & B.-Y. Yang (red.), Advances in Cryptology - ASIACRYPT 2025 - 31st International Conference on the Theory and Application of Cryptology and Information Security, Proceedings: 31st International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, VIC, Australia, December 8–12, 2025, Proceedings, Part V (Bind 16249, s. 35-67). Springer LNCS. https://doi.org/10.1007/978-981-95-5116-3_2

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. I DHRS 2006: Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium, November 15, 2006 (s. 7-8). Datalogisk Institut, Aahus Universitet.

Bertelsen, O. W. & Zander, P.-O. (2006). Towards a Value Theory of the Interface. I O. Bertelsen, M. Brynskov, P. Dalsgaard, O. S. Iversen, M. G. Petersen & M. Wetterstrand (red.), Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium (s. 7-8). Department of Computer Science, Aarhus University.

Espensen, K. L., Kjeldsen, M. K., Kristensen, L. M. & Westergaard, M. (2009). Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets. Daimi Report Series (DAIMI PB), (590), 41-60.

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

Krukow, K. (2006). Towards a Theory of Trust for the Global Ubiquitous Computer.

Hubenschmid, S., Zagermann, J., Fink, D., Wieland, J., Feuchtner, T. & Reiterer, H. (2021). Towards Asynchronous Hybrid User Interfaces for Cross-Reality Interaction. I H.-C. Jetter, J.-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (red.), ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-84mm0sggczq02

Hansen, K. M., Ingstrup, M., Kyng, M. & Olsen, J. W. (2011). Towards a Software Ecosystem of Healthcare Services. I Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: Global Healthcare (s. 27-30) http://www.itu.dk/people/lrc/ProcInfraHealth2011.PDF

Jørgensen, J. B. (2005). Towards Arguing the Cost-effectiveness of Coloured Petri Nets. I SERP CSREA Press.

Brody, J. E., Buhrman, H., Koucký, M., Loff, B. & Speelman, F. (2016). Towards a Reverse Newman's Theorem in Interactive Information Complexity. Algorithmica, 76(3), 749-781. https://doi.org/10.1007/s00453-015-0112-9

Thiel, S.-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 393-396). Association for Computing Machinery. https://doi.org/10.1145/3301019.3320003

Grønbæk, K. & Wiil, U. K. (1997). Towards a Reference Architecture for Open Hypermedia. I Proceedings of the 8th ACM International Conference on Hypertext Association for Computing Machinery.

Christensen, H. B. & Hansen, K. M. (2011). Towards Architectural Information in Implementation. I R. Taylor, H. Gall & N. Medvidocvic (red.), Proceedings of 33rd International Conference on Software Engineering: ICSE 2011 (s. 928-931). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985948

Mogensen, P. H. (1992). Towards a Provotyping Approach in Systems Development. Scandinavian Journal of Information Systems, 4, 31-53.

Viser resultater 451 til 500 ud af 6097

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series