Robotics Innovation Center

Seite 4 von 7.

1. Tim Schwartz; Hans-Ulrich Krieger; Ingo Zinnikus; Christian Bürckert; Joachim Folz; Bernd Kiefer; Peter Hevesi; Christoph Lüth; Gerald Pirkl; Torsten Spieldenner; Norbert Schmitz; Malte Wirkus; Sirko Straube

   Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents

   In: Matthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokhar; Sebastian Ahrndt (Hrsg.). Proceedings of the 14th German Conference on Multiagent System Technologies (Mates 2016). German Conference on Multiagent System Technologies (MATES-2016), September 27-30, Klagenfurt, Austria, Pages 131-146, Lecture Notes in Artificial Intelligence (LNAI), Vol. 9872, Springer, 9/2016.

2. Martin Ring; Christoph Lüth; Rolf Drechsler; Jannis Ulrich Stoppe

   Change Management for Hardware Designers

   In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-16), March 18, Dresden, Germany, 3/2016.

3. Rolf Drechsler; Serge Autexier; Christoph Lüth

   Model-based Specification and Refinement for Cyber-Physical Systems

   In: Michael Freitag; Herbert Kotzab; Jürgen Pannek (Ed) (Hrsg.). 5th International Conference on Dynamics in Logistics (LDIC 2016). International Conference on Dynamics in Logistics (LDIC-2016), Pages 3-17, Lecture Notes in Logistics, Springer, 2016.

4. Martin Ring; Jannis Ulrich Stoppe; Christoph Lüth; Rolf Drechsler

   Change Impact Analysis for Hardware Designs

   In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016), September 14-16, Bremen, Germany, ECSI - European Electronic Chips and Systems design Initiative, 2016.

5. Martin Ring; Christoph Lüth

   Real-time collaborative Scala development with Clide

   In: Heather Miller; Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14), 5th Annual Scala Workshop, located at ECOOP 2014, July 28-29, Uppsala, Sweden, Pages 63-66, ISBN 978-1-4503-2868-5, ACM, New York, 7/2014.

6. Martin Ring; Christoph Lüth

   Collaborative Interactive Theorem Proving with Clide

   In: G. Klein; R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014), located at Vienna Summer of Logic, July 14-17, Wien, Austria, Pages 467-482, Lecture Notes in Computer Science (LNCS), Vol. 8558, Springer Verlag, 7/2014.

7. Christoph Lüth; Serge Autexier; Dieter Hutter; Mathias Soeken; Robert Wille; Rolf Drechsler

   SPECifIC - A New Design Flow for Cyber-Physical Systems

   In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop, April 14, Berlin, Germany, Pages 4-7, 4/2014.

8. Mathias Soeken; Christoph Lüth; Rolf Drechsler

   Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit

   In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14), May 13-15, Warschau, Poland, VDE, 2014.

9. Christoph Lüth; Martin Ring

   A Web Interface for Isabelle: The Next Generation

   In: Jacques Carette (Hrsg.). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13), Pages 326-329, Lecture Notes in Artificial Intelligence (LNAI), Vol. 7961, Springer, 7/2013.

10. Christoph Lüth; Cezary Kaliszyk (Hrsg.)

    Proceedings 10th International Workshop On User Interfaces for Theorem Provers

    Workshop on User Interfaces for Theorem Provers (UITP), July 11, Bremen, Germany, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 118, www.eptcs.org, 7/2013.

• vorherige
• 1
• …
• 3
• 4
• 5
• …
• 7
• nächste