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

Ackerman, M. & Branzei, S. (2014). The Authorship Dilemma: Alphabetical or Contribution? I A. Bazzan & M. Huhns (red.), Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems : AAMAS '14 (s. 1487-1488). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2616025&bnc=1

Markussen, R., Mogensen, P. H., Bødker, S., Christiansen, E., Ehn, P. & Trigg, R. (1993). The AT project. Practical Research in Cooperative Design. I The AT Project (Bind DAIMI PB-454,). Department of Computer Science, University of Aarhus.

Miltersen, P. B., Paterson, M. & Tarui, J. (1996). The asymptotic complexity of merging networks. Journal of the ACM, 43(1), 147-165. https://doi.org/10.1145/227595.227693

Miltersen, P. B., Paterson, M. & Tarui, J. (1992). The asymptotic complexity of merging networks. I 33rd Annual Symposium on Foundations of Computer Science, 1992. Proceedings. (s. 236-246). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1992.267768

Buemann, B., Schierning, B., Toubro, S., Bibby, B. M., Sørensen, T., Dalgaard, L., Pedersen, O. & Astrup, A. (2001). The association between the val/ala-55 polymorphism of the uncoupling protein 2 gene and exercise efficiency. International Journal of Obesity, 25(4), 467-471. https://doi.org/10.1038/sj.ijo.0801564

Kristensen, L. M. (2007). The ASCoVeCo State Space Analysis Platform: Next Generation Tool Support for State Space Analysis (Invited Tutorial). I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 1-6)

Bødker, S. (1998). The artifacts of boundary crossing in systems design. Afhandling præsenteret på Congress of the International Society for Cultural Research and Activity Theory, SCRAT 1998, Århus, Danmark.

Bouvin, N. O. (1999). The Arakne Framework. Department of Computer Science, Aarhus University.

Weinberg, M. S., Villeneuve, L. M., Ehsani, A., Amarzguioui, M., Aagaard, L., Chen, Z.-X., Riggs, A. D., Rossi, J. J. & Morris, K. V. (2006). The antisense strand of small interfering RNAs directs histone methylation and transcriptional gene silencing in human cells. RNA, 12(2), 256–262. https://doi.org/10.1261/rna.2235106

Petersen, M. G. & Rasmussen, M. K. (2011). The Ambiguity of Shape Changing Interfaces. Afhandling præsenteret på Organic User Interface Workshop, Funchal, Portugal.

Pedersen, M. Ø. & Pagter, J. I. (2007). The All-or-Nothing Anti-Theft Policy - Theft Protection for Pervasive Computing. I Proceedings of AINA Workshops (1 udg., Bind 1, s. 626-631). IEEE Computer Society Press.

Sitchinava, N. & Svenning, R. (2024). The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory. I SPAA '24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures (s. 259-268). Association for Computing Machinery. https://doi.org/10.1145/3626183.3659979

Årdal, M. A., Basso, A. & Riepel, D. (2026). The Algebraic Isogeny Model: A General Model with Applications to SQIsign and Key Exchanges. I EUROCRYPT 2026 https://doi.org/10.1007/978-3-032-25327-9_21

Laursen, C. C. W., Lunn, T. H., Hägi-Pedersen, D., Olsen, M. H., Kappel, A., Jakobsen, T., Pedersen, N. A., Thougaard, T., Graungaard, B. K., Bjerno, T., Hollænder, P. B., Runge, C., Yilmaz, M., Eljaja, S. B., Therkelsen, A. S. N., Steiness, J., Gasbjerg, K. S., Thybo, K., Lange, K. H. W. ... Jakobsen, J. C. (2025). The Adverse Effects Associated With Ibuprofen Use After Major Orthopaedic Surgeries—A Detailed Statistical Analysis Plan for the PERISAFE Randomized Clinical Trial. Acta Anaesthesiologica Scandinavica, 69(6), Artikel e70062. https://doi.org/10.1111/aas.70062

Aziz, H., Branzei, S., Filos-Ratsikas, A. & Frederiksen, S. K. S. (2015). The Adjusted Winner Procedure: Characterizations and Equilibria. Afhandling præsenteret på International Joint Conference on Artificial Intelligence, Buinos Aires, Argentina.

