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

Blundo, C., Cimato, S. & Siniscalchi, L. (2020). Managing Constraints in Role Based Access Control. IEEE Access, 8, 140497-140511. [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

Matakos, A., Aslay, C., Galbrun, E. & Gionis, A. (2020). Maximizing the Diversity of Exposure in a Social Network. IEEE Transactions on Knowledge and Data Engineering. https://doi.org/10.1109/TKDE.2020.3038711

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. Lecture Notes in Computer Science Bind 12146 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.

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

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

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. ACM International Conference Proceeding Series 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). [3394736] Association for Computing Machinery. ACM International Conference Proceeding Series 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 ved 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. Proceedings of Machine Learning Research Bind 119 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). [9159075] Institute of Electrical and Electronics Engineers Inc.. Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020 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. Lecture Notes in Computer Science Bind 12171 https://doi.org/10.1007/978-3-030-56877-1_5

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

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

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/

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. IEEE International Symposium on Information Theory - Proceedings Bind 2020-June 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.), Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, ICETE 2020 (Bind Volume 3: SECRYPT, s. 130-141). SCITEPRESS Digital Library. https://doi.org/10.5220/0009826801300141

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Bind 12075 https://doi.org/10.1007/978-3-030-44914-8_5

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 [3376438] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings 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 2020 IEEE European Symposium on Security and Privacy (EuroS&P) (s. 587-606). IEEE. https://doi.org/10.1109/EuroSP48549.2020.00044

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. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications 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. [9211419]. https://doi.org/10.1109/TCAD.2020.3012803

Loeschcke, S. B., Hogräfer, M. & Schulz, H-J. (2020). Progressive Parameter Space Visualization for Task-Driven SAX Configuration. I K. Vrotsou & C. Turkay (red.), Proceedings of the 11th International EuroVis Workshop on Visual Analytics (EuroVA'20) (s. 43-47). European Association for Computer Graphics. https://doi.org/10.2312/eurova.20201085

Kannabiran, G. & Bødker, S. (2020). Prototypes as Objects of Desire. I DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 1619-1631). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395487

Grønbæk, J. E., Knudsen, M., O'Hara, K., Krogh, P. G., Vermeulen, J. & Petersen, M. G. (2020). Proxemics Beyond Proximity: Designing for Flexible Social Interaction Through Cross-Device Interaction. I CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems [3376379] Association for Computing Machinery. https://doi.org/10.1145/3313831.3376379

Frumin, D., Krebbers, R. & Birkedal, L. (2020). ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity. arXiv.org. https://arxiv.org/abs/2006.13635

Skorstengaard, L., Devriese, D. & Birkedal, L. (2020). Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Transactions on Programming Languages and Systems, 42(1), [5]. https://doi.org/10.1145/3363519

Cavassim, M. I. A. (2020). Recombination and horizontal gene transfer through the lens of phylogenomics. Aarhus Universitet.

Bay, J. & Askarov, A. (2020). Reconciling progress-insensitive noninterference and declassification. I 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (s. 95-106). IEEE. Proceedings - IEEE Computer Security Foundations Symposium Bind 2020-June https://doi.org/10.1109/CSF49147.2020.00015

Rossitto, C., Lampinen, A., Bødker, S., Light, A., Berns, K. & Hui, J. (2020). Reconsidering scale and scaling in CSCW research. I CSCW '20 : Conference Companion Publication of the 2020 on Computer Supported Cooperative Work and Social Computing (s. 493-501). Association for Computing Machinery. Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW https://doi.org/10.1145/3406865.3419409

Rasmussen, T. A. & Grønbæk, K. (2020). RemoteAssistKit: A User Evaluation of Tailorable Remote Assistance in the Manufacturing Industry. Manuskript afsendt til publicering. I CHI 2021

van Oosterhout, A. & Hoggan, E. (2020). Reshaping Interaction with Rotary Knobs: Combining Form, Feel and Function. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 1973-1982). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395536

Logins, A. (2020). Resource Allocation in Networks. Aarhus Universitet.

Grønbæk, J. E. (2020). Rethinking Proxemics: Designing Interactive Technologies for Co-located Collaboration. Aarhus Universitet.

Chakraborty, S., Dziembowski, S. & Nielsen, J. B. (2020). Reverse firewalls for actively secure mpcs. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (s. 732-762). Springer. Lecture Notes in Computer Science Bind 12171 https://doi.org/10.1007/978-3-030-56880-1_26

