University of Hertfordshire

• Mortality and Edge-to-Edge Reachability are Decidable on Surfaces

  de Oliveira Oliveira, M. & Tveretina, O., 17 Jan 2022, (Accepted/In press) The proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control.. ACM Digital Library

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

• Component Interfaces with Loosely Synchronous Communication

  Kirner, R., Maurer, S. & Tveretina, O., 13 Aug 2021, Proc. 2020 2nd Int'l Conference on Societal Automation (SA'21). IEEE, 7 p.

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

• Non-Local Configuration of Component Interfaces by Constraint Satisfaction

  Tveretina, O., Zaichenkov, P. & Shafarenko, A., 5 Aug 2020, (E-pub ahead of print) In: Constraints. 25, p. 21–159

  Research output: Contribution to journal › Article › peer-review

View all (26) »

• 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) »