Bertelsen, O. W. (2004). The Activity Walkthrough: An Expert Review Method Based on Activity Theory. I Proceedings of the third Nordic conference on Human-computer interaction (s. 251-254). Association for Computing Machinery. https://doi.org/10.1145/1028014.1028052

van den Brand, M., Iversen, J., Mosses, P. D., Hedin, G. (red.) & Van Wyk, E. (red.) (2004). The Action Environment: Tool Demonstration. I Ikke angivet (s. 177-180). Elsevier.

Breinbjerg, M., Caprani, O. & Lunding, R. (2005). The Acousmatic Music Environment: Musique Concret for Children.

Westergaard, M. & Kristensen, L. M. (2009). The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. Lecture Notes in Computer Science, 313-322. https://doi.org/10.1007/978-3-642-02424-5_19

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2001). The Abstraction and Instantiation of String-Matching Programs. BRICS Report Series, (RS-01-12).

Amtoft, T., Consel, C., Danvy, O. & Malmkjær, K. (2002). The Abstraction and Instantiation of String-Matching Programs. I T. Mogensen, D. Schmidt & H. Sudborough (red.), The Essence of Computation: Complexity, Analysis, Transformation (s. 332-357). Springer. https://doi.org/10.1007/3-540-36377-7_15

Bunde-Pedersen, J., Mogensen, M. & Bardram, J. E. (2006). The ABC Adaptive Fusion Architecture. I Proceedings of The 4th International Workshop on Middleware for Pervasive and Ad-Hoc Computing, a workshop of The 7th International Middleware Conference

Ernst, E., Gerhardt, F. & Benedicenti, L. (red.) (1998). The 8th Workshop for PhD Students in Object-Oriented Systems. I S. Demeyer & J. Bosch (red.), Object-Oriented Technology: ECOOP’98 Workshop Reader: ECOOP’ 98 Workshops, Demos, and Posters Brussels, Belgium, July 20–24, 1998 Proceedings (s. 592-634). Springer. https://doi.org/10.1007/3-540-49255-0_1

Ernst, E., Gerhardt, F. & Wohlrab, L. (red.) (1997). The 7th Workshop for PhD Students in Object-Oriented Systems. I J. Bosch & S. Mitchell (red.), Object-Oriented Technologys: ECOOP’97 Workshop Reader ECOOP’97 Workshops Jyväskylä, Finland, June 9–13, 1997 Proceedings (s. 389-431). Springer. https://doi.org/10.1007/3-540-69687-3_79

Garavel, H., ter Beek, M. H. & van de Pol, J. (2020). The 2020 Expert Survey on Formal Methods. I M. H. ter Beek & D. Nickovic (red.), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings: FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (s. 3-69). Springer. https://doi.org/10.1007/978-3-030-58298-2_1

Jensen, C. S., Jerma, C., Lu, J., Tanin, E. & Zhou, X. (red.) (2013). The 2013 IEEE 29th International Conference on Data Engineering. IEEE Communications Society. https://doi.org/10.1109/ICDE.2013.6544799

MacKinnon, L., Bertelsen, O. W. & Bryan-Kinns, N. (red.) (2005). The 19th British HCI Group Annual Conference, The Bigger Picture, HCI 2005, Napier University, Edinburgh, 5-9 Sept, Proceedings Volume 2. The British Computer Society.

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (2025). That's AmorE: Amortized Efficiency for Pairing Delegation. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 211-246) https://doi.org/10.1007/978-3-032-01913-4_7

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)

Loeschcke, S., Belongie, S. & Benaim, S. (2023). Text-Driven Stylization of Video Objects. I L. Karlinsky, T. Michaeli & K. Nishino (red.), Computer Vision – ECCV 2022 Workshops (s. 594-609). Springer. https://doi.org/10.1007/978-3-031-25069-9_38

Truică, C. O., Apostol, E. S., Darmont, J. & Assent, I. (2021). TextBenDS: a Generic Textual Data Benchmark for Distributed Systems. Information Systems Frontiers, 23(1), 81-100. https://doi.org/10.1007/s10796-020-09999-y

Koti, N., Suresh, A., Rachuri, S. R. & Patra, A. (2022). Tetrad: Actively Secure 4PC for Secure Training and Inference. Afhandling præsenteret på Network and Distributed Systems Security (NDSS) Symposium 2022, San Diego ,Calif., USA. https://doi.org/10.14722/ndss.2022.24058

