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), Article 10.
https://doi.org/10.1145/3433026
Kjærgaard, M. B., Krarup, M. V., Stisen, A., Prentow, T. S., Blunck, H., Grønbæk, K. & Jensen, C. S. (2013).
Indoor Positioning using Wi-Fi: How Well Is the Problem Understood?. Paper presented at International Conference on Indoor Positioning and Indoor Navigation, Montbéliard, France.
Kjærgaard, M. B., Blunck, H., Godsk, T., Toftkjær, T., Christensen, D. L.
& Grønbæk, K. (2010).
Indoor Positioning Using GPS Revisited.
Lecture Notes in Computer Science,
6030, 38-56.
https://doi.org/10.1007/978-3-642-12654-3_3
Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B.-Y. E., Guyer, S. Z., Khedker, U. P.
, Møller, A. & Vardoulakis, D. (2015).
In Defense of Soundiness: A Manifesto.
Communications of the A C M,
58(2).
https://doi.org/10.1145/2644805
Campanelli, M., Fiore, D., Greco, N., Kolonelos, D. & Nizzardo, L. (2020).
Incrementally Aggregatable Vector Commitments and Applications to Verifiable Decentralized Storage. In S. Moriai & H. Wang (Eds.),
Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (pp. 3-35). Springer.
https://doi.org/10.1007/978-3-030-64834-3_1
Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P.
, Assent, I. & Viet Hung Nguyen, Q. (2022).
Incremental Density-based Clustering on Multicore Processors.
I E E E Transactions on Pattern Analysis and Machine Intelligence,
44(3), 1338-1356.
https://doi.org/10.1109/TPAMI.2020.3023125
Andreasen, E., Feldthaus, A., Jensen, S. H., Jensen, C. S., Jonsson, P. A., Madsen, M. & Møller, A. (2012).
Improving Tools for JavaScript Programmers (Position Paper). Paper presented at International Workshop on Scripts to Programs, Beijing, China.
http://cs.au.dk/~amoeller/papers/stop/
Burkhardt, J., Damgård, I., Frederiksen, T. K., Orlandi, C. & Ghosh, S. (2023).
Improved Distributed RSA Key Generation Using the Miller-Rabin Test. In W. Meng, C. D. Jensen, C. Cremers & E. Kirda (Eds.),
CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (pp. 2501-2515). Association for Computing Machinery.
https://doi.org/10.1145/3576915.3623163
Cohen-Addad, V.
, Larsen, K. G., Saulpic, D.
, Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022).
Improved Coresets for Euclidean k-Means. In S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho & A. Oh (Eds.),
Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022 Neural Information Processing Systems Foundation.
Bringmann, K.
, Hansen, T. D. & Krinninger, S. (2017).
Improved Algorithms for Computing the Cycle of Minimum Cost-to-Time Ratio in Directed Graphs. In I. Chatzigiannakis, P. Indyk, F. Kuhn & A. Muscholl (Eds.),
44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) (Vol. 80, pp. 124:1-124:16). Article 124 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH.
https://doi.org/10.4230/LIPIcs.ICALP.2017.124
Svendsen, K. & Birkedal, L. (2014).
Impredicative concurrent abstract predicates. In Z. Shao (Ed.),
Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (pp. 149-168 ). Springer.
https://doi.org/10.1007/978-3-642-54833-8_9