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

Torp, M. T. (2021). Techniques and Tools for Supporting Maintenance of Node.js Programs. [PhD thesis, Aarhus University]. Aarhus Universitet.

Torgersen, M. (2002). Inheritance is Specialisation. In A. P. Black, E. Ernst, P. Grogono & M. Sakkinen (Eds.), Object-oriented Technology ECOOP 2002 Workshop Reader (Vol. 12, pp. 95-101). Springer LNCS.

Torgersen, M. & Odersky, M. (Ed.) (2004). The Expression Problem Revisited - Four New Solutions using Generics. In Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP'04) (3086 i Lecture Notes in Computer Science ed., pp. 123-146). Springer.

Torgersen, M. (2001). Unifying Abstractions. (DAIMI PhD Dissertation PD-01-2 ed.) Department of Computer Science.

Torgersen, M., Ernst, E. & Hansen, C. P. (2005). Wild FJ. In Proceedings of FOOL 12 http://homepages.inf.ed.ac.uk/wadler/fool/program/14.html

Torgersen, M., Hansen, C. P., Ernst, E., Ahé, P. V. D., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. In Proceedings of the 2004 ACM Symposium on Applied Computing (Vol. 104042, pp. 1289-1296). Association for Computing Machinery. https://doi.org/10.1145/967900.968162

Torgersen, M., Hansen, C. P., Ernst, E., von der Ahé, P., Bracha, G. & Gafter, N. M. (2004). Adding Wildcards to the Java Programming Language. Journal of Object Technology, 3(11), 97-116. https://doi.org/10.5381/jot.2004.3.11.a5

Topping, C. J., Østergaard, S., Pertoldi, C. & Bach, L. A. (2003). Modelling the loss of genetic diversity in vole populations in a spatially and temporally varying environment. Annales Zoologici Fennici, 40(3), 255-267.

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

Tommasel, A. & Assent, I. (2023). Recommendation fairness and where to find it: An empirical study on fairness of user recommender systems. In J. He, T. Palpanas, X. Hu, A. Cuzzocrea, D. Dou, D. Slezak, W. Wang, A. Gruca, J. C.-W. Lin & R. Agrawal (Eds.), IEEE International Conference on Big Data, BigData 2023, Sorrento, Italy, December 15-18, 2023 (pp. 4195-4204). IEEE. https://doi.org/10.1109/BIGDATA59044.2023.10386616

Tommasel, A. & Assent, I. (2024). Semantic grounding of LLMs using knowledge graphs for query reformulation in medical information retrieval. In W. Ding, C.-T. Lu, F. Wang, L. Di, K. Wu, J. Huan, R. Nambiar, J. Li, F. Ilievski, R. Baeza-Yates & X. Hu (Eds.), 2024 IEEE International Conference on Big Data (BigData) (pp. 4048-4057). IEEE. https://doi.org/10.1109/BigData62323.2024.10826117, https://doi.org/10.1109/BigData62323.2024.10826117

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

Tomlein, M., Booveraghavan, S., Agarwal, Y. & Dey, A. (2017). CharIoT: an end-user programming environment for the IoT. Poster session presented at International Conference on the Internet of Things, Linz, Austria. https://doi.org/10.1145/3131542.3140261

Tomlein, M. (2018). Context-Aware Integrability and Maintainability of Cyber-Physical Ecosystems: Tactics and Tools. Aarhus Universitet.

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

Toftrup, M., Sørensen, S. A., Ciosici, M. R. & Assent, I. (2021). A reproduction of Apple's bi-directional LSTM models for language identification in short strings. (pp. 36-42).

Toftrup, M. B., Loeschcke, S., Belongie, S., J. Kastoryano, M. & Snæbjanarson, V. (2024). LoQT: Low-Rank Adapters for Quantized Pretraining. https://arxiv.org/abs/2405.16528

Toftkjær, T. & Kjærgaard, M. B. (2010). The use of GPS for Handling Lack of Indoor Constraints in Particle Filter-based Inertial Positioning. Poster session presented at The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australia.

