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

Spitters, B. (2016, okt. 17). Cubical sets and the topological topos. https://arxiv.org/pdf/1610.05270v1.pdf

Spitters, B. (2006). Constructive algebraic integration theory without choice. Dagstuhl Seminar Proceedings, 5021.

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

Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2022). Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages , 6(ICFP), Artikel 100. https://doi.org/10.1145/3547631

Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A., Brubaker, J. R., Keyes, O., Brulé, E., Light, A., Hardy, J., Rode, J. A. & Kannabiran, G. (2019). Queer(ing) HCI: Moving forward in theory and practice. I CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 3311750 Association for Computing Machinery. https://doi.org/10.1145/3290607.3311750

Spencer, B., Benedikt, M., Møller, A. & Breugel, F. V. (2017). ArtForm: A Tool for Exploring the Codebase of Form-based Websites. I K. Sen & T. Bultan (red.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 380-383). Association for Computing Machinery. https://doi.org/10.1145/3092703.3098226

Speed, M. (2018). Population Genetic Models for Allele Fraction Data. Aarhus Universitet.

Spapé, M. M., Hoggan, E. E., Jacucci, G. & Ravaja, N. (2015). The meaning of the virtual Midas touch: an ERP study in economic decision making. Psychophysiology, 52(3), 378-87. https://doi.org/10.1111/psyp.12361

Soureshjani, F. H., Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023). Automated Analysis of Halo2 Circuits. I S. Graham-Lengrand & M. Preiner (red.), Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Bind 3429, s. 3-17). CEUR-WS.org. https://ceur-ws.org/Vol-3429/paper3.pdf

Sotakova, M. (2009). On the Power of Two-Party Quantum Cryptography. Aarhus Universitetsforlag.

Sosso, A., Arora, A. & Spitters, B. (2026). Agentic Proving for Program Verification. Abstract fra ICLR 2026 Workshop on Logical Reasoning of Large Language Models, Rio de Janeiro, Brasilien. https://openreview.net/forum?id=wpQ6rTpGY6

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

Sørensen, T. S. & Mosegaard, J. (2006). An Introduction to GPU Accelerated Surgical Simulation. I Lecture Notes in Computer Science (4072 udg., s. 93-104)

Sørensen, T. S. & Mosegaard, J. (2006). Virtual Open Heart Surgery - Training complex surgical procedures in congenital heart disease.

Sørensen, T. S., Greil, G., Hansen, O. K. & Mosegaard, J. (2006). Surgical simulation - a new tool to evaluate surgical incisions in congenital heart disease? Interactive Cardiovascular and Thoracic Surgery, (5), 536-539.

Sørensen, T. S. & Mosegaard, J. (2006). An Introduction to GPU Accelerated Surgical Simulation. I Lecture Notes in Computer Science (Bind 4072, s. 93-104). Springer.

Sørensen, T. S. & Mosegaard, J. (2006). Haptic Feedback for the GPU-based Surgical Simulator. I Studies in Health Technology and Informatics (119 udg., Bind 119, s. 523-528)

Sørensen, T. S. & Mosegaard, J. (2006). Virtual Open Heart Surgery - Training complex surgical procedures in congenital heart disease.

Sørensen, T. S., Mosegaard, J. & Hansen, O. K. (2006). Virtual Morphological Reconstructions for Preoperative Planning and Surgical Training. I XXXVI Nordic Meeting in Pediatric Cardiology (Bind XXXVI, s. 1)

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2007). Fast Gridding on Commodity Graphics Hardware. I 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. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Image Reconstruction (s. 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 fra Dansk Selskab for Medicinsk Fysik - årsmøde symposium, Odense, Danmark.

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. I 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. I F. Saremi (red.), Cardiac CT and MR for Adult Congenital Heart Disease (s. 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. I J.-F. Martin, C. Garcia-Estrada & S. Zeilinger (red.), Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites (s. 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? I Engineering (s. 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. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547680

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. Design United. https://www.4tu.nl/du/columns/Knit%20x%20Code/

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. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Artikel 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. I Medicine Meets Virtual Reality 17 (s. 340-345). IOS Press. https://doi.org/10.3233/978-1-58603-964-6-340

Sorensen, M. S., Mosegaard, J. & Mikkelsen, P. T. (2009). The visible ear simulator: a public PC application for GPU-accelerated haptic 3D simulation of ear surgery based on the visible ear data. Otology and Neurotology, 30(4), 484-7. https://doi.org/10.1097/MAO.0b013e3181a5299b

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

Sonne, T. & Jensen, M. M. (2014). Race By Hearts. I Y. Pisan , N. M. Sgouros & T. Marsh (red.), Entertainment Computing – ICEC 2014: 13th International Conference, Sydney, Australia, October 1-3, 2014. Proceedings (s. 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. Afhandling præsenteret på 5th EAI International Symposium on Pervasive Computing Paradigms for Mental Health, Milan, Italien.

Sonne, T., Obel, C. & Grønbæk, K. (2015). Designing Real Time Assistive Technologies: A Study of Children with ADHD. I OzCHI '15: Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction (s. 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. I Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (s. 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. I C. Parker (red.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016: OzCHI '16 (s. 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. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI '16 (s. 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. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction: Tenth International Conference on Tangible, Embedded, and Embodied Interaction (s. 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. I Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children: IDC '16 (s. 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. I S. Serino, A. Matic, D. Giakoumis, G. Lopez & P. Cipresso (red.), Pervasive Computing Paradigms for Mental Health: 5th International Conference, MindCare 2015, Revised Selected Papers (Bind 604, s. 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. I DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (s. 725-737). Association for Computing Machinery. https://doi.org/10.1145/3064663.3064742

Viser resultater 551 til 600 ud af 6074

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series