Publikationer

Søg publikationer fra Institut for Datalogi

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

Bressa, N., Vermeulen, J. & Willett, W. (2022). Data Every Day: Designing and Living with Personal Situated Visualizations. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 597 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517737

Bressa, N. A., Vermeulen, J. & Willett, W. (2022). Data Every Day: Designing and Living with Personal Situated Visualizations. I S. Barbosa, C. Lampe, C. Appert, D. A. Shamma, S. Drucker, J. Williamson & K. Yatani (red.), CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 597 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517737

Nyborg, J. C. (2022). Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Grønbæk, J. E. (2022). Designing eXtended reality experiences for the future of hybrid meetings. XRDS: Crossroads, 29(1), 20-25. https://xrds.acm.org/article.cfm?aid=3558190

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2022). Designing Feedback for Haptic and Shape Changing Interfaces with Feelix A tutorial on the design of force feedback and shape change in custom user interfaces. I Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Artikel 18 Association for Computing Machinery. https://doi.org/10.1145/3547522.3558900

Veileborg, O. H., Saioc, G.-V. & Møller, A. (2022). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. I iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (s. 1-12). Artikel 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Grønbæk, K. (2022). Digitale teknologier er centrale i håndteringen af COVID-19 pandemien. I Refleksioner fra en pandemi: En essaysamling om bymiljøer, bygninger og livskvalitet i lyset af COVID-19 (s. 194-202). Realdania. https://realdania.dk/publikationer/faglige-publikationer/refleksioner-fra-en-pandemi

Bhattacharya, A., Chakraborty, S., Ghosh, A., Mishra, G. & Paraashar, M. (2022). Disjointness through the Lens of Vapnik–Chervonenkis Dimension: Sparsity and Beyond. Computational Complexity, 31(2), Artikel 9. https://doi.org/10.1007/s00037-022-00225-6

Abram, D., Scholl, P. & Yakoubov, S. (2022). Distributed (Correlation) Samplers: How to Remove a Trusted Dealer in One Round. 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 (s. 790-820). Springer. https://doi.org/10.1007/978-3-031-06944-4_27

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. Cryptology ePrint Archive. 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. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus 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. Cryptology ePrint Archive. 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. https://doi.org/10.48550/arXiv.2206.09689

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. 196-206. 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. https://openreview.net/forum?id=qsGpFRlK0a

Viser resultater 651 til 700 ud af 3061

Forrige