Author of the publication

Tracking Fractures of Deformable Objects in Real-Time with an RGB-D Sensor.

, , and . 3DV, page 632-639. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refinements and Abstractions of Signal-Event (Timed) Languages., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 67-81. Springer, (2006)Timed Control with Partial Observability., , , and . CAV, volume 2725 of Lecture Notes in Computer Science, page 180-192. Springer, (2003)Asynchronous Cellular Automata for Infinite Traces., and . ICALP, volume 623 of Lecture Notes in Computer Science, page 583-594. Springer, (1992)Decomposition and Composition of Timed Automata., and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 210-219. Springer, (1999)A (Non-elementary) Modular Decision Procedure for LTrL., , and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 356-365. Springer, (1998)An Algebraic Characterization of Data and Timed Languages., , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 248-261. Springer, (2001)An algebraic approach to data languages and timed languages., , and . Inf. Comput., 182 (2): 137-162 (2003)Towards the automatic verification of PLC programs written in Instruction List., , , , and . SMC, page 2449-2454. IEEE, (2000)An Extension of the Wreath Product Principle for Finite Mazurkiewicz Traces., , , and . Inf. Process. Lett., 67 (6): 277-282 (1998)Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof., and . STACS, volume 1373 of Lecture Notes in Computer Science, page 533-543. Springer, (1998)