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

Connelly, L., Bilstrup, K. E. K. & Petersen, M. G. (2025). Beyond LLMs as Black Boxes: Activities and an Educational Tool Supporting Unplugged and Digital AI Learning Activities for K-12 Classrooms. I Conference Proceedings: Computing X Crisis - 6th Decennial Aarhus Conference, AAR Adjunct 2025 Artikel 11 Association for Computing Machinery. https://doi.org/10.1145/3737609.3747112

Pancholi, M. R. (2024). Beyond Knowledge Soundness of SNARKs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Patra, A. & Ravi, D. (2023). Beyond Honest Majority: The Round Complexity of Fair and Robust Multi-party Computation. Journal of Cryptology, 36(3), Artikel 30. https://doi.org/10.1007/s00145-023-09468-0

Bertelsen, O. W., Bødker, S., Eriksson, E., Hoggan, E. & Vermeulen, J. (2018). Beyond Generalization: Research for the Very Particular. interactions, 26(1), 34-38. https://doi.org/10.1145/3289425

Caragiannis, I., Gkatzelis, V., Psomas, A. & Schoepflin, D. (2022). Beyond Cake Cutting: Allocating Homogeneous Divisible Goods. I Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) (s. 208-216). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

Nouwens, M., Borowski, M., Fog, B. V. & Klokmose, C. N. (2020). Between Scripts and Applications: Computational Media for the Frontier of Nanoscience. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376287 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287

Borowski, M., Fog, B. V., Griggio, C. F., Eagan, J. R. & Klokmose, C. N. (2023). Between Principle and Pragmatism: Reflections on Prototyping Computational Media with Webstrates. ACM Transactions on Computer-Human Interaction, 30(4), Artikel 61. https://doi.org/10.1145/3569895

Bødker, S. & Polli, A. M. (2014). Between initial familiarity and future use – a case of Collocated Collaborative Writing. I C. Rossitta, L. Ciolfi, D. M. & B. Conein (red.), COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) Springer. http://www.springer.com/computer/hci/book/978-3-319-06497-0

Bødker, S. & Petersen, A. B. (2008). Between casual commitment and cross-media articulation – the faith of the Napkin. I P. Hassanaly, A. Ramrajsingh, D. Randall, P. Salembier & M. Tixier (red.), Proceeding of the 8th International Conference on the Design of Cooperative Systems 2008: COOP'08: Conference on the Design of Cooperative Systems 2008 (s. 75-84). Institut d'Etudes Politiques d'Aix-en-Provence.

Bødker, S. & Petersen, A. B. (2010). Between casual commitment and cross-media articulation – the faith of the Napkin. I D. Randall & P. Salembier (red.), From CSCW to Web 2.0: European Developments in Collaborative Design : Selected Papers from COOP08 (s. 115-129). Springer. https://doi.org/10.1007/978-1-84882-965-7_6

Baum, C., Damgård, I. B., Toft, T. & Zakarias, R. W. (2016). Better Preprocessing for Secure Multiparty Computation. I M. Manulis, A.-R. Sadeghi & S. Schneider (red.), Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Proceedings: 14th International Conference on Applied Cryptography and Network Security (Bind 9696, s. 327-345). Springer VS. https://doi.org/10.1007/978-3-319-39555-5_18

Papanikolaou, N. M. (2025). Better, Faster, Stronger - Improving Security, Efficiency, and Primitives for MPC. [Ph.d.-afhandling, Aarhus Universitet].

Årdal, M. A., Aranha, D. F., Feng, Y., Gao, Y. & Pan, Y. (Accepteret/In press). Better Bounds for Finding Fixed-Degree Isogenies via Coppersmith’s Method. I EUROCRYPT 2026

Madsen, O. L., Kristensen, B. B. & Nygaard, K. (1977). BETA Language Development. Norsk Regnesentral.

Hansen, K. M. (1999). BetaDBC. Softwareprogram

Skoulakis, S., Muller, A., Viano, L., Cevher, V. & Scheider, J. (Accepteret/In press). Best of Both Worlds: Regret Minimization versus Minimax Play.

