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

Shaik, I. & van de Pol, J. (2022). Classical Planning as QBF without Grounding. I A. Kumar, S. Thiebaux, P. Varakantham & W. Yeoh (red.), Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 (s. 329-337). AAAI Press. https://doi.org/10.1609/icaps.v32i1.19817

Korsgaard, H., Lyle, P. J., Saad-Sulonen, J., Klokmose, C. N., Nouwens, M. & Bødker, S. (2022). Collectives and Their Artifact Ecologies. Proceedings of the ACM on Human-Computer Interaction, 6(CSCW2), artikel 432. https://doi.org/10.1145/3555533

Khoshakhlagh, H. (2022). (Commit-and-Prove) Predictable Arguments with Privacy. I G. Ateniese & D. Venturi (red.), Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Proceedings (s. 542-561). Springer. https://doi.org/10.1007/978-3-031-09234-3_27

Schaper, M-M. A., Smith, R. C., Tamashiro, M. A., Van Mechelen, M., Lunding, M. S., Bilstrup, K-E. K., Kaspersen, M. H., Jensen, K. L., Petersen, M. G. & Iversen, O. S. (2022). Computational Empowerment in Practice: Scaffolding teenagers’ learning about emerging technologies and their ethical and societal impact. International Journal of Child - Computer Interaction, 34, artikel 100537. adv. onlinepublikation. https://doi.org/10.1016/j.ijcci.2022.100537

Caragiannis, I. & Ioannidis, S. D. (2022). Computing Envy-Freeable Allocations with Limited Subsidies. I M. Feldman, H. Fu & I. Talgam-Cohen (red.), Web and Internet Economics : 17th International Conference, WINE 2022 (s. 522-539). Springer. https://doi.org/10.1007/978-3-030-94676-0_29

Nouwens, M., Bagge, R., Kristensen, J. B. & Klokmose, C. N. (2022). Consent-O-Matic: Automatically Answering Consent Pop-ups Using Adversarial Interoperability. I CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems artikel 238 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519683

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L., Resch, N. & Scholl, P. (2022). Correlated Pseudorandomness from Expand-Accumulate Codes. I Y. Dodis & T. Shrimpton (red.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (s. 603-633). Springer. https://doi.org/10.1007/978-3-031-15979-4_21

Musaeus, L. H., Petersen, M. G., Klokmose, C. N. & Iversen, O. S. (2022). CoTinker - A Toolkit for Supporting Computational Thinking and Collaboration in High School Education. I SIGCSE 2022: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (Bind 2, s. 1025). Association for Computing Machinery. https://doi.org/10.1145/3478432.3499234

Musaeus, L. H., Sørensen, M-L. S. K., Palfi, B. S., Iversen, O. S., Klokmose, C. N. & Petersen, M. G. (2022). CoTinker: Designing a Cross-device Collaboration Tool to Support Computational Thinking in Remote Group Work in High School Biology. I Participative Computing for Sustainable Futures : Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) artikel 49 Association for Computing Machinery. https://doi.org/10.1145/3546155.3546709

Bishnu, A., Ghosh, A., Mishra, G. & Paraashar, M. (2022). Counting and Sampling from Substructures Using Linear Algebraic Queries. I A. Dawar & V. Guruswami (red.), 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022 artikel 8 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.8

Aranha, D. F., Hall-Andersen, M. N., Nitulescu, A., Pagnin, E. & Yakoubov, S. (2022). Count Me In! Extendability for Threshold Ring Signatures. 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, Proceedings, Part II (s. 379-406). Springer. https://doi.org/10.1007/978-3-030-97131-1_13

Bartal, Y., Fandina, O. N. & Neiman, O. (2022). Covering metric spaces by few trees. Journal of Computer and System Sciences, 130, 26-42. https://doi.org/10.1016/j.jcss.2022.06.001

Khoshakhlagh, H. (2022). Cryptography for Scalability and Identity in Blockchain Applications. Aarhus Universitet.

Takahashi, A. (2022). Cryptography from Zero Knowledge - Advanced Security and New Constructions. 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. Aarhus Universitet.

Grønbæk, J. E. (2022). Designing eXtended reality experiences for the future of hybrid meetings. XRDS: Crossroads, The ACM Magazine for Students, 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

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. 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. 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) Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.FMBC.2022.2

Viser resultater 151 til 200 ud af 2544

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series