Tommasel, A., Pablos Sarabia, R. & Assent, I. (2023). Re²Dan: Retrieval of Medical Documents for e-Health in Danish. In Proceedings of the 17th ACM Conference on Recommender Systems, RecSys 2023 (pp. 1208-1211). Association for Computing Machinery. https://doi.org/10.1145/3604915.3610655

Tomlein, M. & Grønbæk, K. (2016). Building Models of Installations to Recommend Applications in IoT Software Ecosystems. In Proceedings - 2016 IEEE 4th International Conference on Future Internet of Things and Cloud, FiCloud 2016 (pp. 9-16). Article 7575838 IEEE Press. https://doi.org/10.1109/FiCloud.2016.10

Tomlein, M. & Grønbæk, K. (2016). Semantic Model of Variability and Capabilities of IoT Applications for Embedded Software Ecosystems. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 247-252). Article 7516835 IEEE Press. https://doi.org/10.1109/WICSA.2016.17

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 279-280). Article 7516845 IEEE Press. https://doi.org/10.1109/WICSA.2016.53

Tomlein, M. & Grønbæk, K. (2017). A Visual Programming Approach Based on Domain Ontologies for Configuring Industrial IoT Installations. In Proceedings of the 7th International Conference on the Internet of Things, IoT 2017 Article 9 Association for Computing Machinery. https://doi.org/10.1145/3131542.3131552

Toma, L., Wickremsinghe, R., Arge, L. A., Chase, J. S., Vitter, J. S., Halpin, P. N. & Urban, D. (2001). Flow computation on massive grids. In Proceedings of the 9th ACM international symposium on Advances in geographic information systems (pp. 82-87). Association for Computing Machinery. https://doi.org/10.1145/512161.512180

Toft, T. (2006). An efficient, unconditionally secure equality test for secret shared values. In Proceedings of the 2006 Workshop on Models for Cryptographic Protocols

Toft, T. (2011). Secure data structures based on multi-party computation. In Proceedings of the 30th Annual ACM SIGACT-SIGOPS ACM Symposium on Principles of Distributed Computing, PODC 2011 (pp. 291-292). Association for Computing Machinery. https://doi.org/10.1145/1993806.1993859

Toft, T. (2014). A secure priority queue; or: On secure datastructures from multiparty computation. In H-S. Lee & D-G. Han (Eds.), Information Security and Cryptology -- ICISC 2013: 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers (Vol. 8565, pp. 20-33). Springer. https://doi.org/10.1007/978-3-319-12160-4_2

Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. In From Model-Driven Design to Resource Management for Distributed Embedded Systems (Vol. 225/2006, pp. 245-255). Springer.

Tjell, S. (2006). Model-Based Testing of a Reactive System with Coloured Petri Nets. In Proceedings of GI Jahrestagung (2) (Vol. 94, pp. 274-281). Gesellschaft für Informatik e.V..

Tjell, S. (2007). Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In Proceedings of the Second IEEE International Symposium on Industrial Embedded Systems (SIES 2007) (Vol. 2, pp. 242-249). IEEE.

Timany, A., Stefanesco, L., Krogh-Jespersen, M. & Birkedal, L. (2018). A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. In Proceedings of the ACM on Programming Languages (Vol. 2, pp. 64:00-64:28). Association for Computing Machinery. https://doi.org/10.1145/3158152

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. https://doi.org/10.1007/978-3-642-39038-8_18