Publikationer

Søg publikationer fra Institut for Datalogi

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

Dinsdale-Young, T., da Rocha Pinto, P., Andersen, K. J. A. & Birkedal, L. (2017). Caper: Automatic Verification for Fine-Grained Concurrency. I H. Yang (red.), Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 26th European Symposium on Programming, ESOP 2017 (Bind 10201, s. 420-447). Springer VS. https://doi.org/10.1007/978-3-662-54434-1_16

Tomlein, M., Booveraghavan, S., Agarwal, Y. & Dey, A. (2017). CharIoT: an end-user programming environment for the IoT. Poster-session præsenteret på International Conference on the Internet of Things, Linz, Østrig. https://doi.org/10.1145/3131542.3140261

Stisen, A. & Verdezoto, N. (2017). Clinical and Non-clinical Handovers: Designing for Critical Moments. I CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing (s. 2166-2178). Association for Computing Machinery. https://doi.org/10.1145/2998181.2998333

Lacerda, F., Renes, J. M. & Scholz, V. B. (2017). Coherent-state constellations and polar codes for thermal Gaussian channels. Physical Review A, 95(6), Artikel 062343. https://doi.org/10.1103/PhysRevA.95.062343

Petersen, M. G., Rasmussen, M. K. & Krogh, P. G. (2017). Collective Interaction: A Designerly Visual Analysis of Seven Research Prototypes. I Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 68-76). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152779

Bødker, S. & Lyle, P. (2017). Community end-user development: Patterns, platforms, possibilities and problems. I K. J.V. , S. I.A.C., D. A. A., P. A. & B. A. (red.), IS-EUD 2017 6th international symposium on end-user (s. 76-81). Technische Universiteit Eindhoven. https://pure.tue.nl/ws/files/69763287/IS_EUD2017_extended_abstracts.pdf#page=77

Guo, Q., An, B., Bošanský, B. & Kiekintveld, C. (2017). Comparing strategic secrecy and Stackelberg commitment in security games. I S. C. (red.), 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 (s. 3691-3699). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/516

Bosanský, B., Brânzei, S., Hansen, K. A., Lund, T. B. & Miltersen, P. B. (2017). Computation of Stackelberg Equilibria of Finite Sequential Games. A C M Transactions on Economics and Computation, 5(4), 23:1-23:24. Artikel 23. https://doi.org/10.1145/3133242

Damgård, I., Damgård, K., Nielsen, K., Nordholt, P. S. & Toft, T. (2017). Confidential benchmarking based on multiparty computation. I J. Grossklags & B. Preneel (red.), Financial Cryptography and Data Security - 20th International Conference, FC 2016, Revised Selected Papers (Bind 9603 LNCS, s. 169-187). Springer VS. https://doi.org/10.1007/978-3-662-54970-4_10

Christensen, H. B. (2017). Configuration Management: Preprint of Chapter 33 in "Flexible, Reliable Software" 2nd Edition.

Timany, A. & Sozeau, M. (2017). Consistency of the Predicative Calculus of Cumulative Inductive Construction (pCuIC). https://hal.inria.fr/hal-01615123

