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

Flexsim-R: A virtual affinity fingerprint descriptor to calculate similarities of functional groups., , and . J. Comput. Aided Mol. Des., 16 (12): 903-916 (2002)FORFIS: A forest fire firefighting simulation tool for education and research., , and . CoRR, (2023)Feedback Refinement Relations for the Synthesis of Symbolic Controllers., , and . IEEE Trans. Autom. Control., 62 (4): 1781-1796 (2017)Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems., and . SIAM J. Control. Optim., 52 (5): 2857-2876 (2014)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)Feedback Refinement Relations for the Synthesis of Symbolic Controllers., , and . CoRR, (2015)BIreactive: A Machine-Learning Model to Estimate Covalent Warhead Reactivity., , , , , , and . J. Chem. Inf. Model., 60 (6): 2915-2923 (2020)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)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)