Toftkjær, T. & Kjærgaard, M. B. (2012). The impact of sensor errors and building structures on particle filter-based inertial positioning. Pervasive and Mobile Computing, 8(5), 764–776. https://doi.org/10.1016/j.pmcj.2011.07.001

Toftkjær, T. (2012). Accurate positioning of pedestrains in mixed indoor/outdoor settings : A particle filter approach to sensor and map fusion. Department of Computer Science, Aarhus University.

Toftegaard, T. S. (2010). Next Generation Intelligent Wireless Infrastructure. Wireless Personal Communications, 53(3), 465-479. https://doi.org/10.1007/s11277-010-9958-y

Toft, T. (2009). Solving Linear Programs Using Multiparty Computation. Lecture Notes in Computer Science, 5628, 90-107. https://doi.org/10.1007/978-3-642-03549-4_6

Toft, T. (2009). Constant-Rounds, Almost-Linear Bit-Decomposition of Secret Shared Values. Lecture Notes in Computer Science, 357-371. https://doi.org/10.1007/978-3-642-00862-7_24

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). Sub-linear, Secure Comparison With Two Non-Colluding Parties. Lecture Notes in Computer Science, 6571, 174-191. https://doi.org/10.1007/978-3-642-19379-8_11

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. (2013). A Secure Priority Queue; or: On Secure Datastructures from Multiparty Computation.. Paper presented at International Conference on Information Security and Cryptology, Seoul, Korea, Republic of. http://www.wikicfp.com/cfp/program?id=1397&s=ICISC&f=International%20Conference%20on%20Information%20Security%20and%20Cryptology

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

Toft, T. (2007). Primitives and Applications for Multi-party Computation. Department of Computer Science, Aarhus University.

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), Article 4009. https://doi.org/10.1038/s41467-021-24271-w

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.

Tjell, S. (2007). Model-Based Software Engineering for Embedded Systems: Progress Report for Qualification Exam during Ph.D. studies.

Tjell, S. & Fernandes, J. M. (2008). Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables: Proceedings of IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES at IFIP World Computer Congress 2008). I F I P, 79-88.

Tjell, S. & Lassen, K. B. (2008). Developing Tool Support for Problem Diagrams with CPN and VDM++: Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Innovations in Systems and Software Engineering, (3), 25-34.

Tjell, S. & Lassen, K. B. (2008). Model-Based Requirements Analysis for Reactive Systems with UML Sequence Diagrams and Coloured Petri Nets. Innovations in Systems and Software Engineering, 4(3), 233-240.

Tjell, S. (2009). Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets. Aarhus Universitetsforlag.

Ting, H.-F., Lee, L. K., Chan, H.-L. & Lam, T.-W. (2011). Approximating Frequent Items in Asynchronous Data Stream over a Sliding Window. Algorithms, 4(3), 200-222. https://doi.org/10.3390/a4030200

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. (2019). Mechanized relational verification of concurrent programs with continuations. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-28. Article 105. https://doi.org/10.1145/3341709

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

Timany, A., Guéneau, A. & Birkedal, L. (2024). The Logical Essence of Well-Bracketed Control Flow. Proceedings of the ACM on Programming Languages , 8(POPL), 575-603. https://doi.org/10.1145/3632862

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, Article 9. https://doi.org/10.1145/3632851

Timany, A., Krebbers, R., Dreyer, D. & Birkedal, L. (2024). A Logical Approach to Type Soundness. Journal of the ACM, 71(6), Article 40. https://doi.org/10.1145/3676954

Thorsøe, R., Locher, P., Rathish, H. & Schulz, H.-J. (2024). A Framework for Axis Breaks in Charts. In Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (pp. 1-8). The Eurographics Association. https://doi.org/10.2312/vmv.20241198

Thorbek, R. I. (2009). Linear Integer Secret Sharing. Aarhus Universitetsforlag.

Displaying results 351 to 400 out of 5896

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University