Hazay, C., Polychroniadou, A. & Venkitasubramaniam, M. (2017). Constant-Round Adaptively Secure Protocols in the Tamper-Proof Hardware Model. I S. Fehr (red.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings: PKC 2017 (Bind 10175, s. 428-460 ). Springer VS. https://doi.org/10.1007/978-3-662-54388-7_15

Nielsen, J. B., Schneider, T. & Trifiletti, R. (2017). Constant Round Maliciously Secure 2PC with Function-independent Preprocessing using LEGO. I NDSS ’17 (s. 1-15). Internet Society. https://doi.org/10.14722/ndss.2017.23075

Müller, J., Oulasvirta, A. & Murray-Smith, R. (2017). Control theoretic models of pointing. ACM Transactions on Computer-Human Interaction, 24(4), Artikel 27. https://doi.org/10.1145/3121431

Bødker, S., Grønbaek, K. & Kyng, M. (2017). Cooperative design: Techniques and experiences from the scandinavian scene. I Participatory Design: Principles and Practices (eBook udg., s. 157-175). CRC Press. https://doi.org/10.1201/9780203744338

Afshani, P., Bender, M. A., Farach-Colton, M., Fineman, J. T., Goswami, M. & Tsai, M. T. (2017). Cross-Referenced dictionaries and the limits of write optimization. I P. N. Klein (red.), 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017 (s. 1523-1532). Association for Computing Machinery. https://doi.org/10.1137/1.9781611974782.99

Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N. & Vaidya, K. (2017). Data-Centric Dynamic Partial Order Reduction. Proc. ACM Program. Lang., 2(POPL). https://doi.org/10.1145/3158119

Georgiadis, L., Hansen, T. D., Italiano, G. F., Krinninger, S. & Parotsidis, N. (2017). Decremental Data Structures for Connectivity and Dominators in Directed Graphs. I I. Chatzigiannakis, P. Indyk, F. Kuhn & A. Muscholl (red.), 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (Bind 80, s. 42:1-42:15). Artikel 42 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2017.42

Blunck, H., Prentow, T. S., Temme, S., Thom, A. & Vahrenhold, J. (2017). Deviation maps for robust and informed indoor positioning services. SIGSPATIAL Special, 9(1), 27-34. https://doi.org/10.1145/3124104.3124110

Rasch, S. M., Ledderer, L. K., Christensen, M. & Kyng, M. (2017). Digital Decision Aids – A participatory design approach. Abstract fra Metric Culture, Aarhus, Danmark.

Brown, B., Bødker, S. & Höök, K. (2017). Does HCI Scale?: Scale Hacking and the Relevance of HCI. interactions, 24(5), 28-33. https://doi.org/10.1145/3125387

Kolesnikov, V., Nielsen, J. B., Rosulek, M., Trieu, N. & Trifiletti, R. (2017). DUPLO: Unifying Cut-and-Choose for Garbled Circuits. I CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (s. 3-20). Association for Computing Machinery. https://doi.org/10.1145/3133956.3133991

Müller, J. (2017). Dynamics of pointing with pointer acceleration. I R. Bernhaupt, G. Dalvi, A. Joshi, D. K. Balkrishan, J. O'Neill & M. Winckler (red.), Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Proceedings (Bind 10515 LNCS, s. 475-495). Springer VS. https://doi.org/10.1007/978-3-319-67687-6_33

Lindahl, C., Wagner, S. R., Bertelsen, O. W., Schlütter, J. M., Uldbjerg, N. & Sandager, P. (2017). Effects of context-aware patient guidance on blood pressure selfmeasurement adherence levels. Health Informatics Journal, 25(2), 417-428. https://doi.org/10.1177/1460458217717073

De Cock . M., Dowsley, R., Horst, C., Katti, R., Nascimento, A. C. A., Poon , W.-S. & Truex, S. (2017). Efficient Privacy-Preserving Scoring of Decision Trees, SVM and Logistic Regression Models. https://sites.google.com/view/psml/program

Bannon, L. J. (2017). Elucidating frames of reference for HCI. I S. D. J. Barbosa & K. Breitman (red.), Conversations Around Semiotic Engineering (s. 5-11). Springer. https://doi.org/10.1007/978-3-319-56291-9_2

Hu, J., Yang, B., Jensen, C. S. & Ma, Y. (2017). Enabling time-dependent uncertain eco-weights for road networks. Geoinformatica, 21(1), 57-88. https://doi.org/10.1007/s10707-016-0272-z

Nielsen, K., Daugbjerg, P. S. & Sillasen, M. (2017). Engineering - en uddybende kommentar til en kommentar fra Kolmos og Grunwald. MONA - Matematik- og Naturfagsdidaktik, 2017(03), 95-97.

Nielsen, K., Sillasen, M. K. & Daugbjerg, P. S. (2017). Engineering - svaret på naturfagenes udfordringer? MONA: Matematik og Naturfagsdidaktik, 2017-2, 64. https://tidsskrift.dk/mona/article/view/36656

Chondrogiannis, T., Bouros, P., Gamper, J. & Leser, U. (2017). Exact and Approximate Algorithms for Finding k-Shortest Paths with Limited Overlap. 414-425. Afhandling præsenteret på International Conference on Extending Database Technology, Venice, Italien. https://doi.org/10.5441/002/edbt.2017.37

Rasmussen, M. K., Rasmussen, M. K., Verdezoto, N., Brewer, R. S., Nielsen, L. L. & Bouvin, N. O. (2017). Exploring the Flexibility of Everyday Practices for Shifting Energy Consumption through ClockCast. I Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 296-306). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152803

Feuchtner, T. & Müller, J. (2017). Extending the Body for Interaction with Reality. I G. Mark & S. Fussell (red.), CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 5145-5157). Association for Computing Machinery. https://doi.org/10.1145/3025453.3025689

