Publikationer fra instituttet

Under publikationsliste finder du en samlet liste over de publikationer, som er lavet af medarbejdere ved Institut for Elektro- og Computerteknolog.

Publikationsliste

Sortér efter: Dato | Forfatter | Titel

Hansen, J. G. & de Figueiredo, R. P. (2024). Active Object Detection and Tracking Using Gimbal Mechanisms for Autonomous Drone Applications. Drones, 8(2), Artikel 55. https://doi.org/10.3390/drones8020055

Hansen, M. T., Ulsig, E. Z., Labbé, F., Madsen, M. L., Ding, Y., Rottwitt, K. & Volet, N. (2023). Efficient and robust second-harmonic generation in thin-film lithium niobate using modal phase matching. Frontiers in Photonics, 4, Artikel 1324648. https://doi.org/10.3389/fphot.2023.1324648

Hansen, S. T., Kamburjan, E. & Kazemi, Z. (2025). Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. I T. Margaria & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (s. 47-61). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-75390-9_4

Hansen, S. K., Hansen, P., Berry, T. W., Grønbæk, H. D., Olsen, C. M., Merhi, Y., Agarwala, S., Aagaard, P., Hvid, L. G., Agergaard, J., Dela, F. & Suetta, C. (2025). Effects of neuromuscular electrical stimulation on voluntary muscle activation and peripheral muscle contractility following short-term bed rest. Experimental Physiology. Advance online publication. https://doi.org/10.1113/EP092194

Hansen, S. T. (2023). Accurate Co-simulation of Cyber-Physical Systems. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Han, G., Mofid, O., Mobayen, S. & Khooban, M. H. (2024). Adaptive prescribed performance based on recursive nonsingular terminal sliding mode control for quad-rotor systems under uncertainty and disturbance: real-time validation. Aerospace Science and Technology, 147, Artikel 109028. https://doi.org/10.1016/j.ast.2024.109028

Hallerstede, S. & Butler, M. (2004). Performance analysis of probabilistic action systems. Formal Aspects of Computing, 16(4), 313-331. https://doi.org/10.1007/s00165-004-0037-6

Hallerstede, S. (2003). Parallel hardware design in B. I D. Bert, J. P. Bowen, S. King & M. Walden (red.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (s. 101-102). Springer Verlag. https://doi.org/10.1007/3-540-44880-2_8

Hallerstede, S. (2006). Justifications for the event-b modelling notation. I J. Julliand & O. Kouchnarenko (red.), B 2007: Formal Specification and Development in B - 7th International Conference of B Users, Proceedings (s. 49-63). Springer Verlag. https://doi.org/10.1007/11955757_7

Hallerstede, S. & Hoang, T. S. (2007). Qualitative probabilistic modelling in Event-B. I Integrated Formal Methods - 6th International Conference, IFM 2007, Proceedings (s. 293-312). Springer Verlag. https://doi.org/10.1007/978-3-540-73210-5_16

Hallerstede, S. & Kamburjan, E. (2023). Applications of Formal Methods and Digital Twins. CEUR Workshop Proceedings, 3507. https://ceur-ws.org/Vol-3507/xpreface.pdf

Hallerstede, S. & Kamburjan, E. (red.) (2023). Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023). CEUR-WS.org. CEUR Workshop Proceedings Bind 3507 https://ceur-ws.org/Vol-3507/

Hallerstede, S. & Hatcliff, J. (2024). A Mechanized Semantics for Component-Based Systems in the HAMR AADL Runtime. I J. Cámara & S.-S. Jongmans (red.), Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers (1 udg., s. 45-64). Springer. https://doi.org/10.1007/978-3-031-52183-6_3

Hallerstede, S. (2022, jun. 14). Book review: Decision Procedures – An Algorithmic Point of View. (2 udg.) Springer Berlin, Heidelberg. Texts in Theoretical Computer Science. An EATCS Series https://www.fmeurope.org/2022/06/14/book-review-decision-procedures-an-algorithmic-point-of-view/

