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

Talavera Cepeda, I., Pauli, A. B. & Assent, I. (2023). Søren Kierkegaard at SemEval-2023 Task 4: Label-aware text classification using Natural Language Inference. In A. Kr. Ojha, A. Seza Doğruöz, G. Da San Martino, H. Tayyar Madabushi, R. Kumar & E. Sartori (Eds.), Proceedings of the 17th International Workshop on Semantic Evaluation (SemEval-2023) (pp. 1871-1877). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.semeval-1.258

Takahashi, A. & Tibouchi, M. (2019). Degenerate Fault Attacks on Elliptic Curve Parameters in OpenSSL. In 2019 IEEE European Symposium on Security and Privacy (EuroS&P), Proceedings (pp. 371-386). Article 8806763 IEEE. https://doi.org/10.1109/EuroSP.2019.00035

Takahashi, A. (2022). Cryptography from Zero Knowledge - Advanced Security and New Constructions. [PhD thesis, Aarhus University]. Aarhus Universitet.

Szehr, O., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Decoupling with unitary approximate two-designs. New Journal of Physics, 15(5). https://doi.org/10.1088/1367-2630/15/5/053022

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, Article 1526. https://doi.org/10.1038/s41598-022-05333-5

Svenning, J.-C. & Magård, E. (1999). Population ecology and conservation status of the last natural population of English yew Taxus baccata in Denmark. Biological Conservation, 88/2(Artikel 4), 173-182.

Svenning, J.-C., Dalsgaard, B., Kissling, W. D., Lenoir, J. R. M. H. & Sandel, B. S. (2011). Strong paleoclimatic imprints on ecological patterns and function across scales. Abstract from 12th European Ecological Federation Congress, Avila, Spain.

Svenning, J.-C. & Sandel, B. S. (2013). Disequilibrium vegetation dynamics under future climate change. American Journal of Botany, 100(7), 1266-1286. https://doi.org/10.3732/ajb.1200469

Svenning, R. & Sridhar, V. (2024). Fast Area-Weighted Peeling of Convex Hulls for Outlier Detection. In Proceedings of the 36th Canadian Conference on Computational Geometry (pp. 233-240). The CCCG Library.

Svenning, R. (2025). Scalable Algorithms and Persistent Data Structures using Geometric Techniques. [PhD thesis, Aarhus University].

Svendsen, K. & Birkedal, L. (2014). Impredicative concurrent abstract predicates. In Z. Shao (Ed.), Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (pp. 149-168 ). Springer. https://doi.org/10.1007/978-3-642-54833-8_9

Svendsen, K., Sieczkowski, F. & Birkedal, L. (2016). Transfinite step-indexing: Decoupling concrete and logical steps. In P. Thiemann (Ed.), Programming Languages and Systems (Vol. 9632, pp. 727-751). Springer VS. https://doi.org/10.1007/978-3-662-49498-1_28

Svendsen, S. C. (2021). Practical I/O-Efficient Multiway Separators.

Svendsen, S. C. (2021). Algorithms for Massive Terrains and Graphs. [PhD thesis, Aarhus University]. Aarhus Universitet.

Sunesen, K. & Nielsen, M. (1996). Behavioural equivalence for infinite systems - Partially decidable! In J. Billington & W. Reisig (Eds.), Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings (pp. 460-479). Springer. https://doi.org/10.1007/3-540-61363-3_25

Sun, X., Wang, C. & Yu, W. (2012). The Relationship between Inner Product and Counting Cycles. Lecture Notes in Computer Science, 7256, 643-654. https://doi.org/10.1007/978-3-642-29344-3_54

Sun, G., Karras, P. & Zhang, Q. (2025). Highly Efficient Direct Analytics on Semantic-Aware Time Series Data Compression. In M. Valenti, D. Reed & M. Torres (Eds.), ICC 2025 - IEEE International Conference on Communications (pp. 5945-5950). IEEE. https://doi.org/10.1109/ICC52391.2025.11162086

Sun, B. & Hu, D. (2025). CTG-Insight: A Multi-Agent Interpretable LLM Framework for Cardiotocography Analysis and Classification. In M. Beigl, G. Jacucci, S. Sigg, Y. Xiao, J. E. Bardram, E. E. Tsiropoulou & C. Xu (Eds.), UbiComp Companion 2025 - Companion of the 2025 ACM International Joint Conference on Pervasive and Ubiquitous Computing (pp. 1590-1596). Association for Computing Machinery. https://doi.org/10.1145/3714394.3756343

Sükösd, Z., Knudsen, B., Kjems, J. & Pedersen, C. N. S. (2012). PPfold 3.0: fast RNA secondary structure prediction using phylogeny and auxiliary data. Bioinformatics, 28(20), 2691-2692. https://doi.org/10.1093/bioinformatics/bts488

Sükösd, Z., Knudsen, B., Anderson, J. WJ., Novák, A., Kjems, J. & Pedersen, C. N. S. (2013). Characterising RNA secondary structure space using information entropy. BMC Bioinformatics, 14 (Suppl 2), 1-9. Article S22. https://doi.org/10.1186/1471-2105-14-S2-S22

Styrup, J. & Flarup, E. O. (2008). Architectural styles for heteogeneous multicore processors: an emperical study using the cell broadband engine architecture and architectural prototyping. Aarhus Universitet, Datalogisk Institut.

Sturtivant, C. & Frandsen, G. S. (1993). The computational efficacy of finite-field arithmetic. Theoretical Computer Science, 112(2), 291-309. https://doi.org/10.1016/0304-3975(93)90022-L

Strzebonski, A. & Tsigaridas, E. (2011). Univariate real root isolation in an extension field. In Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (pp. 321-328). Association for Computing Machinery. https://doi.org/10.1145/1993886.1993934

Strydonck, T. V., Georges, A. L., Guéneau, A., Trieu, A., Timany, A., Piessens, F., Birkedal, L. & Devriese, D. (2022). Proving full-system security properties under multiple attacker models on capability machines. In Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 (pp. 80-95). IEEE. https://doi.org/10.1109/CSF54842.2022.9919645

Strocco, F. (2016). Type Soundness in the Dart Programming Language. Department of Computer Science, University of Aarhus.

Strauss, D. J., Francis, A. L., Schäfer, Z., Latzel, M., Corona–Strauss, F. I. & Launer, S. (2025). Understanding speech in “noise” or free energy minimization in the soundscapes of the anthropocene. Frontiers in Neuroscience, 19, Article 1534425. https://doi.org/10.3389/fnins.2025.1534425

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

Støvring, K. (2005). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. (BRICS RS-05-35 ed.) Aarhus University.

Støvring, K. (2006). Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative. Logical Methods in Computer Science, 2(2(1)), 1-14.

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.

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

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

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

Displaying results 451 to 500 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