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

Bertelsen, O. W. (2004). Transparency by Tertiary Artefactness. I Workshop on Aesthetic Approaches to Human-Computer Interaction (Bind DAIMI PB-572, s. 1-4). Department of Computer Science.

Leppälä, J., Bechsgaard, J. S., Schierup, M. H. & Savolainen, O. (2007). Transmission ratio distortion in Arabidopsis lyrata: effects of population divergence and the S-locus. Heredity, 100(1), 71-8. https://doi.org/10.1038/sj.hdy.6801066

van der Aalst, W. M. P. & Lassen, K. B. (2005). Translating Workflow Nets to BPEL4WS.

van der Aalst, W. M. P. & Lassen, K. B. (2008). Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology, 50(3), 131-159.

Lassen, K. B., van Dongen, B. & van der Aalst, W. M. P. (2007). Translating Message Sequence Charts to other Process Languages using Process Mining. (207 udg.) (s. 1-15). Eindhoven Technical University.

Lassen, K. B. & van Dongen, B. F. (2008). Translating Message Sequence Charts to other Process Languages using Process. Lecture Notes in Computer Science, 5100, 71-85. https://doi.org/10.1007/978-3-540-89287-8_5

Lassen, K. B. & Tjell, S. (2007). Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. I K. Jensen (red.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 udg., s. 127-146)

Lassen, K. B. (2006). Translating BPEL to FLOWer. (s. 1-24). Aarhus Universitetsforlag.

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1995). Transition-Systems, Event Structures, and Unfoldings. Information and Computation, 118(2), 191-207. https://doi.org/10.1006/inco.1995.1062

Nielsen, M., Rozenberg, G. & Thiagarajan, P. S. (1991). Transition Systems, Event Structures and Unfoldings. Department of Computer Science, Aarhus University.

Schulz, H.-J. & Weaver, C. (2024). Transient Visual Analytics. I D. Fellner, D. Fellner, M. El-Assady & H.-J. Schulz (red.), EuroVA 2024 - EuroVis Workshop on Visual Analytics The Eurographics Association. https://doi.org/10.2312/eurova.20241108

Kristensen, T. G. (2010). Transforming Tanimoto queries on real valued vectors to range queries in Euclidian space. Journal of Mathematical Chemistry, 48(2), 287-289. https://doi.org/10.1007/s10910-010-9668-4

Mendling, J., Lassen, K. B. & Zdun, U. (2006). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. I 3rd GI Workshop XML4BPM - XML Integration and Transformation for Business Process Management at MKWI 2006

Mendling, J., Lassen, K. B. & Zdun, U. (2005). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. (s. 20). Vienna University of Economics and Business Administration.

Mendling, J., Lassen, K. B. & Zdun, U. (2006). Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages. Multikonferenz Wirtschaftsinformatik.

Midtgaard, J. (2007). Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs.

Svendsen, K., Sieczkowski, F. & Birkedal, L. (2016). Transfinite step-indexing: Decoupling concrete and logical steps. I P. Thiemann (red.), Programming Languages and Systems (Bind 9632, s. 727-751). Springer VS. https://doi.org/10.1007/978-3-662-49498-1_28

Spies, S., Gäher, L., Gratzer, D., Tassarotti, J., Krebbers, R., Dreyer, D. & Birkedal, L. (2021). Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery. https://doi.org/10.1145/3453483.3454031

Nielsen, M. & Krukow, K. (2012). Transfer of Trust in Event-based Reputation Systems. Theoretical Computer Science, 429, 236-246. https://doi.org/10.1016/j.tcs.2011.12.044,

Blevis, E., Koskinen, I. K., Lee, K.-P., Bødker, S., Chen, L.-L., Lim, Y., Wei, H. & Wakkary, R. (2015). Transdisciplinary Interaction Design in Design Education. I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (s. 833-838). Association for Computing Machinery. https://doi.org/10.1145/2702613.2724726

Brodnik, A., Miltersen, P. B. & Munro, J. I. (1997). Trans-dichotomous algorithms without multiplication - some upper and lower bounds. I F. Dehne, A. Rau-Chaplin, J.-R. Sack & R. Tamassia (red.), Algorithms and Data Structures: 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6-8, 1997 Proceedings (s. 426-436). Springer. https://doi.org/10.1007/3-540-63307-3_80

Jensen, K., Aalst, W. M. V. D., Balbo, G., Koutny, M. & Wolf, K. (red.) (2013). Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC. Springer VS. Lecture Notes in Computer Science Bind 7480 https://doi.org/10.1007/978-3-642-38143-0

Jensen, K., Aalst, W. M. V. D., Marsan, M. A., Franceschinis, G., Kleijn , J. & Kristensen, L. M. (red.) (2012). Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Bind 7400 https://doi.org/10.1007/978-3-642-35179-2

Jensen, K., Donatelli, S. & Kleijn , J. (red.) (2012). Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC. Springer. Lecture Notes in Computer Science Bind 6900 https://doi.org/10.1007/978-3-642-29072-5

Jensen, K., Donatelli, S. & Koutny, M. (red.) (2010). Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC. Springer. Lecture Notes in Computer Science Bind 6550 https://doi.org/10.1007/978-3-642-18222-8

Jensen, K., Billington, J. & Koutny, M. (red.) (2009). Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. Springer. Lecture Notes in Computer Science Bind 5800 https://doi.org/10.1007/978-3-642-04856-2

Jensen, K. & Wil M.P. van der, A. (red.) (2009). Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. Springer. Lecture Notes in Computer Science Bind 5460 https://doi.org/10.1007/978-3-642-00899-3

