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

Micallef, L., Schulz, H-J., Angelini, M., Aupetit, M., Chang, R., Kohlhammer, J., Perer, A. & Santucci, G. (2019). The Human User in Progressive Visual Analytics. I EuroVis 2019 - Short Papers (s. 19-23). Eurographics Association. https://doi.org/10.2312/evs.20191164

Hansen, K. A. (2019). The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. Theory of Computing Systems, 63(7), 1554-1571. https://doi.org/10.1007/s00224-018-9887-9

Afshani, P., Agrawal, M., Doerr, B., Doerr, C., Larsen, K. G. & Mehlhorn, K. (2019). The query complexity of a permutation-based variant of Mastermind. Discrete Applied Mathematics, 260, 28-50. https://doi.org/10.1016/j.dam.2019.01.007

Aranha, D. F. & Pagnin, E. (2019). The simplest multi-key linearly homomorphic signature scheme. I P. Schwabe & N. Thériault (red.), Progress in Cryptology – LATINCRYPT 2019 (s. 280-300). Springer. Lecture Notes in Computer Science Bind 11774 https://doi.org/10.1007/978-3-030-30530-7_14

Christensen, P. K., Skovgaard, C. Ø. & Petersen, M. G. (2019). Together together: Combining shared and separate activities in designing technology for family life. I Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 (s. 374-385). Association for Computing Machinery. Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 https://doi.org/10.1145/3311927.3323141

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Aarhus Universitet.

Thiel, S-K., Remy, C., Roque, L., Orji, R., Dalsgaard, P., Latulipe, C. & Sarcar, S. (2019). Towards a Research Agenda for Gameful Creativity. I ompanion Publication of the 2019 on Designing Interactive Systems Conference 2019 Companion (s. 393-396). Association for Computing Machinery. ACM conference on Designing Interactive Systems

Christensen, H. B. (2019). Uncle Henrik’s Clean Code Principles.

Larsen-Ledet, I. (2019). Understanding and Supporting Collaborative Academic Writing as a Fragmented Process. Paper præsenteret ved The ECSCW 2019 Doctoral Colloquium, Salzburg, Østrig. https://doi.org/10.18420/ecscw2019_dc6

Li, Y., Tan, T. & Xue, J. (2019). Understanding and analyzing Java reflection. ACM Transactions on Software Engineering and Methodology, 28(2), [7]. https://doi.org/10.1145/3295739

Van Oosterhout, A. (2019). Understanding the benefits and drawbacks of shape change in contrast or addition to other modalities. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 113-116). Association for Computing Machinery. DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference https://doi.org/10.1145/3301019.3324875

Møller-Nielsen, P. (2019). Undersøgelser omkring analyse og manipulation af musik og tale: En antologi.

Winthereik, B., Grønbæk, K., Glæsel, J. & Larsen, K. G. (2019). Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste. Berlingske. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Horak, T., Mathisen, A., Klokmose, C. N., Dachselt, R. & Elmqvist, N. (2019). Vistribute: Distributing Interactive Visualizations in Dynamic Multi-Device Setups. I CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems [616] Association for Computing Machinery. https://doi.org/10.1145/3290605.3300846

Eriksson, E., Iversen, O. S., Baykal, G. E., Van Mechelen, M., Smith, R. C., Wagner, M-L., Fog, B. V., Klokmose, C. N., Cumbo, B., Hjorth, H. A., Musaeus, L. H., Petersen, M. G. & Bouvin, N. O. (2019). Widening the Scope of FabLearn Research: Integrating Computational Thinking, Design and Making. Paper præsenteret ved Fablearn Europe 2019, Oulu, Finland. https://doi.org/10.1145/3335055.3335070

Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M. & Pedersen, J. S. (2019). ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation. Bioinformatics, 35(2), 189-199. https://doi.org/10.1093/bioinformatics/bty511

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. EPiC Series in Computing Bind 52 https://doi.org/10.29007/kln5

David, B., Dowsley, R. & Larangeira, M. (2018). 21 - Bringing down the complexity: Fast composable protocols for card games without secret state. I W. Susilo & G. Yang (red.), Information Security and Privacy - 23rd Australasian Conference, ACISP 2018, Proceedings (s. 45-63). Springer. Lecture Notes in Computer Science Bind 10946 https://doi.org/10.1007/978-3-319-93638-3_4

Timany, A., Stefanesco, L., Krogh-Jespersen, M. & Birkedal, L. (2018). A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST. I Proceedings of the ACM on Programming Languages (s. 64:00-64:28). Association for Computing Machinery. Proceedings of the ACM on Programming Languages Bind 2 https://doi.org/10.1145/3158152

