Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Tsirogiannis, K. & de Berg, M. (2011). Exact and approximate computations of watersheds on triangulated terrains. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 74-83). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093985

Tsirogiannis, K. & Haverkort, H. (2011). Flow on noisy terrains: an experimental evaluation. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 84-91). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093986

Tsirogiannis, C., Sandel, B. S. & Cheliotis, D. (2012). Efficient Computation of Popular Phylogenetic Tree Measures. Lecture Notes in Computer Science, 7534, 30-43. https://doi.org/10.1007/978-3-642-33122-0_3

Tsirogiannis, C. & Sandel, B. S. (2013). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. I A. Darling & J. Stoye (red.), Algorithms in Bioinformatics: 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013. Proceedings (s. 170-184). Springer VS. https://doi.org/10.1007/978-3-642-40453-5_14

Tsirogiannis, C., Sandel, B. S. & Kalvisa, A. (2014). New Algorithms for Computing Phylogenetic Biodiversity. I D. Brown & B. Morgenstern (red.), Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings (s. 187-203). Springer VS. https://doi.org/10.1007/978-3-662-44753-6_15

Tsirogiannis, C. & Sandel, B. S. (2014). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. Algorithms for Molecular Biology, 9(1), artikel 15. https://doi.org/10.1186/1748-7188-9-15

Tsirogiannis, C. & Tsirogiannis, C. (2016). Uncovering the Hidden Routes: Algorithms for Identifying Paths and Missing Links in Trade Networks . I T. Brughmans, A. Collar & F. Coward (red.), The Connected Past: Challenges to Network Studies in Archaeology and History Oxford University Press.

Tsirogiannis, C. & Sandel, B. S. (2016). PhyloMeasures: A package for computing phylogenetic biodiversity measures and their statistical moments. Ecography, 39(7), 709-714. https://doi.org/10.1111/ecog.01814

Tsirogiannis, C., Staals, F. & Pellissier, V. (2018). Computing the expected value and variance of geometric measures. ACM Journal of Experimental Algorithmics, 23(1), 2.4:1-2.4:32. artikel 2.4. https://doi.org/10.1145/3228331

Tsigaridas, E. (2011). Improved bounds for continued fractions variants for real root isolation. Afhandling præsenteret på 4th Internatinal Conference on Mathematical Aspects of Computer Information, Beijing, Kina.

Tshagharyan, G. & Schulz, H-J. (2013). A Graph-based Overview Visualization for Data Landscapes. Computer Science and Information Technology, 1(3), 225-232. http://www.hrpub.org/journals/article_info.php?aid=672

Truică, C. O., Apostol, E. S., Darmont, J. & Assent, I. (2021). TextBenDS: a Generic Textual Data Benchmark for Distributed Systems. Information Systems Frontiers, 23(1), 81-100. adv. onlinepublikation. https://doi.org/10.1007/s10796-020-09999-y

Truica, C-O., Apostol, E. S., Stefu, T. & Karras, P. (2021). A Deep Learning Architecture for Audience Interest Prediction of News Topic on Social Media. I Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (red.), Advances in Database Technology - EDBT 2021: 24th International Conference on Extending Database Technology, Proceedings (s. 588-599). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.69

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. I Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS '21) (s. 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. I G. Webb, Z. Zhang, V. S. Tseng, G. Williams, M. Vlachos & L. Cao (red.), Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020 (s. 109-117). artikel 9260103 IEEE. https://doi.org/10.1109/DSAA49011.2020.00023

Trifiletti, R., Nielsen, J. B., Frederiksen, T. K. & Jakobsen, T. P. (2016). On the Complexity of Additively Homomorphic UC Commitments. I E. Kushilevitz & T. Malkin (red.), Theory of Cryptography - 13th International Conference, TCC 2016-A, Proceedings (Bind 9562, s. 542-565). Springer VS. https://doi.org/10.1007/978-3-662-49096-9

Trifiletti, R., Nielsen, J. B., Jakobsen, T. P. & Frederiksen, T. K. (2015, apr. 3). TinyLEGO: An Interactive Garbling Scheme for Maliciously Secure Two-Party Computation. https://eprint.iacr.org/2015/309.pdf

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

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

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

Tomlein, M. (2016). Context-Aware Software Ecosystem for Industrial Products. I Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (s. 279-280). artikel 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. I Proceedings of the 7th International Conference on the Internet of Things, IoT 2017 artikel 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 præsenteret på International Conference on the Internet of Things, Linz, Østrig. https://doi.org/10.1145/3131542.3140261

Tominski, C. & Schulz, H-J. (2012). The Great Wall of Space-Time. I T. Grosch, B. Preim, H. Theisel & K-D. Toennies (red.), Proceedings of the Workshop on Vision, Modeling, and Visualization (VMV) (s. 199-206). Eurographics Association. https://doi.org/10.2312/PE/VMV/VMV12/199-206

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.

Toft, T. (2011). Secure data structures based on multi-party computation. I Proceedings of the 30th Annual ACM SIGACT-SIGOPS ACM Symposium on Principles of Distributed Computing, PODC 2011 (s. 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.. Afhandling præsenteret på International Conference on Information Security and Cryptology, Seoul, Sydkorea. 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. I H-S. Lee & D-G. Han (red.), Information Security and Cryptology -- ICISC 2013: 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers (Bind 8565, s. 20-33). Springer. 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), artikel 4009. https://doi.org/10.1038/s41467-021-24271-w

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. I Proceedings of the ACM on Programming Languages (Bind 2, s. 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. artikel 105. https://doi.org/10.1145/3341709

Timany, A. & Sozeau, M. (2017). Consistency of the Predicative Calculus of Cumulative Inductive Construction (pCuIC). https://hal.inria.fr/hal-01615123

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

Timany, A., Gregersen, S. O., Stefanesco, L., Gondelman, L., Nieto, A. & Birkedal, L. (2021). Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.

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, J. G., Ernst, E., Brabrand, C. & Schwartzbach, M. I. (2012). WebSelF: A Web Scraping Framework . Lecture Notes in Computer Science, 7387, 347-361. https://doi.org/10.1007/978-3-642-31753-8_28

Thomsen, J. G. (2013). Consistency in the World Wide Web: Specification, Verification, and Evaluation. Datalogisk Institut, Aarhus Universitet.

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, J. R., Krogh, P. G., Schnedler, J. A. & Linnet, H. (2018). Interactive interior and proxemics thresholds: Empowering participants in sensitive conversations. I CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018). artikel 68 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173642

Thomsen, S. E. & Spitters, B. (2020). Formalizing Nakamoto-Style Proof of Stake.

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

Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era. Aarhus Universitet.

Thomas, V., Brueggemann, M. J., Feldman, D. & C02K31YADRVG (2015). I am more than the sum of my parts: an e-waste design fiction. Afhandling præsenteret på Joint Conference on 29th International Conference on Informatics for Environmental Protection / 3rd International Conference on ICT for Sustainability (EnviroInfo and ICT4S), Copenhagen, Danmark.

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, -. 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

Viser resultater 151 til 200 ud af 2545

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series