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

Sosso, A. & Spitters, B. (2026). Agentic Proving for Type Theory. Abstract from 32nd International Conference on Types for Proofs and Programs, Gothenburg, Sweden. https://types2026.cse.chalmers.se/abstracts/64.pdf

Sosso, A., Arora, A. & Spitters, B. (2026). Agentic Proving for Program Verification.

Sosso, A., Bernardelli, A. M. & Gualandi, S. (2026). The cloven traveling salesman: cycle covers and the integrality gap of small ATSP instances. Optimization Letters. https://doi.org/10.1007/s11590-026-02312-x

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2007). Fast Gridding on Commodity Graphics Hardware. In Proceedings of ISMRM Workshop on Non-Cartesian MRI

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2008). Accelerating the Non-equispaced Fast Fourier Transform on Commodity Graphics Hardware. IEEE Transactions on Medical Imaging, 27(4), 538-547. https://doi.org/10.1109/TMI.2007.909834

Sørensen, T. S., Atkinson, D., Boubertakh, R., Schaeffter, T. & Hansen, M. S. (2008). Rapid Non-Cartesian Parallel Imaging Reconstruction on Commodity Graphics Hardware. In Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Image Reconstruction (pp. 1490). Wiley-Interscience.

Sørensen, T. S., Beerbaum, P., Mosegaard, J., Rasmusson, A., Schaeffter, T., Austin, C., Razavi, R. & Greil, G. F. (2008). Virtual Cardiotomy based on 3D Magnetic Resonance Imaging for Preoperative Planning in Congenital Heart Disease. Pediatric Radiology, 38, 1314-1322. https://doi.org/10.1007/s00247-008-1032-5

Sørensen, T. S., Atkinson, D., Schaeffter, T. & Hansen, M. S. (2009). Real-time Reconstruction of Sensitivity Encoded Radial Magnetic Resonance Imaging Using a Graphics Processing Unit. IEEE Transactions on Medical Imaging, 28(12), 1974-1985. https://doi.org/10.1109/TMI.2009.2027118

Sørensen, T. S., Noe, K. Ø., Christoffersen, C. P. V., Kristiansen, M., Mouridsen, K., Østerby, O. & Brix, L. (2010). Active Contours in Optical Flow Fields for Image Sequence Segmentation. International Symposium on Biomedical Imaging. Proceedings, 916 - 919. https://doi.org/10.1109/ISBI.2010.5490136

Sørensen, T. S. & Hansen, M. S. (2010). Real-time Non-Cartesian Magnetic Resonance Imaging. Abstract from Dansk Selskab for Medicinsk Fysik - årsmøde symposium, Odense, Denmark.

Sørensen, T. S., Prieto, C., Atkinson, D., Hansen, M. S. & Schaeffter, T. (2010). GPU accelerated iterative SENSE reconstruction of radial phase encoded whole-heart MRI. In Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.

Sørensen, T. S., Pedersen, E. M., Hansen, O. K. & Sørensen, K. (2003). Visualization of morphological details in congenitally malformed hearts: virtual three-dimensional reconstruction from magnetic resonance imaging. Cardiology in the Young, 13(5), 451-60.

Sørensen, T. S., Therkildsen, S. V., Hansen, O. K., Sørensen, K. & Pedersen, E. M. (2002). Images in cardiovascular medicine. Total cavo-pulmonary connection: a virtual 3-dimensional fly-through. Circulation, 105(20), E176-6.

Sørensen, T. S., Körperich, H., Greil, G. F., Eichhorn, J., Barth, P., Meyer, H., Pedersen, E. M. & Beerbaum, P. (2004). Operator-independent isotropic three-dimensional magnetic resonance imaging for morphology in congenital heart disease: a validation study. Circulation, 110(2), 163-9. https://doi.org/10.1161/01.CIR.0000134282.35183.AD

Sørensen, T. S., Mosegaard, J., Kislinskiy, S. & Greil, G. (2014). Virtual Surgery in Congenital Heart Disease. In F. Saremi (Ed.), Cardiac CT and MR for Adult Congenital Heart Disease (pp. 515-523). Springer. https://doi.org/10.1007/978-1-4614-8875-0_23

