Timany, A., Gregersen, S. O., Stefanesco, L.
, Hinrichsen, J. K., Gondelman, L., Nieto, A.
& Birkedal, L. (2024).
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement.
Proceedings of the ACM on Programming Languages ,
8, Artikel 9.
https://doi.org/10.1145/3632851
Thor, M., Andersen, E. S.
, Petersen, J. B. B., Sørensen, T. S., Noe, K. Ø., Tanderup, K., Bentzen, L., Elstrøm, U. V., Høyer, M. & Muren, L. P. (2014).
Evaluation of an application for intensity-based deformable image registration and dose accumulation in radiotherapy.
Acta Oncologica,
53(10), 1329-36.
https://doi.org/10.3109/0284186X.2014.928742
Thomsen, R., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas, J. L. (red.) & Schwefel, H.-P. (red.) (2002).
Evolving the Topology of Hidden Markov Models using Evolutionary Algorithms. I
Proceedings of the 7th International Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature --- PPSN VII (Lecture Notes in Computer Science udg., Bind 2439/2002, s. 861-870). Springer.
Thomsen, R., Boomsma, W., Raidl, G. R. (red.), Cagnoni, S. (red.), Branke, J. (red.), Corne, D. (red.), Drechsler, R. (red.), Jin, Y. (red.), Johnson, C. G. (red.), Machado, P. (red.), Marchiori, E. (red.), Rothlauf, F. (red.), Smith, G. D. (red.) & Squillero, G. (red.) (2004).
Multiple Sequence Alignment Using SAGA: Investigating the Effects of Operator Scheduling, Population Seeding, and Crossover Operators. I
Applications of Evolutionary Computing (3005 i Lecture Notes in Computer Science udg., s. 113-122). Springer.
Thomsen, R., Fogel, G. B.
, Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002).
A Clustal Alignment Improver Using Evolutionary Algorithms. I
Proceedings of the 2002 Congress on evolutionary Computation, 2002. CEC '02 (Bind 1, s. 121-126). IEEE Press.
Thomsen, R., Krink, T., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas, J.-L. (red.) & Schwefel, H.-P. (red.) (2002).
Self-Adaptive Operator Scheduling using the Religion-Based EA. I
Lecture Notes in Computer Science: Parallel Problem Solving from Nature - PPSN VII (2439 of Lecture Notes in Computer Science udg., Bind 2439/-1 / 2002, s. 214-223). Springer.
Thomsen, J. (2006).
OSGi-based Gateway Replication. I N. Guimarães, P. Isaías & A. Goikoetxea (red.),
Proceedings of the IADIS Applied Computing Conference 2006 (s. 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. I G. Castagna (red.),
ECOOP 2013 – Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings (s. 426-450). Springer VS.
https://doi.org/10.1007/978-3-642-39038-8_18
Thomsen, P. F., Kielgast, J.
, Iversen, L. L., Møller, P. R., Rasmussen, M. & Willerslev, E. (2012).
Detection of a Diverse Marine Fish Fauna Using Environmental DNA from Seawater Samples.
PLoS One,
7(8), Artikel e41732.
https://doi.org/10.1371/journal.pone.0041732Thomas, 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, -. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.),
CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (s. 1-10). Artikel alt01 Association for Computing Machinery.
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. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.),
CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April, s. 1-4). Artikel SIG16 Association for Computing Machinery.
https://doi.org/10.1145/3170427.3185362
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
Thiel, S.-K., Falk Olesen, J., Halskov, K. & Larsen-Ledet, I. (2019).
Group Dynamics in Gameful Collaborative Innovation Processes. I H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (red.),
Collaboration Technologies and Social Computing (s. 222-231). Springer.
https://doi.org/10.1007/978-3-030-28011-6_16
Thai Son, M., Assent, I. & Le, A. T. (2016).
Anytime OPTICS: An efficient approach for hierarchical density-based clustering. I S. B. Navathe, W. Wu, S. Shekhar, X. Du, X. Sean Wang & H. Xiong (red.),
Database Systems for Advanced Applications - 21st International Conference, DASFAA 2016, Proceedings (Bind 9642, s. 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. I 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 (red.),
Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 udg., Bind 1, s. 159-171). Association for Computing Machinery.
https://doi.org/10.1145/3385010.3385020
