Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=1077028164



Zurück



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1077028164
Person Podelski, Andreas
Akademischer Grad Prof. Dr.
Land Deutschland (XA-DE)
Geografischer Bezug Wirkungsort: Freiburg im Breisgau
Beruf(e) Hochschullehrer
Weitere Angaben Inhaber des Lehrstuhls für Softwaretechnik, Institut für Informatik, Universität Freiburg
Thematischer Bezug Studienfach: Informatik
Typ Person (piz)
Autor von 8 Publikationen
  1. Stratified commutativity in verification algorithms for concurrent programs
    Farzan, Azadeh. - Freiburg : Universität, 2023
  2. Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
    Bogomolov, Sergiy. - Freiburg : Universität, 2024
  3. ...
Beteiligt an 19 Publikationen
  1. Formalisation and analysis of system requirements
    Langenfeld, Vincent. - Freiburg : Universität, 2023
  2. SMT solving, interpolation, and quantifiers
    Schindler, Tanja. - Freiburg : Universität, 2022
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration