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

Nielsen, M. & Krukow, K. K. (2003). Towards a Formal Notion of Trust. I Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (s. 4-7). Association for Computing Machinery. https://doi.org/10.1145/888251.888253

Kjærgaard, M. B. & Bunde-Pedersen, J. (2006). Towards a Formal Model of Context Awareness. I Proceedings of the First International Workshop on Combining Theory and Systems Building in Pervasive Computing (Pervasive 2006) (s. 667-674) http://www.smartlab.cis.strath.ac.uk/CTSB/Pedersen.pdf

Nielsen, M., Krukow, K. K. & Sassone, V. (2007). Towards a Formal Framework for Computational Trust. I F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (red.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (s. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Aehnelt, M., Schulz, H.-J. & Urban, B. (2013). Towards a Contextualized Visual Analysis of Heterogeneous Manufacturing Data. I Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II (s. 76-85). Springer. https://doi.org/10.1007/978-3-642-41939-3_8

Saad-Sulonen, J. & Korsgaard, H. (2015). Towards a concept of community artifact ecology in HCI?. Afhandling præsenteret på CHI, Seoul, Sydkorea.

Grønbæk, K. & Wiil, U. K. (1997). Towards a Common Reference Architecture for Open Hypermedia. Journal of Digital Information, 1(2). http://journals.ecs.soton.ac.uk/jodi/Articles/v01/i02/Gronbak/

Hansen, K. M. (2001). Towards a Coloured Petri Net Profile for the Unified Modeling Language - Issues, Definition and Implementation.

Korsgaard, H. (2017). Toward Place-Centric Computing: Making Place With Technology Together.

Yang, B., Guo, C., Ma, Y. & Jensen, C. S. (2015). Toward personalized, context-aware routing. V L D B Journal, 24(2), 297-318. https://doi.org/10.1007/s00778-015-0378-1

Schäfer, Z., Mathisen, A., Svendsen, K., Engberg, S., Rolighed Thomsen, T. & Kirketerp-Møller, K. (2021). Toward Machine-Learning-Based Decision Support in Diabetes Care: A Risk Stratification Study on Diabetic Foot Ulcer and Amputation. Frontiers in medicine, 7, Artikel 601602. https://doi.org/10.3389/fmed.2020.601602

Bertelsen, O. W. (1997). Toward a Unified Field of Se Research and Practice. I E E E Software, 14(6), 87-88. https://doi.org/10.1109/MS.1997.636682

Grønbæk, K. & Trigg, R. H. (1996). Toward a Dexter-based model for open hypermedia: Unifying embedded references and link objects. I Proceedings of the the seventh ACM conference on Hypertext (s. 149-160). Association for Computing Machinery. https://doi.org/10.1145/234828.234843

Grønbæk, K., Kyng, M. & Mogensen, P. H. (1997). Toward a Cooperative Experimental System Development Approach. I M. Kyng & L. Mathiassen (red.), Computers and Design in Context (s. 201-238). MIT Press.

Brewer, R. S., Verdezoto, N., Holst, T. & Rasmussen, M. K. (2015). Tough Shift: Exploring the Complexities of Shifting Residential Electricity Use Through a Casual Mobile Game. I CHI PLAY '15 : Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play (s. 307-317). Association for Computing Machinery. https://doi.org/10.1145/2793107.2793108

Breinbjerg, M., Caprani, O. & Lunding, R. (2002). Touch the Sound. I International Workshop of Interaction Design and Children

Dipalma, J., Frank, D.-A., Salnikova, E., Steinmann, S. & Pfeuffer, K. (2025). Touching the Retail Metaverse: Consumer Insights from a Virtual Experience. Poster-session præsenteret på 2025 AMA Winter Academic Conference.

Pagnin, E., Gunnarsson, G., Talebi, P., Orlandi, C. & Sabelfeld, A. (2019). TOPPool: Time-aware Optimized Privacy-Preserving Ridesharing. Proceedings on Privacy Enhancing Technologies, 2019(4), 93-111. https://doi.org/10.2478/popets-2019-0060

LaVigne, R., Liu-Zhang, C.-D., Maurer, U. M., Moran, T., Mularczyk, M. & Tschudi, D. (2018). Topology-Hiding Computation Beyond Semi-Honest Adversaries. I A. Beimel & S. Dziembowski (red.), Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings: Theory of Cryptography (Bind 11240, s. 3-35). Springer VS. https://doi.org/10.1007/978-3-030-03810-6_1

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Odgaard, M. V., Nygaard, B. & Svenning, J.-C. (2013). Topographically controlled soil moisture is the primary driver of local vegetation patterns across a lowland region. Ecosphere (Washington, D.C.), 4(7), Artikel 91. https://doi.org/10.1890/ES13-00134.1

Munro, J. I., Navarro, G., Nielsen, J. A. S. & ShaH, R. (2014). Top- k Term-Proximity in Succinct Space. I H.-K. Ahn & C.-S. Shin (red.), Algorithms and Computation: 25th International Symposium, ISAAC 2014, Proceedings (s. 169-180 ). Springer VS. https://doi.org/10.1007/978-3-319-13075-0_14

Skovsgaard, A. & Jensen, C. S. (2014). Top-k point of interest retrieval using standard indexes. I Y. Huang & M. Schneider (red.), Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL '14 (s. 173-182 ). Association for Computing Machinery. https://doi.org/10.1145/2666310.2666399

Lambov, B. Z. (2006). Topics in the Theory and Practice of Computable Analysis.

Andersen, C. J., Hansen, K. M., Sandvad, E. S., Thomsen, M. & Tyrsted, M. (2000). Tool Support for Iterative System Development Activities: Issues and Experiences. I K. A. Mughal, A. L. Opdahl & D. I. K. Sjøberg (red.), Proceedings of NWPER'2000: Nordic Workshop on Programming Environment Research http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4642

Jørgensen, J. B., Christensen, S., Tuovinen, A.-P. & Xu, J. (2006). Tool Support for Estimating the Memory Usage of Mobile Phone Software. Software Tools for Technology Transfer.

Kjærgaard, M. B. & Blunck, H. (2014). Tool support for detection and analysis of following and leadership behavior of pedestrians from mobile sensing data. Pervasive and Mobile Computing, 10(A), 104-117. https://doi.org/10.1016/j.pmcj.2013.10.007

Cornils, A. & Hedin, G. (2000). Tool Support for Design Patterns based on Reference Attribute Grammars. I Proceedings of WAGA'00, Third Workshop on Attribute Grammars and their Applications

Damm, C. H., Hansen, K. M. & Thomsen, M. (2000). Tool support for cooperative object-oriented design: gesture based modelling on an electric whiteboard. I Proceedings of the SIGCHI conference on Human factors in computing systems (s. 518-525). Association for Computing Machinery. https://doi.org/10.1145/332040.332488

Hansen, K. M. & Ratzer, A. V. (2002). Tool Support for Collaborative Teaching and Learning of Object-Oriented Modelling. I Proceedings of the 7th annual conference on Innovation and technology in computer science education (s. 146-150). Association for Computing Machinery. https://doi.org/10.1145/544414.544458

Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Tool-supported Refactoring for JavaScript. I Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (s. 119-138). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048078

Bouvin, N. O., Brodersen, A. C., Hansen, F. A., Iversen, O. S. & Nørregaard, P. (2005). Tools of Contextualization: Extending the Classroom to the Field. I Proceedings of the 2005 conference on Interaction design and children (s. 24-31). Association for Computing Machinery. https://doi.org/10.1145/1109540.1109544

Grønbæk, K. & Knudsen, J. L. (1992). Tools and Techniques for Experimental System Development. I K. Systä, P. Kellomäki & R. Mäkinen (red.), Proceedings of the Nordic Workshop on Programming Environment Research

Jensen, K. & Podelski, A. (red.) (2004). Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings. Springer. Lecture Notes in Computer Science Bind 2988 https://doi.org/10.1007/b96393

Schwartzbach, M. I. & Graf, S. (red.) (2000). Tools and Algorithms for Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings. Springer. Lecture Notes in Computer Science Bind 1785 https://doi.org/10.1007/3-540-46419-0

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2008). Tool – Material, Metaphor – Metonymy, Instrument(ness). I J. J. Jensen (red.), Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium (s. 5-9). Aalborg Universitetsforlag.

Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000). Tool Integration: Experiences and Issues in Using XMI and Component Technology. I Proceedings of the Technology of Object-Oriented Languages and Systems Conference (s. 94-107). IEEE Computer Society Press. https://doi.org/10.1109/TOOLS.2000.848754

