Publikationen

Jahr

2024 114
2023 712
2022 796
2021 675
2020 594
2019 567
2018 536
2017 506
2016 540
2015 539
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

Zeige Ergebnisse 41 bis 50 von 12745

Klaus Bengler; Werner Damm; Andreas Luedtke; Jochem Rieger; Benedikt Austel; Bianca Biebl; Martin Fränzle; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Alyssa J Kerscher; Forrest Laine; Sebastian Lehnhoff; Alexander Pretschner; Astrid Rakow; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Anirudh Unni; Eric Veith

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction

In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, Pages 1-27, ACM, 1/2024.
Michael Barz; Panagiotis Karagiannis; Johan Kildal; Andoni Rivera Pinto; Judit Ruiz de Munain; Jesús Rosel; Maria Madarieta; Konstantina Salagianni; Panagiotis Aivaliotis; Sotiris Makris; Daniel Sonntag

MASTER-XR: Mixed reAlity ecoSystem for TEaching Robotics in manufacturing

In: Mohammad-Reza Alam; Madjid Fathi (Hrsg.). Integrated Systems: Innovations and Applications: Results of the 8th International Conference on …
Payam Habiby; Fatemeh Shirinzadeh; Rolf Drechsler

An Evolutionary Approach to Reconfigurable Scan Network Design

In: 36. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …
Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …
Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

Towards Completeness: Security Coverage for System Level IFT

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …
Niko Kleer; Martin Feick; Florian Daiber; Michael Feld

Towards Remote Expert Supported Autonomous Assistant Robots in Shopping Environments

In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction …
Mark Niemeyer; Julian Arkenau; Sebastian Pütz; Joachim Hertzberg

Streamlined Acquisition of Large Sensor Data for Autonomous Mobile Robots to Enable Efficient Creation and Analysis of Datasets

In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, …
Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

Software doping analysis for human oversight

In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.
Jean-Francois Nies; Syed Tahseen Raza Rizvi; Mohsin Munir; Ludger van Elst; Andreas Dengel

Knowledge-aware Object Detection in Traffic Scenes

In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and …
Eduard Anton; Markus Aptyka; Frank Teuteberg

The Shaping of Work: Understanding the Dynamics of Job Crafting, Technology, and Institutional Logics

In: Thirty-Second European Conference on Information Systems (ECIS 2024). European Conference on Information Systems (ECIS), Paphos, Cyprus, …

Jahr

2024 114
2023 712
2022 796
2021 675
2020 594
2019 567
2018 536
2017 506
2016 540
2015 539
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