Publikationer fra instituttet

Under publikationsliste finder du en samlet liste over de publikationer, som er lavet af medarbejdere ved Institut for Elektro- og Computerteknologi for eksempel tidsskriftsartikler, bøger, rapporter m.v.

Instituttet udgiver også tekniske rapporter, som du kan læse mere om under Tekniske rapporter.

Under ph.d.-afhandlinger finder du instituttets publicerede ph.d.-afhandlinger.

Publikationsliste

Sortér efter: Dato | Forfatter | Titel

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/

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

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

Gul, S., Siddiqui, M. F. & Rehman, N. U. (2019). FPGA Based Real-Time Implementation of Online EMD With Fixed Point Architecture. IEEE Access, 7, 176565-176577. https://doi.org/10.1109/access.2019.2957819

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

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

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

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, C., Franceschini, R., Battle, N., Thule, C., Lausdahl, K., Vangheluwe, H. & Larsen, P. G. (2020). Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units. I Proceedings of the American Modelica Conference 2020 (s. 149-158). Linköping University Electronic Press. https://doi.org/10.3384/ecp20169149

Gomes, C., Lucani Rötter, D. E., Iosifidis, A., Feng, H., Ejersbo, H. & Frasheri, M. (2024). Sensing and Communication of Data from the Physical Twin. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 147-171). Springer. https://doi.org/10.1007/978-3-031-66719-0_7#citeas

Gomes, C., Oakes, B. J., Fitzgerald, J. & Larsen, P. G. (2024). Foundational Concepts for Digital Twins of Cyber-Physical Systems. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 45-63). Springer. https://doi.org/10.1007/978-3-031-66719-0_3

Gomes, C., Feng, H., Kazemi, Z. & Pierce, K. (2024). Calibration of Models for Digital Twins. I J. Fitzgerald, C. Gomes & P. G. Larsen (red.), The Engineering of Digital Twins (s. 129-146). Springer. https://doi.org/10.1007/978-3-031-66719-0_6

Glukhov, A., Bridarolli, D., Ricci, S., Li, R., Shreya, S., Farkhani, H., Moradi, F. & Ielmini, D. (2023). Compact Modeling of Resistive Switching Memory (RRAM) With Voltage and Temperature Dependences. I 2023 IEEE Nanotechnology Materials and Devices Conference (NMDC) (s. 793-797). IEEE. https://doi.org/10.1109/NMDC57951.2023.10343984

Gislum, R., Holst, N., Mortensen, A. K., Larsen, R., Andersen, M. N., Thomsen, I. K. & Hansen, E. M., (2022). Omregningsfaktor fra NDVI og NDRE til kg N optag/ha, Nr. 2022-0389751, 9 s., sep. 19, 2022. Rådgivningsnotat fra DCA - Nationalt Center for Fødevarer og Jordbrug

Gislum, R., Larsen, R., Thomsen, I. K., Greve, M. B., Hansen, E. M. & Nyholm Jørgensen, R., (2023). Betingelse for indsamling af data til brug for omregningsfaktor mellem NDV/NDRE og planteoptag af kvælstof, Nr. 2023-0543874, 8 s., aug. 23, 2023. Rådgivningsnotat fra DCA - Nationalt Center for Fødevarer og Jordbrug

Gil Arboleda, S., Zapata-Madrigal, G. D., García-Sierra, R. & Cruz Salazar, L. A. (2022). Converging IoT protocols for the data integration of automation systems in the electrical industry. Journal of Electrical Systems and Information Technology, 9(1), 1-21. Artikel 1. https://doi.org/10.1186/s43067-022-00043-4

Gil Arboleda, S., Mikkelsen, P. H., Gomes, C. & Larsen, P. G. (2024). Survey on open-source digital twin frameworks–A case study approach. Software: Practice and Experience, 54(6), 929-960. https://doi.org/10.1002/spe.3305

Gil Arboleda, S., Mikkelsen, P. H., Tola, D., Schou, C. & Larsen, P. G. (2023). A Modeling Approach for Composed Digital Twins in Cooperative Systems. I 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA) (s. 1-8). IEEE. https://doi.org/10.1109/ETFA54631.2023.10275601

Gil Arboleda, S., Schou, C., Mikkelsen, P. H. & Larsen, P. G. (2024). Integrating Skills into Digital Twins in Cooperative Systems. I 2024 IEEE/SICE International Symposium on System Integration (SII) (s. 1124-1131). IEEE. https://doi.org/10.1109/SII58957.2024.10417610

Gil Arboleda, S. (2024). Towards realization of Digital Twins for systems with coupled behavior. Aarhus University.

Gheisarnejad Chirani, M. & Khooban, M. H. (2021). Multi-microgrids with a Frequency Regulation-Based V2G Technology: Systems Analysis, Modeling, and Control. I Design, Control, and Operation of Microgrids in Smart Grids: Power Systems (s. 1-26). Springer. https://doi.org/10.1007/978-3-030-64631-8_1

Gheisarnejad Chirani, M., Mohammadzadeh, A., Farsizadeh, H. & Khooban, M. H. (2022). Stabilization of 5G telecom Converter-Based Deep Type-3 Fuzzy Machine Learning Control for Telecom Applications. IEEE Transactions on Circuits and Systems II: Express Briefs, 69(2), 544-548. https://doi.org/10.1109/TCSII.2021.3102282

Gheisarnejad Chirani, M., Sharifzadeh, M., Khooban, M. H. & Al-Haddad, K. (2021). A Robust Ultra-Local Model Control with DC Capacitor Voltage-Balancing for PEC9 Inverter. I 2021 IEEE Energy Conversion Congress and Exposition, ECCE 2021 - Proceedings (s. 2601-2606). IEEE. https://doi.org/10.1109/ECCE47101.2021.9595329

Gheisarnejad Chirani, M., Mohammadzadeh, A. & Khooban, M. H. (2022). Model Predictive Control-Based Type-3 Fuzzy Estimator for Voltage Stabilization of DC Power Converters. IEEE Transactions on Industrial Electronics, 69(12), 13849-13858. https://doi.org/10.1109/TIE.2021.3134052

Gheisarnejad Chirani, M., Sharifzadeh, M., Khooban, M. H. & Al-Haddad, K. (2023). Adaptive Fuzzy Q-Learning Control Design and Application to Grid-Tied Nine-level Packed E-Cell (PEC9) Inverter. IEEE Transactions on Industrial Electronics, 70(1), 1071-1076. https://doi.org/10.1109/TIE.2022.3153803

Viser resultater 701 til 750 ud af 1043

Forrige

Næste

Tekniske rapporter

Institut for Elektro- og Computerteknologi udgiver en serie af tekniske rapporter.

Formålet med rapporterne er at formidle aktuel viden til omverdenen forud for og under publiceringsprocessen, som i nogle tilfælde kan tage op til et år.

Læs de tekniske rapporter ved at klikke nedenfor:

Technical Report Department of Electrical and Computer Engineering

Ph.d.-afhandlinger

Ph.d.-afhandinger ved Institut for Elektro- og Computerteknologi udgives gennem Statsbibliotekets/AU library's online E-books platform, hvor der er open access. Du kan finde publicerede afhandlinger ved at følge linket nedenfor.

Ph.d.-afhandlinger ved Institut for Elektro- og Computerteknologi

AU Engineering Profile

Download AU Engineering Profile 2013-2022:

Revideret 22.02.2024

AU Engineering