Armin Biere
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 111891
Dissertation: Effiziente Modellprüfung des mu-Kalküls mit binären Entscheidungsdiagrammen
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Peter DeussenTechnische Universität München · 1965
Students 15
| Name | Institution | Year | Students |
|---|---|---|---|
| Cyrille Artho | Not recorded | — | 0 |
| Lee Barnett | Not recorded | — | 0 |
| Michael Brickenstein | Technische Universität Kaiserslautern | 2010 | 0 |
| Robert Brummayer | Not recorded | — | 0 |
| Katalin Fazekas | Not recorded | — | 0 |
| Andreas Fröhlich | Not recorded | — | 0 |
| Malek Ismail Haroud | ETH Zürich | 2005 | 0 |
| Daniela Kaufmann | Johannes Kepler Universität Linz | 2020 | 0 |
| Florian Lonsing | Not recorded | — | 0 |
| Sibylle Rosa Natalie Möhle-Rotondi | Not recorded | — | 0 |
| Aina Niemetz | Not recorded | — | 0 |
| Mathias Preiner | Not recorded | — | 0 |
| Adrián Rebola Pardo | Not recorded | — | 0 |
| Viktor Schuppan | Not recorded | — | 0 |
| Emily Zhengqi Yu | Not recorded | — | 0 |