Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

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. I R. Jhala & I. Dillig (red.), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434

Salgado, M. & Saad-Sulonen, J. (2016). Who needs us? Inquiring into the participatory practices of others and what it means for participatory designers. Afhandling præsenteret på International European Academy of Design Conference, Paris, Frankrig.

Saleem, M. A., Soares da Costa, F., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T. (2018). Predicting Visitors Using Location-Based Social Networks. I Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018 (s. 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. I L. H. U, M. Spaniol, Y. Sakurai & J. Chen (red.), Web and Big Data - 5th International Joint Conference, APWeb-WAIM 2021, Proceedings: 5th International Joint Conference, APWeb-WAIM 2021, Proceedings, Part II (s. 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. I T. Grosser, C. Dubach, M. Steuwer, J. Xue, G. Ottoni & F. M. Q. Pereira (red.), 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (s. 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. I Proceedings of the ACM on Programming Languages (Bind 8, s. 2070-2096). Artikel 344 https://doi.org/10.1145/3689784

Saioc, G.-V., Lee, I.-T. A., Møller, A. & Chabbi, M. (Accepteret/In press). Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. I Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Bind 2).

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. Afhandling præsenteret på IEEE International Conference on Data Mining, Beijing, Kina. https://web.eecs.umich.edu/~dkoutra/papers/19_ICDM_GLIMPSE-CR.pdf

Sacharidis, D., Bouros, P. & Chondrogiannis, T. (2017). Finding The Most Preferred Path. I E. Hoel, S. Newsam, S. Ravada , R. Tamassia & G. Trajcevski (red.), GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems Artikel 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. Afhandling præsenteret på 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. Afhandling præsenteret på CHI, Seoul, Sydkorea. 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?. Afhandling præsenteret på CHI, Seoul, Sydkorea.

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. I G. Záruba & K. Farkas (red.), Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013) (s. 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). I A. Boldyreva & V. Kolesnikov (red.), 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 (s. 714-743). Springer. https://doi.org/10.1007/978-3-031-31368-4_25

Rotger Griful, S., Jacobsen, R. H., Brewer, R. S. & Rasmussen, M. K. (2017). Green Lift: Exploring the Demand Response Potential of Elevators in Danish Buildings. Energy Research & Social Science, 32, 55-64. https://doi.org/10.1016/j.erss.2017.04.011

Rossitto, C., Berns, K. & Larsen-Ledet, I. (2020). Strategies of Visibility: Growth, Media and Social Movements. Afhandling præsenteret på 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. I CSCW '20 : Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing (s. 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), Artikel 467. https://doi.org/10.1145/3479611

Rossi, L., Magnani, M. & Ladarola , B. (2012). Rescatemineros: Global Media Events in the Microblogging Age. Accepted Paper Series http://ssrn.com/abstract=1989791

Rossi, L. & Magnani, M. (2012). Conversation practices and network structure in Twitter. I Proceedings of the Sixth International Conference on Weblogs and Social Media (s. 563-566). AAAI Press. http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4634

Rossi, L. & Magnani, M. (2012). Multi-Stratum Networks: toward a unified model of on-line identities. http://arxiv.org/abs/1211.0169

Rohde, J. & Toftegaard, T. S. (2011). Adaption of Cognitive Radio technology to low-cost and low-power wireless Personal Area Network devices. Wireless Personal Communications, 58(1), 111-123. https://doi.org/10.1007/s11277-011-0291-x

Rodriguez, J. M., Tavassoli, N., Levy, E., Lederman, G., Sivov, D., Lissandrini, M. & Mottin, D. (2024). Does the Performance of Text-to-Image Retrieval Models Generalize Beyond Captions-as-a-Query? I N. Goharian, N. Tonellotto, Y. He, A. Lipani, G. McDonald, C. Macdonald & I. Ounis (red.), Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part IV (s. 161-176). Springer. https://doi.org/10.1007/978-3-031-56066-8_15

Rocha, R. V. M., Libório, P. P., Kupwade Patil, H. & Aranha, D. F. (2021). A Differentially Private Hybrid Approach to Traffic Monitoring. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security - ACNS 2021 (s. 233-256). Springer. https://doi.org/10.1007/978-3-030-78375-4_10

Rindal, P. & Trifiletti, R. (2017, maj 10). SplitCommit: Implementing and Analyzing Homomorphic UC Commitments. Cryptology ePrint Archive. https://eprint.iacr.org/2017/407.pdf

Rijke, E. & Spitters, B. (2016). Homotopy type theory and the formalization of mathematics. Nieuw Archief voor Wiskunde , 5/17(3), 159 - 164. http://www.cs.au.dk/~spitters/naw5-2016-17-3-159.pdf

Rijke, E., Shulman, M. & Spitters, B. (2017, jun. 27). Modalities in homotopy type theory. https://arxiv.org/abs/1706.07526

Rijke, E. & Spitters, B. (2015). Sets in homotopy type theory. Mathematical Structures in Computer Science, 25(5), 1172-1202. https://doi.org/10.1017/S0960129514000553

Rijke, E., Shulman, M. & Spitters, B. (2020). Modalities in homotopy type theory. Logical Methods in Computer Science, 16(1), 2:1-2:79.

Riedel, C., Michael, G. G., Orgel, C., Baum, C., van der Bogert, C. H. & Hiesinger, H. (2021). Studying the Global Spatial Randomness of Impact Craters on Mercury, Venus, and the Moon With Geodesic Neighborhood Relationships. Journal of Geophysical Research: Planets, 126(3), Artikel e2020JE006693. https://doi.org/10.1029/2020JE006693

Ribeiro, M., Tolêdo , T., Winther, J., Brabrand, C. & Borba, P. (2012). Emergo : a tool for improving maintainability of preprocessor-based product lines. I Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, AOSD Companion '12 (s. 23-26 ). Association for Computing Machinery. https://doi.org/10.1145/2162110.2162128

Reyzin, L., Smith, A. & Yakoubov, S. (2021). Turning HATE Into LOVE: Compact Homomorphic Ad Hoc Threshold Encryption for Scalable MPC. I Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings: Proceedings (Bind 12716, s. 361-378). Springer. https://doi.org/10.1007/978-3-030-78086-9_27

Revsbæk, M. (2014). Handling Massive and Dynamic Terrain Data. Department of Computer Science, Aarhus University.

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Afhandling præsenteret på ACM Limits 2017, Santa Barbara, California, USA. https://doi.org/10.1145/3080556.3080567

Remy, C., Bates, O., Thomas, V. J. & Broadbent, M. (2018). "Sustainability... it's just not important": The Challenges of Academic Engagement with Diverse Stakeholders. I B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (red.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Bind 52, s. 316-331). easychair. https://doi.org/10.29007/kln5

Remy, C., Bates, O., Dix, A., Thomas, V., Hazas, M., Friday, A. & Huang, E. M. (2018). Evaluation beyond usability: Validating sustainable HCI research. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April). Association for Computing Machinery. https://doi.org/10.1145/3173574.3173790

