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

Grønlund, A. & Larsen, K. G. (2016). Towards Tight Lower Bounds for Range Reporting on the RAM. Leibniz International Proceedings in Informatics, 55, 92:1 - 92:12. https://doi.org/10.4230/LIPIcs.ICALP.2016.92

Andreasen, E. S., Gordon, C. S., Chandra, S., Sridharan, M., Tip, F. & Sen, K. (2016). Trace Typing: An Approach for Evaluating Retrofitted Type Systems. In S. Krishnamurthi & B. S. Lerner (Eds.), 30th European Conference on Object-Oriented Programming (ECOOP 2016) (pp. 231-239, 2310-2328). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2016.1

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

Caragiannis, I., Filos-Ratsikas, A., Frederiksen, S. K. S., Hansen, K. A. & Tan, Z. (2016). Truthful facility assignment with resource augmentation: An exact analysis of serial dictatorship. In Web and Internet Economics - 12th International Conference, WINE 2016, Proceedings (Vol. 10123, pp. 236-250). Springer VS. https://doi.org/10.1007/978-3-662-54110-4_17

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

Heinze, T. S., Møller, A. & Strocco, F. (2016). Type safety analysis for dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989226

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

Mezzetti, G., Møller, A. & Strocco, F. (2016). Type unsoundness in practice: An empirical study of dart. In R. Ierusalimschy (Ed.), DLS 2016 - Proceedings of the 12th Symposium on Dynamic Languages (pp. 13-24). Association for Computing Machinery. https://doi.org/10.1145/2989225.2989227

Damgård, I., Nielsen, J. B., Ostrovsky, R. & Rosén, A. (2016). Unconditionally secure computation with reduced interaction. In M. Fischlin & J.-S. Coron (Eds.), Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Vol. 9666, pp. 420-447). Springer VS. https://doi.org/10.1007/978-3-662-49896-5_15

Tsirogiannis, C. & Tsirogiannis, C. (2016). Uncovering the Hidden Routes: Algorithms for Identifying Paths and Missing Links in Trade Networks . In T. Brughmans, A. Collar & F. Coward (Eds.), The Connected Past: Challenges to Network Studies in Archaeology and History Oxford University Press.

Mechler, J., Müller-Quade, J. & Nilges, T. (2016). Universally Composable (Non-Interactive) Two-Party Computation from Untrusted Reusable Hardware Tokens. http://eprint.iacr.org/2016/615

Čermák, J., Bosansky, B., Durkota, K., Lisý, V. & Kiekintveld, C. (2016). Using correlated strategies for computing stackelberg equilibria in extensive-form games. In 30th AAAI Conference on Artificial Intelligence, AAAI 2016 (pp. 439-445). AAAI Press. https://www.scopus.com/inward/record.uri?eid=2-s2.0-85007242893&partnerID=40&md5=d6d209b2094ebcd4dd19608badb7e971

Lehmann, A. & Gross, A. (2016). Using Crowd Sensed Data as Input to Congestion Model. In 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, PerCom Workshops 2016: The Third International Workshop on Crowd Assisted Sensing Pervasive Systems and Communications Article 7457105 IEEE Press. https://doi.org/10.1109/PERCOMW.2016.7457105

Jørgensen, J. B., Knudsen, B., Sloth, L., Vase, J. R. & Christensen, H. B. (2016). Variability Handling for Mobile Banking Apps on iOS and Android. In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016 (pp. 283-286). Article 7516847 IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2016.29

Dodds, M., Jagannathan, S., Parkinson, M. J., Svendsen, K. & Birkedal, L. (2016). Verifying custom synchronisation constructs using higher-order separation logic. ACM Transactions on Programming Languages and Systems, 38/2(2), 4:1 - 4:72. Article 4. https://doi.org/10.1145/2818638

Klokmose, C. N., Eagan, J., Baader, S., Mackay, W. & Beaudouin-Lafon, M. (2016). Webstrates: Demonstrating the potential of shareable dynamic media. In Proceedings of the 19th ACM Conference on Computer Supported Cooperative Work and Social Computing Companion, CSCW 2016 Companion: CSCW '16 Companion (pp. 61-64). Association for Computing Machinery. https://doi.org/10.1145/2818052.2874325

Zagermann, J., Pfeil, U., Rädle, R., Jetter, H.-C., Klokmose, C. N. & Reiterer, H. (2016). When Tablets meet Tabletops: The Effect of Tabletop Size on Around-the-Table Collaboration with Personal Tablets. In CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (pp. 5470-5481). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858224

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.

