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

Qian, Z., Kavvos, G. A. & Birkedal, L. (2021). Client-server sessions in linear logic. Proceedings of the ACM on Programming Languages, 5(ICFP), [62]. https://doi.org/10.1145/3473567

Borowski, M., Kristensen, J. B., Bagge, R. & Klokmose, C. N. (2021). Codestrates v2: A Development Platform for Webstrates.

Frumin, D., Krebbers, R. & Birkedal, L. (2021). Compositional non-interference for fine-grained concurrent programs. I 2021 IEEE Symposium on Security and Privacy (SP) (s. 1416-1433). IEEE. https://doi.org/10.1109/SP40001.2021.00003

Hansen, K. A. & Lund, T. B. (2021). Computational Complexity of Computing a Quasi-Proper Equilibrium. I E. Bampis & A. Pagourtzis (red.), Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021 Athens, Greece, September 12–15, 2021 Proceedings (s. 259-271). Springer. Lecture Notes in Computer Science Bind 12867 https://doi.org/10.1007/978-3-030-86593-1_18

Blanc, M. & Hansen, K. A. (2021). Computational Complexity of Multi-player Evolutionarily Stable Strategies. I R. Santhanam & D. Musatov (red.), Computer Science – Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings (s. 1-17). Springer. Lecture Notes in Computer Science Bind 12730 https://doi.org/10.1007/978-3-030-79416-31

Engelmann, F., Speichert, J. P., God, R., Kargl, F. & Bösch, C. (2021). Confidential Token-Based License Management. I AMSec 2021 - Proceedings of the 2021 Workshop on Additive Manufacturing (3D Printing) Security, co-located with CCS 2021 (s. 39-48). Association for Computing Machinery. AMSec 2021 - Proceedings of the 2021 Workshop on Additive Manufacturing (3D Printing) Security, co-located with CCS 2021 https://doi.org/10.1145/3462223.3485619

Yang, Y., Li, Y., Karras, P. & Tung, A. K. H. (2021). Context-aware Outstanding Fact Mining from Knowledge Graphs. I KDD 2021 - Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 2006-2016). Association for Computing Machinery. https://doi.org/10.1145/3447548.3467272

Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). I C. Hriţcu & A. Popescu (red.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 76-90). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439930

Larsen, K. G., Pagh, R. & Tetek, J. (2021). CountSketches, Feature Hashing and the Median of Three. I M. Meila & T. Zhang (red.), Proceedings of the 38th International Conference on Machine Learning, ICML 2021, 18-24 July 2021, Virtual Event (s. 6011-6020). Proceedings of Machine Learning Research Bind 139 http://proceedings.mlr.press/v139/larsen21a.html

Ganesh, C., Magri, B. & Venturi, D. (2021). Cryptographic reverse firewalls for interactive proof systems. Theoretical Computer Science, 855, 104-132. https://doi.org/10.1016/j.tcs.2020.11.043

