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

Thiel, S. K. (2018). Gamifying creative potential: For better or worse? In M. Ciussi (Ed.), 12th European Conference on Game Based Learning, ECGBL 2018 (pp. 915-919). Dechema e.V..

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

Thiel, S.-K., Falk Olesen, J., Halskov, K. & Larsen-Ledet, I. (2019). Group Dynamics in Gameful Collaborative Innovation Processes. In H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.), Collaboration Technologies and Social Computing (pp. 222-231). Springer. https://doi.org/10.1007/978-3-030-28011-6_16

Thiel, S.-K. & Lyle, P. J. (2019). Malleable Games - A Literature Review on Communities of Game Modders. In C and T 2019 - 9th International Conference on Communities and Technologies, Conference Proceedings (pp. 198-209). Association for Computing Machinery. https://doi.org/10.1145/3328320.3328393

Theocharidis, K., Terrovitis, M., Skiadopoulos, S. & Karras, P. (2022). A Content Recommendation Policy for Gaining Subscribers. In SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 2501-2506). Association for Computing Machinery. https://doi.org/10.1145/3477495.3531885

Thang, N. K. (2010). On (Group) Strategy-Proof Mechanisms without Payment for Facility Location Games. Lecture Notes in Computer Science, 6484, 531-538. https://doi.org/10.1007/978-3-642-17572-5_47

Thai Son, M., Assent, I. & Storgaard, M. (2016). AnyDBC: An efficient anytime density-based clustering algorithm for very large complex datasets. In KDD 2016 - Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (pp. 1025-1034). Association for Computing Machinery. https://doi.org/10.1145/2939672.2939750

Thai Son, M., Assent, I. & Le, A. T. (2016). Anytime OPTICS: An efficient approach for hierarchical density-based clustering. In S. B. Navathe, W. Wu, S. Shekhar, X. Du, X. Sean Wang & H. Xiong (Eds.), Database Systems for Advanced Applications - 21st International Conference, DASFAA 2016, Proceedings (Vol. 9642, pp. 164-179). Springer VS. https://doi.org/10.1007/978-3-319-32025-0_11

Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P., Assent, I. & Viet Hung Nguyen, Q. (2022). Incremental Density-based Clustering on Multicore Processors. I E E E Transactions on Pattern Analysis and Machine Intelligence, 44(3), 1338-1356. https://doi.org/10.1109/TPAMI.2020.3023125

Tetsuo, A., de Berg, M., Cheong, O., Everett, H., Haverkort, H. J., Katoh, N. & Wolff, A. (2005). Optimal Spanners for Axis-Aligned Rectangles. Computational Geometry, 30(1), 59-77.

Teli, M., Foth, M., Sciannamblo, M., Anastasiu, I. & Lyle, P. J. (2020). Tales of Institutioning and Commoning: Participatory Design Processes with a Strategic and Tactical Perspective. In C. Del Gaudio, L. Parra-Agudelo, R. Clarke, J. Saad-Sulonen, A. Botero, A. Botero, F. C. Londono, F. C. Londono & P. A. Escandon Suarez (Eds.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 ed., Vol. 1, pp. 159-171). Association for Computing Machinery. https://doi.org/10.1145/3385010.3385020

Teli, M., Rossitto, C., Lewkowicz, M. & Bødker, S. (2021). Understanding, Promoting, and Designing for Sustainable Appropriation of Technologies by Grassroots Communities. Towards a new wave of technological activism: Sustainable Appropriation of Technologies by Grassroots Communities. In C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (pp. 332-335). Association for Computing Machinery. https://doi.org/10.1145/3461564.3468163

Telelis, O. & Zissimopoulos, V. (2008). Dynamic bottleneck optimization for k-edge and 2-vertex connectivity. Information Processing Letters, 106(6), 251-257. https://doi.org/10.1016/j.ipl.2007.11.020

