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

Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O. (2024). Optimal Non-Adaptive Cell Probe Dictionaries and Hashing. I K. Bringmann, M. Grohe, G. Puppis & O. Svensson (red.), 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 Artikel 104 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2024.104

Larsen, K. G. (2024). From TCS to Learning Theory. I R. Kralovic & A. Kucera (red.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 Artikel 4 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2024.4

Larsen, K. G. & Yu, H. (2023). Super-Logarithmic Lower Bounds for Dynamic Graph Problems. I 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (s. 1589-1604). IEEE. https://doi.org/10.1109/FOCS57990.2023.00096

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

Laoudias, C., Nikitin, A., Karras, P., Youssef, M. & Zeinalipour-Yazti, D. (2021). Indoor Quality-of-Position Visual Assessment Using Crowdsourced Fingerprint Maps. ACM Transactions on Spatial Algorithms and Systems, 7(2), Artikel 10. https://doi.org/10.1145/3433026

Lanng, H., Lykkegaard, A., Thornholm, S., Tzannis, P. & Verdezoto, N. (2016). PeaceKeeper: Augmenting the Awareness and Communication of Noise Pollution in Student Dormitories. I Proceedings of the 7th Augmented Human International Conference, AH 2016: AH '16 Artikel 39 Association for Computing Machinery. https://doi.org/10.1145/2875194.2875218

Landis, D. & Schwartzbach, N. (2023). Stackelberg Attacks on Auctions and Blockchain Transaction Fee Mechanisms. I K. Gal, K. Gal, A. Nowe, G. J. Nalepa, R. Fairstein & R. Radulescu (red.), ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings (s. 2073-2080). IOS Press. https://doi.org/10.3233/FAIA230501

Lampropoulos, K., Zardbani, F., Mamoulis, N. & Karras, P. (2023). Adaptive Indexing in High-Dimensional Metric Spaces. Proceedings of the VLDB Endowment, 16(10), 2525-2537. https://doi.org/10.14778/3603581.3603592

Lambertini, M., Magnani, M., Marzolla, M., Montesi, D. & Paolino, C. (2014). Large-Scale Social Network Analysis. I A. Gkoulalas-Divanis & A. Labbi (red.), Large scale data analytics (s. 155-187). Springer. https://doi.org/10.1007/978-1-4614-9242-9

Lam, T.-W., Lee, L. K., To, I. K. K. & Wong, P. W. H. (2013). Online Speed Scaling Based on Active Job Count to Minimize Flow Plus Energy. Algorithmica, 65(3), 605-633 . https://doi.org/10.1007/s00453-012-9613-y

Lacerda, F. G., Renes, J. M. & Scholz, V. B. (2016). Coherent state constellations for Bosonic Gaussian channels. I Proceedings - ISIT 2016; 2016 IEEE International Symposium on Information Theory (s. 2499-2503). Artikel 7541749 IEEE. https://doi.org/10.1109/ISIT.2016.7541749

Lacerda, F., Renes, J. M. & Scholz, V. B. (2017). Coherent-state constellations and polar codes for thermal Gaussian channels. Physical Review A, 95(6), Artikel 062343. https://doi.org/10.1103/PhysRevA.95.062343

Kyster, A. F., Nielsen, S. D., Hermanns, J., Mottin, D. & Karras, P. (2021). Boosting Graph Alignment Algorithms. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 3166-3170). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482067

Kyng, M. (2015). On Creating and Sustaining Alternatives: The case of Danish Telehealth. I O. Bertelsen & K. Halskov (red.), Critical Alternatives, 5th decennial Aarhus Conference: conference proceedings, conference papers Department of Computer Science, Aarhus University. https://doi.org/10.7146/aahcc.v1i1.21297

Kyng, M. (2016). Democracy beyond projects: how users may achieve lasting influence on it systems. interactions, 23(2), 36-39. https://doi.org/10.1145/2889276

