Author of the publication

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

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices)., , and . CoRR, (2015)Semi-static type, shape, and symbolic shape inference for dynamic computation graphs., , , , and . MAPL@PLDI, page 11-19. ACM, (2020)Performance of WLAN-based Object Detection with Distributed Antenna and Spatially Concatenated CSI., , , , and . VTC Fall, page 1-6. IEEE, (2023)Experimental Evaluation of MIMO-WLAN-based Object Detection with Reflectors., , , , , and . VTC Fall, page 1-6. IEEE, (2023)Parity Automata for Quantitative Linear Time Logics., , and . CALCO, volume 72 of LIPIcs, page 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective., , and . CoRR, (2016)Lattice-theoretic progress measures and coalgebraic model checking., , and . POPL, page 718-732. ACM, (2016)Object pose estimation using category information from a single image., , , and . FCV, page 1-4. IEEE, (2015)Coalgebraic Trace Semantics for Buechi and Parity Automata., , and . CONCUR, volume 59 of LIPIcs, page 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)