Telelis, O., Gourvès, L. & Monnot, J. (2009). Selfish Scheduling with Setup Times. Lecture Notes in Computer Science, 292-303. https://doi.org/10.1007/978-3-642-10841-9_27

Tchernavskij, P. (2021). Case Study: Biodiversity Galiano.

Tchernavskij, P., Webb, A. M., Gemeinhardt, H. & Mackay, W. E. (2022). Readymades & Repertoires: Artifact-Mediated Improvisation in Tabletop Role-Playing Games. In C&C '22: Creativity and Cognition (pp. 298-311). Association for Computing Machinery. https://doi.org/10.1145/3527927.3532798

Tchernavskij, P. & Bødker, S. (2022). Entangled Artifacts: The Meeting Between a Volunteer-run Citizen Science Project and a Biodiversity Data Platform. In NordiCHI '22: Nordic Human-Computer Interaction Conference Association for Computing Machinery. https://doi.org/10.1145/3546155.3546682

Tavenas, S., Limaye, N. & Srinivasan, S. (2022). Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication. In S. Leonardi & A. Gupta (Eds.), STOC 2022 - Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (pp. 416-425). Association for Computing Machinery. https://doi.org/10.1145/3519935.3520044

Tataru, P., Sand, A., Hobolth, A., Mailund, T. & Pedersen, C. N. S. (2013). Algorithms for Hidden Markov Models Restricted to Occurrences of Regular Expressions. Biology, 2(4), 1282-1295. https://doi.org/10.3390/biology2041282

Tataru, P., Nirody, J. A. & Song, Y. S. (2014). diCal-IBD: demography-aware inference of identity-by-descent tracts in unrelated individuals. Bioinformatics, 30(23), 3430-3431. https://doi.org/10.1093/bioinformatics/btu563

Tataru, P. (2015). Inference of population history and patterns from molecular data. Department of Computer Science, Aarhus University.

Tataru, P., Bataillon, T. & Hobolth, A. (2015). Inference Under a Wright-Fisher Model Using an Accurate Beta Approximation. Genetics, 201(3), 1133-1141.

Tan, B., Zhu, F., Qu, Q. & Liu, S. (2014). Online Community Transition Detection. In F. Li, G. Li , S. Hwang, B. Yao & Z. Zhang (Eds.), Web-Age Information Management: 15th International Conference, WAIM 2014, Macau, China, June 16-18, 2014. Proceedings (pp. 633-644). Springer VS. https://doi.org/10.1007/978-3-319-08010-9_68

Tan, J. & Madsen, M. (2025). Overloading the Dot. In D. Kluss, S. Achour & J. Palsberg (Eds.), CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (pp. 60-69). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3708493.3712684

Talebanfard, N. (2014). On the Combinatorics of SAT and the Complexity of Planar Problems. Department of Computer Science, Aarhus University.

Talavera Cepeda, I., Pauli, A. B. & Assent, I. (2023). Søren Kierkegaard at SemEval-2023 Task 4: Label-aware text classification using Natural Language Inference. In A. Kr. Ojha, A. Seza Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (Eds.), Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.semeval-1.258

Takahashi, A. & Tibouchi, M. (2019). Degenerate Fault Attacks on Elliptic Curve Parameters in OpenSSL. In 2019 IEEE European Symposium on Security and Privacy (EuroS&P), Proceedings (pp. 371-386). Article 8806763 IEEE. https://doi.org/10.1109/EuroSP.2019.00035

Takahashi, A. (2022). Cryptography from Zero Knowledge - Advanced Security and New Constructions. Århus Universitet.

Szehr, O., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Decoupling with unitary approximate two-designs. New Journal of Physics, 15(5). https://doi.org/10.1088/1367-2630/15/5/053022

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, Article 1526. https://doi.org/10.1038/s41598-022-05333-5

Svenning, J.-C. & Magård, E. (1999). Population ecology and conservation status of the last natural population of English yew Taxus baccata in Denmark. Biological Conservation, 88/2(Artikel 4), 173-182.

