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

Strandberg, B., Magård, E., Bak, J. L., Pedersen, M. B., Damgaard, C., Fredshavn, J. R., Løkke, H. & Nielsen, K. E. (2005). Terrestriske naturtyper 2004: NOVANA. Danmarks Miljøundersøgelser, Aarhus Universitet. Faglig rapport fra DMU No. 557 http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF

Stiévenart, Q. & Madsen, M. (2020). Fuzzing channel-based concurrency runtimes using types and effects. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications https://doi.org/10.1145/3428254

Stissing, M., Mailund, T., Pedersen, C. N. S., Brodal, G. S. & Fagerberg, R. (2007). Computing the All-Pairs Quartet Distance on a Set of Evolutionary Trees. In Proceedings of the 5th Asia-Pacific Bioinformatics Conference (APBC) (pp. 91-100)

Stissing, M., Pedersen, C. N. S., Mailund, T. & Brodal, G. S. (2007). Computing the Quartet Distance between Evolutionary Trees of Bounded Degree. In Proceedings of the 5th Asia-Pacific Bioinformatics Conference (APBC) (pp. 101-110)

Stissing, M., Mailund, T., Pedersen, C. S., Brodal, G. S. & Fagerberg, R. (2008). Computing the all-pairs quartet distance on a set of evolutionary trees. Journal of Bioinformatics and Computational Biology, 6(1), 37-50.

Stisen, A., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2014). Handheld Versus Wearable Interaction Design for Professionals - A Case Study of Hospital Service Work. In T. Leong (Ed.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design , OzCHI '14 (pp. 260-269). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686651

Stisen, A., Blunck, H., Bhattacharya, S., Prentow, T. S., Kjærgaard, M. B., Dey, A., Sonne, T. & Jensen, M. M. (2015). Smart devices are different: Assessing and mitigating mobile sensing heterogeneities for activity recognition. In Proceedings of the 13th ACM Conference on Embedded Network Sensor Systems: Sensys 2015

Stisen, A., Mathisen, A., Krogh, S., Blunck, H., Kjærgaard, M. B. & Prentow, T. S. (2016). Task Phase Recognition for Highly Mobile Workers in Large Building Complexes. In Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communications (PerCom 2016) IEEE. https://doi.org/10.1109/PERCOM.2016.7456504

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017). Task phase recognition and task progress estimation for highly mobile workers in large building complexes. Pervasive and Mobile Computing, 38(2), 418-429. https://doi.org/10.1016/j.pmcj.2016.08.016

Stisen, A. & Verdezoto, N. (2017). Clinical and Non-clinical Handovers: Designing for Critical Moments. In CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing (pp. 2166-2178). Association for Computing Machinery. https://doi.org/10.1145/2998181.2998333

Stisen, A., Verdezoto, N., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2016). Accounting for the Invisible Work of Hospital Orderlies: Designing for Local and Global Coordination. In Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing: CSCW '16 (pp. 980-992). Association for Computing Machinery. Conference on Computer Supported Cooperative Work. Proceedings https://doi.org/10.1145/2818048.2820006

Sterling, J., Angiuli, C. & Gratzer, D. (2019). Cubical syntax for reflection-free extensional equality. In H. Geuvers (Ed.), 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 [31] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 131 https://doi.org/10.4230/LIPIcs.FSCD.2019.31