Hallerstede, S. & Hatcliff, J. (2025). A mechanized semantics for component-based systems in the HAMR AADL runtime. Science of Computer Programming, 245, Artikel 103312. https://doi.org/10.1016/j.scico.2025.103312

Hallerstede, S., Robby & Hatcliff, J. (2025). Danvy’s Mystery Functions in Slang. I F. Henglein, J. Lawall, J. Palsberg & S. Ilya (red.), OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (s. 14-25). Association for Computing Machinery. https://doi.org/10.1145/3759427.3760363

Haldrup, M., Rasmussen, M., Mohamad, N., Dyrskog, S., Thorup, L., Mikic, N., Wismann, J., Grønhøj, M., Poulsen, F. R., Nazari, M., Rehman, N. U., Simonsen, C. Z. & Korshøj, A. R. (2023). Intraventricular Lavage vs External Ventricular Drainage for Intraventricular Hemorrhage: A Randomized Clinical Trial. JAMA network open, 6(10), e2335247. Artikel e2335247. https://doi.org/10.1001/jamanetworkopen.2023.35247

Haldrup, M., Nazari, M., Gu, C., Rasmussen, M., Dyrskog, S., Ziegler Simonsen, C., Grønhøj, M., Poulsen, F. R., Ur Rehman, N. & Rosendal Korshoej, A. (2024). Reliability and performance of the IRRAflow® system for intracranial lavage and evacuation of hematomas-A technical note. PLoS One, 19(4 April), Artikel e0297131. https://doi.org/10.1371/journal.pone.0297131

Haiyang, Y., Ruige, G., Zhongda, Z., Yuzhang, Z., Xiaobo, Z., Tao, L. & Haiyan, W. (2025). U-TransCNN: A U-shape transformer-CNN fusion model for underwater image enhancement. Displays, 88, Artikel 103047. https://doi.org/10.1016/j.displa.2025.103047

Hageman, K., Feal, A., Gamba, J., Girish, A., Bleier, J., Lindorfer, M., Tapiador, J. & Vallina-Rodriguez, N. (2023). Mixed Signals: Analyzing Software Attribution Challenges in the Android Ecosystem. IEEE Transactions on Software Engineering, 49(4), 2964-2979. https://doi.org/10.1109/TSE.2023.3236582

Hageman, K. & Hylsberg Jacobsen, R. (2024). On the Scheduling of Spatio-Temporal Charging Windows for Autonomous Drone Fleets. IEEE Access, 12, 74291-74304. https://doi.org/10.1109/ACCESS.2024.3405796

Hadi Mogavi, R., Son, J., Yang, S., Wang, D. M., Choong, L., Alhilal, A., Zhou, P. Y., Hui, P. & Nacke, L. E. (2024). The Jade Gateway to Exergaming: How Socio-Cultural Factors Shape Exergaming Among East Asian Older Adults. Proceedings of the ACM on Human-Computer Interaction, 8, Artikel 341. https://doi.org/10.1145/3677106

Gudjonsdottir, M. S., Audunsson, H., Donoso, A. M., Kristjansson, G., Saemundsdóttir, I., Foley, J. T., Kyas, M., Sripakagorn, A., Roslöf, J., Bennedsen, J., Edström, K., Kuptasthien, N. & Lyng, R. (2022). Editorial. Proceedings of the International CDIO Conference, iii-iv.

Gu, X., Wang, X., Feng, Y., Long, Y., Mukherjee, M., Pan, Z., Guo, M. & Zhang, Q. (2022). Demo: TINGLE: Pushing Edge Intelligence in Synchronization and Useful Data Transfer for Human-Robotic Arm Interactions. I INFOCOM WKSHPS 2022 - IEEE Conference on Computer Communications Workshops IEEE. https://doi.org/10.1109/INFOCOMWKSHPS54753.2022.9798353