Nonnemann, L., Hogräfer, M., Schumann, H., Urban, B. & Schulz, H-J. (2021). Customizable Coordination of Independent Visual Analytics Tools. I J. Bernard & K. Vrotsou (red.), Proceedings of the 12th International EuroVis Workshop on Visual Analytics (EuroVA) (s. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20211094

Bressa, N. A. (2021). Data In Situ: a Design Approach for Situated Visualization. Aarhus Universitet.

Van Oosterhout, A. & Hoggan, E. (2021). Deformation Techniques for Shape Changing Interfaces. I Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021 [388] Association for Computing Machinery. https://doi.org/10.1145/3411763.3451622

Enni, S. (2021). Deliberation and Dissemination in Machine Learning. Aarhus Universitet.

Nordstrøm Rasmussen, C., Pakanen, M. A. & Petersen, M. G. (2021). Designing Socially Acceptable Light Therapy Glasses for Self-managing Seasonal Affective Disorder. I J. Häkkilä, P. Lopes, T. Kosch, J. Nishida, P. Strohmeier & Y. Abdelrahman (red.), Augmented Humans Conference 2021 (s. 307-312). Association for Computing Machinery. https://doi.org/10.1145/3458709.3458995

Hurst, A., Zhang, Q., Lucani Rötter, D. E. & Assent, I. (Accepteret/In press). Direct Analytics of Generalized Deduplication Compressed IoT Data. I IEEE Global Communications Conference IEEE. Globecom. I E E E Conference and Exhibition

Bressa, N. A. & Larsen-Ledet, I. (2021). Discussing Feminist Thinking as an Exemplar for Ethical Reflection in the Tech Classroom. 1. Paper præsenteret ved Co-designing Resources For Ethics Education In HCI.

Gondelman, L., Gregersen, S. O., Nieto, A., Timany, A. & Birkedal, L. (2021). Distributed causal memory: Modular specification and verification in higher-order distributed separation logic. Proceedings of the ACM on Programming Languages, 5(POPL), [42]. https://doi.org/10.1145/3434323

Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. I S. Haddad & D. Varacca (red.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (s. 16:1-16:23). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics (LIPIcs) Bind 203 https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

Hvilshøj, F., Iosifidis, A. & Assent, I. (2021). ECINN: Efficient Counterfactuals from Invertible Neural Networks. I 32nd British Machine Vision Conference 2021, BMVC 2021, Virtual https://arxiv.org/abs/2103.13701

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Effects of Using Vibrotactile Feedback on Sound Localization by Deaf and Hard-of-Hearing People in Virtual Environments. Electronics, 10(22), [2794]. https://doi.org/10.3390/electronics10222794

Rossitto, C., Korsgaard, H., Lampinen, A. & Bødker, S. (2021). Efficiency and Care in Community-Led Initiatives. Proceedings of the ACM on Human-Computer Interaction, 5(CSCW2), [467]. https://doi.org/10.1145/3479611

Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B. (2021). Efficient Binary Decision Diagram Manipulation in External Memory. ArXiv. https://doi.org/arXiv:2104.12101

Escudero Ospina, D. E. & Soria Vazquez, E. (2021). Efficient Information-Theoretic Multi-Party Computation over Non-Commutative Rings. I Advances in Cryptology - CRYPTO 2021: Proceedings (s. 335-364). Springer. https://doi.org/10.1007/978-3-030-84245-1_12

Han, K., Wu, B., Tang, J., Cui, S., Aslay, C. & Lakshmanan, L. VS. (2021). Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. I Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data (s. 671-684). Association for Computing Machinery. https://doi.org/10.1145/3448016.3459243

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L. (2021). Efficient and provable local capability revocation using uninitialized capabilities. Proceedings of the ACM on Programming Languages, 5(POPL), [6]. https://doi.org/10.1145/3434287

Jepsen, S. C., Worm, T., Christensen, H. B., Hviid, J. & Sandig, L. M. (2021). Experience Report: A Systematic Process For Gathering Quality Attribute Requirements for Industry 4.0 Middleware. I Proceedings of 2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW) (s. 166-175). IEEE. https://doi.org/10.1109/EDOCW52865.2021.00046

Borowski, M. (2021). Exploring Possible Futures With Computational Media. I ECSCW 2021: Proceedings of the 19th European Conference on Computer Supported Cooperative Work (s. 1–8). European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.18420/ecscw2021_dc05

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting functional programs from Coq, in Coq.

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting smart contracts tested and verified in Coq. I C. Hritcu & A. Popescu (red.), CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021 (s. 105-121). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439934

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Oseledets, I. & Mueller, E. (2021). FREDE: Anytime Graph Embeddings. Proceedings of the VLDB Endowment, 14(6), 1102-1110. https://doi.org/10.14778/3447689.3447713

Segal, S., Adi, Y., Pinkas, B., Baum, C., Ganesh, C. & Keshet, J. (2021). Fairness in the Eyes of the Data: Certifying Machine-Learning Models. I AIES 2021 - Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (s. 926-935). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462554

Dalskov, A. P. K., Escudero Ospina, D. E. & Keller, M. (2021). Fantastic Four: Honest-Majority Four-Party Secure Computation With Malicious Security. I Proceedings of the 30th USENIX Security Symposium USENIX - The Advanced Computing Systems Association.

Hvilshøj, F. (2021). Fast and Explainable Deep Neural Networks.

Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2021). Fast and strong amplifiers of natural selection. Nature Communications, 12(1), [4009]. https://doi.org/10.1038/s41467-021-24271-w