Sterling, J. & Harper, R. (2022). Sheaf Semantics of Termination-Insensitive Noninterference. In A. P. Felty (Ed.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 [5] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 228 https://doi.org/10.4230/LIPIcs.FSCD.2022.5

Sterling, J., Angiuli, C. & Gratzer, D. (2022). A cubical language for bishop sets. Logical Methods in Computer Science, 18(1), 43:1-43:80. https://doi.org/10.46298/LMCS-18(1:43)2022

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . In Utzon Symposium What would Utzon do Now?: What would Utzon do Now? http://www.be.unsw.edu.au/sites/default/files/36.%20Liselott%20Stenfeldt%20and%20Kaj%20Grønbæk%20-%20Visions%20of%20an%20interactive%20Utzon%20Archive.pdf

Stenderup, K., Rosada, C., Worsaae, A., Dagnaes-Hansen, F., Steiniche, T., Hasselager, E., Iversen, L., Zahn, S., Wöldike, H., Holmberg, H. L., Rømer, J., Kragballe, K., Clausen, J. T. & Dam, T. N. (2008). Interleukin-20 plays a critical role in maintenance and development of psoriasis in the human xenograft transplantation model. British Journal of Dermatology, 160(2), 284-96. https://doi.org/10.1111/j.1365-2133.2008.08890.x

Sten Andersen, M., Rask Schmahl, O., Galli, G., Alavesa, P. & Pakanen, M. (2022). HIPPA: Smart Wearables for Enriching the Gameplay of a Traditional Tag Game. In CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (pp. 31-37). Association for Computing Machinery, Inc. https://doi.org/10.1145/3505270.3558321

Stein, B., Nielsen, B. B., Chang, B-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages, 3(OOPSLA), [140]. https://doi.org/10.1145/3360566

The Baboon Genome Analysis Consortium (2018). Analysis of lineage-specific Alu subfamilies in the genome of the olive baboon, Papio anubis. Mobile DNA, 9(1), [10]. https://doi.org/10.1186/s13100-018-0115-6

Stawiaski, J., Sørensen, T. S., Bidault, F. & Decenciere, E. (2007). Combining Morphological and Graph Based Methods for Multi-Label Segmentation. In Proceedings of MICCAI workshop: Interaction in Medical Image Analysis and Visualization

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. In ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (pp. 198-209). [3380390] Association for Computing Machinery. Proceedings - International Conference on Software Engineering https://doi.org/10.1145/3377811.3380390

Staer, K., Iranzo, A., Stokholm, M., Stergaard, Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Santamaria, J., Moller, A., Gaig, C., Borghammer, P., Brooks, D., Tolosa, E. & Pavese, N. (2019). Cortical cholinergic dysfunction correlates with microglial activation in the Substantia Innominata in patients with REM sleep behavior disorder. S830-S830. Abstract from International Congress of Parkinson's Disease and Movement Disorders, Nice, France.

Staals, F. & Tsirogiannis, C. (2017). Computing the Expected Value and Variance of Geometric Measures. In S. Fekete & V. Ramachandran (Eds.), 2017 Proceedings of the Ninteenth Workshop on Algorithm Engineering and Experiments (ALENEX) (pp. 232 - 246). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974768.19

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster session presented at SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Srinivasan, S. & Venkitesh, S. (2021). On the probabilistic degree of an n-variate boolean function. In M. Wootters & L. Sanita (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021 [42] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 207 https://doi.org/10.4230/LIPIcs-APPROX/RANDOM.2021.42

Srba, J., Guldstrand Larsen, K. (Ed.) & Nielsen, M. (Ed.) (2001). On the Power of Labels in Transition Systems. In Lecture Notes in Computer Science: Proceedings of the 12th International Conference on Concurrency Theory (2154 of Lecture Notes in Computer Science ed., Vol. 2154/2001, pp. 277-291). Springer.

Spitters, B. (2015). Cubical sets as a classifying topos. Abstract from 21st International Conference on Types for Proofs and Programs, , Tallinn, Estonia.

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

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. In S. N. Freund & E. Yahav (Eds.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 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), [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. In CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems [3311750] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings 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. In K. Sen & T. Bultan (Eds.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 380-383). Association for Computing Machinery. ISSTA 2017 https://doi.org/10.1145/3092703.3098226

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

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

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. Lecture Notes in Computer Science Vol. 8770 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. ACM 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 the 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 Conference on Computer-Human Interaction : OzCHI '16 (pp. 60-70). Association for Computing Machinery. OzCHI: Australian Conference on Human-Computer Interaction Vol. 2016 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 Proceedings of the 2016 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 Proceedings of the TEI '16: 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 the The 15th International Conference on Interaction Design and Children: IDC '16 (pp. 529-534). Association for Computing Machinery. IDC '16 Vol. 2016 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. Communications in Computer and Information Science Vol. 604 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

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. Lecture Notes in Computer Science LNCS Vol. 9076 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. [8340880]. https://doi.org/10.1109/TKDE.2018.2828086

Displaying results 451 to 500 out of 5127

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University