Veröffentlichungen der Arbeitsgruppe

Die Arbeitsgruppe Semantik und Verifikation paralleler Systeme besteht seit März 2019. Nachfolgend werden lediglich die Veröffentlichungen gelistet, die in der Arbeitsgruppe entstanden sind. Einzelne Mitarbeiter haben zusätzliche Veröffentlichungen. Alle Veröffentlichungen eines Mitarbeiters finden Sie auf seiner persönlichen Webseite.

Liste der Veröffentlichungen

Loading...
Lade Daten von TUbiblio…

Fehler beim Laden der Daten

Beim Laden der Publikationsdaten von TUbiblio ist ein Fehler aufgetreten. Bitte versuchen Sie es zu einem späteren Zeitpunkt erneut.

  • {{ year }}

    • ({{ publication.date.toString().substring(0,4) }}):
      {{ publication.title }}. ({{ labels[publication.doc_status] }})
      In: {{ publication.series }}, {{ publication.volume }}, In: {{ publication.book_title }}, In: {{ publication.publication }}, {{ publication.journal_volume}} ({{ publication.number }}), SS. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN {{ publication.issn }}, e-ISSN {{ publication.eissn }}, ISBN {{ publication.isbn }}, [{{ labels[publication.type]?labels[publication.type]:publication.type }}]
    • […]

Anzahl der Einträge in dieser Liste: {{ publicationsList.length }}
Es werden nur die {{publicationsList.length}} neuesten Publikationen ausgegeben.

Vollständige Liste bei TUbiblio ansehen Diese Liste bei TUbiblio ansehen