Lehrstuhl Theoretische Informatik

Lehrstuhlinhaber

Prof. Dr. rer. nat. habil. Karsten Wolf

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Büro: Raum 255, Konrad-Zuse-Haus
Tel.:   +49 381 498-7670
Fax:   +49 381 498-7642
E-Mail: karsten.wolfuni-rostockde
Persönliche Homepage

Sekretariat

Roswitha Fengler

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Büro: Raum 254, Konrad-Zuse-Haus
Tel.:   +49 381 498-7641
Fax:   +49 381 498-7642
E-Mail: roswitha.fengleruni-rostockde

Systemingenieur

Dipl.-Ing. Katrin Erdmann

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Büro: Raum 264, Konrad-Zuse-Haus
Tel.:   +49 381 498-7643
Fax:   +49 381 498-7642
E-Mail: katrin.erdmannuni-rostockde

Wissenschaftliche Mitarbeiter

Dipl.-Inf. Torsten Liebke

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Büro: Raum 258, Konrad-Zuse-Haus
Tel.:   +49 381 498-7672
Fax:   +49 381 498-7642
E-Mail: torsten.liebkeuni-rostockde

Ronny Tredup (1. Staatsexamen LA Gym Info/Ma)

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Publikationen

Konferenz- und Workshopartikel

Ronny Tredup
Tracking Down the Bad Guys: Reset and Set Make Feasibility for Flip-Flop Net Derivatives NP-complete. ICE 2019: 20-37

Ronny Tredup
Synthesis of Structurally Restricted b-bounded Petri Nets: Complexity Results. RP 2019: 202-217

Ronny Tredup
Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets. Petri Nets 2019: 148-168

Ronny Tredup
Hardness Results for the Synthesis of b-bounded Petri Nets. Petri Nets 2019: 127-147

Ronny Tredup, Christian Rosenke
Narrowing down the Hardness Barrier of Synthesizing Elementary Net Systems. CONCUR 2018: 16:1-16:15

Ronny Tredup, Christian Rosenke, Karsten Wolf
Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs. Petri Nets 2018: 40-59
DOI

Ronny Tredup, Christian Rosenke
The Complexity of Synthesis for 43 Boolean Petri Net Types. TAMC 2019: 615-634

Ronny Tredup, Christian Rosenke
On the Hardness of Synthesizing Boolean Nets. ATAED@Petri Nets/ACSD 2019: 71-86

Technische Reports

Christian Rosenke, Ronny Tredup
The Hardness of Synthesizing Elementary Net Systems from Highly Restricted Inputs. CoRR abs/1711.00220 (2017)
DOI

 

&nb

Büro: Raum 258, Konrad-Zuse-Haus
Tel.:   +49 381 498-7674
Fax:   +49 381 498-7642
E-Mail: ronny.tredupuni-rostockde

Assoziierte Mitarbeiter

Prof. Dr. rer. nat. habil. Van Bang Le

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Büro: Raum 259, Konrad-Zuse-Haus
Tel.:   +49 381 498-7675
Fax:   +49 381 498-7642
E-Mail: van-bang.leuni-rostockde
Persönliche Homepage

Dr. rer. nat. Christian Rosenke

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
D-18051 Rostock

Büro: Raum 260, Konrad-Zuse-Haus
Tel.:   +49 381 498-7676
Fax:   +49 381 498-7642
E-Mail: christian.rosenkeuni-rostockde
ResearchGate
Publikationen bei dblp
Teaching

Studentische Hilfskräfte

Sophie Wallner

Julian Gaede

 

Ehemalige Studentische Hilfskräfte

Fabienne Lambusch

Mariam Nassar

Marcus Sümnick

Markus Valentin

Ehemalige Mitarbeiter

Dr. Kathrin Kaschner

Andreas Lehmann

Dr. Niels Lohmann

Dr. Wolfgang Mahrhold

Dr. Olivia Oanea

Dr. Daniela Weinberg

Dr. Harro Wimmel