Bai, G.
, Damgård, I., Orlandi, C. & Xia, Y. (2016).
Non-Interactive Verifiable Secret Sharing for Monotone Circuits. I D. Pointcheval, A. Nitaj & T. Rachidi (red.),
Progress in Cryptology – AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Proceedings (Bind 9646, s. 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. 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
Bækgaard, L.
, Jørgensen, J. B. & Lassen, K. B. (2007).
On Industrial Use of Requirements Engineering Techniques. I M. Reichert, S. Strecker & K. Turowski (red.),
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 (Bind P-119, s. 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. I J. Buus Nielsen (red.),
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2018 Proceedings (Bind 10821, s. 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. I
AOSD 2005 (s. 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. I
PLDI 2005 (s. 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. I A. Rashid & M. Aksit (red.),
Transactions on Aspect-Oriented Software Development I (s. 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. I N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (red.),
Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 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. I W. Ju, L. Oehlberg, S. Follmer, S. Fox & S. Kuznetsov (red.),
DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (s. 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. I E. Kiltz & V. Vaikuntanathan (red.),
Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Bind Part 1, s. 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. I
Bioengineering 08: Imaging (image processing, clinical imaging, novel optical and molecular) (Bind Room: RSM 3.03, s. 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). I A. Boldyreva & V. Kolesnikov (red.),
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 (s. 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.