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. In K. Jensen (Ed.),
Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 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. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (Eds.),
CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 268 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3613904.3642607
Bødker, S. & Klokmose, C. N. (2013).
From Persona to Techsona. In P. Kotzé, G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (Eds.),
Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV (pp. 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. In J. Diaz, I. L. Lanese & D. Sangiorgi (Eds.),
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Vol. 8705 , pp. 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. In
Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (pp. 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), Article 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. In M. A. Bender, O. Svensson & G. Herman (Eds.),
27th Annual European Symposium on Algorithms, ESA 2019 Article 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 presented at 28. Danske medicotekniske landsmøde, Brædstrup, Denmark.
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. In
CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing (pp. 517-521). Association for Computing Machinery.
https://doi.org/10.1145/3311957.3359436
Magnani, M. & Rossi, L. (2013).
Formation of multiple networks. In A. M. Greenberg , W. G. Kennedy & N. D. Bos (Eds.),
Social Computing, Behavioral-Cultural Modeling and Prediction: 6th International Conference, SBP 2013, Washington, DC, USA, April 2-5, 2013. Proceedings (pp. 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), Article 7.
https://doi.org/10.1145/3371075