Mans, R. S., van der Aalst, W. M. P., Bakker, P. J. M., Moleman, A. J.
, Lassen, K. B. & Jørgensen, J. B. (2007).
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. I K. Jensen (red.),
Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 187-206)
Mans, R. S., van der Aalst, W. M. P., Molemann, A. J., Bakker, P. J. M.
, Lassen, K. B. & Jørgensen, J. B. (2007).
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.
D A I M I P B,
PB-584, 187-206.
Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024).
From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (red.),
CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (s. 1-16). Artikel 268 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3613904.3642607
Bødker, S. & Klokmose, C. N. (2013).
From Persona to Techsona. I P. Kotzé, G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (red.),
Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (s. 842-349). Springer VS.
https://doi.org/10.1007/978-3-642-40498-6_26
Dawson, J. E.
, Clouston, R., Goré, R. & Tiu, A. (2014).
From display calculi to deep nested sequent calculi: Formalised for full intuitionistic linear logic. I J. Diaz, I. L. Lanese & D. Sangiorgi (red.),
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Bind 8705 , s. 250-264). Springer VS.
https://doi.org/10.1007/978-3-662-44602-7_20
Bilstrup, K. E. K., Kaspersen, M. H., Assent, I., Enni, S. & Petersen, M. G. (2022).
From Demo to Design in Teaching Machine Learning. I
Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (s. 2168-2178). Association for Computing Machinery.
https://doi.org/10.1145/3531146.3534634
Müller, M., Schuster, P.
, Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023).
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers.
Proceedings of the ACM on Programming Languages ,
7(OOPSLA2), Artikel 255.
https://doi.org/10.1145/3622831
Tsitsulin, A., Munkhoeva, M.
, Mottin, D., Karras, P., Oseledets, I. & Mueller, E. (2021).
FREDE: Anytime Graph Embeddings.
Proceedings of the VLDB Endowment,
14(6), 1102-1110.
https://doi.org/10.14778/3447689.3447713
Afshani, P., Fagerberg, R., Hammer, D., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M.
& Sitchinava, N. (2019).
Fragile complexity of comparison-based algorithms. I M. A. Bender, O. Svensson & G. Herman (red.),
27th Annual European Symposium on Algorithms, ESA 2019 Artikel 2 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ESA.2019.2
Brix, L., Ringgaard, S., Stausbøl-Grøn, B., Berber, Y., Ries, M.
& Sørensen, T. S. (2010).
Fourfold Increase in Temporal Resolution in Cardiac MR Imaging Compared to Standard Vendor Protocols. Poster session præsenteret på 28. Danske medicotekniske landsmøde, Brædstrup, Danmark.
Uribe, S., Beerbaum, P.
, Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009).
Four-dimensional (4D) flow of the whole heart and great vessels using real-time respiratory self-gating.
Magnetic Resonance in Medicine,
62(4), 984-992.
https://doi.org/10.1002/mrm.22090
Soden, R., Ribes, D., Jack, M., Sutherland, W., Khovanskaya, V., Avle, S., Sengers, P.
& Bødker, S. (2019).
Fostering Historical Research in CSCW & HCI. I
CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing (s. 517-521). Association for Computing Machinery.
https://doi.org/10.1145/3311957.3359436
Magnani, M. & Rossi, L. (2013).
Formation of multiple networks. I A. M. Greenberg , W. G. Kennedy & N. D. Bos (red.),
Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (s. 257-264). Springer Publishing Company.
https://doi.org/10.1007/978-3-642-37210-0_28
Barthe, G., Blazy, S., Grégoire, B., Hutin, R., Laporte, V., Pichardie, D.
& Trieu, A. (2020).
Formal Verification of a Constant-Time Preserving C Compiler.
Proceedings of the ACM on Programming Languages ,
4(POPL), Artikel 7.
https://doi.org/10.1145/3371075