Wigard, J., Nielsen, T. T., Michaelsen, P. H. & Mogensen, P. E. (1998). BER and FER Prediction of Control and Traffic Channels for a GSM type of interface. I 48th IEEE Vehicular Technology Conference, 1998. VTC 98. IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686557

Sunesen, K. & Nielsen, M. (1996). Behavioural equivalence for infinite systems - Partially decidable! I J. Billington & W. Reisig (red.), Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings (s. 460-479). Springer. https://doi.org/10.1007/3-540-61363-3_25

Caspersen, M. E., Börstler, J. & Nordström, M. (2007). Beauty and the Beast: Toward a Measurement Framework for Example Program Quality. Department of Computing Science, Umeå University, Sweden.

Jafargholi, Z., Kamath, C., Klein, K., Komargodski, I., Pietrzak, K. & Wichs, D. (2017). Be Adaptive, Avoid Overcommitting. I J. Katz & H. Shacham (red.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 133-163). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_5

Camenisch, J., Hohenberger, S. & Pedersen, M. Ø. (2007). Batch Verification of Short Signatures. I M. Naor (red.), Advances in Cryptology - EUROCRYPT 2007 (4515 of Lecture Notes in Computer Science udg., s. 246-263). Springer.

Madsen, O. L. & Møller-Pedersen, B. (1991). Basic principles of the BETA programming language. I G. Blair, J. Gallagher, D. Hutchison & D. Shepherd (red.), Object-oriented languages, systems and applications (s. 299-327). Halsted Press.

Johnson, E. & Tschudi, D. (2012). Baseline effects on carbon footprints of biofuels: The case of wood. Environmental Impact Assessment Review. https://doi.org/10.1016/j.eiar.2012.06.005

Müller, J., Eberle, D. & Schmidt, C. (2015). BaseLase: An Interactive Focus + Context Laser Floor. I B. Begole & J. Kim (red.), CHI '15, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems (s. 3869-3878 ). Association for Computing Machinery. http://dx.doi.org/10.1145/2702123.2702246

Fandina, O. N., Høgsgaard, M. M. & Larsen, K. G. (2023). Barriers for Faster Dimensionality Reduction. I P. Berenbrink, P. Bouyer, A. Dawar & M. M. Kante (red.), 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2023.31

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. https://doi.org/10.1007/978-3-030-75245-3_11

Rasmussen, M. K., Merritt, T. R., Alonso, M. B. & Petersen, M. G. (2016). Balancing User and System Control in Shape-Changing Interfaces: a Designerly Exploration. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (Bind 2016, s. 202-210). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839499

Damgård, I., Ganesh, C., Khoshakhlagh, H., Orlandi, C. & Siniscalchi, L. (2021). Balancing Privacy and Accountability in Blockchain Identity Management. I K. G. Paterson (red.), Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (s. 552-576). Springer. https://doi.org/10.1007/978-3-030-75539-3_23

Larsen, K. G. (2024). Bagging is an Optimal PAC Learner (Extended Abstract). I K. Larson (red.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24) (s. 8411-8415). IJCAI Organization. https://doi.org/10.24963/ijcai.2024/932

Larsen, K. G. (2023). Bagging is an Optimal PAC Learner. I G. Neu & L. Rosasco (red.), Proceedings of COLT 2023 (Bind 195, s. 450-468). MLResearch Press.

Madsen, O. L. (2013). Back to the future: SIMULA style concurrent objects. I AGERE! 2013 - Proceedings of the 2013 ACM Workshop on Programming Based on Actors, Agents, and Decentralized Control (s. 145-146). Association for Computing Machinery. https://doi.org/10.1145/10.1145/2541329.2541347

Danvy, O. & Lawall, J. (1996). Back to Direct Style II: First-Class Continuations. BRICS Report Series, (RS-96-20).

Mathiasen, A. & Hvilshøj, F. (2020). Backpropagating through Fréchet Inception Distance.

Bardram, J. E. & Bossen, C. (2005). A web of coordinative artifacts: collaborative work at a hospital ward. I GROUP 05 (s. 168-176). Association for Computing Machinery.

Hansen, S. M., Assent, I. & Schulz, H.-J. (2024). A Web Framework for Explainable and Malleable Visualisation. I K. Kucher, A. Diehl & C. Gillmann (red.), EuroVisPosters2024: Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241080

