Natalya Gribovskaya

According to our database, Natalya Gribovskaya authored at least 14 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures.

Nataliya Gribovskaya, Irina B. Virbitskaite

Proceedings of the 16th International Conference on Automata and Formal Languages, 2023

2018

Preserving Behavior in Transition Systems from Event Structure Models.

Irina B. Virbitskaite, Nataliya Gribovskaya

Proceedings of the 27th International Workshop on Concurrency, 2018

From Event-Oriented Models to Transition Systems.

Eike Best, Nataliya Gribovskaya, Irina B. Virbitskaite

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict.

Eike Best, Nataliya S. Gribovskaya, Irina B. Virbitskaite

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2014

Timed History Preserving Bisimulation and Open Maps.

Nataliya S. Gribovskaya

Proceedings of the Perspectives of System Informatics, 2014

2012

Unifying Equivalences for Timed Transition Systems.

Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best

Proceedings of the Turing-100, 2012

2011

A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences.

Natalya Gribovskaya

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Unifying behavioral equivalences of timed transition systems.

Irina B. Virbitskaite, Natalya Gribovskaya

Program. Comput. Softw., 2010

A Categorical View of Timed Behaviours.

Irina B. Virbitskaite, Natalya Gribovskaya, Eike Best

Fundam. Informaticae, 2010

A Categorical View of Timed Weak Bisimulation.

Natalya Gribovskaya, Irina B. Virbitskaite

Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010

2009

Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.

Natalya Gribovskaya, Irina B. Virbitskaite

Fundam. Informaticae, 2009

2007

A Categorical Observation of Timed Testing Equivalence.

Natalya Gribovskaya, Irina B. Virbitskaite

Proceedings of the Parallel Computing Technologies, 2007

2004

Open Maps and Observational Equivalences for Timed Partial Order Models.

Irina B. Virbitskaite, Natalya S. Gribovskaja

Fundam. Informaticae, 2004

2003

Open Maps and Trace Semantics for Timed Partial Order Models.

Irina B. Virbitskaite, Natalya S. Gribovskaja

Proceedings of the Perspectives of Systems Informatics, 2003