Blatchley Hansen, A., Eskilden, M. & Nielsen, E. H. (2020). Toolchain for Timing Leakage Analysis of NIST Lightweight Crypto Candidates. Abstract fra NIST Lightweight Cryptography Workshop 2020. https://csrc.nist.gov/CSRC/media/Events/lightweight-cryptography-workshop-2020/documents/papers/toolchain-timing-leakage-lwc2020.pdf

Petersen, M. B., Slothuus, R., Stubager, R. & Togeby, L. (2007). Tolerance. Frisind gælder ikke alle mindretal. Politiken, 4.

Christensen, P. K., Skovgaard, C. Ø. & Petersen, M. G. (2019). Together together: Combining shared and separate activities in designing technology for family life. I Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 (s. 374-385). Association for Computing Machinery. https://doi.org/10.1145/3311927.3323141

Schmidt, E. M., Skyum, S. & Nielsen, M. (2012). To Dexter - A Tribute from Aarhus. I R. L. Constable & A. Silva (red.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (s. 341). Springer. https://doi.org/10.1007/978-3-642-29485-3_30

Nasir, M. A. U., Aslay, C., de Francisi Morales, G. & Riondato, M. (2021). TipTap: Approximate Mining of Frequent k-Subgraph Patterns in Evolving Graphs. ACM Transactions on Knowledge Discovery from Data, 15(3), 1-35. Artikel 48. https://doi.org/10.1145/3442590

Döttling, N. M., Ghosh, S., Nielsen, J. B., Nilges, T. & Trifiletti, R. (2017). TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation. I CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security: CCS '17 (s. 2263-2276). Association for Computing Machinery. https://doi.org/10.1145/3133956.3134024

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

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10993, s. 3-33). Springer VS. https://doi.org/10.1007/978-3-319-96878-0_1

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2022). TinyKeys: A New Approach to Efficient Multi-Party Computation. Journal of Cryptology, 35(2), Artikel 13. https://doi.org/10.1007/s00145-022-09423-5

