University of Hertfordshire

• Non-Local Configuration of Component Interfaces by Constraint Satisfaction

  Tveretina, O., Zaichenkov, P. & Shafarenko, A., 5 Aug 2020, In : Constraints.

  Research output: Contribution to journal › Article

• On the Reachability and Mortality Problems for Hybrid Systems on Closed Surfaces

  de Oliveira Oliveira, M. & Tveretina, O., 2020, (Submitted).

  Research output: Working paper

• Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds

  Sandler, A. & Tveretina, O., 6 Sep 2019, Reachability Problems - 13th International Conference, RP 2019, Proceedings. Filiot, E., Jungers, R. & Potapov, I. (eds.). Springer, Vol. 11674. p. 178-192 15 p. (Lecture Notes in Computer Science; vol. 11674).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all (23) »

• Mathematical Reviews (Publisher)

  Activity: Publication peer-review and editorial work › Publication peer-review

• Computing 2011

  Activity: Participating in or organising an event › Participation in workshop, seminar, course

• SAT for Practical Applications (SPA) 2011

  Activity: Participating in or organising an event › Participation in conference

View all (5) »