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

Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. I Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (s. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931

Skorstengaard, L., Devriese, D. & Birkedal, L. (2018). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. I A. Ahmed (red.), Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Bind 10801, s. 475-501). Springer VS. https://doi.org/10.1007/978-3-319-89884-1_17

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. A C M Transactions on Programming Languages and Systems, 41(4), Artikel 5. https://doi.org/10.1145/3363519

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Transactions on Programming Languages and Systems, 42(1), Artikel 5. https://doi.org/10.1145/3363519

Kristensen, E. K. & Møller, A. (2019). Reasonably-Most-General Clients for JavaScript Library Analysis. Proceedings of the International Conference on Software Engineering, 83-93. https://doi.org/10.1109/ICSE.2019.00026

Lunding, M. S., Grønbæk, J. E., Grymer, N., Wells, T., Houben, S. & Petersen, M. G. (2023). Reality and Beyond: Proxemics as a Lens for Designing Handheld Collaborative Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 7(ISS), 21-40. Artikel 427. https://doi.org/10.1145/3626463

Tchernavskij, P., Webb, A. M., Gemeinhardt, H. & Mackay, W. E. (2022). Readymades & Repertoires: Artifact-Mediated Improvisation in Tabletop Role-Playing Games. I C&C '22: Creativity and Cognition (s. 298-311). Association for Computing Machinery. https://doi.org/10.1145/3527927.3532798

Nielsen, J. B. & Ranellucci, S. (2016). Reactive garbling: Foundation, instantiation, application. I J. H. Cheon & T. Takagi (red.), Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Bind 10032, s. 1022-1052). Springer VS. https://doi.org/10.1007/978-3-662-53890-6_34

Ganardi, M., Majumdar, R., Pavlogiannis, A., Schütze, L. & Zetzsche, G. (2022). Reachability in Bidirected Pushdown VASS. I M. Bojanczyk, E. Merelli & D. P. Woodruff (red.), 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022 Artikel 124 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2022.124

Ma, W., Egger, M. K., Pavlogiannis, A., Li, Y. & Karras, P. (2024). Reachability-Aware Fair Influence Maximization. I W. Zhang, Z. Yang, X. Wang, A. Tung, Z. Zheng & H. Guo (red.), Web and Big Data - 8th International Joint Conference, APWeb-WAIM 2024, Proceedings: 8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part III (s. 342-359). BMJ, Springer Nature. https://doi.org/10.1007/978-981-97-7238-4_22

Hansen, K. A. & Sølvsten, S. C. (2020). ∃R-completeness of stationary nash equilibria in perfect information stochastic games. I J. Esparza & D. Král (red.), 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (s. 45:1-45:15). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2020.45

Hubacek, P. (2014). Rationality in the Cryptographic Model. Department of Computer Science, Aarhus University.

Guo, S., Hubacek, P., Rosen, A. & Vald, M. (2014). Rational Arguments: Single Round Delegation with Sublinear Verification. I M. Naor (red.), Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS '14 (s. 523-540 ). Association for Computing Machinery. https://doi.org/10.1145/2554797.2554845

Dagdelen, Ö., Mohassel, P. & Venturi, D. (2013). Rate-limited secure function evaluation: Definitions and constructions. I K. Kurosawa & G. Hanaoka (red.), Public-Key Cryptography – PKC 2013: 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings (Bind 7778 LNCS, s. 461-478). Springer VS. https://doi.org/10.1007/978-3-642-36362-7_28

Cascudo, I., Damgård, I., David, B. M., Döttling, N. & Nielsen, J. B. (2016). Rate-1, linear time and additively homomorphic UC commitments. I M. Robshaw & J. Katz (red.), Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings (Bind 9816, s. 179-207). Springer VS. https://doi.org/10.1007/978-3-662-53015-3_7

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Rate-1 Arithmetic Garbling From Homomorphic Secret Sharing. I E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 71-97). Artikel 323579 Springer Nature. https://doi.org/10.1007/978-3-031-78023-3_3

Dolin, J., Nielsen, K. & Rangvid, B. S. (2018). Rapport fra Følgegruppen for én bedømmer ved folkeskolens prøver. Undervisningsministeriet. https://uvm.dk/-/media/filer/uvm/udd/folke/pdf18/apr/180425-rapport-fra-foelgegruppen-for-een-bedoemmer-ved-fp.pdf?la=da

