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

Li, B., Schultz, C. P. L., Melzner, J., Golovina, O. & Teizer, J. (2020). Safe and Lean Location-based Construction Scheduling. I H. Osumi, H. Furuya & K. Tateyama (red.), Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC 2020): From Demonstration to Practical Use - To New Stage of Construction Robot - (s. 1409-1416). International Association for Automation and Robotics in Construction (IAARC). https://doi.org/10.22260/ISARC2020/0195

Fehér, M., Yazdani, N., Aranha, D. F., Lucani Rötter, D. E., Hansen, M. T. & Vester, F. E. (2020). Side Channel Security of Smart Meter Data Compression Techniques. I 2020 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2020: Proceedings Artikel 9302931 IEEE. https://doi.org/10.1109/SmartGridComm47815.2020.9302931

Fehér, M., Yazdani, N., Hansen, M. T., Vester, F. E. & Lucani Rötter, D. E. (2020). Smart Meter Data Compression using Generalized Deduplication. I 2020 IEEE Global Communications Conference, GLOBECOM 2020 - Proceedings: Proceedings Artikel 9322393 IEEE. https://doi.org/10.1109/GLOBECOM42002.2020.9322393

Heidari, N. & Iosifidis, A. (2020). Temporal Attention-Augmented Graph Convolutional Network for Efficient Skeleton-Based Human Action Recognition. I Proceedings of ICPR 2020 - 25th International Conference on Pattern Recognition (s. 7907-7914). Artikel 9412091 IEEE. https://doi.org/10.1109/ICPR48806.2021.9412091

Battle, N., Thule, C., Gonçalves Gomes, C. Â., Macedo, H. D. & Larsen, P. G. (2020). Towards a Static Check of FMUs in VDM-SL. 272-288. https://doi.org/10.1007/978-3-030-54997-8_18

Bozcan, I. & Kayacan, E. (2020). UAV-AdNet: Unsupervised Anomaly Detection using Deep Neural Networks for Aerial Surveillance. I 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (s. 1158-1164). Artikel 9341790 IEEE. https://doi.org/10.1109/IROS45743.2020.9341790

Gheisarnejad Chirani, M., Khooban, M. H. & Boudjadar, J. (2019). Adaptive Network Based Fuzzy Inference System for Frequency Regulation in Modern Maritime Power Systems. Afhandling præsenteret på IEEE 5th International Forum on Research and Technology for Society and Industry, Firenze, Italien. https://doi.org/10.1109/RTSI.2019.8895596

Frederiksen, T. & Larsen, J. J. (2019). Detection of Capacitive Couplings in Ground-Based TEM Data with a 1D Convolutional Neural Network. Afhandling præsenteret på 25th European Meeting of Environmental and Engineering Geophysics, Held at Near Surface Geoscience Conference and Exhibition 2019, NSG 2019, The Hague, Holland.

Agarwala, S. (2019). Enabling new possibilities in smart textiles through printed electronics. I 2019 IEEE 9th International Nanoelectronics Conferences, INEC 2019 Artikel 8853853 IEEE. https://doi.org/10.1109/INEC.2019.8853853

Legaard, C. M., Thule, C. & Larsen, P. G. (2019). Towards Graphical Configuration in the INTO-CPS Application. I 17TH OVERTURE WORKSHOP

Lading, T., Lindskow, T., Sharghbin, M., Benhassen, L. L., Bechsgaard, T. K., Røpcke, D. M., Nielsen, S. L. & Johansen, P. (2018). Aortic valve repair techniques affect the annulus differently: an In Vitro characterization. The Journal of Heart Valve Disease, 27(4), 251-58.

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. I A. Cerone & M. Roveri (red.), Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers (s. 377-390). Springer. https://doi.org/10.1007/978-3-319-74781-1_26

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. Afhandling præsenteret på Horizon 2020 Aarhus, Aarhus, Danmark. 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. I Proceedings of the 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) (s. 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. I Proceedings - 2015 IEEE 16th International Conference on Information Reuse and Integration, IRI 2015 (s. 609-613). Artikel 7301033 IEEE. 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. I S. Cook, V. Ireland, A. Gorod, T. Ferris & Q. Do (red.), John Fitzgerald (s. 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. I 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. 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

Viser resultater 1401 til 1450 ud af 1453

Forrige

Næste

Revideret 30.12.2025

AU Engineering