Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded Cubical Type Theory: Path Equality for Guarded Recursion. I J.-M. Talbot & L. Regnier (red.),
CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (s. 1 - 17)
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded Cubical Type Theory.
https://arxiv.org/pdf/1611.09263v1.pdf
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016).
Guarded cubical type theory. Abstract fra 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbien.
http://www.cs.au.dk/~spitters/TYPES16.pdf
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2019).
Guarded Cubical Type Theory.
Journal of Automated Reasoning,
63(2), 211-253.
https://doi.org/10.1007/s10817-018-9471-7,
https://doi.org/10.1007/s10817-018-9471-7
Birkedal, L., Clouston, R., Mannaa, B., Ejlers Møgelberg, R., Pitts, A. M.
& Spitters, B. (2020).
Modal dependent type theory and dependent right adjoints.
Mathematical Structures in Computer Science,
30(2), 118-138.
https://doi.org/10.1017/S0960129519000197
Birkedal, L., Dinsdale-Young, T.
, Guéneau, A., Jaber, G., Svendsen, K. & Tzevelekos, N. (2021).
Theorems for free from separation logic specifications.
Proceedings of the ACM on Programming Languages ,
5(ICFP), Artikel 81.
https://doi.org/10.1145/3473586
Biniaz, A., Bose, P.
, van Duijn, I., Maheshwari, A. & Smid, M. (2016).
A Faster Algorithm for the Minimum Red-Blue-Purple Spanning Graph Problem for Points on a Circle. I T. C. Shermer (red.),
Proceedings of the 28th Canadian Conference on Computational Geometry (s. 140-146). Simon Fraser University. Vancouver, British Columbia Canada.
http://people.scs.carleton.ca/~michiel/RedBluePurpleCCCG16.pdf
Biniaz, A., Bose, P.
, van Duijn, I., Maheshwari, A. & Smid, M. (2017).
Faster algorithms for the minimum red-blue-purple spanning graph problem.
Journal of Graph Algorithms and Applications,
21(4), 527-546.
https://doi.org/10.7155/jgaa.00427
Bilstrup, K. E. K., Kaspersen, M. H., Assent, I., Enni, S. & Petersen, M. G. (2022).
From Demo to Design in Teaching Machine Learning. I
Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (s. 2168-2178). Association for Computing Machinery.
https://doi.org/10.1145/3531146.3534634
Bilstrup, K.-E. K., Kaspersen, M. H., Lunding, M. S., Schaper, M.-M. A., Van Mechelen, M., Tamashiro, M. A., Smith, R. C., Iversen, O. S. & Petersen, M. G. (2022).
Supporting Critical Data Literacy in K-9 Education: Three Principles for Enriching Pupils’ Relationship to Data. I
Proceedings of Interaction Design and Children, IDC 2022 (s. 225-236). Association for Computing Machinery.
https://doi.org/10.1145/3501712.3530783
Bilo, V.
, Caragiannis, I., Flammini, M., Igarashi, A., Monaco, G., Peters, D., Vinci, C. & Zwicker, W. (2022).
Almost envy-free allocations with connected bundles.
Games and Economic Behavior,
131, 197-221.
https://doi.org/10.1016/j.geb.2021.11.006
Bhattacharya, A., Chakraborty, S., Ghosh, A., Mishra, G.
& Paraashar, M. (2022).
Disjointness through the Lens of Vapnik–Chervonenkis Dimension: Sparsity and Beyond.
Computational Complexity,
31(2), Artikel 9.
https://doi.org/10.1007/s00037-022-00225-6
Bhagat, S., Saminathan, K., Agarwal, A.
, Dowsley, R., De Cock, M. & Nascimento, A. (2019).
Privacy-Preserving User Profiling with Facebook Likes. I Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu & X. Hu (red.),
Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (s. 5298-5299). Artikel 8622081 IEEE.
https://doi.org/10.1109/BigData.2018.8622081
Bertelsen, O. W. (red.), Fitzpatrick, G. (red.), Höök, K. H., Balaam, M. (red.)
& Grönvall, E. (red.) (2010).
Proceedings of Therapeutic Strategies: A Challenge for User Involvement in Design Workshop in conjunction with NORDICHI 2010 17. October 2010, Reykjavik, Iceland. Department of Computer Science, Aarhus University. DAIMI PB Nr. 593
http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7183/6129
Bertelsen, O. W., Halskov, K., Bardzell, S. (red.)
, Bødker, S. (red.), Iversen, O. S. (red.), Klokmose, C. N. (red.) & Korsgaard, H. (red.) (2015).
Foreword. I
Critical Alternatives: Proceedings of The Fifth Decennial Aarhus Conference 17- 21 August 2015, Aarhus, Denmark (s. ii). Department of Computer Science, Aarhus University.
http://cs.au.dk/~hko/Aarhus2015ProceedingsVolumeI.pdf