Hansen, M. T. & Kusy, B. (2011). TinyInventor: A Holistic Approach to Sensor Network Application Development. Afhandling præsenteret på Extending the Internet to Low power and Lossy Networks. IP+SN 2011 , Chicago, IL, USA.

Hansen, M. T. (2011). TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems. D A I M I P B, (595).

Pagter, J. I. (2001). Time-Space Trade-Offs. (BRICS Dissertation Series DS-01-2 udg.) Aarhus University.

Agarwal, P. K., Arge, L. A. & Vahrenhold, J. (2001). Time Responsive External Data Structures for Moving Points. I F. Dehne, J.-R. Sack & R. Tamassia (red.), Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings (s. 50-61). Springer. https://doi.org/10.1007/3-540-44634-6_6

Nyborg, J. C., Pelletier, C., Lefevre, S. & Assent, I. (2022). TimeMatch: Unsupervised Cross-Region Adaptation by Temporal Shift Estimation. ISPRS Journal of Photogrammetry and Remote Sensing, 188, 301-313. https://doi.org/10.1016/j.isprsjprs.2022.04.018

Larsen, K. G., Nelson, J. & Nguyen, H. L. (2015). Time Lower Bounds for Nonadaptive Turnstile Streaming Algorithms. I R. Servedio & R. Rubinfeld (red.), Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC '15 (s. 803-812). Association for Computing Machinery. https://doi.org/10.1145/2746539.2746542

Viser resultater 501 til 550 ud af 5987

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series