Search - ISF - TU Dortmund

Search
People Search

5683 results

1. AQUA
2. Research
Tools

issue. License: ISC License GitHub: tudo-aqua/cvc4-turnkey Library: pkg:maven/io.github.tudo-aqua/cvc4-turnkey-gpl , pkg:maven/io.github.tudo-aqua/cvc4-turnkey-permissive Teaching BoardGameWork BoardGameWork [...] License: ISC License GitHub: tudo-aqua/z3-turnkey Library: pkg:maven/tools.aqua/z3-turnkey CVC4 TurnKey The CVC4 Theorem Prover is a widely used SMT solver that is written in C and C++, wrapping a large number …
1. MSIND
2. Chair
Contact

Contact Postal Address LogistikCampus Joseph-von-Fraunhofer-Straße 2-4 44227 Dortmund Office Dipl.-Stat. Ulrike Guba Phone: +49 231 755 90371 E-Mail: guba statistik.tu-dortmund de …
1. E2
2. Information
3. Members
Adrian Wittrock

Adrian Wittrock © E2/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-185 Tel.: (+49)231 755 8815 E-Mail: adrian.wittrock tu-dortmund de …
1. E2
2. Information
3. Members
Jonas Vondran

Jonas Vondran © Jonas Vondran/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-195 Tel.: (+49)231 755 8822 E-Mail: jonas.vondran tu-dortmund de …
1. E2
2. Information
3. Members
Yannik Brune

Yannik Brune © Yannik Brune/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-177 Tel.: (+49)231 755 8522 E-Mail: yannik.brune tu-dortmund de …
1. E2
2. Information
3. Members
Binodbihari Panda

Binodbihari Panda © Binodbihari Panda/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-177 Tel.: (+49)231 755 8522 E-Mail: binodbihari.panda tu-dortmund de …
1. E2
2. Information
3. Members
Juliane Rütter

Juliane Rütter © Juliane Rütter/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-184 Tel.: (+49)231 755 8814 E-Mail: juliane.ruetter tu-dortmund de …
1. THz Spectroscopy Group
2. Team
Michael Solbach

Michael Solbach E-Mail: Send E-Mail Telefon: (+49)231 755-8517 Address: CP-03-166 Otto-Hahn-Str. 4a D-44227 Dortmund Germany © Michael Solbach/TU Dortmund …
1. E2
2. Information
3. Members
Nils Denkmann

Nils Denkmann © Nils Denkmann/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-185 Tel.: (+49)231 755 8815 E-Mail: nils.denkmann tu-dortmund de …
1. E2
2. Information
3. Members
Nikita Siverin

Nikita Siverin © Nikita Siverin/TU Dortmund Campus Nord, Otto-Hahn-Str. 4a Room: CP-01-177 Tel.: (+49)231 755 8523 E-Mail: nikita.siverin tu-dortmund de …