المؤلفون: Kauffman, Sean, Larsen, Kim Guldstrand, Zimmermann, Martin

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2407.03155

المؤلفون: Berg, Magnus, Boyar, Joan, Favrholdt, Lene M., Larsen, Kim S.

مصطلحات موضوعية: Computer Science - Data Structures and Algorithms

URL الوصول: http://arxiv.org/abs/2406.18265

المؤلفون: Fränzle, Martin, Grosen, Thomas M., Larsen, Kim G., Zimmermann, Martin

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2404.18282

المؤلفون: Goorden, Martijn A., Larsen, Kim G., Nielsen, Jesper E., Nielsen, Thomas D., Qian, Weizhu, Rasmussen, Michael R., Zhao, Guohan

المصدر: 2023 IEEE Conference on Control Technology and Applications (CCTA) Control Technology and Applications (CCTA), 2023 IEEE Conference on. :784-790 Aug, 2023

Relation: 2023 IEEE Conference on Control Technology and Applications (CCTA)

المؤلفون: Boyar, Joan, Favrholdt, Lene M., Larsen, Kim S.^{Aff1, IDs0045302401239y_cor3}

المصدر: Algorithmica. :1-36

المؤلفون: Carlsen, Falke B. Ø., Frydenskov, Lars Bo P., Jensen, Nicolaj Ø., Rasmussen, Jener, Sørensen, Mathias M., Weirsøe, Asger G., Jensen, Mathias C., Larsen, Kim G.

المصدر: EPTCS 390, 2023, pp. 99-114

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.1, D.2.4

URL الوصول: http://arxiv.org/abs/2310.00999

المؤلفون: Brorholt, Asger Horn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Lorber, Florian, Schilling, Christian

المصدر: AISoLA 2023

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2308.14424

المؤلفون: Burgholzer, Lukas, Jiménez-Pastor, Antonio, Larsen, Kim G., Tribastone, Mirco, Tschaikowski, Max, Wille, Robert

مصطلحات موضوعية: Quantum Physics, Computer Science - Emerging Technologies

URL الوصول: http://arxiv.org/abs/2308.09510

المؤلفون: Hansen, Jonas, Larsen, Kim Guldstr, Cuijpers, Pieter J.L.

المصدر: 2022 11th Mediterranean Conference on Embedded Computing (MECO) Embedded Computing (MECO), 2022 11th Mediterranean Conference on. :1-6 Jun, 2022

Relation: 2022 11th Mediterranean Conference on Embedded Computing (MECO)

المؤلفون: Mariegaard, Anders, Larsen, Kim G., Muniz, Marco, Nielsen, Thomas Dyhre

مصطلحات موضوعية: Computer Science - Networking and Internet Architecture

URL الوصول: http://arxiv.org/abs/2304.00277