Bizjak, A. & Birkedal, L. (2018). A Model of Guarded Recursion via Generalised Equilogical Spaces. Theoretical Computer Science, 722, 1-18. https://doi.org/10.1016/j.tcs.2018.02.012

Jensen, M. M. & Aagaard, J. (2018). A Postphenomenological Method for HCI Research. I Proceedings of the 30th Australian Conference on Computer-Human Interaction: OzCHI 2018 (s. 242-251). Association for Computing Machinery. https://doi.org/10.1145/3292147.3292170

Angelini, M., Santucci, G., Schumann, H. & Schulz, H-J. (2018). A Review and Characterization of Progressive Visual Analytics. Informatics, 5(3), [31]. https://doi.org/10.3390/informatics5030031

Jordan, V. E., Walker, J. A., Beckstrom, T. O., Steely, C. J., McDaniel, C. L., St Romain, C. P., The Baboon Genome Analysis Consortium, Worley, K. C., Phillips-Conroy, J., Jolly, C. J., Rogers, J., Konkel, M. K. & Batzer, M. A. (2018). A computational reconstruction of Papio phylogeny using Alu insertion polymorphisms. Mobile DNA, 9(1), [13]. https://doi.org/10.1186/s13100-018-0118-3

Ciosici, M. R. & Assent, I. (2018). Abbreviation Expander: A web-based system for easy reading of technical documents. 1-4. Paper præsenteret ved CoLing 2018, Santa Fe, USA. http://www.aclweb.org/anthology/C18-2001

Bertelsen, O. W. (2018). Against Boredom: The Demonic Pantheism in Design. I J. Bardzell, S. Berdzell & M. Blythe (red.), Critical Theory and Interaction Design (s. 81-94). MIT Press.

Huang, D., Morrisett, G. & Spitters, B. (2018, jun 20). An Application of Computable Distributions to the Semantics of Probabilistic Programs. Cornell University. arXiv

Afshani, P., De Berg, M., Casanova, H., Karsin, B., Lambrechts, C., Sitchinava, N. & Tsirogiannis, C. (2018). An efficient algorithm for the 1D total visibility-index problem and its parallelization. ACM Journal of Experimental Algorithmics, 23, [2.3]. https://doi.org/10.1145/3209685

The Baboon Genome Analysis Consortium (2018). Analysis of lineage-specific Alu subfamilies in the genome of the olive baboon, Papio anubis. Mobile DNA, 9(1), [10]. https://doi.org/10.1186/s13100-018-0115-6

Mai, S. T., Assent, I., Jacobsen, J. & Dieu, M. S. (2018). Anytime parallel density-based clustering. Data Mining and Knowledge Discovery, 32(4), 1121-1176. https://doi.org/10.1007/s10618-018-0562-1

Adamsen, C. Q. (2018). Automated Testing Techniques for Event-Driven and Dynamically Typed Software Applications. Aarhus Universitet.

Bertelsen, O. W., Bødker, S., Eriksson, E., Hoggan, E. & Vermeulen, J. (2018). Beyond Generalization: Research for the Very Particular. interactions, 26(1), 34-38. https://doi.org/10.1145/3289425

Badertscher, C., Garay, J., Maurer, U., Tschudi, D. & Zikas, V. (2018). But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. I J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2018 (Bind 10821, s. 34-65). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 10821 https://doi.org/10.1007/978-3-319-78375-8_2

Dalskov, A. P. K. & Orlandi, C. (2018). Can You Trust Your Encrypted Cloud?: An Assessment of SpiderOakONE's Security. I J. Kim, G-J. Ahn & S. Kim (red.), ASIACCS 2018 - Proceedings of the 2018 ACM Asia Conference on Computer and Communications Security (s. 343-355). Association for Computing Machinery. ASIACCS '18 https://doi.org/10.1145/3196494.3196547

Christensen, H. B. (Producent). (2018). Chained Property Files (CPF). Softwareprogram, Bitbucket repository. https://bitbucket.org/henrikbaerbak/cpf/src/master/

Engemann, K., Pedersen, C. B., Arge, L., Tsirogiannis, C., Mortensen, P. B. & Svenning, J-C. (2018). Childhood exposure to green space - A novel risk-decreasing mechanism for schizophrenia? Schizophrenia Research, 199, 142-148. https://doi.org/10.1016/j.schres.2018.03.026