Chechik, S., Hansen, T. D., Italiano, G. F., Loitzenbauer, V. & Parotsidis, N. (2017). Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs. I 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017 (s. 1900-1918). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974782.124

Biniaz, A., Bose, P., van Duijn, I., Maheshwari, A. & Smid, M. (2017). Faster algorithms for the minimum red-blue-purple spanning graph problem. Journal of Graph Algorithms and Applications, 21(4), 527-546. https://doi.org/10.7155/jgaa.00427

Larsen, K. G. & Williams, R. (2017). Faster Online Matrix-Vector Multiplication. I P. N. Klein (red.), 28th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017 (Bind PRDA17, s. 2182-2189). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974782

Orlandi, C. (2017). Faster Zero-Knowledge Protocols and Applications: Invited Talk Abstract. I P. Farshim & E. Simion (red.), Innovative Security Solutions for Information Technology and Communications - 10th International Conference,SecITC 2017, Revised Selected Papers: Innovative Security Solutions for Information Technology and Communications (Bind 10543, s. 1-11). Springer VS. https://doi.org/10.1007/978-3-319-69284-5_1

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

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

Mezzetti, G. (2017). Foreword to the thematic track: Quality aspects in verification and validation. Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016, Artikel 7814536. https://doi.org/10.1109/QUATIC.2016.039

Pedersen, M. V. & Askarov, A. (2017). From Trash to Treasure: Timing-Sensitive Garbage Collection. I 2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings (s. 693-709). Artikel 7958605 IEEE Computer Society Press. https://doi.org/10.1109/SP.2017.64

Faonio, A. & Nielsen, J. B. (2017). Fully Leakage-Resilient Codes. I S. Fehr (red.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Bind 10174, s. 333-358). Springer VS. https://doi.org/10.1007/978-3-662-54365-8_14

Faonio, A., Nielsen, J. B. & Venturi, D. (2017). Fully Leakage-resilient Signatures Revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model. Theoretical Computer Science, 660(C), 23-56. https://doi.org/10.1016/j.tcs.2016.11.016

Berglin, E. (2017). Geometric covers, graph orientations, counter games. Aarhus Universitet.

Merritt, T. R., Nielsen, C. L., Jakobsen, F. L. & Grønbæk, J. E. (2017). GlowPhones: Designing for Proxemics Play with Low-Resolution Displays in Location-based Games. I Proceedings of the Annual Symposium on Computer-Human Interaction in Play: CHI PLAY '17 (s. 69-81). Association for Computing Machinery. https://doi.org/10.1145/3116595.3116598

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

Fender, A., Lindlbauer, D., Herholz, P., Alexa, M. & Müller, J. (2017). HeatSpace: Automatic Placement of Displays by Empirical Analysis of User Behavior. I UIST 2017 - Proceedings of the 30th Annual ACM Symposium on User Interface Software and Technology (s. 611-621). Association for Computing Machinery. https://doi.org/10.1145/3126594.3126621

Pedersen, T. B., Madsen, O. L., Alstrup, S., Togsverd, T., Bardram, J., Bechmann, A., Glæsel, J. & Grønbæk, K. (2017). Hele Danmark som digital super-region? Akademiet for de Tekniske Videnskaber (ATV). https://atv.dk/sites/atv.dk/files/media/document/Notat_ATV_Debatoplaeg_fra_ATV%27s_Digitale_Vismaend_-_Danmark_som_digital_vaekstregion_final_web2_September_2017.pdf

Grønbæk, K. (2017). Hils den digitale tvilling velkommen. Magasinet Finans, Artikel Debat. https://finans.dk/debat/ECE9685685/hils-den-digitale-tvilling-velkommen/?ctxref=ext

Hansen, T. D., Kaplan, H., Tarjan, R. E. & Zwick, U. (2017). Hollow heaps. ACM Transactions on Algorithms, 13(3), 42:0-42:27. Artikel 42. https://doi.org/10.1145/3093240

Alamdari, S., Angelini, P., Barrera-Cruz, F., Chan, T. M., Da Lozzo, G., Di Battista, G., Frati, F., Haxell, P., Lubiw, A., Patrignani, M., Roselli, V., Singla, S. & Wilkinson, B. T. (2017). How to Morph Planar Graph Drawings. S I A M Journal on Computing, 46(2), 824-852. https://doi.org/10.1137/16M1069171

Viser resultater 1751 til 1800 ud af 6073

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series