Hansen, M. T., Arroyo-Valles, R. & Cid-Sueiro, J. (2010). Testing Selective Transmission with Low Power Listening. Lecture Notes in Computer Science, 6511, 146-153. https://doi.org/10.1007/978-3-642-17520-6_14

Caspersen, M. E., Madsen, O. L. & Skov, S. H. (2001). Testing Object-Oriented Software. Department of Computer Science, Aarhus University.

Achenbach, M. & Ostermann, K. (2010). Testing Object-Oriented Programs using Dynamic Aspects and Non-Determinism. I Proceedings of the 1st Workshop on Testing Object-Oriented Systems. Etoos '10 (s. Article No. 3 ). Association for Computing Machinery. https://doi.org/10.1145/1890692.1890695

Lundby, C., Achman-Andersen, N. J., Thomsen, J. J., Norgaard, A. M. & Robach, P. (2008). Testing for recombinant human erythropoietin in urine: problems associated with current anti-doping testing. Journal of Applied Physiology, 105(2), 417-9. https://doi.org/10.1152/japplphysiol.90529.2008

Reetz, E., Lehmann, A., Kümper, D. & Tönjes, R. (2012). Test Driven Life Cycle Management for Internet of Things based Services: a Semantic Approach. Afhandling præsenteret på International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal.

Bertelsen, O. W. (2008). Tertiary Artefacts at the Interface. I P. A. Fishwick (red.), Aesthetic Computing (s. 357-368). MIT Press.

Bertelsen, O. W. (2006). Tertiary Artefactness at the Interface. I P. A. Fishwick (red.), Aesthetic Computing (1 udg.). The MIT Press.

Larsen-Ledet, I. & Korsgaard, H. (2019). Territorial Functioning in Collaborative Writing: Fragmented Exchanges and Common Outcomes. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 28(3-4), 391-433. https://doi.org/10.1007/s10606-019-09359-8

Strandberg, B., Magård, E., Bak, J. L., Pedersen, M. B., Damgaard, C., Fredshavn, J. R., Løkke, H. & Nielsen, K. E. (2005). Terrestriske naturtyper 2004: NOVANA. Danmarks Miljøundersøgelser, Aarhus Universitet. Faglig rapport fra DMU Nr. 557 http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF

Danner, A., Mølhave, T., Yi, K., Agarwal, P. K., Arge, L. & Mitasova, H. (2007). TerraStream: From Elevation Data to Watershed Hierarchies. I Proceedings of the 15th ACM International Symposium on Advances in Geographic Information Systems (s. 1-8). Association for Computing Machinery. https://doi.org/10.1145/1341012.1341049

Wang, Q., Kaul, M., Long, C. & Wong, R. (2014). Terrain-Toolkit: A Multi-Functional Tool for Terrain Data. Proceedings of the VLDB Endowment, 7(13), 1645 - 1648. http://www.vldb.org/pvldb/vol7/p1645-wang.pdf

Wang, Q., Kaul, M., Long, C. & Wong, R. C. W. (2014). Terrain-Toolkit: A multi-functional tool for terrain data. Proceedings of the VLDB Endowment, 7(13), 1645-1648. http://www.scopus.com/inward/record.url?scp=84905856022&partnerID=8YFLogxK

Jensen, K. (red.) (2009). Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009. Department of Computer Science, Aarhus University.

Pakanen, M., Polli, A. M., Lee, S., Lindley, J. & Goncalves, J. (2013). Tending a Virtual Garden: Exploring Connectivity between Cities. I UbiComp '13 Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication (s. 761-764 ). Association for Computing Machinery. https://doi.org/10.1145/2494091.2496004

Kappel, S. L., Jørgensen, A. N. & Kidmose, P. (2025). Temporal Synchronization of Multimodal Hyperscanning Recordings: Challenges, Methodologies, and Best Practices. I 2025 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2025 - Proceedings IEEE. https://doi.org/10.1109/EMBC58623.2025.11252759

Nielsen, M. & Valencia, F. D. (2003). Temporal constraint programming: A framework for discrete-timed systems. Association for Logic Programming Newsletter, 15(4).

Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(2), 145-188.

Nielsen, M. & Valencia, F. D. (2001). Temporal Concurrent Constraint Programming: Applications and Behavior. BRICS Report Series, (RS-01-48).

Viser resultater 851 til 900 ud af 6096

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series