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

Truelsen, J. (2015). Space Efficient Data Structures and External Terrain Algorithms. Department of Computer Science, Aarhus University.

Troullinou, G., Kondylakis, H., Lissandrini, M. & Mottin, D. (2021). SOFOS: Demonstrating the Challenges of Materialized View Selection on Knowledge Graph. In Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS '21) (pp. 2789–2793). Association for Computing Machinery. https://doi.org/10.1145/3448016.3452765

Trittenbach, H., Böhm, K. & Assent, I. (2020). Active Learning of SVDD Hyperparameter Values. In G. Webb, Z. Zhang, V. S. Tseng, G. Williams, M. Vlachos & L. Cao (Eds.), Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020 (pp. 109-117). [9260103] IEEE. https://doi.org/10.1109/DSAA49011.2020.00023

Trigg, R., Bødker, S. & Grønbæk, K. (1990). A Video-based Analysis of the Cooperative Prototyping Process. In R. Hellman, M. Ruohonen & P. Sørgaard (Eds.), Proceedings of the 13th IRIS conference

Trifiletti, R., Nielsen, J. B., Frederiksen, T. K. & Jakobsen, T. P. (2016). On the Complexity of Additively Homomorphic UC Commitments. In E. Kushilevitz & T. Malkin (Eds.), Theory of Cryptography - 13th International Conference, TCC 2016-A (Vol. 9562, pp. 542-565). Springer VS. Lecture Notes in Computer Science Vol. 9562 https://doi.org/10.1007/978-3-662-49096-9

Trifiletti, R. (2017). Amortizing Maliciously Secure Two-party Computation. Department of Computer Science, Aarhus University.

Trier, P., Noe, K. Ø., Sørensen, M. S. & Mosegaard, J. (2008). The visible ear surgery simulator. Studies in Health Technology and Informatics, 132, 523-5.

Triandopoulos, N., Papamanthou, C. & Tamassia, R. (2008). Authenticated hash tables: Proceedings of the 15th ACM Conference on Computer and communications security. In Proceedings of the 15th ACM Conference on Computer and communications security (pp. 437-448). Association for Computing Machinery. https://doi.org/10.1145/1455770.1455826

Triandopoulos, N., Goodrich, M. T. & Tamassia, R. (2008). Super-Efficient Verification of Dynamic Outsourced Databases: Topics in Cryptology - CT-RSA 2008. Lecture Notes in Computer Science, 407-424. https://doi.org/10.1007/978-3-540-79263-5

Triandopoulos, N., Goodrich, M. T., Papamanthou, C. & Tamassia, R. (2008). Athos: Efficient Authentication of Outsourced File Systems: Information Security. Lecture Notes in Computer Science, 80-96. https://doi.org/10.1007/978-3-540-85886-7_6

Triandopoulos, N., Cornelius, C., Kapadia, A., Kotz, D., Peebles, D. & Shin, M. (2008). Anonysense: privacy-aware people-centric sensing. In Proceeding of the 6th international conference on Mobile systems, applications, and services (pp. 211-224). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378624

Triandopoulos, N., Kapadia, A., Cornelius, C., Peebles, D. & Kotz, D. (2008). AnonySense: Opportunistic and Privacy-Preserving Context Collection. Lecture Notes in Computer Science, 280-297. https://doi.org/10.1007/978-3-540-79576-6_17

Torp, M. T. (2021). Techniques and Tools for Supporting Maintenance of Node.js Programs. 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 3580.

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.

Tomlein, M. & Grønbæk, K. (2016). Building Models of Installations to Recommend Applications in IoT Software Ecosystems. In 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud) (pp. 9-16). 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 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) (pp. 247-252). IEEE Press. https://doi.org/10.1109/WICSA.2016.17

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) (pp. 279-280). 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 [9] Association for Computing Machinery. https://doi.org/10.1145/3131542.3131552

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

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

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

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. (2007). Primitives and Applications for Multi-party Computation. Department of Computer Science, Aarhus University. Daimi PhD Dissertation No. PD-07-7

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. Lecture Notes in Computer Science Vol. 8565 https://doi.org/10.1007/978-3-319-12160-4_2

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), [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 (pp. 64:00-64:28). Association for Computing Machinery. Proceedings of the ACM on Programming Languages Vol. 2 https://doi.org/10.1145/3158152

Displaying results 301 to 350 out of 5127

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University