Jensen, K., Aalst, W. M. P. V. D. & Billington, J. (red.) (2008). Transactions on Petri Nets and Other Models of concurrency I: ToPNoC. Springer. Lecture Notes in Computer Science Bind 5100 https://doi.org/10.1007/978-3-540-89287-8

Jeung, H., Yiu, M. L. & Jensen, C. S. (2011). Trajectory Pattern Mining. I Y. Zheng & X. Zhou (red.), Computing with Spatial Trajectories (s. 143-177). Springer. https://doi.org/10.1007/978-1-4614-1629-6

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. (1303.2310v1 udg.) arxiv.org. http://arxiv.org/abs/1303.2310

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. I C. Knoblock & M. Schneider (red.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL'13 (s. 396-399 ). Association for Computing Machinery. https://doi.org/10.1145/2525314.2525444

Picozzi, M., Verdezoto, N., Pouke, M., Vatjus-Anttila, J. & Quigley, A. (2013). Traffic Visualization: Applying Information Visualization Techniques to Enhance Traffic Planning. I GRAPP 2013 IVAPP 2013 : Proceedings of the 8thInternational Conference on Computer Graphics Theory and Applications (s. 554-557). SCITEPRESS Digital Library. https://doi.org/10.5220/0004291605540557

Damgård, I. B. & Toft, T. (2008). Trading Sugar Beet Quotas - Secure Multiparty Computation in Practice. ERCIM News, 73, 32-33.

Brodal, G. S. & Moruz, G. (2005). Tradeoffs Between Branch Mispredictions and Comparisons for Sorting Algorithms. I F. Dehne, A. Lopez-Ortiz & J.-R. Sack (red.), Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings (s. 385-395). Springer. https://doi.org/10.1007/11534273_34

Christensen, H. B. (2001). Tracking Change in rapid and eXtreme Development: A Challenge to SCM-tools? I A. van der Hoek (red.), Proceedings of Tenth International Workshop on Software Configuration Management, SCM-10 (s. 1-31). UCI. Machine Learning Repository. Center for Machine Learning and Intelligent Systems. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.3055&rep=rep1&type=pdf

Busboom, J., Boulus-Rødje, N. & Bødker, S. (2025). Tracing Transformations of the Modern Workplace and Imagining its Future. I CHIWORK 2025 - Proceedings of the 4th Annual Symposium on Human-Computer Interaction for Work Artikel 27 Association for Computing Machinery. https://doi.org/10.1145/3729176.3729186

Andreasen, E. S., Gordon, C. S., Chandra, S., Sridharan, M., Tip, F. & Sen, K. (2016). Trace Typing: An Approach for Evaluating Retrofitted Type Systems. I S. Krishnamurthi & B. S. Lerner (red.), 30th European Conference on Object-Oriented Programming (ECOOP 2016) (s. 231-239, 2310-2328). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2016.1

Nielsen, M. & Winskel, G. (1995). Trace Structures and Other Models for Concurrency. I V. Diekert & G. Rozenberg (red.), The Book of Traces (s. 271-306). World Scientific.

Larsen-Ledet, I., Lewkowicz, M., Klokmose, C. N., Linehan, C. & Colfi, L. (2025). Traces, Breadcrumbs, and Patina: Exploring and Designing with Traces of Activity. 116-119. Abstract fra 28th ACM Conference on Computer-Supported Cooperative Work and Social Computing, Bergen, Norge.

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

Arge, L. A., Barve, R., Hutchinson, D., Procopiuc, O., Toma, L., Vengroff, D. E. & Wickeremsinghe, R. (2002). TPIE: User Manual and Reference. (082902 udg.) Duke University Press. http://www.cs.duke.edu/TPIE/tpie.pdf

Lehmann, A. & Gross, A. (2017). Towards vehicle emission estimation from smartphone sensors. I Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017 (s. 154-163). Artikel 7962447 IEEE Press. https://doi.org/10.1109/MDM.2017.29

Sterling, J., Gratzer, D. & Birkedal, L. (2024). Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. I A. Murano & A. Silva (red.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 Artikel 47 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2024.47

Schultz, U. P. (2002). Towards unifying inheritance and automatic program specialization. D A I M I P B, (566).

Han, W. (2023). Towards Trustworthy Decision Making in Visual Analytics. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Guo, C., Jensen, C. S. & Yang, B. (2014). Towards total traffic awareness. SIGMOD Record, 43(3), 18-23. http://www.scopus.com/inward/record.url?scp=84916929262&partnerID=8YFLogxK

Grønlund, A. & Larsen, K. G. (2016). Towards Tight Lower Bounds for Range Reporting on the RAM. Leibniz International Proceedings in Informatics, 55, 92:1 - 92:12. https://doi.org/10.4230/LIPIcs.ICALP.2016.92

Taylor, K., Wang, H., Weidner, F. & Gellersen, H. (2025). Towards the Fusion of Gaze and Micro-Gestures. I Proceedings - 2025 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, VRW 2025 (s. 1474-1475). IEEE. https://doi.org/10.1109/VRW66409.2025.00383

Bertelsen, O. W. & Pold, S. B. (2002). Towards the aesthetics of Human-computer interaction. I E. Frøkjær & K. Hornbæk (red.), Proceedings of the Second Danish Human-Computer Interaction Research Symposium (s. 11-12). University of Copenhagen.

Zhang, W. & Hansen, K. M. (2008). Towards Self-managed Pervasive Middleware using OWL/SWRL ontologies. I Fifth International Workshop on Modelling and Reasoning in Context. Proceedings Telecom, Bretagne. http://www.hydramiddleware.eu/hydra_papers/Towards_Self-managed_Pervasive_Middleware.pdf

Viser resultater 401 til 450 ud af 6042

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series