Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Devriese, D.
& Birkedal, L. (2021).
Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu. I
Journées Francophones des Langages Applicatifs 2021 Institut de Recherche en Informatique Fondamentale.
https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s-
Dinsdale-Young, T., da Rocha Pinto, P.
, Andersen, K. J. A. & Birkedal, L. (2017).
Caper: Automatic Verification for Fine-Grained Concurrency. 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: 26th European Symposium on Programming, ESOP 2017 (Bind 10201, s. 420-447). Springer VS.
https://doi.org/10.1007/978-3-662-54434-1_16
Barrett, M., Müller-Eberstein, M., Bassignana, E.
, Pauli, A. B., Zhang, M. & van der Goot, R. (2024).
Can Humans Identify Domains? I N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (red.),
2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (s. 2745-2765). European Language Resources Association (ELRA).
Sonne, T., Merritt, T. R., Marshall, P.
, Lomholt, J. J., Müller, J. & Grønbæk, K. (2017).
Calming Children When Drawing Blood Using Breath-based Biofeedback. I
DIS 2017 - Proceedings of the 2017 Conference on Designing Interactive Systems (s. 725-737). Association for Computing Machinery.
https://doi.org/10.1145/3064663.3064742
Ernst, E. (2002).
Call by Declaration. I G. Arevalo, A. Black, Y. Crespo, M. Dao, E. Ernst, P. Grogono, M. Huchard & M. Sakkinen (red.),
Proceedings of the Inheritance Workshop at ECOOP 2002 (s. 44-50). University of Jyväskylä.
Arge, L., de Berg, M. & Haverkort, H. (2005).
Cache-Oblivious R-trees. I J. Mitchell & G. Rote (red.),
Proceedings of 21th ACM Symposium on Computational Geometry (s. 170-179). Association for Computing Machinery.
Brodal, G. S., Demaine, E. D., Fineman, J. T., Iacono, J., Langerman, S. & Munro, J. I. (2010).
Cache-Oblivious Dynamic Dictionaries with Optimal Update/Query Tradeoff.
Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 1448-1456.
http://www.siam.org/proceedings/soda/2010/SODA10_117_brodalg.pdf
Brodal, G. S. & Fagerberg, R. (2002).
Cache Oblivious Distribution Sweeping. I P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (red.),
Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (s. 426-438). Springer.
https://doi.org/10.1007/3-540-45465-9_37
Brodal, G. S., Fagerberg, R., Meyer, U. & Zeh, N. (2004).
Cache-Oblivious Data Structures and Algorithms for Undirected Breadth-First Search and Shortest Paths. I T. Hagerup & J. Katajainen (red.),
Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004. Proceedings (s. 480-492). Springer.
https://doi.org/10.1007/978-3-540-27810-8_41
Brodal, G. S., Fagerberg, R.
& Moruz, G. (2005).
Cache-Aware and Cache-Oblivious Adaptive Sorting. I L. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi & M. Yung (red.),
Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings (s. 576-588). Springer.
https://doi.org/10.1007/11523468_47
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
Klokmose, C. N., Kristensen, J. B., Bagge, R. & Halskov, K. (2014).
BullsEye: High-Precision Fiducial Tracking for Table-based Tangible Interaction. I R. Dachselt, N. Graham, K. Hornbæk & M. Nacenta (red.),
Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS '14 (s. 269-278 ). Association for Computing Machinery.
https://doi.org/10.1145/2669485.2669503
Snow, S., Vyas, D.
, Lyle, P., Mallett, M. & Brereton, M. (2016).
Building Connections: Technology Design for Living on a Low Income. I A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (red.),
PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (s. 1-4). Association for Computing Machinery.
https://doi.org/10.1145/2948076.2948091