Publikationer

Søg publikationer fra Institut for Datalogi

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

Sebastian Stær Knudsen, M., Almskou Brodal, L., Peczalski, P. K., Moradan, A., Mottin, D. & Assent, I. (2022). GraB: Graph Benchmark for Heterogeneous Graph Clustering.

Afshani, P., Killmann, R. & Larsen, K. G. (2022). Hierarchical Categories in Colored Searching. I S. W. Bae & H. Park (red.), 33rd International Symposium on Algorithms and Computation, ISAAC 2022 Artikel 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2022.25

Kaspersen, M. H., Bilstrup, K. E. K., Van Mechelen, M., Hjort, A., Bouvin, N. O. & Petersen, M. G. (2022). High school students exploring machine learning and its societal implications: Opportunities and challenges. International Journal of Child-Computer Interaction, 34, Artikel 100539. https://doi.org/10.1016/j.ijcci.2022.100539

Sten Andersen, M., Rask Schmahl, O., Galli, G., Alavesa, P. & Pakanen, M. (2022). HIPPA: Smart Wearables for Enriching the Gameplay of a Traditional Tag Game. I CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (s. 31-37). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3505270.3558321

Zizzo, A. R., Hvidman, L., Salvig, J. D., Holst, L., Kyng, M. & Petersen, O. B. (2022). Home management by remote self-monitoring in intermediate- and high-risk pregnancies: A retrospective study of 400 consecutive women. Acta Obstetricia et Gynecologica Scandinavica, 101(1), 135-144. https://doi.org/10.1111/aogs.14294

Guimaraes, A., Neumann, L., Andaló, F. A., Aranha, D. F. & Borin, E. (2022). Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud. I Proceedings - 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2022 (s. 33-38). IEEE. https://doi.org/10.1109/SBAC-PADW56527.2022.00015

Christiansen, M., Villadsen, L., Zhong, Z., Teso, S. & Mottin, D. (2022). How Faithful are Self-Explainable GNNs?. Afhandling præsenteret på Learning on Graphs Conference 2022.

Seinfeld, S., Feuchtner, T., Pinzek, J. & Müller, J. (2022). Impact of Information Placement and User Representations in VR on Performance and Embodiment. IEEE Transactions on Visualization and Computer Graphics, 28(3), 1545-1556. https://doi.org/10.1109/TVCG.2020.3021342

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2022). Impartial Selection with Additive Approximation Guarantees. Theory of Computing Systems, 66(3), 721-742. https://doi.org/10.1007/s00224-022-10081-0

Cohen-Addad, V., Larsen, K. G., Saulpic, D., Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). Improved Coresets for Euclidean k-Means. arxiv.org. https://doi.org/10.48550/arXiv.2211.08184

Cohen-Addad, V., Larsen, K. G., Saulpic, D., Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). Improved Coresets for Euclidean k-Means. I S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho & A. Oh (red.), Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022 Neural Information Processing Systems Foundation.

Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P., Assent, I. & Viet Hung Nguyen, Q. (2022). Incremental Density-based Clustering on Multicore Processors. I E E E Transactions on Pattern Analysis and Machine Intelligence, 44(3), 1338-1356. https://doi.org/10.1109/TPAMI.2020.3023125

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, Artikel 1526. https://doi.org/10.1038/s41598-022-05333-5

Durocher, L., Karras, P., Pavlogiannis, A. & Tkadlec, J. (2022). Invasion Dynamics in the Biased Voter Process. I Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (s. 265-271). IJCAI Organization. https://doi.org/10.24963/ijcai.2022/38

Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022). Islaris: verification of machine code against authoritative ISA semantics. I R. Jhala & I. Dillig (red.), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code: Exploring a Craftsmanship-driven Approach to Computational Thinking. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547680

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code - Exploring a Craftsmanship-driven Approach to Computational Thinking. Design United. https://www.4tu.nl/du/columns/Knit%20x%20Code/

Lissandrini, M., Mottin, D., Hose, K. & Pedersen, T. B. (2022). Knowledge Graph Exploration Systems: are we lost?. Afhandling præsenteret på 12th Annual Conference on
Innovative Data Systems Research (CIDR ’22), Chaminade, USA. https://dblp.org/db/conf/cidr/cidr2022.html

