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

Mathiasen, A. (2022). Algorithmic Improvements to Boosting and Neural Networks.

Afshani, P. & Cheng, P. (2021). 2D Fractional Cascading on Axis-aligned Planar Subdivisions. I 61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 IEEE Computer Society. https://arxiv.org/abs/2009.05541

Bødker, S., Korsgaard, H., Boden, A., Lewkowicz, M., Avram, G. & Pakusch, C. (2021). 2nd Workshop on Studying Technical Mechanisms for Supporting Sharing Communities. Paper præsenteret ved The 19th European Conference on Computer-Supported Cooperative Work, Zurich, Schweiz. https://doi.org/DOI: 10.18420/ecscw2021-wsmc01

Møller, A. & Sridharan, M. (red.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). I A. Møller & M. Sridharan (red.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (s. vii-ix). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 194 https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. Aarhus Universitet.

Rocha, R. V. M., Libório, P. P., Kupwade Patil, H. & Aranha, D. F. (2021). A Differentially Private Hybrid Approach to Traffic Monitoring. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security - ACNS 2021 (s. 233-256). Springer. Lecture Notes in Computer Science Bind 12727 https://doi.org/10.1007/978-3-030-78375-4_10

Afshani, P. (Accepteret/In press). A Lower Bound for Dynamic Fractional Cascading. I ACM-SIAM Symposium on Discrete Algorithms (SODA21) Association for Computing Machinery. https://arxiv.org/abs/2011.00503

Engemann, K., Svenning, J-C., Arge, L., Brandt, J., Bruun, M. T., Didriksen, M., Erikstrup, C., Geels, C., Hertel, O., Horsdal, H. T., Kaspersen, K. A., Mikkelsen, S., Mortensen, P. B., Nielsen, K. R., Ostrowski, S. R., Pedersen, O. B., Tsirogiannis, C., Sabel, C. E., Sigsgaard, T. ... Pedersen, C. B. (2021). A life course approach to understanding associations between natural environments and mental well-being for the Danish blood donor cohort. Health & Place, 72, 102678. https://doi.org/10.1016/j.healthplace.2021.102678

Cohen-Addad, V., Saulpic, D. & Schwiegelshohn, C. (2021). A new coreset framework for clustering. I S. Khuller & V. V. Williams (red.), STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (s. 169-182). Association for Computing Machinery. Proceedings of the Annual ACM Symposium on Theory of Computing https://doi.org/10.1145/3406325.3451022

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2021). Absorbing games with a clock and two bits of memory. Games and Economic Behavior, 128, 213-230. https://doi.org/10.1016/j.geb.2021.04.008

Sølvsten, S. (Producent). (2021). Adiar: An I/O-efficient implementation of Binary Decision Diagrams. Software, GitHub. https://github.com/SSoelvsten/adiar