Ciampi, M. & Orlandi, C. (2018). Combining Private Set-Intersection with Secure Two-Party Computation. I D. Catalano & R. De Prisco (red.), Security and Cryptography for Networks (Bind 11035, s. 464-482). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 11035 https://doi.org/10.1007/978-3-319-98113-0

Bertelsen, O. W. (2018). Commentary: Usability and the Primacy of Practice. Human-Computer Interaction, 33(2), 182-185. https://doi.org/10.1080/07370024.2017.1321991

Dowsley, R., Lacerda, F. & Nascimento, A. C. A. (2018). Commitment and Oblivious Transfer in the Bounded Storage Model with Errors. IEEE Transactions on Information Theory, 64(8), 5970-5984. https://doi.org/10.1109/TIT.2018.2796128

Damgård, I., Luo, J., Oechsner, S., Scholl, P. & Simkin, M. (2018). Compact Zero-Knowledge Proofs of Small Hamming Weight. I M. Abdalla & R. Dahab (red.), Public-Key Cryptography - PKC 2018 (Bind 10770, s. 530-560). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 10770 https://doi.org/10.1007/978-3-319-76581-5_18

Karbyshev, A., Svendsen, K., Askarov, A. & Birkedal, L. (2018). Compositional Non-interference for Concurrent Programs via Separation and Framing. I L. Bauer & R. Küsters (red.), Principles of Security and Trust (Bind 10804, s. 53-78). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 10804 https://doi.org/10.1007/978-3-319-89722-6_3

Hansen, K. A. & Lund, T. B. (2018). Computational Complexity of Proper Equilibrium. I É. Tardos, E. Elkind & R. Vohra (red.), Proceedings of the 2018 ACM Conference on Economics and Computation, Ithaca, NY, USA, June 18-22, 2018 (s. 113-130). Association for Computing Machinery. https://doi.org/10.1145/3219166.3219199

Caspersen, M. E., Iversen, O. S., Nielsen, M., Hjorth, H. A. & Musaeus, L. H. (2018). Computational Thinking — hvorfor, hvad og hvordan? Efter opdrag fra Villum Fondens bestyrelse.

Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P. (2018). Computer-Aided Proofs for Multiparty Computation with Active Security. I 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (Bind 2018, s. 119-131). IEEE. Proceedings of the IEEE Computer Security Foundations Symposium Nr. 31 https://doi.org/10.1109/CSF.2018.00016

Haagh, H., Karbyshev, A., Oechsner, S., Spitters, B. & Strub, P-Y. (2018, jun 19). Computer-aided proofs for multiparty computation with active security. arXiv.org. Computer Security Foundations https://arxiv.org/abs/1806.07197

Arge, L., Shin, Y. & Tsirogiannis, C. (2018). Computing Floods Caused by Non-Uniform Sea-Level Rise. I R. Pagh & S. Venkatasubramanian (red.), 2018 Proceedings of the Twentieth Workshop on Algorithm Engineering and Experiments (ALENEX) (s. 97-108). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975055.9

Tsirogiannis, C., Staals, F. & Pellissier, V. (2018). Computing the expected value and variance of geometric measures. ACM Journal of Experimental Algorithmics, 23(1), 2.4:1-2.4:32. [2.4]. https://doi.org/10.1145/3228331

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). Concretely Efficient Large-Scale MPC with Active Security (or, TinyKeys for TinyOT). I T. Peyrin & S. Galbraith (red.), Advances in Cryptology – ASIACRYPT 2018 (Bind 11274, s. 86-117). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 11274 https://doi.org/10.1007/978-3-030-03332-3_4

Tomlein, M. (2018). Context-Aware Integrability and Maintainability of Cyber-Physical Ecosystems: Tactics and Tools. Aarhus Universitet.

Damgård, I., Kazana, T., Obremski, M., Raj, V. & Siniscalchi, L. (2018). Continuous NMC Secure Against Permutations and Overwrites, with Applications to CCA Secure Commitments. I A. Beimel & S. Dziembowski (red.), Theory of Cryptography (Bind 11240, s. 225-254). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 11240 https://doi.org/10.1007/978-3-030-03810-6_9

Faonio, A., Nielsen, J. B., Simkin, M. & Venturi, D. (2018). Continuously Non-malleable Codes with Split-State Refresh. I B. Preneel & F. Vercauteren (red.), Applied Cryptography and Network Security (Bind 10892, s. 121-139). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 10892 https://doi.org/10.1007/978-3-319-93387-0_7

Viser resultater 451 til 500 ud af 2105

Forrige

Næste

Revideret 07.04.2021 -

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series