Publikationer

Søg publikationer fra Institut for Datalogi

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

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2019). Guarded Cubical Type Theory. Journal of Automated Reasoning, 63(2), 211-253. https://doi.org/10.1007/s10817-018-9471-7, https://doi.org/10.1007/s10817-018-9471-7

Larsen, K. G., Nelson, J., Huy L Nguyen & Thorup, M. (2019). Heavy Hitters via Cluster-Preserving Clustering. Communications of the ACM, 62(8), 95-100. https://doi.org/10.1145/3339185

Boyle, E., Kohl, L. & Scholl, P. (2019). Homomorphic Secret Sharing from Lattices Without FHE. I Y. Ishai & V. Rijmen (red.), Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings: EUROCRYPT 2019 (s. 3-33). Springer VS. https://doi.org/10.1007/978-3-030-17656-3_1

Fischlin, M. & Haagh, H. (2019). How to Sign with White-boxed AES. I P. Schwabe & N. Thériault (red.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings: 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings (s. 259-279). Springer. https://link.springer.com/chapter/10.1007/978-3-030-30530-7_13

Sørensen, L. B. & Nielsen, K. (2019). Hvorfor undervise i engineering i grundskolen? I Engineering (s. 20-29). VIA University College.

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.

Gratzer, D., Sterling, J. & Birkedal, L. (2019). Implementing a modal dependent type theory. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-29. Artikel 107. https://doi.org/10.1145/3341711

Mathisen, A., Horak, T., Klokmose, C. N., Grønbæk, K. & Elmqvist, N. (2019). InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics. Computer Graphics Forum, 38(3), 649-661. https://doi.org/10.1111/cgf.13717

Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L. (2019). Iron: managing obligations in higher-order concurrent separation logic. Proceedings of the ACM on Programming Languages , 3(POPL), 1-30. Artikel 65. https://doi.org/10.1145/3290378

Dongmei, Z. & Møller, A. (red.) (2019). ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery. https://dl.acm.org/citation.cfm?id=3293882&picked=prox

Nitulescu, A. (2019). Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits. I P. Schwabe & N. Thériault (red.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings (s. 217-236). Springer. https://doi.org/10.1007/978-3-030-30530-7_11

Arge, L., Grønlund, A., Svendsen, S. C. & Tranberg, J. (2019). Learning to find hydrological corrections. I F. Banaei-Kashani, G. Trajcevski, R. H. Güting, L. Kulik & S. Newsam (red.), 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL '19) (s. 464-467). Association for Computing Machinery. https://doi.org/10.1145/3347146.3359095

Kaspersen, M. H., Hines, S., Moore, M., Rasmussen, M. K. & Dias, M. A. (2019). Lifting Kirigami Actuators Up Where They Belong: Possibilities for SCI. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 935-947). Association for Computing Machinery. https://doi.org/10.1145/3322276.3323688

Schulz, H.-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019). Lightweight Coordination of Multiple Independent Visual Analytics Tools. I A. Kerren, C. Hurter & J. Braz (red.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Bind 2, s. 106-117). SCITEPRESS Digital Library. https://doi.org/10.5220/0007571101060117

Farhadi, A., Hajiaghayi, M. T., Larsen, K. G. & Shi, E. (2019). Lower bounds for external memory integer sorting via network coding. I M. Charikar & E. Cohen (red.), STOC 2019 - Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (s. 997-1008). Association for Computing Machinery. https://doi.org/10.1145/3313276.3316337

Afshani, P., Freksen, C. B., Kamma, L. & Larsen, K. G. (2019). Lower bounds for multiplication via network coding. Leibniz International Proceedings in Informatics, LIPIcs, 132, Artikel 10. https://doi.org/10.4230/LIPIcs.ICALP.2019.10

