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

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. 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

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 thesis, Aarhus University].

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

Snow, S., Vyas, D., Lyle, P., Mallett, M. & Brereton, M. (2016). Building Connections: Technology Design for Living on a Low Income. In A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (Eds.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (pp. 1-4). Association for Computing Machinery. https://doi.org/10.1145/2948076.2948091

Smith, A. B., Sandel, B., Kraft, N. J. B. & Carey, S. (2013). Characterizing scale-dependent community assembly using the functional-diversity-area relationship. Ecology, 94(11), 2392-2402.

Skyum, S., Frandsen, G. S., Miltersen, P. B. & Binderup, P. G. (1999). The Complexity of Identifying Large Equivalence Classes. Fundamenta Informaticae, 38(1-2), 25-37. https://doi.org/10.3233/FI-1999-381203

Skyum, S. (1974). On extensions of ALGOL-like languages. Information and Control, 26(1), 82-97. https://doi.org/10.1016/S0019-9958(74)90732-3

Skyum, S. (1974). Nonterminals and codings in defining variations of OL-systems. In G. Rozenberg & A. Salomaa (Eds.), L Systems (pp. 244-249). Springer. https://doi.org/10.1007/3-540-06867-8_19

Skyum, S. (1974). Parallel context-free languages. Information and Control, 26(3), 280-285. https://doi.org/10.1016/S0019-9958(74)91399-0

Skyum, S. (1975). Confusion in the Garden of Eden. Proceedings of the American Mathematical Society, 50, 332-336.

Skyum, S. (1976). Decomposition Theorems for Various Kinds of Languages Parallel in Nature. S I A M Journal on Computing, 5(3), 284-296. https://doi.org/10.1137/0205022

Skyum, S. (1978). On good ETOL forms. Theoretical Computer Science, 7(3), 263-272. https://doi.org/10.1016/0304-3975(78)90017-8

Skyum, S. (1983). A measure in which Boolean negation is exponentially powerful. Information Processing Letters, 17(3), 125-128. https://doi.org/10.1016/0020-0190(83)90051-0

Skyum, S. & Valiant, L. (1985). A complexity theory based on Boolean algebra. Journal of the ACM, 32(2), 484-502. https://doi.org/10.1145/3149.3158

Skyum, S. & Eriksen, O. (1986). Symmetric Distributed Termination. In G. Rozenberg & A. Salomaa (Eds.), The Book of L (pp. 427-430). Springer.

Skyum, S. (1987). A Distributed Election and Spanning Tree Algorithm Based on Depth First Search Traversals. Department of Computer Science, Aarhus University. DAIMI PB No. 232

Skyum, S. (1991). A simple algorithm for computing the smallest enclosing circle. Information Processing Letters, 37(3), 121-125. https://doi.org/10.1016/0020-0190(91)90030-L

Skyum, S. (1991). A Sweepline Algorithm for Generalized Delaunay Triangulations. Department of Computer Science, Aarhus University. DAIMI PB No. 373

Skyum, S. (1975). On decomposing languages defined by parallel devices. In STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing (pp. 121-125). Association for Computing Machinery. https://doi.org/10.1145/800116.803760

Skyum, S. (1975). Decomposition of Languages. Paper presented at Conference on Formal Languages, Automata and Development, Noordwijkerhout, Netherlands.

Displaying results 551 to 600 out of 5895

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University