Bai, G.
, Damgård, I., Orlandi, C. & Xia, Y. (2016).
Non-Interactive Verifiable Secret Sharing for Monotone Circuits. In D. Pointcheval, A. Nitaj & T. Rachidi (Eds.),
Progress in Cryptology – AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Proceedings (Vol. 9646, pp. 225-244). Springer VS.
https://doi.org/10.1007/978-3-319-31517-1_12
Baena, J., Cabarcas, D.
, Escudero, D. E., Khathuria, K. & Verbel, J. (2018).
Rank Analysis of Cubic Multivariate Cryptosystems. In T. Lange & R. Steinwandt (Eds.),
Post-Quantum Cryptography - 9th International Conference, PQCrypto 2018, Proceedings (Vol. 10786, pp. 355-374). Springer VS.
https://doi.org/10.1007/978-3-319-79063-3_17
Bækgaard, L.
, Jørgensen, J. B. & Lassen, K. B. (2007).
On Industrial Use of Requirements Engineering Techniques. In M. Reichert, S. Strecker & K. Turowski (Eds.),
Enterprise Modelling and Information Systems Architectures: Concepts and Applications, Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), St. Goar, Germany, October 8-9, 2007 (Vol. P-119, pp. 177-190). <Forlag uden navn>.
Badertscher, C., Garay, J., Maurer, U.
, Tschudi, D. & Zikas, V. (2018).
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. In J. Buus Nielsen (Ed.),
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings (Vol. 10821, pp. 34-65). Springer VS.
https://doi.org/10.1007/978-3-319-78375-8_2
Babka, M., Bulánek, J., Cunat, V.
, Koucky, M. & Saks, M. (2012).
On Online Labeling with Polynomially Many Labels.
Lecture Notes in Computer Science,
7501, 121-132 .
https://doi.org/10.1007/978-3-642-33090-2_12
Avram, G., Choi, J. H. J., De Paoli, S., Light, A.
, Lyle, P. & Teli, M. (2019).
Repositioning CoDesign in the age of platform capitalism: from sharing to caring.
CoDesign,
15(3), 185-191.
https://doi.org/10.1080/15710882.2019.1638063
Avgustinov, P.
, Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, J., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005).
abc: An extensible AspectJ compiler. In
AOSD 2005 (pp. 87-98)
Avgustinov, P.
, Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, J., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005).
Optimising AspectJ. In
PLDI 2005 (pp. 117-128). Association for Computing Machinery.
Avgustinov, P.
, Christensen, A. S., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2006).
abc: An Extensible AspectJ Compiler. In A. Rashid & M. Aksit (Eds.),
Transactions on Aspect-Oriented Software Development I (pp. 87-98). Springer LNCS.
https://doi.org/10.1007/11687061_9
Avdic, M. & Vermeulen, J. (2020).
Intelligibility Issues Faced by Smart Speaker Enthusiasts in Understanding What Their Devices Do and Why. In N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (Eds.),
Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (pp. 314-328). Association for Computing Machinery.
https://doi.org/10.1145/3441000.3441068
Avdic, M., Marquardt, N., Rogers, Y.
& Vermeulen, J. (2021).
Machine Body Language: Expressing a Smart Speaker's Activity with Intelligible Physical Motion. In W. Ju, L. Oehlberg, S. Follmer, S. Fox & S. Kuznetsov (Eds.),
DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (pp. 1403-1418). Association for Computing Machinery.
https://doi.org/10.1145/3461778.3462031
Atzeni, P.
, Jensen, C. S. ., Orsi, G.
, Ram, S., Tanca, L. Z. I. & Torlone, R. (2013).
The relational model is dead, SQL is dead, and i don't feel so good myself.
SIGMOD Record,
42(2), 64-68.
https://doi.org/10.1145/2503792.2503808
Attema, T., Cascudo, I., Cramer, R.
, Damgård, I. & Escudero, D. (2022).
Vector Commitments over Rings and Compressed Σ -Protocols. In E. Kiltz & V. Vaikuntanathan (Eds.),
Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Vol. Part 1, pp. 173-202). Springer.
https://doi.org/10.1007/978-3-031-22318-1_7
Atkinson, D., Schacht Hansen, M.
, Sørensen, T. S., Taylor, Z., Modat, M. & Ourselin, S. (2008).
Commodity Graphics Cards for Image Registration, Biomechanical Modelling and Cardiac Imaging. In
Bioengineering 08: Imaging (image processing, clinical imaging, novel optical and molecular) (Vol. Room: RSM 3.03, pp. 86-86). Imperial College London.
Ateniese, G., Chen, L.
, Francati, D., Papadopoulos, D. & Tang, Q. (2023).
Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). In A. Boldyreva & V. Kolesnikov (Eds.),
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 (pp. 63-93). Springer.
https://doi.org/10.1007/978-3-031-31371-4_3
Astesiano, E., Bidoit, M., Krieg-Brückner, B.
, Mosses, P. D., Sannella, D. & Tarlecki, A. (2002).
CASL: The Common Algebraic Specification Language.
Theoretical Computer Science,
286(2), 153-196.