Svenning, J.-C., Dalsgaard, B., Kissling, W. D., Lenoir, J. R. M. H. & Sandel, B. S. (2011). Strong paleoclimatic imprints on ecological patterns and function across scales. Abstract from 12th European Ecological Federation Congress, Avila, Spain.

Svenning, J.-C. & Sandel, B. S. (2013). Disequilibrium vegetation dynamics under future climate change. American Journal of Botany, 100(7), 1266-1286. https://doi.org/10.3732/ajb.1200469

Svenning, R. & Sridhar, V. (2024). Fast Area-Weighted Peeling of Convex Hulls for Outlier Detection. In Proceedings of the 36th Canadian Conference on Computational Geometry (pp. 233-240). The CCCG Library.

Svendsen, K. & Birkedal, L. (2014). Impredicative concurrent abstract predicates. In Z. Shao (Ed.), Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (pp. 149-168 ). Springer. https://doi.org/10.1007/978-3-642-54833-8_9

Svendsen, K., Sieczkowski, F. & Birkedal, L. (2016). Transfinite step-indexing: Decoupling concrete and logical steps. In P. Thiemann (Ed.), Programming Languages and Systems (Vol. 9632, pp. 727-751). Springer VS. https://doi.org/10.1007/978-3-662-49498-1_28

Svendsen, S. C. (2021). Practical I/O-Efficient Multiway Separators.

Svendsen, S. C. (2021). Algorithms for Massive Terrains and Graphs. Århus Universitet.

Sunesen, K. & Nielsen, M. (1996). Behavioural equivalence for infinite systems - Partially decidable! In J. Billington & W. Reisig (Eds.), Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings (pp. 460-479). Springer. https://doi.org/10.1007/3-540-61363-3_25

Sun, X., Wang, C. & Yu, W. (2012). The Relationship between Inner Product and Counting Cycles. Lecture Notes in Computer Science, 7256, 643-654. https://doi.org/10.1007/978-3-642-29344-3_54

Sükösd, Z., Knudsen, B., Kjems, J. & Pedersen, C. N. S. (2012). PPfold 3.0: fast RNA secondary structure prediction using phylogeny and auxiliary data. Bioinformatics, 28(20), 2691-2692. https://doi.org/10.1093/bioinformatics/bts488

Sükösd, Z., Knudsen, B., Anderson, J. WJ., Novák, A., Kjems, J. & Pedersen, C. N. S. (2013). Characterising RNA secondary structure space using information entropy. B M C Bioinformatics, 14 (Suppl 2), 1-9. Article S22. https://doi.org/10.1186/1471-2105-14-S2-S22

Styrup, J. & Flarup, E. O. (2008). Architectural styles for heteogeneous multicore processors: an emperical study using the cell broadband engine architecture and architectural prototyping. Aarhus Universitet, Datalogisk Institut.

Sturtivant, C. & Frandsen, G. S. (1993). The computational efficacy of finite-field arithmetic. Theoretical Computer Science, 112(2), 291-309. https://doi.org/10.1016/0304-3975(93)90022-L

Strzebonski, A. & Tsigaridas, E. (2011). Univariate real root isolation in an extension field. In Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (pp. 321-328). Association for Computing Machinery. https://doi.org/10.1145/1993886.1993934

Strydonck, T. V., Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F., Birkedal, L. & Devriese, D. (2022). Proving full-system security properties under multiple attacker models on capability machines. In Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (pp. 80-95). IEEE. https://doi.org/10.1109/CSF54842.2022.9919645

Strocco, F. (2016). Type Soundness in the Dart Programming Language. Department of Computer Science, University of Aarhus.

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 No. 557 http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF

Støvring, K. (2005). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. (BRICS RS-05-35 ed.) University of Aarhus.

Støvring, K. (2006). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. Logical Methods in Computer Science, 2(2(1)), 1-14.

Displaying results 401 to 450 out of 5647

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University