Giacomelli, I., Madsen, J. & Orlandi, C. (2016). ZKBoo: Faster Zero-Knowledge for Boolean Circuits. In Proceedings of the 25th USENIX Security Symposium: (USENIX Security 16) (pp. 1069-1083). USENIX - The Advanced Computing Systems Association. https://www.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_giacomelli.pdf

Danvy, O. (Ed.) (2015). 2015 Workshop on Continuations: pre-proceedings. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.4.4

Elkin , M., Pettie, S. & Su, H.-H. (2015). (2Δ − 1)-edge-coloring is much easier than maximal matching in the distributed setting. In P. Indyk (Ed.), Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '15 (pp. 355-370 ). Society for Industrial and Applied Mathematics. http://dl.acm.org/citation.cfm?id=2722155

Christensen, A. S., Midtgaard, J., Winther, J. & Zerny, I. (2015). A Case Study in Modular Programming: Using AspectJ and OCaml in an Undergraduate Compiler Project. Department of Computer Science, University of Aarhus. https://doi.org/10.7146/aul.6.7

Brody, J. E. & Larsen, K. G. (2015). Adapt or Die: Polynomial Lower Bounds for Non-Adaptive Dynamic Data Structures. Theory of Computing, 11(19), 471-489. https://doi.org/10.4086/toc.2015.v011a019

Cascudo Pueyo, I., Damgård, I. B., David, B. M., Giacomelli, I., Nielsen, J. B. & Trifiletti, R. (2015). Additively Homomorphic UC commitments with Optimal Amortized Overhead. In J. Katz (Ed.), Public-Key Cryptography, PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30-April 1, 2015, Proceedings (pp. 495–515). Springer. https://doi.org/10.1007/978-3-662-46447-2_22

Bødker, S. & Klokmose, C. N. (2015). A dialectical take on artifact ecologies and the physical - digital divide. Paper presented at CHI Workshop on Ecological Perspectives in HCI, Korea, Republic of. http://rizzo.media.unisi.it/EPCHI2015/resources/papers/A-dialectical-take-on-artifact-ecologies.pdf

Branzei, S. & Miltersen, P. B. (2015). A Dictatorship Theorem for Cake Cutting. In Q. Yang & M. Wooldridge (Eds.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 481-488). AAAI Press. http://ijcai.org/papers15/Papers/IJCAI15-074.pdf

Biernacki, D., Danvy, O. & Millikin, K. (2015). A dynamic continuation-passing style for dynamic delimited continuations. A C M Transactions on Programming Languages and Systems, 38(1), Article 2. https://doi.org/10.1145/2794078

Dang, X. H. & Bailey, J. (2015). A framework to uncover multiple alternative clusterings. Machine Learning, 98(1-2), 7-30. https://doi.org/10.1007/s10994-013-5338-7

Elkin , M. & Pettie, S. (2015). A linear-size logarithmic stretch path-reporting distance oracle for general graphs. In P. Indyk (Ed.), SODA '15 Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 805-821 ). Society for Industrial and Applied Mathematics. http://dl.acm.org/citation.cfm?id=2722129.2722184&coll=DL&dl=ACM&CFID=630471957&CFTOKEN=95259129

Jespersen, S., Stounbjerg, R. B. K. & Verdezoto, N. (2015). AmBird: Mediating Intimacy for Long Distance Relationships through an Ambient Awareness System. In O. W. Bertelsen & K. Halskov (Eds.), Critical Alternatives, 5th decennial Aarhus Conference: conference proceedings, conference papers. Department of Computer Science, Aarhus University. https://doi.org/10.7146/aahcc.v1i1.21321

Bizjak, A. & Møgelberg, R. E. (2015). A model of guarded recursion with clock synchronisation. Electronic Notes in Theoretical Computer Science, 319, 83-101. https://doi.org/10.1016/j.entcs.2015.12.007

Paviotti, M., Møgelberg, R. E. & Birkedal, L. (2015). A model of PCF in guarded type theory. Electronic Notes in Theoretical Computer Science, 319, 333–349. https://doi.org/10.1016/j.entcs.2015.12.020

Walter, R., Bulling, A., Lindlbauer, D., Schuessler , M. & Müller, J. (2015). Analyzing visual attention during whole body interaction with public displays. In Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '15 (pp. 1263-1267). Association for Computing Machinery. https://doi.org/10.1145/2750858.2804255

Caragiannis, I., Filos-Ratsikas, A. & Procaccia, A. D. (2015). An improved 2-agent kidney exchange mechanism. Theoretical Computer Science, 589, 53–60. https://doi.org/10.1016/j.tcs.2015.04.013