Sørensen, J. L., Knudsen, M., Hansen, F. T., Olesen, C., Romans Fuertes, P., Lee, T. V., Søndergaard, T. E., Pedersen, C. N. S., Brodersen, D. E. & Giese, H. (2014). Fungal NRPS-dependent siderophores: From function to prediction. In J.-F. Martin, C. Garcia-Estrada & S. Zeilinger (Eds.), Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites (pp. 317-339). Springer. https://doi.org/10.1007/978-1-4939-1191-2_15

Sørensen, L. B. & Nielsen, K. (2019). Hvorfor undervise i engineering i grundskolen? In Engineering (pp. 20-29). VIA University College.

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code: Exploring a Craftsmanship-driven Approach to Computational Thinking. In Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Article 48 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547680

Sørensen, M. L. S. K., Bertelsen, A. B., Nordmark Hoffmann, N., Petersen, M. G. & Hoggan, E. (2022). MoLux: Negotiating Control with a Shape-Changing Lamp at Home. In Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Article 38 Association for Computing Machinery. https://doi.org/10.1145/3546155.3547271

Sørensen, T. B. (2008). Computing Equilibria of Two Player Games. Aarhus Universitetsforlag.

Sørensen, T. S., Beerbaum, P., Mosegaard, J. & Greil, G. F. (2009). Developing and Evaluating Virtual Cardiotomy for Preoperative Planning in Congenital Heart Disease. In Medicine Meets Virtual Reality 17 (pp. 340-345). IOS Press. https://doi.org/10.3233/978-1-58603-964-6-340

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code - Exploring a Craftsmanship-driven Approach to Computational Thinking. https://www.4tu.nl/du/columns/Knit%20x%20Code/

Sonne, T. & Grønbæk, K. (2013). Exploring New Potentials in Preventing Unhealthy Computer Habits. In W. E. Mackay, S. Brewster & S. Bødker (Eds.), CHI '13 Extended Abstracts on Human Factors in Computing Systems, CHI EA '13 (pp. 487-492 ). Association for Computing Machinery. https://doi.org/10.1145/2468356.2468442

Sonne, T. & Jensen, M. M. (2014). Race By Hearts. In Y. Pisan , N. M. Sgouros & T. Marsh (Eds.), Entertainment Computing – ICEC 2014: 13th International Conference, Sydney, Australia, October 1-3, 2014. Proceedings (pp. 125-132 ). Springer. https://doi.org/10.1007/978-3-662-45212-7_16

Sonne, T. & Grønbæk, K. (2015). Designing Assistive Technologies for the ADHD Domain. Paper presented at 5th EAI International Symposium on Pervasive Computing Paradigms for Mental Health, Milan, Italy.

Sonne, T., Obel, C. & Grønbæk, K. (2015). Designing Real Time Assistive Technologies: A Study of Children with ADHD. In OzCHI '15: Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction (pp. 34-38). Association for Computing Machinery. https://doi.org/10.1145/2838739.2838815

Sonne, T., Marshall, P., Müller, J., Obel, C. & Grønbæk, K. (2016). A Follow-up Study of a Successful Assistive Technology for Children with ADHD and Their Families. In Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (pp. 400-407). https://doi.org/10.1145/2930674.2930704

