Publikationer

Søg publikationer fra Institut for Datalogi

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

Zhang, K., Zhou, J., Tao, D., Karras, P., Li, Q. & Xiong, H. (2020). Geodemographic Influence Maximization. I KDD '20: Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (s. 2764-2774). Association for Computing Machinery. https://doi.org/10.1145/3394486.3403327

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2020). Graph-Query Suggestions for Knowledge Graph Exploration. I Y. Huang, I. King, T.-Y. Liu & M. van Steen (red.), WWW '20: Proceedings of The Web Conference 2020 (s. 2549-2555). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380005

Hvass, B. S., Aranha, D. F. & Spitters, B. (2020). High-assurance field inversion for pairing-friendly primes. Abstract fra The Coq Workshop 2020. https://coq-workshop.gitlab.io/2020/abstracts/Coq2020_04-02-primes.pdf

Hvass, B. S., Aranha, D. F. & Spitters, B. (2020). High-assurance field inversion for pairing-friendly primes. Abstract fra 2nd Workshop on Formal Methods for Blockchains. https://fmbc.gitlab.io/2020/files/FMBC2020.pdf

Aggarwal, D., Obremski, M., Ribeiro, J., Siniscalchi, L. & Visconti, I. (2020). How to extract useful randomness from unreliable sources. I A. Canteaut & Y. Ishai (red.), Advances in Cryptology – EUROCRYPT 2020 (s. 343-372). Springer. https://doi.org/10.1007/978-3-030-45721-1_13

Escudero, D., Ghosh, S., Keller, M., Rachuri, R. & Scholl, P. (2020). Improved primitives for mpc over mixed arithmetic-binary circuits. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (s. 823-852). Springer. https://doi.org/10.1007/978-3-030-56880-1_29

Campanelli, M., Fiore, D., Greco, N., Kolonelos, D. & Nizzardo, L. (2020). Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (s. 3-35). Springer. https://doi.org/10.1007/978-3-030-64834-3_1

Sciannamblo, M., Teli, M., Lyle, P. J. & Csíkszentmihályi, C. (2020). Infrastructuring the commons today, when STS meets ICT. Journal of Peer Production, (14).

Baum, C., David, B. & Dowsley, R. (2020). Insured MPC: Efficient Secure Computation with Financial Penalties. I J. Bonneau & N. Heninger (red.), Financial Cryptography and Data Security: FC 2020 (s. 404-420). Springer. https://doi.org/10.1007/978-3-030-51280-4_22

Avdic, M. & Vermeulen, J. (2020). Intelligibility Issues Faced by Smart Speaker Enthusiasts in Understanding What Their Devices Do and Why. I N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (red.), Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 314-328). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441068

Assent, I., Domeniconi, C., Gionis, A. & Hüllermeier, E. (2020). Introduction to the special issue of the ECML PKDD 2020 journal track. Data Mining and Knowledge Discovery, 34(5), 1235-1236. https://doi.org/10.1007/s10618-020-00713-9

Assent, I., Domeniconi, C., Gionis, A. & Hüllermeier, E. (2020). Introduction to the special issue of the ECML PKDD 2020 journal track. Machine Learning, 109(9-10), 1697-1698. https://doi.org/10.1007/s10994-020-05907-2

Jetter, H.-C., Rädle, R., Feuchtner, T., Anthes, C., Friedl, J. & Klokmose, C. N. (2020). “In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. I CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 523 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376652

Larsen-Ledet, I. & Borowski, M. (2020). "It Looks Like You Don't Agree": Idiosyncratic Needs and Practices in Collaborative Writing. I N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (red.), OzCHI '20: 32nd Australian Conference on Human-Computer Interaction (s. 339-354). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441032

Grønbæk, J. E., Rasmussen, M. K., Halskov, K. & Petersen, M. G. (2020). KirigamiTable: Designing for Proxemic Transitions with a Shape-Changing Tabletop. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376834 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376834

Lissandrini, M., Pedersen, T. B., Hose, K. & Mottin, D. (2020). Knowledge Graph Exploration: Where Are We and Where Are We Going? S I G W E B Newsletter, (Summer), Artikel 4. https://doi.org/10.1145/3409481.3409485

Gomez, A. R. & Gellersen, H. (2020). KryptonEyed: Playing with Gaze without Looking. I G. N. Yannakakis, A. Liapis, K. Penny, V. Volz, F. Khosmood & P. Lopes (red.), Proceedings of the 15th International Conference on the Foundations of Digital Games, FDG 2020 Artikel 52 Association for Computing Machinery. https://doi.org/10.1145/3402942.3403017