Leiva, G., Grønbæk, J. E., Klokmose, C. N., Nguyen, C., Kazi, R. H. & Asente, P. (2021). Rapido: Prototyping Interactive AR Experiences through Programming by Demonstration. I UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 626-637). Association for Computing Machinery. https://doi.org/10.1145/3472749.3474774

Simonsen, M. & Pedersen, C. N. S. (2011). Rapid Computation of Distance Estimators from Nucleotide and Amino Acid Alignments. I Proceedings of the 26th Annual ACM Symposium on Applied Computing Association for Computing Machinery.

Baena, J., Cabarcas, D., Escudero, D. E., Khathuria, K. & Verbel, J. (2018). Rank Analysis of Cubic Multivariate Cryptosystems. I T. Lange & R. Steinwandt (red.), Post-Quantum Cryptography - 9th International Conference, PQCrypto 2018, Proceedings (Bind 10786, s. 355-374). Springer VS. https://doi.org/10.1007/978-3-319-79063-3_17

Caragiannis, I. & Kalantzis, G. (2024). Randomized learning-augmented auctions with revenue guarantees. I K. Larson (red.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI) (s. 2687-2694). International Joint Conferences on Artificial Intelligence.

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster-session præsenteret på SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Fang, W., Filos-Ratsikas, A., Frederiksen, S. K. S., Tang, P. & Zuo, S. (2015). Randomized Assignments for Barter Exchanges: Fairness vs Efficiency. I T. Walsh (red.), Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings (s. 537-552). Springer VS. https://doi.org/10.1007/978-3-319-23114-3_32

Huang, Z., Yi, K. & Zhang, Q. (2011). Randomized Algorithms for Tracking Distributed Count, Frequencies, and Ranks. http://arxiv.org/abs/1108.3413

Zengfeng, H., Ke, Y. & Zhang, Q. (2012). Randomized algorithms for tracking distributed count, frequencies, and ranks. I K. Markus , B. Michael & L. Maurizio (red.), PODS '12 Proceedings of the 31st symposium on Principles of Database Systems (s. 295-306 ). Association for Computing Machinery. https://doi.org/10.1145/2213556.2213596

Gentry, C., Halevi, S., Magri, B., Nielsen, J. B. & Yakoubov, S. (2021). Random-Index PIR and Applications. I K. Nissim & B. Waters (red.), Theory of Cryptography : 19th International Conference, TCC 2021, Proceedings (s. 32-61). Springer. https://doi.org/10.1007/978-3-030-90456-2_2

