Arge, L. & Thorup, M. (2013).
RAM-Efficient External Memory Sorting. In L. Cai, S.-W. Cheng & T.-W. Lam (Eds.),
Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (pp. 491-501 ). Springer VS.
https://doi.org/10.1007/978-3-642-45030-3_46
Arge, L., Brodal, G. S., Truelsen, J. & Tsirogiannis, C. (2013).
An optimal and practical cache-oblivious algorithm for computing multiresolution rasters. In
Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (pp. 61-72). Springer VS.
https://doi.org/10.1007/978-3-642-40450-4_6
Arge, L., Grønlund, A., Svendsen, S. C. & Tranberg, J. (2019).
Learning to find hydrological corrections. In F. Banaei-Kashani, G. Trajcevski, R. H. Güting, L. Kulik & S. Newsam (Eds.),
27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL '19) (pp. 464-467). Association for Computing Machinery.
https://doi.org/10.1145/3347146.3359095
Arge, L., Rav, M., Revsbæk, M.
, Shin, Y. & Yang, J. (2020).
Sea-rise flooding on massive dynamic terrains. In S. Albers (Ed.),
17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020 (pp. 6:1-6:19). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.SWAT.2020.6
Aranha, D. F., Baum, C., Gjøsteen, K., Silde, T. & Tunge, T. (2021).
Lattice-Based Proof of Shuffle and Applications to Electronic Voting. In K. G. Paterson (Ed.),
Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (pp. 227-251). Springer.
https://doi.org/10.1007/978-3-030-75539-3_10
Aranha, D. F., Berndt, S., Eisenbarth, T., Seker, O.
, Takahashi, A., Wilke, L. & Zaverucha, G. (2021).
Side-Channel Protections for Picnic Signatures. Abstract from Third PQC Standardization Conference, Washington, United States.
Aranha, D. F., Bennedsen, E., Campanelli, M., Ganesh, C., Orlandi, C. & Takahashi, A. (2022).
ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines. In G. Hanaoka, J. Shikata & Y. Watanabe (Eds.),
Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography (pp. 584-614). Springer.
https://doi.org/10.1007/978-3-030-97121-2_21
Aranha, D. F., Hall-Andersen, M. N., Nitulescu, A., Pagnin, E. & Yakoubov, S. (2022).
Count Me In! Extendability for Threshold Ring Signatures. In G. Hanaoka, J. Shikata & Y. Watanabe (Eds.),
Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings, Part II (pp. 379-406). Springer.
https://doi.org/10.1007/978-3-030-97131-1_13
Applebaum, B.
, Damgård, I., Ishai, Y.
, Nielsen, M. & Zichron, L. (2017).
Secure Arithmetic Computation with Constant Computational Overhead. In H. Shacham & J. Katz (Eds.),
Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 223-254). Springer VS.
https://doi.org/10.1007/978-3-319-63688-7_8
Andrychowicz, M.
, Damgård, I. B., Dziembowski, S.
, Faust, S. & Polychroniadou, A. (2015).
Efficient leakage resilient circuit compilers. In K. Nyberg (Ed.),
Topics in Cryptology - CT-RSA 2015: The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings (pp. 311-329). Springer VS.
https://doi.org/10.1007/978-3-319-16715-2_17
Andreoni, G., Bagnoli, F., Büscher, M.
, Christensen, M., Corry, A. V., Ehn, P., Enquist, H.
, Frølund, J., Gjerlufsen, T., Ghizzioli, R., Greenwood, D., Grönwall, E., Hansen-Miller, D., Kramp, G.
, Kristensen, M., Kyng, M., Linde, P., Marti, P.
, Mogensen, P. H. ... Olsen, J. W. (2007).
PalCom Deliverable 51 (2.13.3). Fieldwork: Documentation of Work Analysis, Participatory Design and Evaluation of Prototypes.
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/
Andreasen, E. S., Gordon, C. S., Chandra, S., Sridharan, M., Tip, F. & Sen, K. (2016).
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. In S. Krishnamurthi & B. S. Lerner (Eds.),
30th European Conference on Object-Oriented Programming (ECOOP 2016) (pp. 231-239, 2310-2328). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH.
http://arxiv.org/abs/1605.01362
Andreasen, E., Gong, L.
, Møller, A., Pradel, M., Selakovic, M., Sen, K. & Staicu, C.-A. (2017).
A Survey of Dynamic Analysis and Test Generation for JavaScript.
A C M Computing Surveys,
50(5), 66:1-66:36. Article 66.
https://doi.org/10.1145/3106739
André, É., Bloemen, V., Petrucci, L.
& Pol, J. V. D. (2019).
Minimal-Time Synthesis for Parametric Timed Automata. In L. Zhang & T. Vojnar (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Vol. II, pp. 211-228). Springer.
https://doi.org/10.1007/978-3-030-17465-1_12
André, É., Marinho, D.
& Pol, J. V. D. (2021).
A Benchmarks Library for Extended Parametric Timed Automata. In F. Loulergue & F. Wotawa (Eds.),
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Proceedings: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (pp. 39-50). Springer.
https://doi.org/10.1007/978-3-030-79379-1_3
André, É., Arias, J., Petrucci, L.
& Pol, J. V. D. (2021).
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. In J. F. Groote & K. G. Larsen (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I (pp. 311-329). Springer.
https://doi.org/10.1007/978-3-030-72016-2_17