Skip to main content
Home

Main menu

  • About
    • Journal
    • Editorial
    • ISSN
  • Series
    • Computer Science
    • Mathematical Modeling in Geophysics
    • Numerical Analysis
    • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
  • Search
  • Authors
  • Submission
    • How to submit
    • Submit article
  • Contacts

Gribovskaya Natalia

Search

Natalia
S.
Gribovskaya
E-mail
moskalyova@iis.nsk.su
natamosk@ngs.ru
Organization
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
© 2015 - 2021 Ershov IIS SB RAS, ICM&MG SB RAS
Registration Сertificate ЭЛ № ФС 77 – 68696
    • About
      • Journal
      • Editorial
      • ISSN
    • Series
      • Computer Science
      • Mathematical Modeling in Geophysics
      • Numerical Analysis
      • Numerical Modeling in Atmosphere, Ocean, and Environment Studies
    • Search
    • Authors
    • Submission
    • Contacts
    • Search