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.

Publication list

Sort by: Date | Author | Title

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 1451 to 1470 out of 1470

Revised 30.12.2025

AU Engineering