Aranha, D. F., Novaes, F. R., Takahashi, A., Tibouchi, M. & Yarom, Y. (2020). LadderLeak: Breaking ECDSA with Less than One Bit of Nonce Leakage. I CCS 2020 - Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security (s. 225-242). Association for Computing Machinery. https://doi.org/10.1145/3372297.3417268

Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P. (2020). Leibniz equality is isomorphic to Martin-Löf identity, parametrically. Journal of Functional Programming, 30, Artikel e17. https://doi.org/10.1017/S0956796820000155

Hjorth, A., Head, B., Head, B. & Wilensky, U. (2020). Levelspace: A netlogo extension for multi-level agent-based modeling. JASSS, 23(1), Artikel 4. https://doi.org/10.18564/jasss.4130

Silva, G., Lyle, P. J. & Silva, C. (2020). Local Perspectives for Sharing Economy Design on a Remote Tourist Island. I Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 368-378). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441058

Hazay, C., Scholl, P. & Soria-Vazquez, E. (2020). Low Cost Constant Round MPC Combining BMR and Oblivious Transfer. Journal of Cryptology, 33(4), 1732-1786. https://doi.org/10.1007/s00145-020-09355-y

Nielsen, J. B. & Simkin, M. (2020). Lower bounds for leakage-resilient secret sharing. I A. Canteaut & Y. Ishai (red.), Advances in Cryptology – EUROCRYPT 2020 - 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 556-577). Springer. https://doi.org/10.1007/978-3-030-45721-1_20

Larsen, K. G., Simkin, M. & Yeo, K. (2020). Lower Bounds for Multi-server Oblivious RAMs. I R. Pass & K. Pietrzak (red.), Theory of Cryptography - 18th International Conference, TCC 2020, Proceedings (s. 486-503). Springer. https://doi.org/10.1007/978-3-030-64375-1_17

Larsen, K. G., Malkin, T., Weinstein, O. & Yeo, K. (2020). Lower Bounds for Oblivious Near-Neighbor Search. I S. Chawla (red.), SODA '20: Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms (s. 1116-1134). Society for Industrial and Applied Mathematics. https://doi.org/10.5555/3381089.3381157

Blundo, C., Cimato, S. & Siniscalchi, L. (2020). Managing Constraints in Role Based Access Control. IEEE Access, 8, 140497-140511. Artikel 9146129. https://doi.org/10.1109/ACCESS.2020.3011310

Grønlund, A., Kamma, L. & Larsen, K. G. (2020). Margins are Insufficient for Explaining Gradient Boosting. I H. Larochelle, MA. Ranzato, R. Hadsell, M.-F. Balcan & H.-T. Lin (red.), Advances in Neural Information Processing Systems 33 (NeurIPS 2020) https://proceedings.neurips.cc/paper/2020/hash/146f7dd4c91bc9d80cf4458ad6d6cd1b-Abstract.html

Deuber, D., Döttling, N., Magri, B., Malavolta, G. & Thyagarajan, S. A. K. (2020). Minting Mechanism for Proof of Stake Blockchains. I M. Conti, J. Zhou, E. Casalicchio & A. Spognardi (red.), Applied Cryptography and Network Security (s. 315-334). Springer. https://doi.org/10.1007/978-3-030-57808-4_16

Birkedal, L., Clouston, R., Mannaa, B., Ejlers Møgelberg, R., Pitts, A. M. & Spitters, B. (2020). Modal dependent type theory and dependent right adjoints. Mathematical Structures in Computer Science, 30(2), 118-138. https://doi.org/10.1017/S0960129519000197

Rijke, E., Shulman, M. & Spitters, B. (2020). Modalities in homotopy type theory. Logical Methods in Computer Science, 16(1), 2:1-2:79.

Ramirez Gomez, A. & Gellersen, H. (2020). More than Looking: Using Eye Movements Behind the Eyelids as a New Game Mechanic. I CHI PLAY '20: Proceedings of the Annual Symposium on Computer-Human Interaction in Play (s. 362-373). Association for Computing Machinery. https://doi.org/10.1145/3410404.3414240

Larsen-Ledet, I. (2020). More Than Writing Text: Multiplicity in Collaborative Academic Writing. Århus Universitet.

Clarke, C., Ehrich, P. & Gellersen, H. (2020). Motion Coupling of Earable Devices in Camera View. I J. Cauchard & M. Lochtefeld (red.), MUM 2020 - 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings (s. 13-17). Association for Computing Machinery. https://doi.org/10.1145/3428361.3428470

Gratzer, D., Kavvos, G. A., Nuyts, A. & Birkedal, L. (2020). Multimodal Dependent Type Theory. I Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020 (s. 492-506). Artikel 3394736 Association for Computing Machinery. https://doi.org/10.1145/3373718.3394736

