problems. For my publication record, see my private website or dblp or google scholar . Contact Office: D3-112, Julius-Albert-Str. 4 Phone: +49-5323-72 7105 E-Mail: leon.kellerhals @ tu-clausthal . de
llerfeld, Germany. ISBN 3-89720-860-1 Ried, A.; Mielcke, J.; Wieland, A.; Sievers, M.; Schäfer, S. (2006): Ozonation of Sludge - Comparison of Different Sludge Types. IOA - EA3G Conference Proceedings […] Fördergesellschaft nachhaltige Biogas und Bioenergienutzung (FuBB) e.V., Stuttgart. ISBN: 978-3-940706-00-3 Bormann, H.; Schläfer, O.; Sievers, M. (2007): Einfluss schwermetallbelasteter Substrate auf den […] 0th IOA-EA3G Berlin Conference on Oxidation Technologies for Water and Wastewater Treatment. Executive Summaries of the Conference, March 30 - April 2, 2009, CUTEC Series, Vol. 72.ISBN 978-3-89720-990-9
, in: Communications in Computer and Information Science. Springer, pp. 21–38. doi.org/10.1007/978-3-030-45718-1_2 Wittek, S., Rausch, A., 2018. Learning State Mappings in Multi-Level-Simulation , in: […] Communications in Computer and Information Science. Springer, Cham, pp. 208–218. doi.org/10.1007/978-3-319-96271-9_13 Wittek, S. H.A., Göttsche, M., Rausch, A., Grabowski, J., 2016. Towards multi-level-
, in: Communications in Computer and Information Science. Springer, pp. 21–38. doi.org/10.1007/978-3-030-45718-1_2 Wittek, S., Rausch, A., 2018. Learning State Mappings in Multi-Level-Simulation , in: […] Communications in Computer and Information Science. Springer, Cham, pp. 208–218. doi.org/10.1007/978-3-319-96271-9_13 Wittek, S. H.A., Göttsche, M., Rausch, A., Grabowski, J., 2016. Towards multi-level-
How to Handle Assumptions in Synthesis . 3rd Workshop on Synthesis (SYNT 2014) Rüdiger Ehlers and Vasumathi Raman Low-Effort Specification Debugging and Analysis . 3rd Workshop on Synthesis (SYNT 2014) Rüdiger […] Direktoriums Sprechzeiten Termine können hier gebucht werden. Social Media https://www.linkedin.com/in/r%C3%BCdiger-ehlers-12a242163/ Vita Seit 2019: Professor für Eingebettete Systeme an der TU Clausthal 2014-2019: […] competition (SYNTCOMP 2014) . International Journal on Software Tools for Technology Transfer (STTT) 19(3): 367-390 (2017) Rüdiger Ehlers: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
