Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
Visual Studio Code VDM Support. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 35-50)
https://arxiv.org/pdf/2101.07261.pdf
Rask, J. K., Madsen, F. P., Battle, N.
, Macedo, H. D. & Larsen, P. G. (2021).
The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions. In J. Proença & A. Paskevich (Eds.),
Proceedings of the 6th Workshop on Formal Integrated Development Environment (Vol. 338, pp. 3-18). Open Publishing Association. Electronic Proceedings in Theoretical Computer Science Vol. 388
https://doi.org/10.4204/EPTCS.338.3
Rask, J. K., Madsen, F. P., Battle, N., Freitas, L.
, Macedo, H. D. & Larsen, P. G. (2022).
Advanced VDM Support in Visual Studio Code. In H. D. Macedo & K. Pierce (Eds.),
Proceedings of the 20th International Overture Workshop (pp. 34-49)
https://doi.org/10.48550/arXiv.2208.10233
Rashidi, A., Zamani, M., Mondal, T.
, Hosseini, S., Laursen, K., Corbett, B.
& Moradi, F. (2023).
Ultrasonically Powered and Controlled Microsystem for Dual-Wavelength Optogenetics With a Multiload Regulation Scheme.
IEEE Solid-State Circuits Letters, 33-36.
https://doi.org/10.1109/LSSC.2023.3239601
Pradeepkumar, J., Anandakumar, M., Kugathasan, V., Lalitharatne, T. D., De Silva, A. C.
& Kappel, S. L. (2021).
Decoding of Hand Gestures from Electrocorticography with LSTM Based Deep Neural Network. In
43rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2021 (pp. 420-423). Institute of Electrical and Electronics Engineers Inc.. Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS
https://doi.org/10.1109/EMBC46164.2021.9630958
Potapenko, I.
, Thiesson, B., Kristensen, M., Hajari, J. N.
, Ilginis, T., Fuchs, J., Hamann, S. & la Cour, M. (2022).
Automated artificial intelligence-based system for clinical follow-up of patients with age-related macular degeneration.
Acta Ophthalmologica,
100(8), 927-936.
https://doi.org/10.1111/aos.15133
Phan, H.
, Mikkelsen, K., Chen, O. Y., Koch, P., Mertins, A. & De Vos, M. (2022).
SleepTransformer: Automatic Sleep Staging With Interpretability and Uncertainty Quantification.
IEEE Transactions on Biomedical Engineering,
69(8), 2456-2467.
https://doi.org/10.1109/TBME.2022.3147187
Pham, X. H., Bozcan, I., Sarabakha, A., Haddadin, S.
& Kayacan, E. (2021).
GateNet: An Efficient Deep Neural Network Architecture for Gate Perception Using Fish-Eye Camera in Autonomous Drone Racing. Paper presented at 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems, Prag, Czech Republic.
https://sarabakha.info/files/papers/conference/IROS_2021.pdf
Pedersen, L.
, Wagner, S., Skov, H. & Sandager, P. (2023).
A Time Study for the Analysis of the Potential for the Automated Stepwise Screening Program for Preeclampsia at Week 12 of Gestation. In G. A. Papadopoulos, A. Achilleos, E. Pissaloux & R. Velázquez (Eds.),
ICT for Health, Accessibility and Wellbeing - 2nd International Conference, IHAW 2022, Revised Selected Papers (pp. 189-199). Springer. Communications in Computer and Information Science Vol. 1799
https://doi.org/10.1007/978-3-031-29548-5_13
Payne, D. N. R., Abbott, M. D., Claville Lopez, A., Zeng, Y., Hang Fung, T., R. McIntosh, K., Cruz-Campa, J.
, Davidsen, R. S., Plakhotnyuk, M. & Bagnall, D. M. (2017).
Rapid optical modelling of plasma textured silicon. In
Proceedings of the 33rd European Photovoltaic Solar Energy Conference and Exhibition (EUPVSEC)
Passalis, N., Kanniainen, J., Gabbouj, M.
, Iosifidis, A. & Tefas, A. (2021).
Forecasting Financial Time Series Using Robust Deep Adaptive Input Normalization.
Journal of Signal Processing Systems,
93(10), 1235-1251.
https://doi.org/10.1007/s11265-020-01624-0
Park, C., Looney, D.
, Rehman, N. U., Ahrabian, A. & Mandic, D. P. (2013).
Classification of Motor Imagery BCI Using Multivariate Empirical Mode Decomposition.
IEEE Transactions on Neural Systems and Rehabilitation Engineering,
21(1), 10-22.
https://doi.org/10.1109/tnsre.2012.2229296
Oudshoorn, F. W., Bartzanas, T., Holden, N., Järvinen, M.
, Jensen, A. L., Lauwers , L., Vandaele, L., Guckt, T. V. D., Van Nuffel, A., Saeys, W.
& Grøn Sørensen, C. (2014).
ICT-AGRI Call 2 Mid-term Project Report: SILF: Smart Integrated Livestock Farming.
https://pureportal.ilvo.be/en/publications/ict-agri-call-2-mid-term-project-report-silf-smart-integrated-liv
Oshnoei, S., Aghamohammadi, M. R., Oshnoei , S., Sahoo, S.
, Fathollahidehkordi, A. & Khooban, M. H. (2023).
A novel virtual inertia control strategy for frequency regulation of islanded microgrid using two-layer multiple model predictive control.
Applied Energy,
343, [121233].
https://doi.org/10.1016/j.apenergy.2023.121233
Oda, T., Akari, K., Yamamoto, Y., Nakakoji, K., Chang, H-M.
& Larsen, P. G. (2021).
Specifying Abstract User Interface in VDM-SL. In J. Fitzgerald, T. Oda & H. D. Macedo (Eds.),
Proceedings of the 18th International Overture Workshop (pp. 5-20)
https://arxiv.org/pdf/2101.07261.pdf
Oda, T., Araki, K., Sahara, S., Chang, H-M.
& Larsen, P. G. (2021).
Refactoring for Exploratory Specification in VDM-SL. In H. D. Macedo, C. Thule & K. Pierce (Eds.),
Proceedings of the 19th International Overture Workshop (pp. 21-35)
https://arxiv.org/abs/2110.09371