Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Wissensnetz

Person
Person

Person

Sven Schneider

Informatiker

Name

Sven Schneider

Zeit

2008- (Wirkungsdaten)

Ort

Deutschland

Geschlecht

männlich

Akademischer Grad bzw. Titel

Dr.-Ing.

Beruf

Informatiker (charakteristischer Beruf)
Ingenieur

Variante

Sven Falco Schneider (vollständiger Name)

Beziehung

Hasso-Plattner-Institut für Digital Engineering
Technische Universität Berlin. Institut für Softwaretechnik und Theoretische Informatik (2008-2014)
Technische Universität Berlin. Fakultät Elektrotechnik und Informatik (Promotion) (2019)
Universität Potsdam

Weitere Angaben

Wissenschaftlicher Mitarbeiter an der TU Berlin 2008-2014

Quelle

Homepage: https://hpi.de/giese/people/dr-sven-schneider.html (Stand: 08.05.2023)

Datensatztyp

Person

GND-Nummer

1069348694

Datensatz-ID

1069348694

Beteiligt an

alle anzeigen

Invariant analysis for multi-agent graph transformation systems using k-induction

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction

Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation

Probabilistic metric temporal graph logic

Probabilistic metric temporal graph logic

Probabilistic metric temporal graph logic

Formal testing of timed graph transformation systems using metric temporal graph logic

A logic-based incremental approach to graph repair featuring delta preservation

Compositional analysis of probabilistic timed graph transformation systems

Interval probabilistic timed graph transformation systems

Interval probabilistic timed graph transformation systems

Probabilistic metric temporal graph logic

Compositional analysis of probabilistic timed graph transformation systems

Controller Synthesis for Deterministic Context Free Specification Languages

A logic-based incremental approach to graph repair

A logic-based incremental approach to graph repair

Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle

Metric temporal graph logic over typed attributed graphs

Metric temporal graph logic over typed attributed graphs : extended version

Metric temporal graph logic over typed attributed graphs

Metric temporal graph logic over typed attributed graphs

Symbolic model generation for graph properties

Symbolic model generation for graph properties

Controller synthesis for deterministic context free specification languages
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal