Publikationer

Søg publikationer fra Institut for Datalogi

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

Caltais, G., Hojjat, H., Mousavi, M. R. & Tunç, H. C. (2022). DyNetKAT: An Algebra of Dynamic Networks. I P. Bouyer & L. Schröder (red.), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (s. 184-204). Springer. https://doi.org/10.1007/978-3-030-99253-8_10

Aranha, D. F., Bennedsen, E., Campanelli, M., Ganesh, C., Orlandi, C. & Takahashi, A. (2022). ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines. 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 (s. 584-614). Springer. https://doi.org/10.1007/978-3-030-97121-2_21

Cuzzocrea, A., Karras, P. & Vlachou, A. (2022). Effective and efficient skyline query processing over attribute-order-preserving-free encrypted data in cloud-enabled databases. Future Generation Computer Systems, 126, 237-251. https://doi.org/10.1016/j.future.2021.08.008

Ahmadi, A., Daliri, M., Goharshady, A. K. & Pavlogiannis, A. (2022). Efficient approximations for cache-conscious data placement. I R. Jhala & I. Dillig (red.), Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 857-871). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523436

André, É., Marinho, D., Petrucci, L. & van de Pol, J. (2022). Efficient Convex Zone Merging in Parametric Timed Automata. I S. Bogomolov & D. Parker (red.), Formal Modeling and Analysis of Timed Systems. FORMATS 2022 (s. 200-218). Springer. https://doi.org/10.1007/978-3-031-15839-1_12

Baum, C., Escudero, D., Pedrouzo-Ulloa, A., Scholl, P. & Troncoso-Pastoriza, J. R. (2022). Efficient protocols for oblivious linear function evaluation from ring-LWE. Journal of Computer Security, 30(1), 39-78. https://doi.org/10.3233/JCS-200116

Goel, A., Green, M., Hall-Andersen, M. N. & Kaptchuk, G. (2022). Efficient Set Membership Proofs using MPC-in-the-Head. Proceedings on Privacy Enhancing Technologies, 2022(2), 304-324. https://doi.org/10.2478/popets-2022-0047

Pasquini, D., Francati, D. & Ateniese, G. (2022). Eluding Secure Aggregation in Federated Learning via Model Inconsistency. I CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 2429-2443). Association for Computing Machinery. https://doi.org/10.1145/3548606.3560557

Van Mechelen, M., Smith, R. C., Schaper, M.-M. A., Tamashiro, M. A., Bilstrup, K.-E. K., Lunding, M. S., Petersen, M. G. & Iversen, O. S. (2022). Emerging Technologies in K-12 Education: A Future HCI Research Agenda. ACM Transactions on Computer-Human Interaction, 30(3), Artikel 47. https://doi.org/10.1145/3569897

Musaeus, L. H., Van Mechelen, M., Caspersen, M. E. & Iversen, O. S. (2022). Empowerment through computational thinking: A literature survey. Acta Didactica Norden, 16(4), Artikel 1. https://doi.org/10.5617/adno.9152

Hogräfer, M., Grønbæk, J. E., Puschmann, J., Knudsen, S. K. & Schulz, H.-J. (2022). Enabling Collaborative Cybercartography with MapBlender. I E. Parseliunas, A. Mansourian, P. Partsinevelos & J. Suziedelyte-Visockiene (red.), Proceedings of the 25th AGILE Conference on Geographic Information Science (AGILE'22): Artificial Intelligence in the service of Geospatial Technologies Artikel 37 Copernicus Publications. https://doi.org/10.5194/agile-giss-3-37-2022

Kamp, S. H., Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2022). Enig: Player Replaceable Finality Layers with Optimal Validity. https://eprint.iacr.org/2022/201

Tchernavskij, P. & Bødker, S. (2022). Entangled Artifacts: The Meeting Between a Volunteer-run Citizen Science Project and a Biodiversity Data Platform. I NordiCHI '22: Nordic Human-Computer Interaction Conference Association for Computing Machinery. https://doi.org/10.1145/3546155.3546682

Caragiannis, I., Kaklamanis, C., Karanikolas, N. & Krimpas, G. (2022). Evaluating approval-based multiwinner voting in terms of robustness to noise. Autonomous Agents and Multi-Agent Systems, 36(1), Artikel 1. https://doi.org/10.1007/s10458-021-09530-w

van de Pol, J. (2022). Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (s. 535-555). Springer. https://doi.org/10.1007/978-3-031-19849-6_30

Borowski, M. (2022). Exploring Computational Media as a Possible Future of Software. Århus Universitet.

Türkmen, R., Pfeuffer, K., Barrera MacHuca, M. D., Batmaz, A. U. & Gellersen, H. (2022). Exploring Discrete Drawing Guides to Assist Users in Accurate Mid-air Sketching in VR. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 276 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519737

Lystbæk, M. N., Pfeuffer, K., Grønbæk, J. E. S. & Gellersen, H. (2022). Exploring Gaze for Assisting Freehand Selection-based Text Entry in AR. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Artikel 141. https://doi.org/10.1145/3530882

Lunding, M. S., Grønbæk, J. E. S., Bilstrup, K. E. K., Sørensen, M. L. S. K. & Petersen, M. G. (2022). ExposAR: Bringing Augmented Reality to the Computational Thinking Agenda through a Collaborative Authoring Tool. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 131 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517636

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. A. S. (2022). Extracting functional programs from Coq, in Coq. Journal of Functional Programming, 32(5), Artikel e11. https://doi.org/10.1017/S0956796822000077

Aziz, H., Caragiannis, I., Igarashi, A. & Walsh, T. (2022). Fair allocation of indivisible goods and chores. Autonomous Agents and Multi-Agent Systems, 36(1), Artikel 3. https://doi.org/10.1007/s10458-021-09532-8

Davi Resende, A. C., Railsback, D., Dowsley, R., Nascimento, A. C. A. & Aranha, D. F. (2022). Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation. IEEE Transactions on Information Forensics and Security, 17, 428-442. https://doi.org/10.1109/TIFS.2022.3144007

Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2022). Fast threshold ECDSA with honest majority. Journal of Computer Security, 30(1), 167-196. https://doi.org/10.3233/JCS-200112

Baum, C., Jadoul, R., Orsini, E., Scholl, P. & Smart, N. P. (2022). Feta: Efficient Threshold Designated-Verifier Zero-Knowledge Proofs. I CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 293-306). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559354

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2022). Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). I O. Dunkelman & S. Dziembowski (red.), Advances in Cryptology – EUROCRYPT 2022 (s. 397-426). Springer. https://doi.org/10.1007/978-3-031-07085-3_14

Barman, S., Khan, A., Shyam, S. & Sreenivas, K. V. N. (2022). Finding Fair Allocations under Budget Constraints. arxiv.org. https://doi.org/10.48550/arXiv.2208.08168

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding smart contract vulnerabilities with ConCert's property-based testing framework. FMBC: Formal Methods for Blockchains https://doi.org/10.48550/arXiv.2208.00758

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. I Z. Dargaye & C. Schneidewind (red.), 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.FMBC.2022.2

Brendborg, J., Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022). Fixation Maximization in the Positional Moran Process. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9, AAAI Technical Track on Multiagent Systems), 9304-9312. https://doi.org/10.1609/aaai.v36i9.21160

Filos-Ratsikas, A., Hansen, K. A., Hogh, K. & Hollender, A. (2022). FIXP-membership via Convex Optimization: Games, Cakes, and Markets. I 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (s. 827-838). IEEE. https://doi.org/10.1109/FOCS52979.2021.00085

Madsen, M., Starup, J. L. & Lhoták, O. (2022). Flix: A Meta Programming Language for Datalog. I Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) (s. 202-206). CEUR-WS.org. https://ceur-ws.org/Vol-3203/short8.pdf

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. https://eprint.iacr.org/2022/010

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. I Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings: 42nd Annual International Cryptology Conference, CRYPTO 2022, Procerdings (s. 400-430). Springer, Cham. https://doi.org/10.1007/978-3-031-15979-4_14

Bilstrup, K. E. K., Kaspersen, M. H., Assent, I., Enni, S. & Petersen, M. G. (2022). From Demo to Design in Teaching Machine Learning. I Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (s. 2168-2178). Association for Computing Machinery. https://doi.org/10.1145/3531146.3534634

Ishai, Y., Patra, A., Patranabis, S., Ravi, D. & Srinivasan, A. (2022). Fully-Secure MPC with Minimal Trust. I Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (s. 470–501). Springer. https://doi.org/10.1007/978-3-031-22365-5_17

Lystbæk, M. N., Rosenberg, P., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (2022). Gaze-Hand Alignment: Combining Eye Gaze and Mid-Air Pointing for Interacting with Menus in Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Artikel 145. https://doi.org/10.1145/3530886

David, B., Magri, B., Matt, C., Nielsen, J. B. & Tschudi, D. (2022). GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy. I CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 683-696). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559375

Nyborg, J. C., Pelletier, C. & Assent, I. (2022). Generalized Classification of Satellite Image Time Series with Thermal Positional Encoding. I Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2022 (s. 1391-1401). IEEE. https://doi.org/10.1109/CVPRW56347.2022.00145

Draganov, A., Berry, T., Jørgensen, J. R., Nellemann, K. S., Assent, I. & Mottin, D. (2022). GiDR-DUN; Gradient Dimensionality Reduction -- Differences and Unification.

Hurst, A., Lucani Rötter, D. E., Assent, I. & Zhang, Q. (2022). GLEAN: Generalized Deduplication Enabled Approximate Edge Analytics. IEEE Internet of Things Journal, 10(5), 4006-4020. https://doi.org/10.1109/JIOT.2022.3166455

Jørgensen, J. R., Nellemann, K. S., Assent, I., Pathak, A. R. & Elster, A. C. (2022). GPU-FAST-PROCLUS: A Fast GPU-parallelized Approach to Projected Clustering. Afhandling præsenteret på EDBT 2022: 24th International Conference on Extending Database Technology.

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

Viser resultater 451 til 500 ud af 2882

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series