Kulik, T., Talasila, P., Greco, P., Veneziano, G., Marguglio, A., Sutton, L. F.
, Larsen, P. G. & Macedo, H. D. (2021).
Extending the Formal Security Analysis of the HUBCAP sandbox. I H. D. Macedo, C. Thule & K. Pierce (red.),
Proceedings of the 19th International Overture Workshop (s. 36-50)
https://arxiv.org/abs/2110.09371
Kulik, T., Dongol, B.
, Larsen, P. G., Macedo, H. D., Schnieder, S.
, Tran-Jørgensen, P. W. V. & Woodcock, J. (2022).
A Survey of Practical Formal Methods for Security.
Formal Aspects of Computing,
34(1), artikel 3522582. adv. onlinepublikation.
https://doi.org/10.1145/3522582
Kulik, T., Gomes, C., Macedo, H. D., Hallerstede, S. & Larsen, P. G. (2022).
Towards Secure Digital Twins. I T. Margaria & B. Steffen (red.),
Leveraging Applications of Formal Methods, Verification and Validation. Practice, ISoLA 2022 (s. 159-176). Springer.
https://doi.org/10.1007/978-3-031-19762-8_11
Kruckel, C. J.
, Becker, H., Ban, Y.
, Heck, M. J. R., Van Campenhout, J. & Van Thourhout, D. (2021).
Towards Maximum Energy Efficiency of Carrier-Injection-Based Silicon Photonics.
Journal of Lightwave Technology,
39(9), 2931-2940.
https://doi.org/10.1109/JLT.2021.3059915
Kretsis, A., Kokkinos, P., Soumplis, P., Vegas Olmos, J. J.
, Fehér, M., Sipos, M. A.
, Lucani Rötter, D. E., Khabi, D., Masouros, D., Siozios, K., Bourgos, P., Tsekeridou, S., Zyulkyarov, F., Karanastasis, E., Chondrogiannis, E., Andronikou, V., Fernandez Gomez, A., Panica, S., Iuhasz, G. ... Varvarigos, M. (2021).
SERRANO: Transparent Application Deployment in a Secure, Accelerated and Cognitive Cloud Continuum. I
2021 IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2021 (s. 55-60). IEEE.
https://doi.org/10.1109/MeditCom49071.2021.9647689
Kragh, M. F., Rimestad, J., Lassen, J. T., Berntsen, J.
& Karstoft, H. (2022).
Predicting embryo viability based on self-supervised alignment of time-lapse videos.
IEEE Transactions on Medical Imaging,
41(2), 465-475. adv. onlinepublikation.
https://doi.org/10.1109/TMI.2021.3116986
Klionsky, D. J., Abeliovich, H., Agostinis, P., Agrawal, D. K., Aliev, G., Askew, D. S., Baba, M., Baehrecke, E. H., Bahr, B. A., Ballabio, A., Bamber, B. A., Bassham, D. C., Bergamini, E., Bi, X., Biard-Piechaczyk, M., Blum, J. S., Bredesen, D. E., Brodsky, J. L., Brumell, J. H. ... Deter, R. L. (2008).
Guidelines for the use and interpretation of assays for monitoring autophagy in higher eukaryotes.
Autophagy,
4(2), 151-75.
https://doi.org/10.4161/auto.5338
Kjær, T. W., Rank, M. L., Hemmsen, M. C.
, Kidmose, P. & Mikkelsen, K. (2022).
Repeated automatic sleep scoring based on ear-EEG is a valuable alternative to manually scored polysomnography.
PLOS Digital Health,
1(10), artikel e0000134.
https://doi.org/10.1371/journal.pdig.0000134
Khezri, R., Razmi, P., Mahmoudi, A., Bidram, A.
& Khooban, M. H. (2023).
Machine Learning-based Sizing of a Renewable-Battery System for Grid-Connected Homes with Fast-Charging Electric Vehicle.
IEEE Transactions on Sustainable Energy,
14(2), 837-848. adv. onlinepublikation.
https://doi.org/10.1109/TSTE.2022.3227003
Khawaja, A., Khan, T. M., Naveed, K., Naqvi, S. S.
, Rehman, N. U. & Nawaz, S. J. (2019).
An Improved Retinal Vessel Segmentation Framework Using Frangi Filter Coupled With the Probabilistic Patch Based Denoiser.
IEEE Access,
7, 164344-164361.
https://doi.org/10.1109/access.2019.2953259
Khare, S. K., March, S., Barua, P. D., Gadre, V. M. & Acharya, U. R. (2023).
Application of data fusion for automated detection of children with developmental and mental disorders: A systematic review of the last decade.
Information Fusion,
99, artikel 101898.
https://doi.org/10.1016/j.inffus.2023.101898
Khan, T. M., Khan, M. A. U.
, Rehman, N. U., Naveed, K., Afridi, I. U., Naqvi, S. S. & Raazak, I. (2022).
Width-wise vessel bifurcation for improved retinal vessel segmentation.
Biomedical Signal Processing and Control,
71(Part A), artikel 103169.
https://doi.org/10.1016/j.bspc.2021.103169
Khan, N., Baig, F., Nawaz, S.
, Rehman, N. U. & Sharma, S. (2016).
Analysis of Power Quality Signals Using an Adaptive Time-Frequency Distribution.
Energies,
9(11), 933.
https://doi.org/10.3390/en9110933
Kazemi, Z., Rask, J. K., Gomes, C., Yildiz, E.
& Larsen, P. G. (2023).
Movable factory—A systematic literature review of concepts, requirements, applications, and gaps.
Journal of Manufacturing Systems,
69, 189-207.
https://doi.org/10.1016/j.jmsy.2023.06.008
Katikaridis, D., Moysiadis, V., Tsolakis, N., Busato, P., Kateris, D., Pearson, S.
, Sørensen, C. G. & Bochtis, D. (2022).
UAV-Supported Route Planning for UGVs in Semi-Deterministic Agricultural Environments.
Agronomy,
12(8), artikel 1937.
https://doi.org/10.3390/agronomy12081937
Kass, M. A., Grombacher, D., Griffiths, M., Vang, M. Ø., Liu, L. & Larsen, J. J. (2022).
A steady-state approach to surface nuclear magnetic resonance. I
Proceedings of the Symposium on the Application of Geophyics to Engineering and Environmental Problems, SAGEEP (s. 54). J and N Group, Ltd..
https://www.eegs.org/assets/docs/Symposium/2022SAGEEP/AbstractsbyAuthor/Kass%2C%20A%20STEADY-STATE%20APPROACH%20TO%20SURFACE%20NUCLEAR%20MAGNETIC%20RESONANCE%20-%20SAGEEP%202022%20-%20205367449.pdf