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

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

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

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

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. 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. Accepted Paper Series 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

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

Rohde, H. K. (2005). On the Recursive Enumerability of Fixed-Point Combinators. B R I C S Report Series, (RS-05-34).

Rohde, H. K. (2005). Measuring the Propagation of Information in Partial Evaluation. B R I C S Report Series, (RS-05-26).

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.

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

Rohde, H. K. (2005). Formal Aspects of Partial Evaluation. Århus Universitet.

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? In N. Goharian, N. Tonellotto, Y. He, A. Lipani, G. McDonald, C. Macdonald & I. Ounis (Eds.), Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part IV (pp. 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. In K. Sako & N. O. Tippenhauer (Eds.), Applied Cryptography and Network Security - ACNS 2021 (pp. 233-256). Springer. https://doi.org/10.1007/978-3-030-78375-4_10

Riva, O., Kristensen, M. D. & Porras, J. (2009). Dynamic Resource Management and Cyber Foraging. In B. Garbinato, H. Miranda & L. Rodrigues (Eds.), Middleware for Network Eccentric and Mobile Applications (pp. 349-368). Springer.

Rindal, P. & Trifiletti, R. (2017, May 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., Shulman, M. & Spitters, B. (2020). Modalities in homotopy type theory. Logical Methods in Computer Science, 16(1), 2:1-2:79.

Riis, H. & Skyum, S. (1981). k-visit attribute grammars. Theory of Computing Systems, 15(1), 17-28. https://doi.org/10.1007/BF01786970

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), Article 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. In Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, AOSD Companion '12 (pp. 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. In Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings: Proceedings (Vol. 12716, pp. 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.

Rendel, T., Ostermann, K. & Hofer, C. (2009). Typed Self-Representation. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pp. 293-303). Association for Computing Machinery. https://doi.org/10.1145/1542476.1542509

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Paper presented at ACM Limits 2017, Santa Barbara, California, United States. 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. In B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (Eds.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Vol. 52, pp. 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. In CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 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. In S. N. Spencer (Ed.), Proceedings - ETRA 2022: ACM Symposium on Eye Tracking Research and Applications Article 66 Association for Computing Machinery. https://doi.org/10.1145/3517031.3529233

Reistad, T. & Toft, T. (2010). Linear, Constant-rounds Bit-decomposition. Lecture Notes in Computer Science, 5984, 245-257. https://doi.org/10.1007/978-3-642-14423-3_17

Reistad, T. & Toft, T. (2009). Secret Sharing Comparison by Transformation and Rotation. Lecture Notes in Computer Science, 169-180. https://doi.org/10.1007/978-3-642-10230-1_14

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. In FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (pp. 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. Paper presented at International Conference on Advances in System Testing and Validation Lifecycle, Lisbon, Portugal.

Rav, M., Arge, L., Raza, S. & Revsbæk, M. (2017). I/O-Efficient Event Based Depression Flood Risk. In S. Fekete & V. Ramachandran (Eds.), 19th Workshop on Algorithm Engineering and Experiments 2017, ALENEX 2017 (Vol. PRAL17, pp. 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. 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 (pp. 36:1-36:10). Article 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.

Displaying results 801 to 850 out of 5709

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University