Roman S. Dubtsov

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Domain Independent

Top Venues

Fundam. Informaticae

Publications

Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
A Domain View of Timed Behaviors. Fundam. Informaticae 133 (2-3) (2014)
Roman S. Dubtsov, Elena S. Oshevskaya, Irina B. Virbitskaite
A Domain View of Timed Behaviors. CS&P (2013)
Roman S. Dubtsov
Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction. Ershov Memorial Conference (2011)
Irina B. Virbitskaite, Roman S. Dubtsov
Semantic domains of timed event structures. Program. Comput. Softw. 34 (3) (2008)
Roman S. Dubtsov
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. Ershov Memorial Conference (2006)
Roman S. Dubtsov
Real-Time Event Structures and Scott Domains. PaCT (2005)