Hansen, T. D. & Zwick, U. (2016). Random-Edge Is Slower Than Random-Facet on Abstract Cubes. Leibniz International Proceedings in Informatics, 55, 51:1-51:14. https://doi.org/10.4230/LIPIcs.ICALP.2016.51

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025). Random Access on Narrow Decision Diagrams in External Memory. I T. Neele & A. Wijs (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (s. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Braun, L., Pancholi, M. R., Rachuri, R. & Simkin, M. (2023). Ramen: Souper Fast Three-Party Computation for RAM Programs. I CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 3284-3297). Association for Computing Machinery. https://doi.org/10.1145/3576915.3623115

Arge, L. & Thorup, M. (2013). RAM-Efficient External Memory Sorting. I L. Cai, S.-W. Cheng & T.-W. Lam (red.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (s. 491-501 ). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_46

Arge, L. & Thorup, M. (2015). RAM-Efficient External Memory Sorting. Algorithmica, 73(4), 623-636. https://doi.org/10.1007/s00453-015-0032-8

Pablos Sarabia, R., Nyborg, J. C., Birk, M. & Assent, I. (2024). RainAI - Precipitation Nowcasting from Satellite Data. Manuskript under forberedelse. I Weather4cast 2023 Competition at NeurIPS 2023 https://doi.org/10.48550/arXiv.2311.18398

Sidenmark, L., Potts, D., Bapisch, B. & Gellersen, H. (2021). Radi-Eye: Hands-Free Radial Interfaces for 3D Interaction using Gaze-Activated Head-Crossing. I CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths Artikel 740 Association for Computing Machinery. https://doi.org/10.1145/3411764.3445697

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Sonne, T. & Jensen, M. M. (2014). Race By Hearts. I Y. Pisan , N. M. Sgouros & T. Marsh (red.), Entertainment Computing – ICEC 2014: 13th International Conference, Sydney, Australia, October 1-3, 2014. Proceedings (s. 125-132 ). Springer. https://doi.org/10.1007/978-3-662-45212-7_16

Fauzi, P. M., Meiklejohn, S., Mercer, R. H. & Orlandi, C. (2019). Quisquis: A New Design for Anonymous Cryptocurrencies. I Advances in Cryptology – ASIACRYPT 2019 (s. 649-678) https://doi.org/10.1007/978-3-030-34578-5

Midtgaard, J. & Møller, A. (2015). QuickChecking Static Analysis Properties. I 8th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015 (s. 1-10). IEEE. https://doi.org/10.1109/ICST.2015.7102603

Midtgaard, J. & Møller, A. (2017). QuickChecking static analysis properties. Software Testing, Verification and Reliability, 27(6), Artikel e1640. https://doi.org/10.1002/stvr.1640

Jensen, C. S. (2013). Querying the Web with Local Intent. Abstract fra International Conference on Mobile Data Management, Milan, Italien. https://doi.org/10.1109/MDM.2013.101

Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A., Brubaker, J. R., Keyes, O., Brulé, E., Light, A., Hardy, J., Rode, J. A. & Kannabiran, G. (2019). Queer(ing) HCI: Moving forward in theory and practice. I CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems Artikel 3311750 Association for Computing Machinery. https://doi.org/10.1145/3290607.3311750

Munch-Hansen, A. (2023). Quattro Formaggi: Zero-Knowledge from VOLE. Århus Universitet.

Krauter, H., Sherson, J. F., Jensen, K., Fernholz, T., Neergaard-Nielsen, J. S., Nielsen, B. M., Oblak, D., Windpassinger, P., Kjærgaard, N., Hilliard, A. J., Olausson, C., Müller, J. H. & Polzik, E. S. (2008). Quantum interface between light and atomic ensembles. I Proceedings of the 18th International Conference on Laser Spectroscopy, ICOLS 2007 (s. 113-124). World Scientific Publishing Co. Pte Ltd.

Høyer, P., Neerbek, J. & Shi, Y. (2002). Quantum complexities of ordered searching, sorting, and element distinctness. Algorithmica (New York), 34(4), 429-448. https://doi.org/10.1007/s00453-002-0976-3

Høyer, P., Neerbek, J. & Shi, Y. (2001). Quantum complexities of ordered searching, sorting, and element distinctness. I International Colloquium on Automata, Languages, and Programming: 28th International Colloquium, ICALP 2001 (Bind 2076, s. 346-357) https://doi.org/10.1007/3-540-48224-5_29

Damgård, I. B. (2011). Quantum Communication Attacks on Classical Cryptographic Protocols. Abstract fra 5th International Conference on Information Theoretic Security, Amsterdam, Holland. https://doi.org/10.1007/978-3-642-20728-0_16

Chatterjee, K., Ibsen-Jensen, R. & Pavlogiannis, A. (2021). Quantitative Verification on Product Graphs of Small Treewidth. I 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) (Bind ´, s. 42:1-42:23). Artikel 42 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

Ciosici, M. R., Derczynski, L. & Assent, I. (2019). Quantifying the morphosyntactic content of Brown Clusters. I J. Burstein, C. Doran & T. Solorio (red.), Long and Short Papers: Human Language Technologies (Bind 1, s. 1541-1550). Association for Computational Linguistics. https://aclweb.org/anthology/papers/N/N19/N19-1157/

Bødker, S., Brodersen, A. C. & Klokmose, C. N. (2007). Quality of Learning in Ubiquitous Interaction. I Proceedings of European Conference on Cognitive Ergonomics 2007: The 25th Anniversary Conference of the European Association of Cognitive Ergonomics (EACE) (s. 121-129). lulu, Inc.

Korn, M. & Klokmose, C. N. (2012). Putting 'Local' Back into Public Wifi Hotspots. I UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 800-801). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370399

Iivari, N., Iversen, O. S., Kafai, Y. B., Antle, A. N., Petersen, M. G., Kinnula, M., Dindler, C., Kayali, F., Bonsignore, E., Monga, C., Schaper, M.-M. & Sharma, S. (Accepteret/In press). Pushing the Boundaries of Computational Empowerment of Children. I IDC '25: Interaction Design and Children Conference https://interact.oulu.fi/idc-2025

Viser resultater 851 til 900 ud af 2982

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series