Natalia S. GribovskayaE-mailnatamosk@ngs.rumoskalyova@iis.nsk.suOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree: PhD List of Articles: Gribovskaya N. Virbitskaite I. Transition system semantics for flow event structures // Computer Science. — 2019 . — # 43. — P. 21–38 Gribovskaya N. Causal trees and timed causal trees categorically // Computer Science. — 2015 . — # 38. — P. 91-103 Gribovskaya N. The timed barbed bisimulation is decidable for timed transition systems with invariants // Computer Science. — 2010 . — # 31. — P. 65-90 Gribovskaya N. Categorical modelling of trace equivalence for timed automata models with invariants // Computer Science. — 2008 . — # 28. — P. 55-66 Gribovskaya N. Open maps and weak trace equivalence for timed event structures // Computer Science. — 2006 . — # 24. — P. 73-87