Aarhus Universitets segl

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

Caprani, O., Petrat-Mehlin, S., Juncher, K. & Thestrup, K. (2021). MGP i 2.a, Mårslet Skole: En teknologi-leg. Interaktiv produktion https://lnkd.in/e8-ASAR
Cao, X., Cong, G., Jensen, C. S. & Ooi, B. C. (2011). Collective spatial keyword querying. I Proceedings of the 2011 international conference on Management of data (s. 373-384). Association for Computing Machinery. https://doi.org/10.1145/1989323.1989363
Cao, X., Cong, G., Cui, B., Jensen, C. S. & Yuan, Q. (2012). Approaches to Exploring Category Information for Question Retrieval in Community Question-Answer Archives. A C M Transactions on Information Systems, 30(2), Article No. 7 . https://doi.org/10.1145/2180868.2180869
Cao, X., Chen, L., Cong, G., Jensen, C. S., Qu, Q., Skovsgaard, A., Wu, D. & Yiu, M. L. (2012). Spatial Keyword Querying: Invited Paper. Lecture Notes in Computer Science, 7532, 16-29 . https://doi.org/10.1007/978-3-642-34002-4_2
Cao, X., Cong, G., Jensen, C. S., NG, J. J., Ooi, B. C., Phan, N.-T. & Wu, D. (2012). SWORS: a system for the efficient retrieval of relevant spatial web objects. Proceedings of the VLDB Endowment, 5(12), 1914-1917. http://dl.acm.org/citation.cfm?id=2367536
Cao, Z., Krieger, L., Scharr, H. & Assent, I. (2024). Galaxy Morphology Classification with Counterfactual Explanation. I Machine Learning and the Physical Sciences Workshop, NeurIPS 2024. https://ml4physicalsciences.github.io/2024/files/NeurIPS_ML4PS_2024_22.pdf
Cao, Z., Zhao, X., Krieger, L., Scharr, H. & Assent, I. (2025). LeapFactual: Reliable Visual Counterfactual Explanation Using Conditional Flow Matching. Poster-session præsenteret på The Thirty-ninth Annual Conference on Neural Information Processing Systems, San Diego, California, USA.
Canetti, R., Damgård, I. B., Dziembowski, S., Ishai, Y. & Malkin, T. (2004). Adaptive versus Non-Adaptive Security of Multi-Party Protocols. Journal of Cryptology, 17(3), 153-207. https://doi.org/10.1007/s00145-004-0135-x
Canetti, R., Damgård, I. B., Dziembowski, S., Ishai, Y. & Malkin, T. (2001). On Adaptive vs. Non-adaptive Security of Multiparty Protocols. I B. Pfitzmann (red.), Advances in Cryptology --- EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (s. 262-279). Springer. https://doi.org/10.1007/3-540-44987-6_17
Canetti, R., Krawczyk, H. & Nielsen, J. B. (2003). Relaxing Chosen-Ciphertext Security. I D. Boneh (red.), Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings (s. 565-582). Springer. https://doi.org/10.1007/978-3-540-45146-4_33
Canetti, R., Kolby, S., Ravi, D., Soria Vazquez, E. & Yakoubov, S. (2023). Taming Adaptivity in YOSO Protocols: The Modular Way. I G. Rothblum & H. Wee (red.), Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (Bind 2, s. 33-62). Springer. https://doi.org/10.1007/978-3-031-48618-0_2
Canetti, R., Damgård, I. B., Kolby, S., Ravi, D. & Yakoubov, S. (2026). Deniable Secret Sharing. I B. Applebaum & H. Lin (red.), Theory of Cryptography - 23rd International Conference, TCC 2025, Proceedings (s. 399-427) https://doi.org/10.1007/978-3-032-12293-3_13
Campos, G. O., Zimek, A., Sander, J., Campello, R. J. G. B., Micenková, B., Schubert, E., Assent, I. & Houle, M. E. (2016). On the evaluation of unsupervised outlier detection: measures, datasets, and an empirical study. Data Mining and Knowledge Discovery, 30(4), 891-927. https://doi.org/10.1007/s10618-015-0444-8
Campos, G. O., Zimek, A., Sander, J., Campello, R. J. G. B., Micenkova, B., Schubert, E., Assent, I. & Houle, M. E. (2016). On the Evaluation of Outlier Detection: Measures, Datasets, and an Empirical Study Continued. I R. Krestel, D. Mottin & E. Müller (red.), Proceedings of the Conference "Lernen, Wissen, Daten, Analysen" (Bind 1670, s. 1). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-1670/paper-55.pdf
Campanelli, M., Fiore, D., Greco, N., Kolonelos, D. & Nizzardo, L. (2020). Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (s. 3-35). Springer. https://doi.org/10.1007/978-3-030-64834-3_1
Campanelli, M. & Khoshakhlagh, H. (2021). Succinct Publicly-Certifiable Proofs: Or, Can a Blockchain Verify a Designated-Verifier Proof? I A. Adhikari, R. Küsters & B. Preneel (red.), Progress in Cryptology – INDOCRYPT 2021 - 22nd International Conference on Cryptology in India, 2021, Proceedings: 22nd International Conference on Cryptology in India, Jaipur, India, December 12-15, 2021, Proceedings (s. 607-631). Springer. https://doi.org/10.1007/978-3-030-92518-5_27
Campanelli, M., Faonio, A., Fiore, D., Querol, A. & Rodríguez, H. (2021). Lunar: A Toolbox for More Efficient Universal and Updatable zkSNARKs and Commit-and-Prove Extensions. I M. Tibouchi & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part III (s. 3-33). Springer. https://doi.org/10.1007/978-3-030-92078-4_1
Campanelli, M. & Hall-Andersen, M. (2022). Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets fromWell-Studied Assumptions. I ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (s. 652-666). Association for Computing Machinery. https://doi.org/10.1145/3488932.3517424
Campanelli, M., Hall-Andersen, M. N. & Kamp, S. H. (2023). Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. I J. Calandrino & C. Troncoso (red.), SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium (s. 4391–4408). Artikel 246 Association for Computing Machinery. https://doi.org/10.5555/3620237.3620483
Campanelli, M., Francati, D. & Orlandi, C. (2023). Structure-Preserving Compilers from New Notions of Obfuscations. I A. Boldyreva & V. Kolesnikov (red.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part II (s. 663-693). Springer. https://doi.org/10.1007/978-3-031-31371-4_23
Campanelli, M., Gennaro, R., Melissaris, K. G. & Nizzardo, L. (2024). Witness-Authenticated Key Exchange, Revisited: Extensions to Groups, Improved Models, Simpler Constructions. I F. Baldimtsi & C. Cachin (red.), Financial Cryptography and Data Security - 27th International Conference, FC 2023, Revised Selected Papers: 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I (1 udg., Bind 13950, s. 112-128). Artikel 7 Springer, Cham. https://doi.org/10.1007/978-3-031-47754-6_7
Cameron, N., Drossopoulou, S. & Ernst, E. (2007). Towards an Existential Types Model for Java with Wildcards. I J. Boyland (red.), Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007 (1 udg., Bind -, s. 1-13). Nanjing University / University of Wisconsin-Milwaukee. http://cs.nju.edu.cn/boyland/ftjp/paper_2.pdf
Cameron, N. R., Drossopoulou, S. & Ernst, E. (2008). A Model for Java with Wildcards. Lecture Notes in Computer Science, 5142, 2-26. https://doi.org/10.1007/978-3-540-70592-5_2
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.
Camenisch, J. & Damgård, I. B. (2000). Verifiable Encryption, Group Encryption, and Their Applications to Separable Group Signatures and Signature Sharing Schemes (Extended Abstract). I T. Okamoto (red.), Advances in Cryptology - ASIACRYPT 2000: 6th International Conference on the Theory and Application of Cryptology and Information Security Kyoto, Japan, December 3-7, 2000 Proceedings (s. 331-345). Springer. https://doi.org/10.1007/3-540-44448-3_25
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
Cai, L., Cheng, Y., Verbin, E. & Zhou, Y. (2010). Surviving Rates of Graphs with Bounded Treewidth for the Firefighter Problem. S I A M Journal on Discrete Mathematics, 24(4), 1322-1335. https://doi.org/10.1137/100791130
Cahill, V., Gray, E., Seigneur, J., Jensen, C., Chen, Y., Shand, B., Dimmock, N., Twigg, A., Bacon, J., English, C., Wagealla, W., Terzis, S., Nixon, P., Serugendo, G. D. M., Bryce, C., Carbone, M., Krukow, K. & Nielsen, M. (2003). Using trust for Secure Collaboration in Uncertain Environments. I E E E Pervasive Computing, 2(3), 52-61. https://doi.org/10.1109/MPRV.2003.1228527
Cáccamo, M. J., Winskel, G., Boulton, R. J. (red.) & Jackson, P. B. (red.) (2001). A Higher-Order Calculus for Categories. I Lecture Notes in Computer Science: Theorem Proving in Higher Order Logics (Lecture Notes in Computer Science udg., Bind 2152, s. 136-153). Springer.
Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2003). New Algorithms for Exact Satisfiability. BRICS Report Series, (RS-03-30).
Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2005). On the Number of Maximal Bipartite Subgraphs of a Graph. Journal of Graph Theory, 48(2), 127-132.
Butcher, P. W. S., Batch, A., Saffo, D., Macintyre, B., Elmqvist, N. & Ritsos, P. D. (2024). Is Native Naïve? Comparing Native Game Engines and WebXR as Immersive Analytics Development Platforms. IEEE Computer Graphics and Applications, 44(3), 91-98. https://doi.org/10.1109/MCG.2024.3367422
Butcher, P. W. S., Batch, A., Ritsos, P. D. & Elmqvist, N. (2023). Don't Pull the Balrog - Lessons Learned from Designing Wizualization: a Magic-inspired Data Analytics System in XR. I G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (red.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2023 (s. 234-237). IEEE. https://doi.org/10.1109/ISMAR-Adjunct60411.2023.00054
Bussard, L., Carver, L., Ernst, E., Jung, M., Robillard, M. & Speck, A. (2000). Safe Aspect Composition. I G. Goos, J. Hartmanis, J. van Leeuwen, J. Malenfant, S. Moisan & A. Moreira (red.), Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (s. 205-210). Springer. https://doi.org/10.1007/3-540-44555-2_16
Buss, J. F., Frandsen, G. S. & Shallit, J. O. (1999). The Computational Complexity of Some Problems of Linear Algebra. Journal of Computer and System Sciences, 58(3), 572-596. https://doi.org/10.1006/jcss.1998.1608
Buss, J. F., Frandsen, G. S. & Shallit, J. O. (1997). The computational complexity of some problems of linear algebra. I R. Reischuk & M. Morvan (red.), STACS 97: 14th Annual Symposium on Theoretical Aspects of Computer Science Lübeck, Germany February 27–March 1, 1997 Proceedings (s. 451-462). Springer. https://doi.org/10.1007/BFb0023480
Büscher, M., Eriksen, M. A., Kristensen, J. F. & Mogensen, P. H. (2004). Ways of Grounding Imagination. I PDC 04 Proceedings of the eighth conference on Participatory design: Artful Integration: Interweaving Media, Materials and Practices (Bind 1, s. 193-203). Association for Computing Machinery. https://doi.org/10.1145/1011870.1011893
Büscher, M., Gill, S., Mogensen, P. H. & Shapiro, D. (2001). Landscapes of Practice: Bricolage as a Method for Situated Design. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 10(1), 1-28. https://doi.org/10.1023/A:1011293210539
Büscher, M., Hartswood, M., Mogensen, P. H., Procter, R., Shapiro, D., Slack, R. & Voss, A. (2002). Promises, Premises and Risks: Sharing Responsibilities, Working Up Trust and Sustaining Commitment in Participatory Design Projects. I Proceedings of PDC 2002
Büscher, M., Krogh, P., Mogensen, P. & Shapiro, D. (2001). Vision on the move - technologies for the footloose. Appliance Design, 1(1), 11-14.
Büscher, M., Mogensen, P. H. & Shapiro, D. (2002). Spaces of Practice. I W. Prinz, M. Jarke, Y. Rogers, K. Schmidt & V. Wulf (red.), Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work (s. 139-158). Springer. https://doi.org/10.1007/0-306-48019-0_8
Büscher, M. & Mogensen, P. H. (1997). Mediating Change: Translation and Mediation in the Context of Bricolage. I T. McMaster, E. Mumford, E. B. Swanson, B. Warboys & D. Wastell (red.), Facilitating Technology Transfer through Partnership: Learning from Practice and Research (s. 76-91). Chapman and Hall.
Büscher, M., Kristensen, M. & Mogensen, P. H. (2007). Making the Future Palpable: Notes from a Major Incident Future Laboratory. I B. Van de Walle, P. Burghardt & K. Nieuwenhuis (red.), Proceedings of ISCRAM 2007 (s. 71-81). VUB Press.
Büscher, M. & Mogensen, P. H. (2007). Designing for Material Practices of Coordinating Emergency Teamwork. I B. Van de Walle, P. Burghardt & K. Nieuwenhuis (red.), ISCRAM 2007: 4th International Conferencfe on Information Systems for Crisis Response and Management (s. 419-429). VUB Press.
Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. H. & Shapiro, D. (2009). Bottom-up, top-down? Connecting software architecture design with use. I A. Voss, M. Hartswood, J. K. Ho, R. Procter, M. Rouncefield, R. Slack & M. Büscher (red.), Configuring user-designer relations: Interdisciplinary perspectives (s. 157-191). Springer. https://doi.org/10.1007/978-1-84628-925-5_8