Branzei, S. (2015). A note on envy-free cake cutting with polynomial valuations. Information Processing Letters, 115(2), 93-95. https://doi.org/10.1016/j.ipl.2014.07.005

Wagner, S. R., Bertelsen, O. W. & Toftegaard, T. S. (2015). Applicability of the Reliable Evaluation Infrastructure Toolkit for Facilitating Self-Care Research. Journal of Pervasive Systems Engineering, 4(1). http://pervasivesystems.org/Papers/2015-1/Article%20-%20APPLICABILITY%20OF%20THE%20RELIABLE%20EVALUATION%20INFRASTRUCTURE%20TOOLKIT%20FOR%20FACILITATING%20SELF-CARE%20RESEARCH%20.pdf

Goswami, M., Jørgensen, A. G., Larsen, K. G. & Pagh, R. (2015). Approximate Range Emptiness in Constant Time and Optimal Space. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '15 (pp. 769-775). Society for Industrial and Applied Mathematics. http://dl.acm.org/citation.cfm?id=2133036&picked=prox

Durkota, K., Lisý, V., Bosansky, B. & Kiekintveld, C. (2015). Approximate solutions for attack graph games with imperfect information. In 6th International Conference on Decision and Game Theory for Security, GameSec 2015 (Vol. 9406, pp. 228-249). Springer. https://doi.org/10.1007/978-3-319-25594-1_13

Sieczkowski, F., Svendsen, K., Birkedal, L. & Pichon-Pharabod, J. (2015). A separation logic for fictional sequential consistency. In J. Vitek (Ed.), Programming Languages and Systems : 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015 (pp. 736-761). Springer. https://doi.org/10.1007/978-3-662-46669-8_30

Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2015). A Tamper and Leakage Resilient von Neumann Architecture. In J. Katz (Ed.), Public-Key Cryptography, PKC 2015: 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings (pp. 579-603). Springer VS. https://doi.org/10.1007/978-3-662-46447-2_26

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

Müller, J., Eberle, D. & Schmidt, C. (2015). BaseLase: An Interactive Focus + Context Laser Floor. In B. Begole & J. Kim (Eds.), CHI '15, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (pp. 3869-3878 ). Association for Computing Machinery. http://dx.doi.org/10.1145/2702123.2702246

Entwistle, J. M., Rasmussen, M. K., Verdezoto, N., Brewer, R. S. & Andersen, M. S. (2015). Beyond the Individual: The Contextual Wheel of Practice as a Research Framework for Sustainable HCI. In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI '15 (pp. 1125-1134 ). Association for Computing Machinery. https://doi.org/10.1145/2702123.2702232

Chandran, N., Goyal, V., Mukherjee, P., Pandey, O. & Upadhyay, J. (2015). Block-wise Non-Malleable Codes. Cryptology ePrint Archive. http://eprint.iacr.org/2015/129

Dupont-Dupuis, F. (2015). Chain rules for quantum Rényi entropies. Journal of Mathematical Physics, 56(2), Article 1.4907981. https://doi.org/10.1063/1.4907981

Brewer, R. S., Verdezoto, N., Rasmussen, M. K., Entwistle, J. M., Grønbæk, K., Blunck, H. & Holst, T. (2015). Challenge: Getting Residential Users to Shift Their Electricity Usage Patterns. In S. Kalyanaraman, D. P. Seetharam & R. Shorey (Eds.), The sixth ACM International Conference on Future Energy Systems (ACM e-Energy) (pp. 83-88). Association for Computing Machinery. https://doi.org/10.1145/2768510.2770934

Rasmussen, M. K. (2015). Changing the Shape of Interaction: Shape-changing Interfaces. Department of Computer Science, Aarhus University.

Branzei, S., Hosseini, H. & Miltersen, P. B. (2015). Characterization and Computation of Equilibria for Indivisible Goods. In Algorithmic Game Theory: 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28–30, 2015, Proceedings (pp. 244-255). Springer VS. https://doi.org/10.1007/978-3-662-48433-3_19

Bothorel, C., Cruz, J. D., Magnani, M. & Micenková, B. (2015). Clustering attributed graphs: models, measures and methods. Network Science , 3(03), 408-444. https://doi.org/10.1017/nws.2015.9

Jensen, K. & Kristensen, L. M. (2015). Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Communications of the A C M, 58(6), 61-70 . https://doi.org/10.1145/2663340

Displaying results 2001 to 2050 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