Grøn Sørensen, C., Pesonen, L., Fountas, S., Suomi, P., Bochtis, D., Bildsøe, P. & Pedersen, S. M. (2010). A user-centric approach for information modelling in arable farming. Computers and Electronics in Agriculture, 73(1), 44-55. https://doi.org/10.1016/j.compag.2010.04.003

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural fleet management: A systems approach. Afhandling præsenteret på World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=23&sobi2Id=324

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural Fleet Management: A system approach. I P. Savoie, J. Villeneuve & R. Morisette (red.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (s. 182) https://www.semanticscholar.org/paper/AGRICULTURAL-FLEET-MANAGEMENT%3A-A-SYSTEM-APPROACH-Soerensen-Bochtis/f48b196d036719a0003cc4f1686473b70a737634

Grøn Sørensen, C., Dybro, N., M. Allen, C., Grift, T. & C. Hansen, A. (2021). A Grain Production System Analysis Towards Scalable Machine Systems. Poster-session præsenteret på ASABE.

Grøn Sørensen, C. (2023). Smart Farming and Circular Systems. I Q. Zhang (red.), Encyclopedia of Smart Agriculture Technologies (s. 1-7). Springer. https://doi.org/10.1007/978-3-030-89123-7_254-1

Grøn Sørensen, C. & Andersen, J. V. (2025). What if? Ways forward based on the 2025 START Green Minds Gather Conference for an accelerated, research-based green transition in European agrifood systems. START Centre for Sustainable Agrifood Systems.

Grombacher, D., Liu, L., Griffiths, M. P., Vang, M. & Larsen, J. J. (2021). Steady-State Surface NMR for Mapping of Groundwater. Geophysical Research Letters, 48(23), Artikel e2021GL095381. https://doi.org/10.1029/2021GL095381

Grombacher, D., Griffiths, M. P., Liu, L., Vang, M. & Larsen, J. J. (2022). Frequency Shifting Steady-State Surface NMR Signals to Avoid Problematic Narrowband-Noise Sources. Geophysical Research Letters, 49(7), Artikel e2021GL097402. https://doi.org/10.1029/2021GL097402

Grombacher, D., Griffiths, M. P., Kass, M. A. & Larsen, J. J. (2024). An investigation of factors affecting the depths of steady-state surface nuclear magnetic resonance signals. Geophysics, 89(2), J9-J17. https://doi.org/10.1190/geo2023-0068.1

Grombacher, D., Griffiths, M. P., Vang, M. Ø., Kass, M. A. & Larsen, J. J. (2024). Observation of spikelets in steady-state surface nuclear magnetic resonance data. Geophysics, 89(2), J1-J8. https://doi.org/10.1190/GEO2023-0145.1

Griffiths, M. P., Grombacher, D. J. & Larsen, J. J. (2021). Efficient numerical Bloch solutions for multipulse surface NMR. Geophysical Journal International, 227(3), 1905-1916. https://doi.org/10.1093/gji/ggab321

Griffiths, M. P., Grombacher, D., Liu, L., Vang, M. Ø. & Larsen, J. J. (2022). Forward Modeling Steady-State Free Precession in Surface NMR. IEEE Geoscience and Remote Sensing Letters, 60, Artikel 4513510. https://doi.org/10.1109/TGRS.2022.3221624

Griffiths, M. P., Grombacher, D., Kass, M. A., Vang, M., Liu, L. & Larsen, J. J. (2023). A surface NMR forward in a dot product. Geophysical Journal International, 234(3), 2284-2290. https://doi.org/10.1093/gji/ggad203

Griffiths, M. P., Grombacher, D., Mashhadi, S. R. & Larsen, J. J. (2024). Ground-Truth Validation of T₂ Estimates From Steady-State Surface NMR. Geophysical Research Letters, 51(24), Artikel e2024GL112094. https://doi.org/10.1029/2024GL112094

Griffiths, M., Grombacher, D., Kass, M. A., Liu, L., Vang, M. & Larsen, J. J. (2022). A Reformulated Surface Nmr Forward For Multi-Sequence Acquisitions. I 28th European Meeting of Environmental and Engineering Geophysics, Held at the Near Surface Geoscience Conference and Exhibition 2022, NSG 2022 European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202220109

Griffiths, M. P., Grombacher, D., Mashhadi, S. R. & Larsen, J. J. (2024). Ground-truth Validation of T₂ Estimates from Steady-state Surface NMR. Abstract fra AGU Fall meeting 2024, Washington DC, USA.

Griffiths, M. P., Grombacher, D. & Larsen, J. J. (2024). Synthetic studies to investigate the ability of steady-state surface NMR to resolve T2. I NSG 2024 30th European Meeting of Environmental and Engineering Geophysics (s. 1-5). European Association of Geoscientists and Engineers. https://doi.org/10.3997/2214-4609.202420092

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Poster-session præsenteret på World Congress of the International Commission of Agricultural Engineering (CIGR), Sustainable biosystems through engineering, Quebec, Canada. https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. Afhandling præsenteret på World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Sustainable Biosystems Through Engineering, Quebec City, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&catid=25&sobi2Id=387

Green, O., Juul Larsen, J., Kristensen, E. F., Nadimi, E. S., Jørgensen, J. R., Ibrahim, I. A. F. A. H., Bochtis, D. & Grøn Sørensen, C. (2010). Automated monitoring of variations of drying conditions in a seed drying facility. I P. Savoie, J. Villeneuve & R. Morisette (red.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (s. 214) https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Green, O., Lamandé, M., Schjønning, P., Sørensen, C. A. G. & Bochtis, D. (2011). Reducing the risk of soil compaction by applying "Jordværn Online"® when performing slurry distribution. Acta Agriculturae Scandinavica, Section B - Soil & Plant Science, 61(3), 209-213. https://doi.org/10.1080/09064710.2010.490535

Gravesen, K. B., Gardner, A. B., Ulsig, E. Z., Stanton, E. J., Hansen, M. T., Thomsen, S. T., Ahler, L. & Volet, N. (2024). Nonlinear Schrödinger equation for integrated photonics. Journal of the Optical Society of America B: Optical Physics, 41(6), 1451-1456. https://doi.org/10.1364/JOSAB.517190

Gonçalves Gomes, C. Â., Abbiati, G. & Larsen, P. G. (2021). Seismic Hybrid Testing using FMI-based Co-Simulation. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 287-295) https://doi.org/10.3384/ecp21181287

Gonçalves Gomes, C. Â., Najafi, M., Sommer, T., Blesken, M., Zacharias, I., Kotte, O., Mai, P. R., Schuch, K., Wernersson, K., Bertsch, C., Blochwitz, T. & Junghanns, A. (2021). The FMI 3.0 Standard Interface for Clocked and Scheduled Simulations. I M. Sjölund, L. Buffoni, A. Pop & L. Ochel (red.), Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021 (s. 27-36) https://doi.org/10.3384/ecp2118127

Gomes Guerreiro, G. M., Martin, F., Yang, G. & Andresen, B. (2022). New pathways to future grid compliance for wind power plants. 115-121. https://doi.org/10.1049/icp.2022.2745

Gomes Guerreiro, G. M., Frank, M., Dreyer, T., Yang, G. & Andresen, B. (2024). Advancements on Grid Compliance in Wind Power: Component & Subsystem Testing, Software-/Hardware-in-the-Loop, and Digital Twins. IEEE Access, 12, 25949-25966. https://doi.org/10.1109/ACCESS.2024.3366091

Viser resultater 851 til 900 ud af 1301

Forrige

Næste

Revideret 13.11.2025

AU Engineering