Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: nid=136037542

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/gnd/136037542
Person	Hähnle, Reiner
Akademischer Grad	Prof. Dr. rer. nat.
Geschlecht	männlich
Quelle	Homepage (Stand: 26.11.2018): https://www.informatik.tu-darmstadt.de/se/gruppenmitglieder/groupmembers_detailseite_30784.de.jsp
Zeit	Wirkungsdaten: 1990-
Land	Deutschland (XA-DE)
Beruf(e)	Informatiker Hochschullehrer
Beziehungen zu Organisationen	Technische Universität Darmstadt. Fachbereich Informatik (2011-) Institutionen för Data- och Informationsteknik (2000-2011)
Systematik	30p Personen zu Informatik, Datenverarbeitung
Typ	Person (piz)
Autor von	18 Publikationen An Expressive Trace Logic for Recursive Programs Gurov, Dilian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025 Automated model analysis tools and techniques presented at FASE 2019 Hähnle, Reiner. - Darmstadt : Universitäts- und Landesbibliothek, 2024 ...
Beteiligt an	23 Publikationen A Calculus for Trace Formula Implication Heidler, Niklas. - Darmstadt : Universitäts- und Landesbibliothek, 2025 Verifying Quantum Based Systems : What do we have to change? Schmitt, Anna. - Darmstadt : Universitäts- und Landesbibliothek, 2025 ...

Treffer 1 von 1