Nataliya Gribovskaya

Available identifiers

zbMath Open gribovskaya.nataliya-sergeevnaMaRDI QIDQ2280182

List of research outcomes

Publication	Date of Publication	Type
Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures	2024-04-09	Paper
From event-oriented models to transition systems	2019-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q2979882	2017-04-26	Paper
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict	2017-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q2963893	2017-02-21	Paper
A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences	2015-12-07	Paper
Timed History Preserving Bisimulation and Open Maps	2015-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q5398251	2014-02-26	Paper
Unifying behavioral equivalences of timed transition systems	2012-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q2880586	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q2880604	2012-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q2880624	2012-04-13	Paper
A Categorical View of Timed Behaviours	2011-06-14	Paper
A Categorical View of Timed Weak Bisimulation	2010-06-17	Paper
Perspectives of System Informatics	2010-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q5192929	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818753	2004-10-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nataliya Gribovskaya