Britz, D., Strutwolf, J. & Østerby, O. (2020). Revisiting rectangular electrodes; a simulation study. Electrochimica Acta, 338, [135728]. https://doi.org/10.1016/j.electacta.2020.135728

Zardbani, F., Afshani, P. & Karras, P. (2020). Revisiting the theory and practice of database cracking. I A. Bonifati, Y. Zhou, M. A. Vaz Salles, A. Bohm, D. Olteanu, G. Fletcher, A. Khan & B. Yang (red.), Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings (s. 415-418). openproceedings.org. Advances in Database Technology - EDBT Bind 2020-March https://doi.org/10.5441/002/edbt.2020.46

Giarrusso, P. G., Stefanesco, L., Timany, A., Birkedal, L. & Krebbers, R. (2020). Scala step-by-step: Soundness for DOT with step-indexed logical relations in Iris. Proceedings of the ACM on Programming Languages, 4(ICFP), [114]. https://doi.org/10.1145/3408996

Larsen, K. G. & Simkin, M. (2020). Secret sharing lower bound: Either reconstruction is hard or shares are long. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 566-578). Springer. Lecture Notes in Computer Science Bind 12238 https://doi.org/10.1007/978-3-030-57990-6_28

Dalskov, A. P. K., Escudero Ospina, D. E. & Keller, M. (2020). Secure Evaluation of Quantized Neural Networks. Proceedings on Privacy Enhancing Technologies, 2020(4), 355-375. https://doi.org/10.2478/popets-2020-0077

Lucani Rötter, D. E., Nielsen, L., Orlandi, C., Pagnin, E. & Vestergaard, R. (2020). Secure generalized deduplication via multi-key revealing encryption. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 298-318). Springer. Lecture Notes in Computer Science Bind 12238 https://doi.org/10.1007/978-3-030-57990-6_15

Dalskov, A. P. K., Orlandi, C., Keller, M., Shrishak, K. & Shulman, H. (2020). Securing DNSSEC Keys via Threshold ECDSA from Generic MPC. I L. Chen, S. Schneider, N. Li & K. Liang (red.), European Symposium on Research in Computer Security : Computer Security – ESORICS 2020 (Bind I, s. 654-673). Springer. Lecture Notes in Computer Science Bind 12309 https://doi.org/10.1007/978-3-030-59013-0_32

Aranha, D. F., Orlandi, C., Takahashi, A. & Zaverucha, G. (2020). Security of Hedged Fiat–Shamir Signatures under Fault Attacks. I A. Canteaut & Y. Ishai (red.), Advances in Cryptology – EUROCRYPT 2020 (s. 644-674). Springer. Lecture Notes in Computer Science Bind 12105 https://doi.org/10.1007/978-3-030-45721-1_23

Khurana, A., Logins, A. & Karras, P. (2020). Selecting Influential Features by a Learnable Content-Aware Linear Threshold Model. I CIKM '20: Proceedings of the 29th ACM International Conference on Information & Knowledge Management (s. 635-644). Association for Computing Machinery. https://doi.org/10.1145/3340531.3411886

Neerbek, J. (2020). Sensitive Information Detection: Recursive Neural Networks for Encoding Context. Aarhus Universitet.

Larsen, M. R. E., Han, W. & Schulz, H-J. (2020). Sketchy Rendering to Aid the Recollection of Regular Visualizations. I EuroVis 2020: Short Papers (s. 139-143). Eurographics Association. https://doi.org/10.2312/evs.20201062

Nielsen, J. B. & Spitters, B. (2020). Smart contract interactions in coq. I E. Sekerinski, N. Moreira, J. N. Oliveira, D. Ratiu, R. Guidotti, M. Farrell, M. Luckcuck, D. Marmsoler, J. Campos, T. Astarte, L. Gonnord, A. Cerone, L. Couto, B. Dongol, M. Kutrib, P. Monteiro & D. Delmas (red.), Formal Methods- FM 2019 International Workshops - Revised Selected Papers (s. 380-391). Springer. Lecture Notes in Computer Science Bind 12232 https://doi.org/10.1007/978-3-030-54994-7_29

Kannabiran, G., Hoggan, E. & Hansen, L. K. (2020). Somehow They Are Never Horny! I DIS' 20 Companion: Companion Publication of the 2020 ACM Designing Interactive Systems Conference (s. 131-137). Association for Computing Machinery. https://doi.org/10.1145/3393914.3395877

Viser resultater 251 til 300 ud af 2131

Forrige

Næste

Revideret 16.11.2021 -

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series