Mathiesen, S. S. & Schulz, H-J. (2021). Aesthetics and Ordering in Stacked Area Charts. I A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (red.), Diagrammatic representation and inference: 12th International Conference on the Theory and Application of Diagrams (DIAGRAMS'21) (s. 3-19). Springer. Lecture Notes in Computer Science Bind 12909 https://doi.org/10.1007/978-3-030-86062-2_1

Christensen, H. B., Jepsen, S. C. & Worm, T. (2021). Agile Architecting of Distributed Systems for Flexible Industry 4.0. I M. Ganzha, L. Maciaszek, M. Paprzycki & D. Ślęzak (red.), Proceedings of the 16^th Conference on Computer Science and Intelligence Systems (s. 533-536). IEEE. Annals of Computer Science and Information Systems Bind 25 https://doi.org/10.15439/2021F17

Christensen, H. B. (Producent). (2021). AlSoMe: A Demonstration of a High Available Chat App. Softwareprogram https://bitbucket.org/henrikbaerbak/alsome/src/master/

Caragiannis, I. & Hansen, K. A. (red.) (2021). Algorithmic Game Theory - 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings. Springer. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-030-85947-3

Svendsen, S. C. (2021). Algorithms for Massive Terrains and Graphs. Aarhus Universitet.

Böhm, M., Fazzone, A., Leonardi, S., Menghini, C. & Schwiegelshohn, C. (2021). Algorithms for fair k-clustering with multiple protected attributes. Operations Research Letters, 49(5), 787-789. https://doi.org/10.1016/j.orl.2021.08.011

Abspoel, M., Dalskov, A., Escudero Ospina, D. E. & Nof, A. (2021). An Efficient Passive-to-Active Compiler for Honest-Majority MPC over Rings. I K. Sako & N. O. Tippenhauer (red.), Applied Cryptography and Network Security: 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings (Bind II, s. 122-154). Springer. Lecture Notes in Computer Science Bind 12726 https://doi.org/10.1007/978-3-030-78375-4_6

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. I 2021 IEEE International Conference on Blockchain and Cryptocurrency (s. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Brodal, G. S., Fagerberg, R., Hammer, D., Meyer, U., Penschuck, M. & Tran, H. (2021). An experimental study of external memory algorithms for connected components. I D. Coudert & E. Natale (red.), 19th International Symposium on Experimental Algorithms, SEA 2021 (s. 23). [23] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 190 https://doi.org/10.4230/LIPIcs.SEA.2021.23

Bidlingmaier, M. E. (2021). An interpretation of dependent type theory in a model category of locally cartesian closed categories. Mathematical Structures in Computer Science, 1-26. https://doi.org/10.1017/S0960129521000098

Baum, C., Braun, L., Munch-Hansen, A., Razet, B. & Scholl, P. (2021). Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k. I CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (s. 192-211). Association for Computing Machinery. Proceedings of the ACM Conference on Computer and Communications Security https://doi.org/10.1145/3460120.3484812

Afshani, P., de Berg, M., Buchin, K., Gao, J., Loffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Wang, H-T. (2021). Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency. I S. M. LaValle, M. Lin, T. Ojala, D. Shell & J. Yu (red.), Algorithmic Foundations of Robotics XIV-Part A: Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics Springer. Springer Proceedings in Advanced Robotics https://arxiv.org/abs/2005.02530

Kán, P., Kurtic, A., Radwan, M. & M. Loáiciga Rodríguez, J. (2021). Automatic Interior Design in Augmented Reality Based on Hierarchical Tree of Procedural Rules. Electronics, 10(3), [245]. https://doi.org/10.3390/electronics10030245

Damgård, I., Ganesh, C., Khoshakhlagh, H., Orlandi, C. & Siniscalchi, L. (2021). Balancing Privacy and Accountability in Blockchain Identity Management. Lecture Notes in Computer Science, 12704, 552-576. https://doi.org/10.1007/978-3-030-75539-323

Baum, C., de Saint Guilhem, C. D., Kales, D., Orsini, E., Scholl, P. & Zaverucha, G. (2021). Banquet: Short and Fast Signatures from AES. I J. A. Garay (red.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (s. 266-297). Springer. Lecture Notes in Computer Science Bind LNCS 12710 https://doi.org/10.1007/978-3-030-75245-3_11

Pfeuffer, K., DInc, A., Obernolte, J., Rivu, R., Abdrabou, Y., Shelter, F., Abdelrahman, Y. & Alt, F. (2021). Bi-3D: Bi-Manual Pen-and-Touch Interaction for 3D Manipulation on Tablets. I UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 149-161). Association for Computing Machinery. UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology https://doi.org/10.1145/3472749.3474741

Kyster, A. F., Nielsen, S. D., Hermanns, J., Mottin, D. & Karras, P. (2021). Boosting Graph Alignment Algorithms. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 3166-3170). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482067

Damgård, I. B., Larsen, K. G. & Yakoubov, S. (2021). Broadcast secret-sharing, bounds and applications. I S. Tessaro (red.), 2nd Conference on Information-Theoretic Cryptography, ITC 2021 [10] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 199 https://doi.org/10.4230/LIPIcs.ITC.2021.10

Yakoubov, S., Damgård, I. B., Siniscalchi, L., Ravi, D. & Magri, B. (2021). Broadcast-Optimal Two Round MPC with an Honest Majority. I Crypto: Proceedings (s. 155-184)

Haxen, M., Raeburn, M., Afshani, P. & Karras, P. (2021). Centerpoint Query Authentication. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 3083-3087). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482072

Evangelista Belo, J. M., Feuchtner, T., Hwang, C., Lunding, R. S., Lystbæk, M. N., Pfeuffer, K. & Rasmussen, T. A. (2021). Challenges of XR Transitional Interfaces in Industry 4.0. 1-6. Paper præsenteret ved ISS '21: Interactive Surfaces and Spaces, Lodz, Polen. https://doi.org/10.18148/kops/352-2-1jsg9yzf5d0qs0

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

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

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

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

Viser resultater 1 til 50 ud af 2155

Næste

Revideret 16.11.2021 -

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series