Sonne, T., Marshall, P., Obel, C., Thomsen, P. H. & Grønbæk, K. (2016). An Assistive Technology Design Framework for ADHD. In C. Parker (Ed.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016: OzCHI '16 (pp. 60-70). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010925

Sonne, T., Müller, J., Marshall, P., Obel, C. & Grønbæk, K. (2016). Changing Family Practices with Assistive Technology: MOBERO Improves Morning and Bedtime Routines for Children with ADHD. In CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI '16 (pp. 152-164). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858157

Sonne, T. & Jensen, M. M. (2016). ChillFish: A Respiration Game for Children with ADHD. In TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction: Tenth International Conference on Tangible, Embedded, and Embodied Interaction (pp. 271-278). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839480

Sonne, T. & Jensen, M. M. (2016). Evaluating the ChillFish Biofeedback Game with Children with ADHD. In Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children: IDC '16 (pp. 529-534). Association for Computing Machinery. https://doi.org/10.1145/2930674.2935981

Sonne, T. & Grønbæk, K. (2016). Designing assistive technologies for the ADHD domain. In S. Serino, A. Matic, D. Giakoumis, G. Lopez & P. Cipresso (Eds.), Pervasive Computing Paradigms for Mental Health: 5th International Conference, MindCare 2015, Revised Selected Papers (Vol. 604, pp. 259-268). Springer VS. https://doi.org/10.1007/978-3-319-32270-4_26

Sonne, T., Merritt, T. R., Marshall, P., Lomholt, J. J., Müller, J. & Grønbæk, K. (2017). Calming Children When Drawing Blood Using Breath-based Biofeedback. In DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (pp. 725-737). Association for Computing Machinery. https://doi.org/10.1145/3064663.3064742

Sonne, T. (2017). Assistive Technologies to Empower Children with ADHD: Conceptual Framework and Technological Solutions. Aarhus Universitet.

Søndergaard, E., Gormsen, L. C., Nellemann, B., Vestergaard, E. T., Christiansen, J. S. & Nielsen, S. (2009). Visceral fat mass is a strong predictor of circulating ghrelin levels in premenopausal women. European Journal of Endocrinology, 160(3), 375-9. https://doi.org/10.1530/EJE-08-0735

Søndergaard, D., Knudsen, M. & Pedersen, C. N. S. (2014). Machine learning approaches to functional prediction of P-Type ATPases.

Søndergaard, D. A., Knudsen, M. & Pedersen, C. S. (2016). Computational Classification of P-Type ATPases. Methods in Molecular Biology, 1377, 493-502. https://doi.org/10.1007/978-1-4939-3179-8

Søndergaard, D. & Pedersen, C. N. S. (2015). PATBox: A Toolbox for Classification and Analysis of P-Type ATPases. PLoS One, 10(9), Article e0139571. https://doi.org/10.1371/journal.pone.0139571

Son, W. & Afshani, P. (2015). Streaming Algorithms for Smallest Intersecting Ball of Disjoint Balls. In R. Jain, S. Jain & F. Stephan (Eds.), Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (pp. 189-199 ). Springer VS. https://doi.org/10.1007/978-3-319-17142-5

Son, W., Bae, S. W. & Ahn, H. K. (2015). Group nearest neighbor queries in the L1 plane. Theoretical Computer Science, 592, 39–48. https://doi.org/10.1016/j.tcs.2015.05.011

Son, M. T., Amer-Yahia, S., Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019). Scalable Interactive Dynamic Graph Clustering on Multicore CPUs. IEEE Transactions on Knowledge and Data Engineering, 31(7), 1239-1252. Article 8340880. https://doi.org/10.1109/TKDE.2018.2828086

Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B. (2021). Efficient Binary Decision Diagram Manipulation in External Memory. ArXiv. https://doi.org/10.48550/arXiv.2104.12101

Sølvsten, S., van de Pol, J., Jakobsen, A. B., Rysgaard, C. M., Carstensen, E. F. & Thomasen, M. W. B. (2021). Adiar: An I/O-efficient implementation of Decision Diagrams. Software, GitHub. https://doi.org/10.5281/zenodo.4718218

Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022). Adiar Binary Decision Diagrams in External Memory. In D. Fisman & G. Rosu (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 295-313). Springer. https://doi.org/10.1007/978-3-030-99527-0_16

Sølvsten, S. & van de Pol, J. (2023). Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. In K. Y. Rozier & S. Chaudhuri (Eds.), NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 464-471). Springer. https://doi.org/10.1007/978-3-031-33170-1_28

Sølvsten, S. & van de Pol, J. (2023). Predicting Memory Demands of BDD Operations using Maximum Graph Cuts. In É. André & J. Sun (Eds.), Automated technology for verification and analysis: Part II (pp. 72-92). Springer. https://doi.org/10.1007/978-3-031-45332-8_4

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025). Random Access on Narrow Decision Diagrams in External Memory. In T. Neele & A. Wijs (Eds.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Sølvsten, S. & van de Pol, J. (2024). Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. ArXiv. https://doi.org/10.48550/arXiv.2408.14216

Sølvsten, S. & van de Pol, J. (2025). Symbolic Model Checking in External Memory. ArXiv. https://doi.org/10.48550/arXiv.2505.11229

Sølvsten, S. C. (2025). I/O-efficient Symbolic Model Checking. [PhD dissertation, Aarhus University].

Displaying results 551 to 600 out of 5997

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University