Publications at Department of Electrical and Computer Engineering

Under publication list you can find a complete list of the publications that are written by employees at the Publications at Department of Electrical and Computer Engineering for example journal articles, books, reports etc.

The department also publishes technical reports which you can read more about under Technical reports.

Under PhD dissertations you will find the department's published PhD dissertations.

Publication list

Sort by: Date | Author | Title

Mutarraf, M. U., Terriche, Y., Niazi, K. A. K., Vasquez, J. C. & Guerrero, J. M. (2018). Energy storage systems for shipboard microgrids—A review. Energies, 11(12), Article 3492. https://doi.org/10.3390/en11123492

Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K. (2018). Features of Integrated Model-Based Co-modelling and Co-simulation Technology. In A. Cerone & M. Roveri (Eds.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (pp. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

Villa-Henriksen, A. (2018). Internet-Based Harvest Fleet Logistic Optimisation. In Proceedings of the European Conference on Agricultural Engineering AgEng2018 (pp. 56) https://doi.org/10.18174/471679

Rezaeiyan, Y., Zamani, M., Shoaei, O. & Serdijn, W. A. (2018). Mixed-Signal IC With Pulse Width Modulation Wireless Telemetry for Implantable Cardiac Pacemakers in 0.18-μm CMOS. IEEE Transactions on Biomedical Circuits and Systems, 12(3), 589 - 600. https://doi.org/10.1109/TBCAS.2018.2819021

Rasmussen, I. A., Moeskops, B., Micheloni, C., Gócs, K., Jensen, A. L., Jørgensen, M. S., Kristensen, H., Willer, H. & Padel, S. (2018). Organic Knowledge Network Arable: D.4.3 Final report on evaluation of end-user material. https://orgprints.org/id/eprint/37847/2/OK_Net_WP4_D.4.3_final.pdf

Rasmussen, I. A. & Jensen, A. L. (2018). Organic Knowledge Network Arable OK-Net Arable: Online knowledge platform. Paper presented at Horizon 2020 Aarhus, Aarhus, Denmark. https://orgprints.org/id/eprint/32268/1/OK_Net_WP4_D4.1_Knowledge%20Platform_20161013.pdf

Fitzgerald, J., Gamble, C., Larsen, P. G., Pierce, K. & Woodcock, J. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (pp. 40-46). IEEE. https://doi.org/10.1109/FormaliSE.2015.14

Shabani, F., Seyedyazdi, M., Vaziri, M., Zarghami, M. & Vadhva, S. (2015). State Estimation of a Distribution System Using WLS and EKF Techniques. In Proceedings - 2015 IEEE 16th International Conference on Information Reuse and Integration, IRI 2015 (pp. 609-613). Article 7301033 Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IRI.2015.101

Foster, S. D., Miyazawa, A., Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G. (2014). An approach for managing semantic heterogeneity in Systems of Systems Engineering. In S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (Eds.), John Fitzgerald (pp. 113-118). IEEE. https://doi.org/10.1109/SYSOSE.2014.6892473

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

Hansen, J. P., Jespersen, L. M., Brunori, G., Jensen, A. L., Holst, K., Mathiesen, C., Halberg, N. & Rasmussen, I. A. (2014). ICT and social media as drivers of multi-actor innovation in agriculture. In World Conference on Computers in Agriculture, San Jose, Costa Rica, 2014 https://journals.sfu.ca/cigrp/index.php/Proc/article/view/162/161

Jensen, M. A. F., Grøn Sørensen, C. & Bochtis, D. (2013). Assessment of Track Sequence Optimization based on Recorded Field Operations. Paper presented at EFITA / WCCA / CIGR 2013, Torino, Italy. https://www.researchgate.net/publication/338435610_Assessment_of_Track_Sequence_Optimization_based_on_Recorded_Field_Operations

Bochtis, D. D., Grøn Sørensen, C., Busato, P. & Berruto, R. (2013). Benefits from optimal route planning based on B-patterns. Biosystems Engineering, 115(4), 389-395. https://doi.org/10.1016/j.biosystemseng.2013.04.006

Rehman, N. U., Park, C., Huang, N. E. & Mandic, D. P. (2013). Emd via memd: Multivariate noise-aided computation of standard emd. Advances in Adaptive Data Analysis, 05(02), 1350007. https://doi.org/10.1142/s1793536913500076

Macedo, H. D. & Touili, T. (2013). Mining Malware Specifications through Static Reachability Analysis.

Macedo, H. D. & Oliveira, J. N. (2013). Typing linear algebra: A biproduct-oriented approach.

Rasmussen, I. A. & Jensen, A. L. (2013, Aug). User guide. www.orgprints. https://orgprints.org/id/eprint/29427/1/2013_Screenshot_manual_Organic_Eprints.pdf

Ahmed, M. U., Rehman, N., Looney, D., Rutkowski, T. M., Kidmose, P. & Mandic, D. P. (2012). Multivariate entropy analysis with data-driven scales. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (pp. 3901-3904). IEEE. https://doi.org/10.1109/icassp.2012.6288770, https://doi.org/10.1109/ICASSP.2012.6288770

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

Bochtis, D., Sørensen, C. A. G., Jørgensen, R. N., Nørremark, M., Hameed, I. A. & Swain, K. C. (2011). Robotic weed monitoring. Acta Agriculturae Scandinavica, Section B - Soil & Plant Science, 61(3), 202-208. https://doi.org/10.1080/09064711003796428

Aggelopoulou, A. D., Bochtis, D., Fountas, S., Swain, K. C., Gemtos, T. A. & Nanos, G. D. (2011). Yield prediction in apple orchards based on image processing. Precision Agriculture, 12(3), 448-456. https://doi.org/10.1007/s11119-010-9187-0

Bochtis, D. & Grøn Sørensen, C. (2010). Agricultural fleet management: an operational research approach. Paper presented at World Congress of the International Commission of Agricultural and Biosystems Engineering (CIGR), Quebec, Canada. http://bioeng.ca/publications/meetings-papers?sobi2Task=sobi2Details&sobi2Id=383

Bochtis, D. & Grøn Sørensen, C. (2010). Agricultural fleet management: An operational research approach. In P. Savoie, J. Villeneuve & R. Morisette (Eds.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (pp. 212) https://www.researchgate.net/publication/267331059_AGRICULTURAL_FLEET_MANAGEMENT_AN_OPERATIONAL_RESEARCH_APPROACH

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

Grøn Sørensen, C. & Bochtis, D. (2010). Agricultural fleet management: A systems approach. Paper presented at 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., 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

Ibrahim, I. A. F. A. H., Bochtis, D., Grøn Sørensen, C. & Nørremark, M. (2010). Automated generation of guidance lines for operational field planning. Biosystems Engineering, 107(4), 294-306. https://doi.org/10.1016/j.biosystemseng.2010.09.001

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 presented at 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. Paper presented at 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. In P. Savoie, J. Villeneuve & R. Morisette (Eds.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (pp. 214) https://www.researchgate.net/publication/260600010_Automated_monitoring_of_variations_of_drying_conditions_in_a_seed_drying_facility

Swain, K. C., Zaman, Q. U., Schumann, A. W., Percival, D. C. & Bochtis, D. (2010). Computer vision system for wild blueberry fruit yield mapping. Biosystems Engineering, 106(4), 389-394. https://doi.org/10.1016/j.biosystemseng.2010.05.001

Bentsen, P., Nybo, J., Ring, C. & Wagner, S. (2010). Continuous healthcare: Removing the inconvenience of recharging. In 2010 4th International Conference on Pervasive Computing Technologies for Healthcare, Pervasive Health 2010 Article 5482263 https://doi.org/10.4108/ICST.PERVASIVEHEALTH2010.8900

Bochtis, D., Sørensen, C. A. G., Jørgensen, R. N. & Green, O. (2009). Modelling of material handling operations using controlled traffic. Biosystems Engineering, 103(4), 397-408. https://doi.org/10.1016/j.biosystemseng.2009.02.006

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2008). A roadmap for the rodin toolset. In Abstract State Machines, B and Z - First International Conference, ABZ 2008, Proceedings (pp. 347) https://doi.org/10.1007/978-3-540-87603-8_35

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

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

Abrial, J. R. & Hallerstede, S. (2007). Refinement, decomposition, and instantiation of discrete models: Application to event-B. Fundamenta Informaticae, 77(1-2), 1-28. https://dl.acm.org/doi/10.5555/2366448.2366450

Abrial, J. R., Butler, M., Hallerstede, S. & Voisin, L. (2006). An open extensible tool environment for event-B. In Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings (pp. 588-605). Springer Verlag. https://doi.org/10.1007/11901433_32

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

Voros, N. S., Snook, C. F., Hallerstede, S. & Masselos, K. (2005). Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language. Design Automation for Embedded Systems, 9(2), 67-99. https://doi.org/10.1007/s10617-005-1184-6

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

Johansen, P. (2004). Quantification of Cavitation in the Vicinity of Mechanical Heart Valves.

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

Woodcock, J. & Larsen, P. G. (1995). Guest Editorial: Introduction to Special Section. IEEE Transactions on Software Engineering, 21, 61-62. https://doi.org/10.1109/TSE.1995.10000

Displaying results 1001 to 1044 out of 1044

Technical reports

Department of Electrical and Computer Engineering publishes technical reports covering our research areas.

With the reports, we wish to communicate the newest knowledge and research to society ahead of and during the publication process which can take up to a year.

Read the technical reports by following the link below:

Technical Report Department of Electrical and Computer Engineering

PhD dissertations

At the Department of Electrical and Computer Engineering, PhD dissertations are published via Aarhus University Library's/State and University Library's online E-books platform that is open access. You can find the published dissertations by following the link below.

PhD dissertations at Department of Electrical and Computer Engineering

AU Engineering Profile

Download AU Engineering Profile 2013-2022:

Revised 22.02.2024

AU Engineering