Prof. Dr. Lutz Schröder

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures (2017) Evert S, Heinrich P, Henselmann K, Rabenstein U, Scherr E, Schröder L Conference contribution, Conference Contribution Nominal Automata with Name binding (2017) Schröder L, Kozen D, Milius S, Wißmann T Conference contribution, Original article Unifying Guarded and Unguarded Iteration (2017) Goncharov S, Schröder L, Rauch C, Piróg M Conference contribution, Original article Generic Hoare Logic for Order-Enriched Effects with Exceptions (2017) Rauch C, Goncharov S, Schröder L Conference contribution, Original article Probabilistic Description Logics for Subjective Uncertainty (2017) Gutierreiz-Basulto V, Jung JC, Lutz C, Schröder L Journal article, Original article Automatic verification of application-tailored OSEK kernels (2017) Deifel HP, Göttlinger M, Milius S, Schröder L, Dietrich C, Lohmann D Conference contribution, Original article Ontological Modelling of a Psychiatric Clinical Practice Guideline (2017) Gorin D, Meyn M, Naumann A, Polzer M, Rabenstein U, Schröder L Conference contribution, Original article A Characterization Theorem for a Modal Description Logic (2017) Wild P, Schröder L Conference contribution, Original article Uniform Interpolation in Coalgebraic Modal Logic (2017) Seifan F, Schröder L, Pattinson D Conference contribution Efficient Coalgebraic Partition Refinement (2017) Dorsch U, Milius S, Schröder L, Wißmann T Conference contribution