Kyng, M. (1983). DESIGN OF ALTERNATIVES/ALTERNATIVE DESIGN. I U. Briefs, C. Ciborra & L. Schneider (red.), Systems Design For, With, and by the Users: Proceedings of the IFIP WG 9.1 Working Conference on Systems Design For, With, and by the Users, Riva Del Sole, Italy, 20-24 September 1982 (s. 391-394). North-Holland Publ Co.

Kuutti, K. & Bannon, L. J. (2014). The turn to practice in HCI: Towards a research agenda. I M. Jones , P. Palanque, A. Schmidt & T. Grossman (red.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '14 (s. 3543-3552). Association for Computing Machinery. https://doi.org/10.1145/2556288.2557111

Kunkel, A., Rheinländer, A., Schiefer, C., Helmer, S., Bouros, P. & Leser, U. (2016). PIEJoin: Towards Parallel Set Containment Joins. I P. Baumann, I. Manolescu-Goujot, L. Trani, Y. Ioannidis, G. G. Barnaföldi, L. Dobos & E. Bányai (red.), Scientific and Statistical Database Management: 28th International Conference, SSDBM 2016 - Proceedings Artikel 11 Association for Computing Machinery. https://doi.org/10.1145/2949689.2949694

Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. I S. Haddad & D. Varacca (red.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (s. 16:1-16:23). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. I Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (s. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014

Kuikkaniemi, K., Jacucci, G., Turpeinen, M., Hoggan, E. & Mueller, J. (2011). From Space to Stage: How Interactive Screens Will Change Urban Life. Computer, 44(6), 40-47. https://doi.org/10.1109/MC.2011.135

Krogh-Jespersen, M., Svendsen, K. & Birkedal, L. (2017). A relational model of types-and-effects in higher-order concurrent separation logic. I POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages: POPL 2017 (s. 218-231). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009877

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Århus Universitet.

Krogh-Jespersen, M., Timany, A., Ohlenbusch, M. E., Gregersen, S. O. & Birkedal, L. (2020). Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. I P. Müller (red.), Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (s. 336-365). Springer. https://doi.org/10.1007/978-3-030-44914-8_13

Krogh, P. G., Petersen, M. G., O'Hara, K. & Grønbæk, J. E. (2017). Sensitizing Concepts for Socio-Spatial Literacy in HCI. I CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (s. 6449-6460). Association for Computing Machinery. https://doi.org/10.1145/3025453.3025756

Krogh, L. B., Nielsen, K. & Waaddegaard, N. (2019). SUN-projektet: Skolebaseret udvikling af naturfag og kapacitet i gymnasiet. MONA - Matematik- og Naturfagsdidaktik, (3), 47-67. https://tidsskrift.dk/mona/article/view/115582/163891

Křivánek, J., Georgiev, I., Hachisuka, T., Vévoda, P., Šik, M., Nowrouzezahrai, D. & Jarosz, W. (2014). Unifying Points, Beams, and Paths in Volumetric Light Transport Simulation. A C M Transactions on Graphics, 33(4), Artikel 13. https://doi.org/10.1145/2601097.2601219

Kristensen, T. G. & Pedersen, C. N. S. (2010). Data Structures for Accelerating Tanimoto Queries on Real Valued Vectors. I V. Moulton & M. Singh (red.), Algorithms in Bioinformatics: 10th International Workshop (WABI 2010) (Bind 6293, s. 28-39). Springer.

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2010). A tree-based method for the rapid screening of chemical fingerprints. Algorithms for Molecular Biology, 5(9). https://doi.org/10.1186/1748-7188-5-9

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2013). Methods for Similarity-Based Virtual Screening. Computational and Structural Biotechnology Journal, 5(6). https://doi.org/10.5936/csbj.201302009

Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2017). Interactive exploration of subspace clusters for high dimensional data. I D. Benslimane, E. Damiani, W. I. Grosky, A. Hameurlain, A. Sheth & R. R. Wagner (red.), Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Proceedings (Bind 10438 LNCS, s. 327-342). Springer VS. https://doi.org/10.1007/978-3-319-64468-4_25

Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. Artikel 90. https://doi.org/10.1145/3133914