Reiter, K., Pfeuffer, K., Esteves, A., Mittermeier, T. & Alt, F. (2022). Look & Turn: One-handed and Expressive Menu Interaction by Gaze and Arm Turns in VR. I S. N. Spencer (red.), Proceedings - ETRA 2022: ACM Symposium on Eye Tracking Research and Applications Artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3517031.3529233

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.

Reinhard, T., Timany, A. & Jacobs, B. (2020). A separation logic to verify termination of busy-waiting for abrupt program exit. I FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (s. 26-32). Association for Computing Machinery. https://doi.org/10.1145/3427761.3428345

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit.

Reetz, E., Lehmann, A., Kümper, D. & Tönjes, R. (2012). Test Driven Life Cycle Management for Internet of Things based Services: a Semantic Approach. Afhandling præsenteret på International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal.

Raymaekers, L., Vermeulen, J., Luyten, K. & Coninx, K. (2014). Game of Tones: Learning to Play Songs on a Piano Using Projected Instructions and Games. -, 411-414. https://doi.org/10.1145/2559206.2574799

Rav, M., Arge, L., Raza, S. & Revsbæk, M. (2017). I/O-Efficient Event Based Depression Flood Risk. I S. Fekete & V. Ramachandran (red.), 19th Workshop on Algorithm Engineering and Experiments 2017, ALENEX 2017 (Bind PRAL17, s. 259-269). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974768

Rav, M., Lowe, A. & Agarwal, P. K. (2017). Flood Risk Analysis on Terrains. I E. Hoel , S. Newsam, S. Ravada, R. Tamassia & G. Trajcevski (red.), GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems (s. 36:1-36:10). Artikel 36 Association for Computing Machinery. https://doi.org/10.1145/3139958.3139985

Rav, M. (2019). Event-Based Flood Risk Assessment on Massive Terrains. Århus Universitet.

Rathish, H., Picón, G. C. & Schulz, H.-J. (2024). LaNe Plot: A Visual Fingerprinting Technique for Sequential Data. I K. Kucher, A. Diehl & C. Gillmann (red.), Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241087

Viser resultater 501 til 550 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series