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

Fachinformationssystem Informatik (FIS-I) und Semantische Technologien für Informationsportale (SemIPort)., , , , , , , , , and 16 other author(s). GI Jahrestagung (2), volume P-68 of LNI, page 698-712. GI, (2005)ABS: A formally correct software tool for space-efficient symbolic synthesis., , and . HSCC, page 19:1-19:10. ACM, (2022)On the Solution of the Travelling Salesman Problem for Nonlinear Salesman Dynamics using Symbolic Optimal Control., and . ECC, page 1995-2001. IEEE, (2021)Research and Advanced Technology for Digital Libraries: 10th European Conference, ECDL 2006, Alicante, Spain, September 17-22, 2006. Proceedings, , , , and . chapter Managing the Quality of Person Names in DBLP, page 508--511. Springer Berlin Heidelberg, Berlin, Heidelberg, (2006)State space grids for low complexity abstractions., , and . CDC, page 6139-6146. IEEE, (2015)Strongly convex attainable sets and low complexity finite-state controllers., and . AuCC, page 61-66. IEEE, (2013)Covalent inhibitor reactivity prediction by the electrophilicity index - in and out of scope., , , , and . J. Comput. Aided Mol. Des., 35 (4): 531-539 (2021)Semantic Methods and Tools for Information Portals., , , , , , , , , and 7 other author(s). GI Jahrestagung (1), volume P-34 of LNI, page 116-131. GI, (2003)Vehicle mission guidance by symbolic optimal control., , and . ECC, page 1243-1249. IEEE, (2022)Approximately Optimal Controllers for Quantitative Two-Phase Reach-Avoid Problems on Nonlinear Systems., and . CDC, page 430-437. IEEE, (2020)