Kristensen, E. K. & Møller, A. (2017). Inference and Evolution of TypeScript Declaration Files. I M. Huisman & J. Rubin (red.), Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Bind 10202, s. 99-115). Springer VS. https://doi.org/10.1007/978-3-662-54494-5_6

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

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

Kristensen, B. B. & Madsen, O. L. (1990). Specification and implementation of application-oriented languages. I L. W. Hoevel, B. D. Shriver, J. F. J. Nunamaker, R. H. J. Sprague & V. Milutinovic (red.), Proceedings of the Hawaii International Conference on System Science (s. 55-63). Publ by Western Periodicals Co.

Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O. (2024). On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 8(POPL), 1239-1268. https://doi.org/10.1145/3632884

Krebbers, R. (2016). A Formal C Memory Model for Separation Logic. Journal of Automated Reasoning, 57(4), 319–387. https://doi.org/10.1007/s10817-016-9369-1

Krebbers, R., Jung, R., Bizjak, A., Jourdan, J.-H., Dreyer, D. & Birkedal, L. (2017). The Essence of Higher-Order Concurrent Separation Logic. I H. Yang (red.), Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (s. 696-723). Springer VS. https://doi.org/10.1007/978-3-662-54434-1_26

Krebbers, R., Timany, A. & Birkedal, L. (2017). Interactive proofs in higher-order concurrent separation logic. I A. D. Gordon & G. Castagna (red.), Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 (s. 205-217). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009855

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.

Krarup Hansen, T., Winther Jensen, J., Grønbæk, K. & Obel, C. M. (2017). Big data i sundhed rammer de svageste. Politiken, kroniken, 7-8. http://politiken.dk/debat/kroniken/art5954529/Big-Data-i-sundhed-rammer-de-svageste

Kranen, P., Assent, I. & Seidl, T. (2012). An Index-Inspired Algorithm for Anytime Classification on Evolving Data Streams. Datenbank-Spektrum, 12(1), 43-50 . https://doi.org/10.1007/s13222-012-0083-9

Koutra, D., Mottin, D. & Zhu, J. (2023). Fact summarization for personalized knowledge graphs. I Personal Knowledge Graphs (PKGs): Methodology, tools and applications (s. 239-254). Institution of Engineering and Technology. https://doi.org/10.1049/PBPC063E_ch10

Koti, N., Suresh, A., Rachuri, S. R. & Patra, A. (2022). Tetrad: Actively Secure 4PC for Secure Training and Inference. Afhandling præsenteret på Network and Distributed Systems Security (NDSS) Symposium 2022, San Diego ,Calif., USA. https://doi.org/10.14722/ndss.2022.24058

Kortbek, K. J. (2011). Staging as a Holistic Perspective on Interaction Design for Public Environments. Department of Computer Science, Aarhus University.

Korsgaard, H. & Brynskov, M. (2013). Prototyping a Smart City. Afhandling præsenteret på International Workshop Digital Cities, Munich, Tyskland.

Korsgaard, H. & Brynskov, M. (2014). City Bug Report: Urban prototyping as participatory process and practice. I M. Brynskov, P. Dalsgaard & A. F. G. Schiec (red.), MAB14, Proceedings of the 2nd Media Architecture Biennale Conference : World Cities (s. 21-29). Association for Computing Machinery. https://doi.org/10.1145/2682884.2682896

Korsgaard, H., Klokmose, C. N. & Bødker, S. (2016). Computational Alternatives in Participatory Design: Putting the T Back in Socio-technical Research. I M. Teli, J. McDonnell, K. Bodker, C. Bossen, R. C. Smith & A. M. Kanstrup (red.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Full Papers - Volume 1 (s. 71-79). Association for Computing Machinery. https://doi.org/10.1145/2940299.2940314

Viser resultater 1101 til 1150 ud af 2982

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series