Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021).
Towards a model of progression in computational empowerment in education.
International Journal of Child - Computer Interaction,
29, Artikel 100302.
https://doi.org/10.1016/j.ijcci.2021.100302
Kaspersen, M. H., Bilstrup, K.-E. K., Van Mechelen, M., Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021).
VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. I
Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Artikel 3466728 Association for Computing Machinery.
https://doi.org/10.1145/3466725.3466728
Kaspersen, M. H., Bilstrup, K. E. K., Van Mechelen, M., Hjort, A.
, Bouvin, N. O. & Petersen, M. G. (2022).
High school students exploring machine learning and its societal implications: Opportunities and challenges.
International Journal of Child-Computer Interaction,
34, Artikel 100539.
https://doi.org/10.1016/j.ijcci.2022.100539
Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024).
From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (red.),
CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (s. 1-16). Artikel 268 Association for Computing Machinery, Inc..
https://doi.org/10.1145/3613904.3642607
Karbyshev, A., Bjørner, N., Itzhaky, S., Rinetzky, N. & Shoham, S. (2017).
Property-directed inference of universal invariants or proving their absence.
Journal of the ACM,
64(1), 7:1-7:33. Artikel 7.
https://doi.org/10.1145/3022187
Karbyshev, A., Svendsen, K., Askarov, A. & Birkedal, L. (2018).
Compositional Non-interference for Concurrent Programs via Separation and Framing. I L. Bauer & R. Küsters (red.),
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Bind 10804, s. 53-78). Springer VS.
https://doi.org/10.1007/978-3-319-89722-6_3
Kamp, S. H., Magri, B., Matt, C.
, Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2021).
Weight-Based Nakamoto-Style Blockchains. I P. Longa & C. Ràfols (red.),
Progress in Cryptology – LATINCRYPT 2021: 7th International Conference on Cryptology and Information Security in Latin America Bogotá, Colombia, October 6–8, 2021, Proceedings (s. 299-319). Springer International Publishing.
https://doi.org/10.1007/978-3-030-88238-9_15
Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M.
& Pedersen, J. S. (2019).
ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation.
Bioinformatics,
35(2), 189-199.
https://doi.org/10.1093/bioinformatics/bty511
JUNG, RALF.
, KREBBERS, ROBBERT., JOURDAN, JACQUES.-HENRI.
, BIZJAK, ALEŠ., BIRKEDAL, LARS. & DREYER, DEREK. (2018).
Iris from the ground up: A modular foundation for higher-order concurrent separation logic.
Journal of Functional Programming,
28, 1-73. Artikel e20.
https://doi.org/10.1017/S0956796818000151
Jung, R., Swasey, D.
, Sieczkowski, F., Svendsen, K., Turon, A.
, Birkedal, L. & Dreyer, D. (2015).
Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning. I S. Rajamani (red.),
Conference Record of the Annual ACM Symposium on Principles of Programming Languages (s. 637-650). Association for Computing Machinery.
https://doi.org/10.1145/2676726.2676980
Jordan, V. E., Walker, J. A., Beckstrom, T. O., Steely, C. J., McDaniel, C. L., St Romain, C. P., The Baboon Genome Analysis Consortium, Worley, K. C., Phillips-Conroy, J., Jolly, C. J., Rogers, J., Konkel, M. K. & Batzer, M. A. (2018).
A computational reconstruction of Papio phylogeny using Alu insertion polymorphisms.
Mobile DNA,
9(1), Artikel 13.
https://doi.org/10.1186/s13100-018-0118-3
Johnson, P. M., Xu, Y.
, Brewer, R. S., Moore, C. A., Lee, G. E. & Connell, A. (2013).
Makahiki+WattDepot: An open source software stack for next generation energy research and education. I L. M. Hilty, B. Aebischer, G. Andersson & W. Lohmann (red.),
Proceedings of the First Interntional Conference on Information and Communication Technologies for Sustainability (ICT4S) Akademia.edu.
http://www.academia.edu/2911805/ICT4S_2013_Proceedings_of_the_First_International_Conference_on_Information_and_Communication_Technologies_for_Sustainability_ETH_Zurich_February_14-16_2013
Johns, C. A., Evangelista Belo, J. M., Feit, A. M.
, Klokmose, C. N. & Pfeuffer, K. (2023).
Towards Flexible and Robust User Interface Adaptations With Multiple Objectives. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.),
UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 108 Association for Computing Machinery.
https://doi.org/10.1145/3586183.3606799
John, M.
, Schulz, H.-J., Schumann, H., Uhrmacher, A. M. & Unger, A. (2013).
Constructing and visualizing chemical reaction networks from pi-calculus models.
Formal Aspects of Computing,
25(5), 723-742.
https://doi.org/10.1007/s00165-011-0209-0
Johanson, M., Jalminger, J., Frécon, E.
, Nelson, B., Olovsson, T. & Gjertz, M. (2017).
Joint subjective and objective data capture and analytics for automotive applications. I
2017 IEEE 86th Vehicular Technology Conference, VTC Fall 2017 - Proceedings (s. 1-5). Institute of Electrical and Electronics Engineers Inc..
https://doi.org/10.1109/VTCFall.2017.8288366