Jacob, R., Larsen, K. G. & Nielsen, J. B. (2019). Lower Bounds for Oblivious Data Structures. I T. M. Chan (red.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (s. 2439-2447). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975482.149

Thiel, S.-K. & Lyle, P. J. (2019). Malleable Games - A Literature Review on Communities of Game Modders. I C and T 2019 - 9th International Conference on Communities and Technologies, Conference Proceedings (s. 198-209). Association for Computing Machinery. https://doi.org/10.1145/3328320.3328393

Grønlund, A., Kamma, L., Larsen, K. G., Mathiasen, A. & Nelson, J. (2019). Margin-Based Generalization Lower Bounds for Boosted Classifiers. I H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (red.), Advances in Neural Information Processing Systems 32 (NIPS 2019) (Bind 32). Neural Information Processing Systems Foundation. https://arxiv.org/abs/1909.12518

Li, Y., Fan, J., Ovchinnikov, G. & Karras, P. (2019). Maximizing multifaceted network influence. I Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (s. 446-457). Artikel 8731520 IEEE. https://doi.org/10.1109/ICDE.2019.00047

Timany, A. & Birkedal, L. (2019). Mechanized relational verification of concurrent programs with continuations. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-28. Artikel 105. https://doi.org/10.1145/3341709

André, É., Bloemen, V., Petrucci, L. & Pol, J. V. D. (2019). Minimal-Time Synthesis for Parametric Timed Automata. I L. Zhang & T. Vojnar (red.), Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Bind II, s. 211-228). Springer. https://doi.org/10.1007/978-3-030-17465-1_12

Møller, A. & Torp, M. T. (2019). Model-based testing of breaking changes in Node.js libraries. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 409-419). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338940

Bloemen, V., Duret-Lutz, A. & van de Pol, J. (2019). Model checking with generalized Rabin and Fin-less automata. International Journal on Software Tools for Technology Transfer, 21(3), 307-324. https://doi.org/10.1007/s10009-019-00508-4

Logins, A., Karras, P. & Jensen, C. S. (2019). Multicapacity facility selection in networks. I Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (s. 794-805). Artikel 8731341 IEEE. https://doi.org/10.1109/ICDE.2019.00076

Dijk, T. V., Meijer, J. & van de Pol, J. (2019). Multi-core On-The-Fly Saturation. I Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (s. 58-75). Springer. https://doi.org/10.1007/978-3-030-17465-1_4

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

Damgård, I. B., Escudero Ospina, D. E., Frederiksen, T. K., Keller, M., Scholl, P. & Volgushev, N. (2019). New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning. I Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019 (s. 1102-1120). Artikel 8835310 IEEE. https://doi.org/10.1109/SP.2019.00078

Nielsen, B. B., Hassanshahi, B. & Gauthier, F. (2019). Nodest: Feedback-driven static analysis of Node.js applications. I S. Apel, M. Dumas, A. Russo & D. Pfahl (red.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (s. 455-465). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338933

Eskildsen, S., Iranzo, A., Stokholm, M., Staer, K., Ostergaard, K., Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Borghammer, P., Santamaria, J., Moller, A., Gaig, C., Brooks, D., Tolosa, E., Ostergaard, L. & Pavese, N. (2019). Occurrence of brain capillary dysfunction in patients with REM sleep behavior disorder. S786-S787. Abstract fra International Congress of Parkinson's Disease and Movement Disorders, Nice, Frankrig.

Angelini, M., May, T., Santucci, G. & Schulz, H.-J. (2019). On Quality Indicators for Progressive Visual Analytics. I EuroVA 2019 - EuroVis Workshop on Visual Analytics (s. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20191120

Berthelsen, M. L. T. & Hansen, K. A. (2019). On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria. I D. Fotakis & E. Markakis (red.), Algorithmic Game Theory - 12th International Symposium, SAGT 2019, Proceedings (s. 153-167). Springer VS. https://doi.org/10.1007/978-3-030-30473-7_11

Abe, M., Camenisch, J., Dowsley, R. & Dubovitskaya, M. (2019). On the Impossibility of Structure-Preserving Deterministic Primitives. Journal of Cryptology, 32(1), 239-264. https://doi.org/10.1007/s00145-018-9292-1

Grønlund, A., Larsen, K. G. & Mathiasen, A. (2019). Optimal Minimal Margin Maximization with Boosting. I K. Chaudhuri & R. Salakhutdinov (red.), 36th International Conference on Machine Learning, ICML 2019 (Bind 97, s. 4392-4401). International Machine Learning Society (IMLS). http://proceedings.mlr.press/v97/mathiasen19a/mathiasen19a.pdf

Raskin, M. & Simkin, M. (2019). Perfectly Secure Oblivious RAM with Sublinear Bandwidth Overhead. I S. D. Galbraith & S. Moriai (red.), Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings: 25th International Conference on the Theory and Application of Cryptology and Information Security Kobe, Japan, December 8–12, 2019 Proceedings (Bind II, s. 537-563). Springer. https://doi.org/10.1007/978-3-030-34621-8_19

Piras, E. M., Cabitza, F., Lewkowicz, M. & Bannon, L. (2019). Personal Health Records and Patient-Oriented Infrastructures: Building Technology, Shaping (New) Patients, and Healthcare Practitioners. Computer Supported Cooperative Work: CSCW: An International Journal, 28(6), 1001-1009. https://doi.org/10.1007/s10606-019-09364-x

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

Agarwal, A., Dowsley, R., McKinney, N. D., Wu, D., Lin, C. T., Cock, M. D. & Nascimento, A. (2019). Privacy-Preserving Linear Regression for Brain-Computer Interface Applications. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 5277-5278). Artikel 8621861 IEEE. https://doi.org/10.1109/BigData.2018.8621861

Fritchman, K., Saminathan, K., Dowsley, R., Hughes, T., De Cock, M., Nascimento, A. & Teredesai, A. (2019). Privacy-Preserving Scoring of Tree Ensembles: A Novel Framework for AI in Healthcare. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 2413-2422). Artikel 8622627 IEEE. https://doi.org/10.1109/BigData.2018.8622627

