Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Knowledge Web

Person
Person

Person

Maria Maximova

Naturwissenschaftlerin

Name

Maria Maximova

Time

2017- (Wirkungsdaten)

Place

Potsdam (Wirkungsort)
Deutschland

Gender

weiblich

Academic degree

Dr. rer. nat.

Profession

Naturwissenschaftlerin (characteristic profession)
Informatikerin

Variant

Maria Maximowa
Maria Maksimova

Related

Technische Universität Berlin. Fakultät Elektrotechnik und Informatik (Promotion) (2019)
Hasso-Plattner-Institut für Softwaresystemtechnik

Source

Internet: https://hpi.de/giese/personen/dr-maria-maximova.html

Record type

Person

GND-Identifier

1143617126

Record ID

1143617126

Involved in

show all

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

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

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors: Extended Version

Compositional analysis of probabilistic timed graph transformation systems

Functors between M-adhesive Categories Applied to Petri Net and Graph Transformation Systems

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors: Extended Version

Behavior and confluence analysis of M-adhesive transformation systems using M-functors

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

Probabilistic timed graph transformation systems

Probabilistic timed graph transformation systems

Analysis of hypergraph transformation systems in AGG based on M-functors : extended version

Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors: extended version

Functors between M-adhesive categories applied to Petri net and graph transformation systems
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal