Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell kommt es bei einigen unserer Dienste zu technischen Störungen. Wir arbeiten daran, das Problem zu lösen.
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist am Dienstag, 23. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Tuesday 23 June 2026 The exhibitions of the German Exile Archive 1933–1945 will also be closed.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main öffnet am Mittwoch, 24. Juni 2026 wegen einer Veranstaltung erst um 13:00 Uhr. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt am Main sind ab 10:00 Uhr geöffnet // The German National Library in Frankfurt am Main will not open until 13:00 on Wednesday, 24 June 2026 due to an event. The exhibitions of the German Exile Archive 1933–1945 in Frankfurt am Main are open from 10:00.
 
 

Ergebnis der Suche nach: nid=133099091



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/133099091
Person Seidl, Helmut
Akademischer Grad Prof. Dr. phil. nat.
Andere Namen Seidl, H.
Quelle Internet
Land Deutschland (XA-DE)
Geografischer Bezug Wirkungsort: Frankfurt am Main
Wirkungsort: Trier
Wirkungsort: München
Beruf(e) Informatiker
Wissenschaftlicher Mitarbeiter
Hochschullehrer
Beziehungen zu Organisationen Universität Trier
Technische Universität München. Institut für Informatik
Thematischer Bezug Studienfach: Mathematik
Typ Person (piz)
Autor von 43 Publikationen
  1. Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
    Enthalten in International journal on software tools for technology transfer 25.9.2024: 1-21
  2. Stratified guarded first-order transition systems
    Enthalten in Formal methods in system design 22.11.2022: 1-31
  3. ...
Beteiligt an 16 Publikationen
  1. Thread-Modular Abstract Interpretation: The Local Perspective
    Schwarz, Michael Benedikt. - München : Universitätsbibliothek der TU München, 2025
  2. Efficient Analysis of Population Protocols and Chemical Reaction Networks
    Helfrich, Martin. - München : Universitätsbibliothek der TU München, 2023
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration