Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Normdaten:  Personen
Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "118183540"



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/118183540
Person Henzinger, Thomas
Geschlecht männlich
Andere Namen Henzinger, Thomas A.
Henzinger, T. A.
Quelle Wikipedia:Thomas Henzinger (Stand:08.06.2020): https://de.wikipedia.org/wiki/Thomas_Henzinger
Zeit Lebensdaten: 1962-
Land Österreich (XA-AT)
Geografischer Bezug Geburtsort: Linz
Beruf(e) Informatiker
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 15 Publikationen
  1. Long lived transients in gene regulation
    Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
  2. Outside the Box
    Henzinger, Thomas. - Konstanz : KOPS Universität Konstanz, 2020
  3. ...
Beteiligt an 14 Publikationen
  1. From non-preemptive to preemptive scheduling using synchronization synthesis
    Enthalten in Formal methods in system design 27.9.2016: 1-43
  2. Model checking the evolution of gene regulatory networks
    Enthalten in Acta informatica 22.8.2016: 1-23
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration