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

Nielsen, M. & Krukow, K. (2007). Trust Structures. International Journal of Information Security, 6(2-3), 153-181.

Nielsen, M., Krukow, K. & Sassone, V. (2008). Trust Models in Ubiquitous Computing. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 366(1881), 3781-3793. https://doi.org/10.1098/rsta.2008.0134

Carbone, M., Nielsen, M. & Sassone, V. (2004). Trust in Global Computing. Association for Logic Programming Newsletter, 17(4).

Nielsen, M. (2014). Trust in Event Structures. Theoretical Computer Science, 546(August), 3-6. https://doi.org/10.1016/j.tcs.2014.02.039

Carbone, M. (2005). Trust and Mobility. Århus Universitet. BRICS Dissertation Series No. DS-05-3

Engberg, U. H. (1990). True Concurrency can be Traced. Daimi Report No. PB-308

Condit, R., Ashton, P., Balslev, H., Brokaw, N., Bunyavejchewin, S., Chuyong, G., Co, L., Shivaramaiah, H. S., Davies, S., Ewango, C. E. N., Foster, R., Gunatilleke, N., Gunatilleke, S., Hernandez, C., Hubbell, S., John, R., Kenfack, D., Kiratiprayoon, S., Hall, P. ... Zimmerman, J. K. (2005). Tropical tree α-diversity: Results from a worldwide network of large plots. Biologiske Skrifter, 55, 565-582.

Scheder, D. (2013). Trivial, tractable, hard. A not so sudden complexity jump in neighborhood restricted CNF formulas. In L. Cai, S.-W. Cheng & A.-W. Lam (Eds.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (pp. 251-261). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_24

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

Mogensen, P. H. & Robinson, M. (1995). Triggering Artefacts. AI & Society, 9(4), 373-388. https://doi.org/10.1007/BF01210588

Rachuri, S. R., Suresh, A. & Chaudhari, H. (2020). Trident: Efficient 4PC Framework for Privacy Preserving Machine Learning. In Proceedings 2020 Network and Distributed System Security Symposium (pp. 1-18). Internet Society. https://doi.org/10.14722/ndss.2020.23005

Abdul, A., Vermeulen, J., Wang, D., Lim, B. Y. & Kankanhalli, M. (2018). Trends and Trajectories for Explainable, Accountable and Intelligible Systems: An HCI Research Agenda. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. 582:1-582:18). Association for Computing Machinery. https://doi.org/10.1145/3173574.3174156

Miltersen, P. B. (2008). Trembling hand perfection is NP-hard. http://arxiv.org/PS_cache/arxiv/pdf/0812/0812.0492v1.pdf

Valencia, R., Foster, R. B., Villa, G., Condit, R., Svenning, J.-C., Hernandez, C., Romoleroux, K., Losos, E., Magård, E. & Balslev, H. (2004). Tree species distributions and local habitat variation in the Amazon: large forest plot in eastern Ecuador. Journal of Ecology, 92, 214-229.

Ferragina, P. & Satti, S. R. (2008). Tree Compression and Indexing. In Encyclopedia of Algorithms (pp. 1-99). Springer.

Clemensen, J., Larsen, S. B., Kirkevold, M. & Ejskjær, N. (2008). Treatment of Diabetic Foot Ulcers in the Home: Video Consultations as an Alternative to Outpatient Hospital Care. International Journal of Telemedicine and Applications, 2008.

Corry, A. V., Hansen, K. M. & Svensson, D. (2006). Traveling Architects: A New Way of Herding Cats. In C. Hofmeister, I. Crnkovic & R. Reussner (Eds.), Quality of Software Architectures (pp. 111-126). Springer. https://doi.org/10.1007/11921998_12

Yang, B., Guo, C. & Jensen, C. S. (2013). Travel cost inference from sparse, spatio-temporally correlated time series using markov models. Proceedings of the VLDB Endowment, 6(9), 769-780. http://dl.acm.org/citation.cfm?id=2536360.2536375&coll=DL&dl=ACM&CFID=383343957&CFTOKEN=67321284

Bertelsen, O. W. (2004). Transparency by Tertiary Artefactness. In Workshop on Aesthetic Approaches to Human-Computer Interaction (Vol. DAIMI PB-572, pp. 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 ed.) (pp. 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. In K. Jensen (Ed.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 ed., pp. 127-146)

Lassen, K. B. (2006). Translating BPEL to FLOWer. (pp. 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. In D. Fellner, D. Fellner, M. El-Assady & H.-J. Schulz (Eds.), 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. In 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. (pp. 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. Daimi PhD Dissertation No. PD-07-5

Svendsen, K., Sieczkowski, F. & Birkedal, L. (2016). Transfinite step-indexing: Decoupling concrete and logical steps. In P. Thiemann (Ed.), Programming Languages and Systems (Vol. 9632, pp. 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. In S. N. Freund & E. Yahav (Eds.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 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. In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (pp. 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. In F. Dehne, A. Rau-Chaplin, J.-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6-8, 1997 Proceedings (pp. 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. (Eds.) (2013). Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC. Springer VS. Lecture Notes in Computer Science Vol. 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. (Eds.) (2012). Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 7400 https://doi.org/10.1007/978-3-642-35179-2

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

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

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

Jensen, K. & Wil M.P. van der, A. (Eds.) (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 Vol. 5460 https://doi.org/10.1007/978-3-642-00899-3

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

Jeung, H., Yiu, M. L. & Jensen, C. S. (2011). Trajectory Pattern Mining. In Y. Zheng & X. Zhou (Eds.), Computing with Spatial Trajectories (pp. 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 ed.) 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. In C. Knoblock & M. Schneider (Eds.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL'13 (pp. 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. In GRAPP 2013 IVAPP 2013 : Proceedings of the 8thInternational Conference on Computer Graphics Theory and Applications (pp. 554-557). SCITEPRESS Digital Library. https://doi.org/10.5220/0004291605540557

Displaying results 351 to 400 out of 5676

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University