Bhagat, S., Saminathan, K., Agarwal, A., Dowsley, R., De Cock, M. & Nascimento, A. (2019). Privacy-Preserving User Profiling with Facebook Likes. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 5298-5299). Artikel 8622081 IEEE. https://doi.org/10.1109/BigData.2018.8622081

Bouros, P., Assent, I., Jeppesen, J. H. & Toftegaard, T. S. (2019). Processing satellite imagery for decision-making in precision agriculture. I P. Papotti (red.), Proceedings of the Workshops of the EDBT/ICDT 2019 Joint Conference (EDBT/ICDT 2019) Sun Site Central Europe. https://bigvis.imsi.athenarc.gr/bigvis2019/papers/BigVis_2019_paper_4.pdf

Pedersen, M. & Chong, S. (2019). Programming with Flow-Limited Authorization: Coarser is Better. I Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (s. 63-78). Artikel 8806736 IEEE. https://doi.org/10.1109/EuroSP.2019.00015

Ganesh, C., Orlandi, C. & Tschudi, D. (2019). Proof-of-Stake Protocols for Privacy-Aware Blockchains. I Y. Ishai & V. Rijmen (red.), Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 690-719). Springer. https://doi.org/10.1007/978-3-030-17653-2_23

Damgård, I. B., Ganesh, C. & Orlandi, C. (2019). Proofs of Replicated Storage Without Timing Assumptions. I Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings (s. 355-380). Springer. https://doi.org/10.1007/978-3-030-26948-7_13

Agarwal, A., Dowsley, R., McKinney, N. D., Wu, D., Lin, C.-T., De Cock, M. & Nascimento, A. C. A. (2019). Protecting Privacy of Users in Brain-Computer Interface Applications. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 27(8), 1546-1555. https://doi.org/10.1109/TNSRE.2019.2926965

Grønbæk, J. E., Linding, C., Kromann, A., Jensen, T. F. H. & Petersen, M. G. (2019). Proxemics play: Exploring the interplay between mobile devices and interiors. I DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (s. 177-181). Association for Computing Machinery. https://doi.org/10.1145/3301019.3323886

Ateniese, G., Francati, D., Magri, B. & Venturi, D. (2019). Public immunization against complete subversion without random oracles. I R. H. Deng, V. Gauthier-Umanã, M. Ochoa & M. Yung (red.), Applied Cryptography and Network Security (s. 465-485). Springer. https://doi.org/10.1007/978-3-030-21568-2_23

Lyle, P. J. & Kannabiran, G. (2019). Public Outcomes of Publicly Funded Socio-Technical Projects: Reflections on Empowerment, Participation, and Researcher Responsibility. I J. E. Fischer, S. Martindale, M. Porcheron, S. Reeves & J. Spence (red.), HTTF 2019: : Proceedings of the Halfway to the Future Symposium 2019 (2019 udg., s. 1-3). Artikel 3363480 Association for Computing Machinery. https://doi.org/10.1145/3363384.3363480

Ciosici, M. R., Derczynski, L. & Assent, I. (2019). Quantifying the morphosyntactic content of Brown Clusters. I J. Burstein, C. Doran & T. Solorio (red.), Long and Short Papers: Human Language Technologies (Bind 1, s. 1541-1550). Association for Computational Linguistics. https://aclweb.org/anthology/papers/N/N19/N19-1157/

Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A., Brubaker, J. R., Keyes, O., Brulé, E., Light, A., Hardy, J., Rode, J. A. & Kannabiran, G. (2019). Queer(ing) HCI: Moving forward in theory and practice. I CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 3311750 Association for Computing Machinery. https://doi.org/10.1145/3290607.3311750

Viser resultater 1301 til 1350 ud af 3061

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series