Aarhus University Seal

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

Sand, A., Brask, A. T., Pedersen, C. N. S., Mailund, T. & Brask, A. T. (2010). HMMlib: A C++ Library for General Hidden Markov Models Exploiting Modern CPUs. In 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification and Second International Workshop on High Performance Computational Systems Biology (pp. 126 - 134 ). IEEE.
Sand, J. & Østerby, O. (1979). Regions of Absolute Stability. Department of Computer Science, Aarhus University. DAIMI PB No. 102
Sand, A. (2014). Engineering of Algorithms for Hidden Markov models and Tree Distances. Department of Computer Science, Aarhus University.
Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022). Islaris: verification of machine code against authoritative ISA semantics. In R. Jhala & I. Dillig (Eds.), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 825-840). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434
Salvail, L. & Arrighi, P. (2006). Blind Quantum Computation. International Journal of Quantum Information, 4(5), 883-898.
Salgado, M. & Saad-Sulonen, J. (2016). Who needs us? Inquiring into the participatory practices of others and what it means for participatory designers. Paper presented at International European Academy of Design Conference, Paris, France.
Saleem, M. A., Soares da Costa, F., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T. (2018). Predicting Visitors Using Location-Based Social Networks. In Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018 (pp. 245-250). IEEE. https://doi.org/10.1109/MDM.2018.00043
Saleem, M. A., Calders, T., Pedersen, T. B. & Karras, P. (2021). Finding Geo-Social Cohorts in Location-Based Social Networks. In L. H. U, M. Spaniol, Y. Sakurai & J. Chen (Eds.), Web and Big Data - 5th International Joint Conference, APWeb-WAIM 2021, Proceedings: 5th International Joint Conference, APWeb-WAIM 2021, Proceedings, Part II (pp. 368-383). Springer International Publishing. https://doi.org/10.1007/978-3-030-85899-5_27
Saioc, G.-V., Shirchenko, D. & Chabbi, M. (2024). Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: a Dynamic Analysis Approach. In T. Grosser, C. Dubach, M. Steuwer, J. Xue, G. Ottoni & F. M. Q. Pereira (Eds.), 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (pp. 411-422). IEEE. https://doi.org/10.1109/CGO57630.2024.10444835
Saioc, G.-V., Lange, J. & Møller, A. (2024). Automated Verification of Parametric Channel-Based Process Communication. In Proceedings of the ACM on Programming Languages (Vol. 8, pp. 2070-2096). Article 344 https://doi.org/10.1145/3689784
Saioc, G.-V., Lee, I.-T. A., Møller, A. & Chabbi, M. (2025). Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. In ASPLOS 2025 - Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 244-259). Association for Computing Machinery. https://doi.org/10.1145/3676641.3715990
Saioc, G.-V. (2025). Program Analysis Techniques for Detecting and Preventing Partial Deadlocks. [PhD thesis, Aarhus University]. Aarhus Universitet.
Safavi, T., Belth, C., Faber, L., Mottin, D., Müller, E. & Koutra, D. (2019). Personalized Knowledge Graph Summarization: From the Cloud to Your Pocket. 528-537. Paper presented at IEEE International Conference on Data Mining, Beijing, China. https://web.eecs.umich.edu/~dkoutra/papers/19_ICDM_GLIMPSE-CR.pdf
Sætrom, P., Heale, B. S. E., Snøve, O., Aagaard, L., Alluin, J. & Rossi, J. J. (2007). Distance Constraints between microRNA Target Sites Dictate Efficacy and Cooperativity. Nucleic Acids Research (NAR). https://doi.org/10.1093/nar/gkm133
Sacharidis, D., Bouros, P. & Chondrogiannis, T. (2017). Finding The Most Preferred Path. In E. Hoel, S. Newsam, S. Ravada , R. Tamassia & G. Trajcevski (Eds.), GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems Article 5 Association for Computing Machinery. https://doi.org/10.1145/3139958.3140029
Saatci, B., Rädle, R., Rintel, S., O'Hara, K. & Klokmose, C. N. (2019). Hybrid Meetings in the Modern Workplace: Stories of Success and Failure. 45-61. Paper presented at International Conference on Collaboration and Technology, Kyoto, Japan.
Saad-Sulonen, J. & Korsgaard, H. (2015). Towards a concept of community artifact ecology in HCI?. Paper presented at CHI, Seoul, Korea, Republic of.
Saad-Sulonen, J., Halskov, K., Eriksson, E., Vines, J., Huybrechts, L. & Karasti, T. H. (2015). Unfolding Participation: What do we mean by participation – conceptually and in practice. Aarhus Series on Human Centered Computing , 1(1). https://doi.org/10.7146/aahcc.v1i1.21324
Rysgaard, C. M. & Wild, S. (2025). Lazy B-Trees. In P. Gawrychowski, F. Mazowiecki & M. Skrzypczak (Eds.), 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025 Article 87 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2025.87
Ruiz-Ruiz, A., Blunck, H., Prentow, T. S., Stisen, A. & Kjærgaard, M. B. (2014). Analysis Methods for Extracting Knowledge from Large-Scale WiFi Monitoring to Inform Building Facility Planning. In G. Záruba & K. Farkas (Eds.), Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013) (pp. 130 - 138 ). IEEE Communications Society. https://doi.org/10.1109/PerCom.2014.6813953
Roy, L. & Xu, J. (2023). A Universally Composable PAKE with Zero Communication Cost: (And Why It Shouldn’t Be Considered UC-Secure). In A. Boldyreva & V. Kolesnikov (Eds.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (pp. 714-743). Springer. https://doi.org/10.1007/978-3-031-31368-4_25
Roune, B. H. (2009). The Slice Algorithm For Irreducible Decomposition of Monomial Ideals. Journal of Symbolic Computation, 44(4), 358-381.
Roune, B. H. & Sáenz-de-Cabezón, E. (2010). Combinatorial commutative algebra algorithms for the Euler characteristic of abstract simplicial complexes. In J. L. Freire Nistal & M. L. Gonzalez (Eds.), EACA 2010 Libro de resúmenes: XII Encuentro de Álgebra Computacional y Aplicaciones (pp. 189-193). Universidade de Santiago de Compostela.
Roujol, S., de Senneville, B., Vahala, E., Sørensen, T. S., Moonen, C. & Ries, M. (2009). Online real-time reconstruction of adaptive TSENSE with commodity CPU / GPU hardware. International Society for Magnetic Resonance in Medicine. Scientific Meeting and Exhibition. Proceedings, 2839.
Roujol, S., de Senneville, B. D., Vahalla, E., Sørensen, T. S., Moonen, C. & Ries, M. (2009). Online real-time reconstruction of adaptive TSENSE with commodity CPU / GPU hardware. Magnetic Resonance in Medicine, 62(6), 1658-1664. https://doi.org/10.1002/mrm.22112
Rossitto, C., Berns, K. & Larsen-Ledet, I. (2020). Strategies of Visibility: Growth, Media and Social Movements. Paper presented at The 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing.
Rossitto, C., Lampinen, A., Bødker, S., Light, A., Berns, K. & Hui, J. (2020). Reconsidering scale and scaling in CSCW research. In CSCW '20 : Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing (pp. 493-501). Association for Computing Machinery. https://doi.org/10.1145/3406865.3419409
Rossitto, C., Korsgaard, H., Lampinen, A. & Bødker, S. (2021). Efficiency and Care in Community-Led Initiatives. Proceedings of the ACM on Human-Computer Interaction, 5(CSCW2), Article 467. https://doi.org/10.1145/3479611
Rossi, L., Magnani, M. & Ladarola , B. (2012). Rescatemineros: Global Media Events in the Microblogging Age. Social Science Electronic Publishing. http://ssrn.com/abstract=1989791
Rossi, L. & Magnani, M. (2012). Conversation practices and network structure in Twitter. In Proceedings of the Sixth International Conference on Weblogs and Social Media (pp. 563-566). AAAI Press. http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4634
Rohde, J., Wolff, S. & Toftegaard, T. S. (2009). Strategies For Releasing The Green Potential In Home Automation. Proceedings of the Wireless Personal Multimedia Communications Symposia.