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

Sanggaard, K. W., Bechsgaard, J. S., Fang, X., Duan, J., Dyrlund, T. F., Gupta, V., Jiang, X., Cheng, L., Fan, D., Feng, Y., Han, L., Huang, Z., Wu, Z., Liao, L., Settepani, V., Thøgersen, I. B., Vanthournout, B., Wang, T., Zhu, Y. ... Wang, J. (2014). Spider genomes provide insight into composition and evolution of venom and silk. Nature Communications, 5, Article 3765. https://doi.org/10.1038/ncomms4765

Sandvad, E. S., Grønbæk, K., Sloth, L. & Knudsen, J. L. (2001). A Metro Map Metaphor for Guided Tours on the Web: The Webwise Guided Tour System. In Proceedings of the 10th international conference on World wide web (pp. 326-333). Association for Computing Machinery. https://doi.org/10.1145/371920.372079

Sandom, C. J., Sandel, B. S., Dalby, L., Kissling, W. D., Nielsen, K. T., Fløjgaard, C., Lenoir, J., Ejrnæs, R. & Svenning, J.-C. (2012). Predator-prey interactions as macro-scale drivers of species diversity in mammals. Abstract from Ecological Society of America, 97th Annual Meeting, Portland, United States. http://eco.confex.com/eco/2012/webprogram/Paper37320.html

Sandom, C. J., Dalby, L., Fløjgaard, C., Kissling, W. D., Lenoir, J., Sandel, B. S., Nielsen, K. T., Ejrnæs, R. & Svenning, J.-C. (2013). Mammal predator and prey species richness are strongly linked at macroscales. Ecology, 94(5), 1112-1122. https://doi.org/10.1890/12-1342.1

Sandom, C. J., Faurby, S., Sandel, B. S. & Svenning, J.-C. (2014). Global late Quaternary megafauna extinctions linked to humans, not climate change. Proceedings of the Royal Society B: Biological Sciences, 281 (1787), Article 20133254. https://doi.org/10.1098/rspb.2013.3254

Sandel, B. S., Arge, L. A. & Svenning, J.-C. (2011). Climate change velocity since the Last Glacial Maximum and its importance for patterns of species richness and range size. Abstract from 5th biennial conference of the International Biogeography Society, Heraklion, Greece.

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere, 2(2), 1-16.

Sandel, B. S. & Dangremond, E. (2012). Climate change and the invasion of California by grasses. Global Change Biology, 18(1), 277.

Sandel, B. S., Arge, L. A., Dalsgaard, B., Davies, R., Gaston, K., Sutherland, B. & Svenning, J.-C. (2011). The influence of Late Quaternary climate-change velocity on species endemism. Science, 334, 660-664.

Sandel, B. S., Dalsgaard, B., Arge, L. A. & Svenning, J.-C. (2011). Late Quaternary climate-change velocity: Implications for modern distributions and communities. Abstract from Ecological Society of America, Austin, Texas, United States.

Sandel, B. S. & Corbin, J. (2012). Scale and diversity following manipulation of productivity and disturbance in Californian coastal grasslands. Journal of Vegetation Science, 23(5), 906-918.

Sandel, B. S. & Svenning, J.-C. (2012). Topographic controls on the distribution of tree cover from local to global scales. Abstract from The Ecological Society of America, 89th Annual Meeting, Portland, United States.

Sandel, B. S., Arge, L., Dalsgaard, B., Davies, R. G., Gaston, K. J., Sutherland, W. J. & Svenning, J.-C. (2012). Response - Global Endemism Needs Spatial Integration Response. Science, 335(6066), 285-286. https://doi.org/10.1126/science.335.6066.285-a

Sandel, B. S. & Svenning, J.-C. (2013). Human impacts drive a global topographic signature in tree cover. Nature Communications, 4, 1-7. Article 2474. https://doi.org/10.1038/ncomms3474

Sandel, B. S. (2015). Towards a taxonomy of spatial scale-dependence. Ecography, 38(4), 358–369. https://doi.org/10.1111/ecog.01034

Sandel, B. & Tsirogiannis, C. (2016). Species introductions and the phylogenetic and functional structure of California's grasses. Ecology, 97(2), 472-483. https://doi.org/10.1890/15-0220.1

Sandager, P., Lindahl, C., Schlütter, J. M., Uldbjerg, N., Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2013). Context-aware patient guidance during blood pressure self-measurement. In Proceedings of the IADIS International Conference e-Health 2013, EH 2013 (pp. 153-157). University of Twente. http://www.scopus.com/record/display.url?view=basic&eid=2-s2.0-84886912072&origin=resultslist

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., Pedersen, C. N. S., Mailund, T., Brodal, G. S. & Fagerberg, R. (2013). A practical O(n log² n) time algorithm for computing the triplet distance on binary trees. B M C Bioinformatics, 14(Suppl 2), S18. https://doi.org/10.1186/1471-2105-14-S2-S18

Sand, A., Holt, M. K., Johansen, J., Fagerberg, R., Pedersen, C. N. S., Brodal, G. S. & Mailund, T. (2013). Algorithms for Computing the Triplet and Quartet Distances for Binary and General Trees. Biology, 2(4), 1189-1209. https://doi.org/10.3390/biology2041189

Sand, A. & Steel, M. (2013). The standard lateral gene transfer model is statistically consistent for pectinate four-taxon trees. Journal of Theoretical Biology, 335, 295-298. https://doi.org/10.1016/j.jtbi.2013.07.002

Sand, A., Kristiansen, M., Pedersen, C. N. S. & Mailund, T. (2013). zipHMMlib: a highly optimised HMM library exploiting repetitions in the input to speed up the forward algorithm. BMC Bioinformatics , 14(339), 339-348. https://doi.org/10.1186/1471-2105-14-339

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

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

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. (2015). Sharing tools and know-how: challenges and potential approaches for self-organized urban communities. Paper presented at CHI, Seoul, Korea, Republic of. https://designforsharingdotcom.files.wordpress.com/2015/03/saad-sulonen_chi2015_ws_designforsharing.pdf

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

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. (2008). Solving Thousand Digit Frobenius Problems Using Grobner Bases. Journal of Symbolic Computation, 43(1), 1-7. https://doi.org/10.1016/j.jsc.2007.06.002

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.

Roune, B. H. (2010). Monomial Ideal Algorithms: Connections to Numerical Semigroups and Scarf's Theory of Bodies. Department of Computer Science, Aarhus University.

Roune, B. H. (2010). A Slice Algorithm for Corners and Hilbert-Poincaré Series of Monomial Ideals. International Symposium on Symbolic and Algebraic Computation, 115-122. https://doi.org/10.1145/1837934.1837961

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

Displaying results 701 to 750 out of 5426

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University