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

Støvring, K. & Lassen, S. B. (2007). A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. In Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Vol. 42, Issue1, pp. 161-172). Society for Industrial and Applied Mathematics.

Støvring, K. (2006). Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nordic Journal of Computing, 13(1-2), 117-126.

Støvring, K. (2005). Normalization and Simple Types: PhD progress report. Department of Computer Science.

Støvring, K. (2007). On Reasoning Equationally: Lambda Calculi and Programs with Computional Effects. Datalogisk Institut. Daimi PhD Dissertation No. PD-07-11

Støttrup, N., Kristiansen, S. B., Løfgren, B., Hansen, B., Kimose, H.-H., Bøtker, H. E. & Nielsen, T. T. (2006). L-glutamate and glutamine improve haemodynamic function and restore myocardial glycogen content during postischaemic reperfusion: A radioactive tracer study in the rat isolated heart. Clin Exp Pharmacol Physiol., 33(11), 1099-103.

Stølting Brodal, G., Kaporis, A. C., Papadopoulos, A. N., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2014). Dynamic 3-sided planar range queries with expected doubly-logarithmic time. Theoretical Computer Science, 526(March), 58-74. https://doi.org/10.1016/j.tcs.2014.01.014

Stølting Brodal, G., Davoodi, P., Lewenstein, M., Raman, R. & Satti, S. R. (2016). Two dimensional range minimum queries and Fibonacci lattices. Theoretical Computer Science, 638, 33-43. https://doi.org/10.1016/j.tcs.2016.02.016

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 2016 IEEE International Conference on Pervasive Computing and Communications, PerCom 2016 Article 7456504 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 and Social Computing, CSCW 2016: CSCW '16 (pp. 980-992). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820006

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. https://doi.org/10.1145/3428254

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 Article 31 Dagstuhl Publishing. 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 Article 5 Dagstuhl Publishing. 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

Sterling, J., Gratzer, D. & Birkedal, L. (2024). Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. In A. Murano & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 Article 47 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2024.47

Sterling, J. (2023). What should a generic object be? Mathematical Structures in Computer Science, 33(1), 46-67. https://doi.org/10.1017/S0960129523000117

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

S. Tellez, E., Aumüller, M. & Mic, V. (2024). Overview of the SISAP 2024 Indexing Challenge. In Similarity Search and Applications. SISAP 2024 (pp. 255–265). Springer. https://doi.org/10.1007/978-3-031-75823-2_21

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), Article 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), Article 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

Stassen, P. J. A., Gratzer, D. & Birkedal, L. (2023). mitten: A Flexible Multimodal Proof Assistant. In D. Kesner & P.-M. Pedrot (Eds.), 28th International Conference on Types for Proofs and Programs Article 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.TYPES.2022.6

Stassen, P. J. A. (2024). Programming language semantics in modal type theories. Department of Computer Science, University of Aarhus.

Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L. (2025). Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages , 9(POPL), 1417-1445. Article 48. https://doi.org/10.1145/3704884

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

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). Article 3380390 Association for Computing Machinery. 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.), 19th Workshop on Algorithm Engineering and Experiments 2017, ALENEX 2017 (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 Article 42 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs-APPROX/RANDOM.2021.42

Srinivasan, S. & Tripathi, U. (2023). Optimal Explicit Small-Depth Formulas for the Coin Problem. In B. Saha & R. A. Servedio (Eds.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 881-894). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585238

Srinivasan, A. & Chan, J. (2024). Improving Selection of Analogical Inspirations through Chunking and Recombination. In C&C '24: Proceedings of the 16th Conference on Creativity & Cognition (pp. 374-397). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3635636.3656207

Srinivasan, A., Ellemose, J., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2025). Attention-Aware Visualization: Tracking and Responding to User Perception Over Time. IEEE Transactions on Visualization and Computer Graphics, 31(1), 1017-1027. https://doi.org/10.1109/TVCG.2024.3456300

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), Article 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 Article 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. 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. https://doi.org/10.1145/3092703.3098226

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

Displaying results 451 to 500 out of 5647

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University