Møldrup, L. & Pavlogiannis, A. (2025). AWDIT: An Optimal Weak Database Isolation Tester. Proceedings of the ACM on Programming Languages , 9, 1540-1564. Artikel 209. https://doi.org/10.1145/3742465

Bardram, J., Hansen, T. R. & Søgaard, M. (2006). AwareMedia - A Shared Interactive Display Supporting Social, Temporal, and Spatial Awareness in Surgery. I Proceedings of the 2006 20th anniversary conference on Computer Supported Cooperative Work (s. 109-118). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1180875.1180892

Jehøj, H., Bouvin, N. O. & Grønbæk, K. (2005). AwareDAV: A Generic WebDAV Notification Framework and Implementation. I Proceedings of 14th international World Wide Web Conference (s. 180-189). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060774

Danvy, O., Johannsen, J. & Zerny, I. (2011). A Walk in the Semantic Park. I S.-C. Khoo & J. Siek (red.), Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation (s. 1-12). Association for Computing Machinery. https://doi.org/10.1145/1929501.1929503

Tomlein, M. & Grønbæk, K. (2017). A Visual Programming Approach Based on Domain Ontologies for Configuring Industrial IoT Installations. I Proceedings of the 7th International Conference on the Internet of Things, IoT 2017 Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3131542.3131552

Schulz, H.-J., Hadlak, S. & Schumann, H. (2013). A Visualization Approach for Cross-level Exploration of Spatiotemporal Data. I S. Lindstaedt & M. Granitzer (red.), Proceedings of the International Conference on Knowledge Management and Knowledge Technologies (i-Know'13) Artikel 2 Association for Computing Machinery. https://doi.org/10.1145/2494188.2494199

Iversen, O. S., Kanstrup, A. M. & Petersen, M. G. (2004). A Visit to the 'New Utopia': Revitalizing Democracy, Emancipation and Quality in Co-Operative Design. I ACM International Conference Proceeding Series: Proceedings of the third Nordic conference on Human-computer interaction (Bind 82, s. 171-179). Association for Computing Machinery. https://doi.org/10.1145/1028014.1028040

Iversen, O. S., Petersen, M. G. & Kanstrup, A.-M. (2004). A Visit to the 'New Utopia'. I Proceedings of the Third Nordic Conference on Human-Computer interaction (s. 171-179). Association for Computing Machinery.

Ernst, E., Ostermann, K. & Cook, W. R. (2005). A Virtual Class Calculus. Daimi Report Series (DAIMI PB), 577.

Ernst, E., Ostermann, K. & Cook, W. R. (2006). A Virtual Class Calculus. I Proceedings of Conference Record of POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (s. 270-282). Association for Computing Machinery. https://doi.org/10.1145/1111320.1111062

Jørgensen, J. R., Assent, I. & Schulz, H.-J. (2022). AVID: GPU-enabled Visual Analytics with GPU-FAST-PROCLUS. I Proceedings of the 25th International Conference on Extending Database Technology (EDBT'22) (s. 562-565). openproceedings.org. https://doi.org/10.48786/edbt.2022.51

Lykke, O. A., Hansen, T. R. & Eriksson, E. (2004). A video of Mixed Interaction Space video. Center for Pervasive Healthcare. DCS. AU. DK. http://www.daimi.au.dk/~thomasr/interaction

Trigg, R., Bødker, S. & Grønbæk, K. (1990). A Video-based Analysis of the Cooperative Prototyping Process. I R. Hellman, M. Ruohonen & P. Sørgaard (red.), Proceedings of the 13th IRIS conference

Ajwani, D. & Friedrich, T. (2010). Average-case analysis of incremental topological ordering. Discrete Applied Mathematics, 158(4), 240-250. https://doi.org/10.1016/j.dam.2009.07.006

Hansen, M. T., Kusy, B., Jurdak, R. & Langendoen, K. (2012). AutoSync : Automatic duty-cycle control for synchronous low-power listening. I 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) (s. 139 - 147 ). IEEE Signal Processing Society. https://doi.org/10.1109/SECON.2012.6275770

Viser resultater 5251 til 5300 ud af 6066

106