Baum, C., Escudero, D., Pedrouzo-Ulloa, A.
, Scholl, P. & Troncoso-Pastoriza, J. R. (2022).
Efficient protocols for oblivious linear function evaluation from ring-LWE.
Journal of Computer Security,
30(1), 39-78.
https://doi.org/10.3233/JCS-200116
Baum, C., Dittmer, S.
, Scholl, P. & Wang, X. (2023).
Sok: vector OLE-based zero-knowledge protocols.
Designs, Codes, and Cryptography,
91(11), 3527-3561.
https://doi.org/10.1007/s10623-023-01292-8
Baum, C., Braun, L., Delpech de Saint Guilhem, C., Klooß, M., Orsini, E.
, Roy, L. D. & Scholl, P. (2023).
Publicly Verifiable Zero-Knowledge and Post-Quantum Signatures from VOLE-in-the-Head. I H. Handschuh & A. Lysyanskaya (red.),
Advances in Cryptology: CRYPTO 2023 (s. 581-615). Springer.
https://doi.org/10.1007/978-3-031-38554-4_19
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2016).
The HoTT Library: A formalization of homotopy type theory in Coq.
http://arxiv.org/abs/1610.04591
Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M.
& Spitters, B. (2017).
The HoTT Library: A Formalization of Homotopy Type Theory in Coq. I Y. Bertot & V. Vafeiadis (red.),
CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (s. 164-172). Association for Computing Machinery.
https://doi.org/10.1145/3018610.3018615
Bates, O.
, Thomas, V., Remy, C., Nathan, L. P., Mann, S. & Friday, A. (2018).
The future of HCI and sustainability: Championing environmental and social justice. I R. Mandryk & M. Hancock (red.),
CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (Bind 2018-April). Artikel SIG01 Association for Computing Machinery.
https://doi.org/10.1145/3170427.3185365
Bataillon, T., Duan, J., Hvilsom, C., Jin, X., Li, Y.
, Skov, L., Glemin, S.
, Munch, K., Jiang, T.
, Qian, Y., Hobolth, A., Wang, J.
, Mailund, T., Siegismund, H. R.
& Schierup, M. H. (2015).
Inference of purifying and positive selection in three subspecies of chimpanzees (Pan troglodytes) from exome sequencing.
Genome Biology and Evolution,
7(4), 1122-32.
https://doi.org/10.1093/gbe/evv058
Bassetti, C., Sciannamblo, M.
, Lyle, P., Teli, M., De Paoli, S. & De Angeli, A. (2019).
Co-designing for common values: creating hybrid spaces to nurture autonomous cooperation.
CoDesign,
15(3), 256-271.
https://doi.org/10.1080/15710882.2019.1637897
Barthe, G., Blazy, S., Grégoire, B., Hutin, R., Laporte, V., Pichardie, D.
& Trieu, A. (2020).
Formal Verification of a Constant-Time Preserving C Compiler.
Proceedings of the ACM on Programming Languages ,
4(POPL), Artikel 7.
https://doi.org/10.1145/3371075
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).
Bardzell, S.
, Bødker, S., Iversen, O. S., Klokmose, C. N. & Korsgaard, H. (red.) (2015).
Critical Alternatives: Proceedings of The Fifth Decennial Aarhus Conference 17- 21 August 2015, Aarhus, Denmark. Department of Computer Science, Aarhus University.
http://cs.au.dk/~hko/Aarhus2015ProceedingsVolumeI.pdf
Bardam, S. K.
, Mathisen, A., Rädle, R., Klokmose, C. N. & Elmqvist, N. (2018).
Vistrates: A Component Model for Ubiquitous Analytics.
IEEE Transactions on Visualization and Computer Graphics,
25(1), 586-596. Artikel 8440803.
https://doi.org/10.1109/TVCG.2018.2865144
Banerjee, A.
, Danvy, O., Doh, K.-G. & Hatcliff , J. (red.) (2013).
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday : Festschrift for Dave Schmidt, Manhattan, Kansas, USA, 19-20th September 2013. http://published.eptcs.org/. Electronic Proceedings in Theoretical Computer Science Bind 129
https://doi.org/10.4204/EPTCS.129
Bandini, F.
, Olesen, D., Jakobsen, J., Marie Margaretha Kittel, C.
, Wang, S., Garcia, M. & Bauer-Gottwein, P. (2018).
Technical note: Bathymetry observations of inland water bodies using a tethered single-beam sonar controlled by an unmanned aerial vehicle.
Hydrology and Earth System Sciences,
22(8), 4165-4181.
https://doi.org/10.5194/hess-22-4165-2018
Bandini, F., Lopez-Tamayo, A., Merediz-Alonso, G.
, Olesen, D., Jakobsen, J., Wang, S., Garcia, M. & Bauer-Gottwein, P. (2018).
Unmanned aerial vehicle observations of water surface elevation and bathymetry in the cenotes and lagoons of the Yucatan Peninsula, Mexico.
Hydrogeology Journal,
26(7), 2213-2228.
https://doi.org/10.1007/s10040-018-1755-9
Bainson, A. B., Hermanns, J., Petsinis, P., Aavad, N., Larsen, C. D., Swayne, T., Boyarski, A.
, Mottin, D., Bronstein, A. M.
& Karras, P. (Accepteret/In press).
Spectral Subgraph Localization. I
The Second Learning on Graphs Conference Proceedings of Machine Learning Research.
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
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