Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: "118183540"

Zurück zur Trefferliste


Treffer 31 von 31 < < > <



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 16 Publikationen
  1. Long lived transients in gene regulation
    Petrov, Tatjana. - Konstanz : KOPS Universität Konstanz, 2021
  2. Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States
    Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 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 31 von 31
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration