Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. In Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (pp. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931

Thomsen, R., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H-G. (Ed.), Fernández-Villacañas, J. L. (Ed.) & Schwefel, H-P. (Ed.) (2002). Evolving the Topology of Hidden Markov Models using Evolutionary Algorithms. In Proceedings of the 7th International Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature --- PPSN VII (Lecture Notes in Computer Science ed., Vol. 2439/2002, pp. 861-870). Springer.

Thomsen, R. (2003). Flexible Ligand Docking Using Differential Evolution. In R. Sarker, R. Reynolds, H. Abbass, K. Chen Tan, B. McKay, D. Essam & T. Gedeon (Eds.), The 2003 Congress on Evolutionary Computation, CEC '03 (Vol. 4, pp. 2354-2361). IEEE Press.

Thomsen, R., Boomsma, W., Raidl, G. R. (Ed.), Cagnoni, S. (Ed.), Branke, J. (Ed.), Corne, D. (Ed.), Drechsler, R. (Ed.), Jin, Y. (Ed.), Johnson, C. G. (Ed.), Machado, P. (Ed.), Marchiori, E. (Ed.), Rothlauf, F. (Ed.), Smith, G. D. (Ed.) & Squillero, G. (Ed.) (2004). Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators. In Applications of Evolutionary Computing (3005 i Lecture Notes in Computer Science ed., pp. 113-122). Springer.

Thomsen, R., Fogel, G. B., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). A Clustal Alignment Improver Using Evolutionary Algorithms. In Proceedings of the 2002 Congress on evolutionary Computation, 2002. CEC '02 (Vol. 1, pp. 121-126). IEEE Press.

Thomsen, R., Fogel, G. B. & Krink, T. (2003). Improvement of Clustal-Derived Sequence Alignments with Evolutionary Algorithms. In 2003 Congress on Evolutionary Computation (pp. 1499-1507). IEEE Press.

Thomsen, R., Krink, T., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H-G. (Ed.), Fernández-Villacañas, J-L. (Ed.) & Schwefel, H-P. (Ed.) (2002). Self-Adaptive Operator Scheduling using the Religion-Based EA. In Lecture Notes in Computer Science: Parallel Problem Solving from Nature - PPSN VII (2439 of Lecture Notes in Computer Science ed., Vol. 2439/-1 / 2002, pp. 214-223). Springer.

Thomsen, J. & Husemann, D. (2006). Evaluating the Use of Motes and TinyOS for a Mobile Sensor Platform. In T. Fahringer (Ed.), Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks (pp. 95-100). ACTA Press.

Thomsen, J. (2006). OSGi-based Gateway Replication. In N. Guimarães, P. Isaías & A. Goikoetxea (Eds.), Proceedings of the IADIS Applied Computing Conference 2006 (pp. 123-129). International Association for Development, IADIS.

Thomsen, J. G., Clausen, C., Andersen, K. J., Danaher, J. & Ernst, E. (2013). Reducing Lookups for Invariant Checking. In G. Castagna (Ed.), ECOOP 2013 – Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings (pp. 426-450). Springer VS. Lecture Notes in Computer Science Vol. 7920 https://doi.org/10.1007/978-3-642-39038-8_18

Thomsen, J. R., Krogh, P. G., Schnedler, J. A. & Linnet, H. (2018). Interactive interior and proxemics thresholds: Empowering participants in sensitive conversations. In CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018). [68] Association for Computing Machinery. https://doi.org/10.1145/3173574.3173642

Thomsen, S. E. & Spitters, B. (2021). Formalizing Nakamoto-Style Proof of Stake. In 2021 IEEE 34th Computer Security Foundations Symposium (CSF) IEEE. https://doi.org/10.1109/CSF51468.2021.00042

Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D., Bates, O. & Feldman, D. (2018). In the eye of a hurricane there is quiet, for just a moment, -. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (pp. 1-10). [alt01] Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems No. 2018 https://doi.org/10.1145/3170427.3188394

Thomas, V., Brueggemann, M. J., Wang, D., Gaytán-Lugo, L. S. & Bidwell, N. J. (2018). Silent SIG: Reflection in action at CHI. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April, pp. 1-4). [SIG16] Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems No. 2018 https://doi.org/10.1145/3170427.3185362

Thiel, S. K. (2018). Uncovering the influence of game components on creativity. In CHI PLAY 2018 - Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (pp. 637-645). Association for Computing Machinery. https://doi.org/10.1145/3270316.3271515

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.. Proceedings of the European Conference on Games-Based Learning Vol. 2018 No. October

Thiel, S-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. In ompanion Publication of the 2019 on Designing Interactive Systems Conference 2019 Companion (pp. 393-396). Association for Computing Machinery. ACM conference on Designing Interactive Systems

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. Lecture Notes in Computer Science Vol. 11677 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&T '19: Proceedings of the 9th International Conference on Communities & Technologies - Transforming Communities (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

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. Lecture Notes in Computer Science (LNCS) Vol. 9642 https://doi.org/10.1007/978-3-319-32025-0_11

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. Proceedings of the Participatory Design Conference 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. ACM International Conference Proceeding Series https://doi.org/10.1145/3461564.3468163

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. ACM International Conference Proceeding Series 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. Proceedings of the Annual ACM Symposium on Theory of Computing https://doi.org/10.1145/3519935.3520044

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. Lecture Notes in Computer Science Vol. 8485 https://doi.org/10.1007/978-3-319-08010-9_68

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). [8806763] IEEE. https://doi.org/10.1109/EuroSP.2019.00035