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

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. (2017). Assistive Technologies to Empower Children with ADHD: Conceptual Framework and Technological Solutions. Aarhus Universitet.

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

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. (Producer). (2021). Adiar: An I/O-efficient implementation of Binary Decision Diagrams. Software, GitHub. https://github.com/SSoelvsten/adiar

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

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 PDC 2016: Participatory Design in an Era of Participation - Proceedings of the 14th Participatory Design Conference; Short Papers, Interactive Exhibitions, Workshops (Vol. 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. Association for Computing Machinery. Journal, 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.

Skyum, S. & Valiant, L. (1981). A complexity theory based on Boolean algebra. In 22nd Annual Symposium on Foundations of Computer Science, 1981. SFCS '81. (pp. 244-253). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1981.3

Skyum, S. (1988). A Distributed Election and Spanning Tree Algorithm Based on Depth First Search. Paper presented at Symposium on Mathematics of Computation. ICOMIDC, Ho Chi Minh City, Viet Nam.

Skyum, S. (1992). A Sweepline Algorithm for Generalized Delaunay Triangulations and a Simple Method for Nearest-Neighbour Search. In Proceedings of the Workshop on Computational Geometry Universiteit Utrecht.

Skyum, S., Larsen, K. G. & Winskel, G. (Eds.) (1998). Automata, Languages and Programming. Springer. Lecture Notes in Computer Science Vol. 1443 https://doi.org/10.1007/BFb0055035

Displaying results 451 to 500 out of 5161

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University