Hjorth, H. A. (2020). NaturalLanguageProcessing4All: A Tool for Natural Language Processing in Social Studies Education for Non-Programmers. Poster session præsenteret på Constructionism 2020, Dublin, Irland.

Grønlund, A., Kamma, L. & Larsen, K. G. (2020). Near-Tight Margin-Based Generalization Bounds for Support Vector Machines. I H. Daumé III & A. Singh (red.), International Conference on Machine Learning (s. 3779-3788). MLResearch Press. http://proceedings.mlr.press/v119/gronlund20a.html

Endo, A. T. & Møller, A. (2020). NodeRacer: Event Race Detection for Node.js Applications. I 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020: Proceedings (s. 120-130). Artikel 9159075 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICST46399.2020.00022

Brian, G., Faonio, A., Obremski, M., Simkin, M. & Venturi, D. (2020). Non-malleable secret sharing against bounded joint-tampering attacks in the plain model. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (s. 127-155). Springer. https://doi.org/10.1007/978-3-030-56877-1_5

Andersen, J. B., Bertelsen, M. B., Schou, M. H., Ciosici, M. R. & Assent, I. (2020). One of these words is not like the other: a reproduction of outlier identification using non-contextual word representations. I Proceedings of the First Workshop on Evaluation and Comparison of NLP Systems Association for Computational Linguistics. https://www.aclweb.org/anthology/2020.eval4nlp-1.12/

Connor, R., Dearle, A., Mic, V. & Zezula, P. (2020). On the application of convex transforms to metric search. Pattern Recognition Letters, 138, 563-570. https://doi.org/10.1016/j.patrec.2020.08.008

Logins, A., Li, Y. & Karras, P. (2020). On the Robustness of Cascade Diffusion under Node Attacks. I The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020: Proceedings of the Web Conference 2020 (s. 2711–2717). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380028

Freksen, C. B. & Larsen, K. G. (2020). On Using Toeplitz and Circulant Matrices for Johnson–Lindenstrauss Transforms. Algorithmica, 82(2), 338-354. https://doi.org/10.1007/s00453-019-00644-y

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R. & Pavlogiannis, A. (2020). Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. I P. Müller (red.), Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (s. 112-140). Springer. https://doi.org/10.1007/978-3-030-44914-8_5

Larsen, K. G., Mitzenmacher, M. & Tsourakakis, C. E. (2020). Optimal Learning of Joint Alignments with a Faulty Oracle. I 2020 IEEE International Symposium on Information Theory, ISIT 2020 (s. 2492-2497). IEEE. https://doi.org/10.1109/ISIT44484.2020.9174310

Brandt, M., Orlandi, C., Shrishak, K. & Shulman, H. (2020). Optimal Transport Layer for Secure Computation. I P. Samarati, S. D. C. D. Vimercati, M. S. Obaidat & J. Ben-Othman (red.), ICETE 2020 - Proceedings of the 17th International Joint Conference on e-Business and Telecommunications (Bind Volume 3: SECRYPT, s. 130-141). SCITEPRESS Digital Library. https://doi.org/10.5220/0009826801300141

Sidenmark, L., Clarke, C., Zhang, X., Phu, J. & Gellersen, H. (2020). Outline Pursuits: Gaze-assisted Selection of Occluded Objects in Virtual Reality. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376438 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376438

Baum, C., Frederiksen, T. K., Hesse, J., Lehmann, A. & Yanai, A. (2020). Pesto: Proactively secure distributed single sign-on, or how to trust a hacked server. I Proceedings - 5th IEEE European Symposium on Security and Privacy, Euro S and P 2020 (s. 587-606). Artikel 9230400 IEEE. https://doi.org/10.1109/EuroSP48549.2020.00044

Higuchi, N., Imamura, Y., Mic, V., Shinohara, T., Hirata, K. & Kuboyama, T. (2020). Pivot selection for narrow sketches by optimization algorithms. I S. Satoh, L. Vadicamo, F. Carrara, A. Zimek, I. Bartolini, M. Aumüller, B. P. Jonsson & R. Pagh (red.), Similarity Search and Applications - 13th International Conference, SISAP 2020, Proceedings (s. 33-46). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-60936-8_3

Madsen, M. & Pol, J. V. D. (2020). Polymorphic types and effects with Boolean unification. I Proceedings of the ACM on Programming Languages (OOPSLA udg., Bind 4). Association for Computing Machinery. https://doi.org/10.1145/3428222

Pavlogiannis, A., Schaumberger, N., Schmid, U. & Chatterjee, K. (2020). Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3981-3992. Artikel 9211419. https://doi.org/10.1109/TCAD.2020.3012803

Viser resultater 1001 til 1050 ud af 2938

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series