Alves, P. G. M. R., Nayara Ortiz, J. & Aranha, D. F. (2021). Faster Homomorphic Encryption over GPGPUs via hierarchical DGT. I N. Borisov & C. Diaz (red.), Financial Cryptography and Data Security (s. 520-540). Springer. Lecture Notes in Computer Science Bind 12675 https://doi.org/10.1007/978-3-662-64331-0_27

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design, 57(3), 401-428. https://doi.org/10.1007/s10703-021-00373-5

Loster, M., Mottin, D., Papotti, P., Ehmüller, J., Feldmann, B. & Naumann, F. (2021). Few-Shot Knowledge Validation using Rules. I J. Leskovec, M. Grobelnik, M. Najork, J. Tang & L. Zia (red.), The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021 (s. 3314-3324). Association for Computing Machinery. https://doi.org/10.1145/3442381.3450040

Saleem, M. A., Calders, T., Pedersen, T. B. & Karras, P. (2021). Finding Geo-Social Cohorts in Location-Based Social Networks. I L. H. U, M. Spaniol, Y. Sakurai & J. Chen (red.), Web and Big Data: 5th International Joint Conference, APWeb-WAIM 2021, Proceedings, Part II (s. 368-383). Springer International Publishing. Information Systems and Applications, incl. Internet/Web, and HCI https://doi.org/10.1007/978-3-030-85899-5_27

Christensen, H. B. (2021). Flexible, Reliable Software, 2nd Edition, Part I: Basic Terminology.

Christensen, H. B. (2021). Flexible, Reliable Software, 2nd Edition, Part II: The Programming Process.

Christensen, H. B. (2021). Flexible, Reliable Software, 2nd Edition, Part III: The First Design Pattern.

Christensen, H. B. (2021). Flexible, Reliable Software, 2nd Edition, Part IV: Variability Management and 3-1-2.

Sidorenco, N., Oechsner, S. & Spitters, B. (2021). Formal security analysis of MPC-in-the-head zero-knowledge protocols. I 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (s. 607-620). IEEE. https://doi.org/10.1109/CSF51468.2021.00050

Thomsen, S. E. & Spitters, B. (2021). Formalizing Nakamoto-Style Proof of Stake. I 2021 IEEE 34th Computer Security Foundations Symposium (CSF) IEEE. https://doi.org/10.1109/CSF51468.2021.00042

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. I FormaliSE@ICSE: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (s. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

Jacobs, K., Timany, A. & Devriese, D. (2021). Fully abstract from static to gradual. Proceedings of the ACM on Programming Languages, 5(POPL), [7]. https://doi.org/10.1145/3434288

Larsen, K. G., Starup, J. L. & Steensgaard, J. (2021). Further Unifying the Landscape of Cell Probe Lower Bounds. Paper præsenteret ved Happening virtually , -. https://cs.au.dk/~larsen/papers/FurtherUnifying.pdf

Jørgensen, J. R., Nellemann, K. S. & Assent, I. (2021). GPU-INSCY: A GPU-Parallel Algorithm and Tree Structure for Efficient Density-based Subspace Clustering. Paper præsenteret ved 24th International Conference on Extending Database Technology. https://doi.org/10.5441/002/edbt.2021.04

Hermanns, J., Tsitsulin, A., Munkhoeva, M., Bronstein, A., Mottin, D. & Karras, P. (2021). GRASP: Graph Alignment through Spectral Signatures. I L. Hou U, M. Spaniol, Y. Sakurai & J. Chen (red.), Web and Big Data (s. 44-52). Springer. Lecture Notes in Computer Science Bind 12858 https://doi.org/10.1007/978-3-030-85896-4_4

Viser resultater 51 til 100 ud af 2211

Forrige

Næste

Revideret 16.11.2021 -

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series