Morten Kühnrich

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 2

Top Topics

Spatio Temporal

Learning Technologies

Dialogue System

Top Venues

Publications

Adriano Scibilia, Marcello Valori, Nicola Pedrocchi, Irene Fassi, Sebastian Herbster, Roland Behrens, José F. Saenz, Alice Magisson, Catherine Bidard, Morten Kühnrich, Aske Bach Lassen, Kurt Nielsen
Analysis of Interlaboratory Safety Related Tests in Power and Force Limited Collaborative Robots. IEEE Access 9 (2021)
Marcello Valori, Adriano Scibilia, Irene Fassi, José F. Saenz, Roland Behrens, Sebastian Herbster, Catherine Bidard, Eric Lucet, Alice Magisson, Leendert Schaake, Jule Bessler, Gerdienke B. Prange-Lasonder, Morten Kühnrich, Aske Bach Lassen, Kurt Nielsen
Validating Safety in Human-Robot Collaboration: Standards and New Perspectives. Robotics 10 (2) (2021)
Morten Kühnrich
Formal Model-Driven Design of Distributed Algorithms. Electron. Notes Theor. Comput. Sci. 251 (2009)
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR (2009)
Morten Kühnrich, Uwe Nestmann
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE (2009)
Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FoSSaCS (2009)
Hans Hüttel, Morten Kühnrich
Types for Access Control in a Calculus of Mobile Resources. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)