Publications

Due to maintenance work, it is currently not possible to search for publications by author.

Year

2024 224
2023 722
2022 795
2021 676
2020 596
2019 572
2018 536
2017 507
2016 541
2015 540
2014 578
2013 504
2012 609
2011 589
2010 572
2009 533
2008 506
2007 370
2006 377
2005 327
2004 270
2003 256
2002 203
2001 182
2000 171
1999 101
1998 102
1997 116
1996 80
1995 97
1994 105
1993 128
1992 144
1991 119
1990 58
1989 26
1988 10
1987 16
1986 8
1985 1
1983 1

Displaying results 1 to 10 of 12875.

Christoph Manss; Viktor Martel; Roman Weisgerber

Assessment of Ground Conditions in Grassland on a Mower with Artificial Intelligence

In: Informatik in der Land-, Forst- und Ernährungswirtschaft. GIL-Jahrestagung (GIL-2024), Fokus: Biodiversität fördern durch digitale Landwirtschaft, …
Lena Herrmann; Jan Christoph Krause

Agrar-Robotik meets MLOps

In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.
Sergiy Melnyk; Shreya Tayade; Mervat Zarour; Hans Dieter Schotten

Wireless Industrial Communication and Control System: AI Assisted Blind Spot Detection-and-Avoidance for AGVs

In: 3rd International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022). International Conference on Innovative …
Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

LLM-Assisted High Quality Invariants Generation for Formal Verification

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …
Caroline Dominik; Rolf Drechsler

Polynomial Formal Verification of Sequential Circuits

In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
Mohamed Nadeem; Chandan Jha; Rolf Drechsler

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.
Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on …
André Meyer-Vitali

AI Engineering for Trust by Design

In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …
Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

Towards muscle sensing by a non-contact optical systemusing photogrammetry

In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical …

Year

2024 224
2023 722
2022 795
2021 676
2020 596
2019 572
2018 536
2017 507
2016 541
2015 540
2014 578
2013 504
2012 609
2011 589
2010 572
2009 533
2008 506
2007 370
2006 377
2005 327
2004 270
2003 256
2002 203
2001 182
2000 171
1999 101
1998 102
1997 116
1996 80
1995 97
1994 105
1993 128
1992 144
1991 119
1990 58
1989 26
1988 10
1987 16
1986 8
1985 1
1983 1