Publikationer fra instituttet

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

Publikationsliste

Sortér efter: Dato | Forfatter | Titel

Jensen, M. A. F., Grøn Sørensen, C. & Bochtis, D. (2013). Assessment of Track Sequence Optimization based on Recorded Field Operations. Afhandling præsenteret på EFITA / WCCA / CIGR 2013, Torino, Italien. 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. I 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (s. 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. Afhandling præsenteret på 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. I P. Savoie, J. Villeneuve & R. Morisette (red.), XVIIth World Congress of the International Commission of Agricultural and Biosystems Engineering, Book of Abstracts (s. 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. 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. & 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., 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 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

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. I 2010 4th International Conference on Pervasive Computing Technologies for Healthcare, Pervasive Health 2010 Artikel 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. I Abstract State Machines, B and Z - First International Conference, ABZ 2008, Proceedings (s. 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. 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

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. I Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Proceedings (s. 588-605). Springer Verlag. https://doi.org/10.1007/11901433_32

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

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. 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

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

Viser resultater 1351 til 1383 ud af 1383

Forrige

Revideret 30.12.2025

AU Engineering