Aranha, D. F., Lin, C., Orlandi, C. & Simkin, M. (2022). Laconic Private Set-Intersection From Pairings. I CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 111-124). Association for Computing Machinery. https://doi.org/10.1145/3548606.3560642

Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2022). Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages , 6(ICFP), Artikel 100. https://doi.org/10.1145/3547631

Rachuri, R. & Scholl, P. (2022). Le Mans: Dynamic and Fluid MPC for Dishonest Majority. I Y. Dodis & T. Shrimpton (red.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (s. 719-749). Springer. https://doi.org/10.1007/978-3-031-15802-5_25

Georges, A. L., Trieu, A. & Birkedal, L. (2022). Le temps des cerises: Efficient temporal stack safety on capability machines using directed capabilities. Proceedings of the ACM on Programming Languages , 6(OOPSLA1), Artikel 74. https://doi.org/10.1145/3527318

Afshani, P., Iacono, J., Jayapaul, V., Karsin, B. & Sitchinava , N. (2022). Locality-of-Reference Optimality of Cache-Oblivious Algorithms. I 3rd Symposium on Algorithmic Principles of Computer Systems, (APOCS) (s. 31 - 45). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977059.3

Reiter, K., Pfeuffer, K., Esteves, A., Mittermeier, T. & Alt, F. (2022). Look & Turn: One-handed and Expressive Menu Interaction by Gaze and Arm Turns in VR. I S. N. Spencer (red.), Proceedings - ETRA 2022: ACM Symposium on Eye Tracking Research and Applications Artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3517031.3529233

Abram, D., Nof, A., Orlandi, C., Scholl, P. & Shlomovits, O. (2022). Low-Bandwidth Threshold ECDSA via Pseudorandom Correlation Generators. I 2022 IEEE Symposium on Security and Privacy (SP) (s. 2554-2572). IEEE. https://doi.org/10.1109/SP46214.2022.9833559

Abram, D. & Scholl, P. (2022). Low-Communication Multiparty Triple Generation for SPDZ from Ring-LPN. I G. Hanaoka, J. Shikata & Y. Watanabe (red.), Public-Key Cryptography – PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I (s. 221-251). Springer. https://doi.org/10.1007/978-3-030-97121-2_9

Grandoni, F., Schwiegelshohn, C., Solomon, S. & Uzrad, A. (2022). Maintaining an EDCS in General Graphs: Simpler, Density-Sensitive and with Worst-Case Time Bounds. I Symposium on Simplicity in Algorithms (SOSA) (s. 12-23). Society for Industrial and Applied Mathematics Publications. https://doi.org/10.1137/1.9781611977066.2

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

Vindum, S. F., Frumin, D. & Birkedal, L. (2022). Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library. I A. Popescu & S. Zdancewic (red.), CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 (s. 100-115). Association for Computing Machinery. https://doi.org/10.1145/3497775.3503689

Espitau, T., Fouque, P.-A., Gérard, F., Rossi, M., Takahashi, A., Tibouchi, M., Wallet, A. & Yu, Y. (2022). MITAKA: A Simpler, Parallelizable, Maskable Variant of Falcon. I O. Dunkelman & S. Dziembowski (red.), Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (Bind 3, s. 222-253). Springer. https://doi.org/10.1007/978-3-031-07082-2_9

Gratzer, D., Cavallo, E., Kavvos, G. A., Guatto, A. & Birkedal, L. (2022). Modalities and Parametric Adjoints. ACM Transactions on Computational Logic, 23(3), Artikel 18. https://doi.org/10.1145/3514241

Pauli, A. B., Derczynski, L. & Assent, I. (2022). Modelling Persuasion through Misuse of Rhetorical Appeals. I NLP4PI 2022 - 2nd Workshop on NLP for Positive Impact, Proceedings of the Workshop (s. 89-100). Association for Computational Linguistics. https://pure.itu.dk/ws/portalfiles/portal/90392646/wokrshop_social_impact.pdf

Nieto, A., Gondelman, L., Reynaud, A., Timany, A. & Birkedal, L. (2022). Modular verification of op-based CRDTs in separation logic. Proceedings of the ACM on Programming Languages , 6(OOPSLA2), 1788-1816. Artikel 188. https://doi.org/10.1145/3563351

Sørensen, M. L. S. K., Bertelsen, A. B., Nordmark Hoffmann, N., Petersen, M. G. & Hoggan, E. (2022). MoLux: Negotiating Control with a Shape-Changing Lamp at Home. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Artikel 38 Association for Computing Machinery. https://doi.org/10.1145/3546155.3547271

Guimaraes, A., Borin, E. & Aranha, D. F. (2022). MOSFHET: Optimized Software for FHE over the Torus. Abstract fra 5th Homomorphic Encryption Standards Meeting, Geneva, Schweiz.

Braun, L., Demmler, D., Schneider, T. & Tkachenko, O. (2022). MOTION – A Framework for Mixed-Protocol Multi-Party Computation. ACM Transactions on Privacy and Security, 25(2), Artikel 8. https://doi.org/10.1145/3490390

Baum, C., Braun, L., Munch-Hansen, A. & Scholl, P. (2022). MozZ2karella: Efficient Vector-OLE and Zero-Knowledge Proofs over Z2k. I Y. Dodis & T. Shrimpton (red.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (s. 329-358). Springer. https://doi.org/10.1007/978-3-031-15985-5_12

Scholl, P., Simkin, M. & Siniscalchi, L. (2022). Multiparty Computation with Covert Security and Public Verifiability. I D. Dachman-Soled (red.), 3rd Conference on Information-Theoretic Cryptography, ITC 2022 Artikel 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2022.8

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Madsen, J., Sode, L. & Corredig, M. (2022). Multiple techniques to characterize high protein anisotropic structures. Abstract fra 5th Food Structure and Functionality Symposium, Cork, Irland.

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Madsen, J., Sode, L. & Corredig, M. (2022). New methodological approaches to study anisotropic structures in foods. Abstract fra 36th EFFoST International Conference, Dublin.

Ganesh, C., Khoshakhlagh, H. & Parisella, R. (2022). NIWI and New Notions of Extraction for Algebraic Languages. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks. SCN 2022 (s. 687-710). Springer. https://doi.org/10.1007/978-3-031-14791-3_30

Daniel, G. (2022). Normalization for Multimodal Type Theory. I Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022 Artikel 2 Association for Computing Machinery. https://doi.org/10.1145/3531130.3532398

Boschini, C., Damgård, I. & Orlandi, C. (2022). On Access Control Encryption Without Sanitization. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks. SCN 2022 (s. 220-243). Springer. https://doi.org/10.1007/978-3-031-14791-3_10

Afshani, P., de Berg, M., Buchin, K., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H. T. (2022). On Cyclic Solutions to the Min-Max Latency Multi-Robot Patrolling Problem. I X. Goaoc & M. Kerber (red.), 38th International Symposium on Computational Geometry, SoCG 2022 Artikel 2 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2022.2

Esteves, A., Bouquet, E., Pfeuffer, K. & Alt, F. (2022). One-handed Input for Mobile Devices via Motion Matching and Orbits Controls. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 6(2), 1-24. Artikel 51. https://doi.org/10.1145/3534624

Gkountouna, O., Doka, K., Xue, M., Cao, J. & Karras, P. (2022). One-off Disclosure Control by Heterogeneous Generalization. I 31st USENIX Security Symposium (USENIX Security 22) (s. 3363-3377). USENIX - The Advanced Computing Systems Association. https://www.usenix.org/conference/usenixsecurity22/presentation/gkountouna

Afshani, P. & Cheng, P. (2022). On Semialgebraic Range Reporting. I X. Goaoc & M. Kerber (red.), 38th International Symposium on Computational Geometry, SoCG 2022 Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2022.3

Simkin, M., Siniscalchi, L. & Yakoubov, S. (2022). On Sufficient Oracles for Secure Computation with Identifiable Abort. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks - 13th International Conference, SCN 2022, Proceedings (s. 494-515). Springer. https://doi.org/10.1007/978-3-031-14791-3_22

Berthelsen, M. L. T. & Hansen, K. A. (2022). On the Computational Complexity of Decision Problems About Multi-player Nash Equilibria. Theory of Computing Systems, 66(3), 519-545. https://doi.org/10.1007/s00224-022-10080-1

Van Bergerem, S., Grohe, M. & Ritzert, M. (2022). On the Parameterized Complexity of Learning First-Order Logic. I PODS 2022 - Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (s. 337-346). Association for Computing Machinery. https://doi.org/10.1145/3517804.3524151

Viser resultater 601 til 650 ud af 2961

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series