Olga Tveretina
Orcid: 0000-0001-5211-1843
According to our database1,
Olga Tveretina
authored at least 27 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Reachability Problems - 18th International Conference, 2024
2022
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
2021
Proceedings of the 2nd International Conference on Societal Automation, 2021
2020
Constraints An Int. J., 2020
2019
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds.
Proceedings of the Reachability Problems - 13th International Conference, 2019
2017
ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms.
CoRR, 2017
2016
The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-NET.
Parallel Process. Lett., 2016
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
2015
2014
A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
2013
Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming
CoRR, 2013
Proceedings of the Language and Automata Theory and Applications, 2013
2011
Proceedings of Second International Symposium on Games, 2011
Proceedings of the Business Information Systems Workshops, 2011
Proceedings of the Business Information Systems - 14th International Conference, 2011
2010
J. Satisf. Boolean Model. Comput., 2010
2009
Proceedings of the Proceedings Fourth Athens Colloquium on Algorithms and Complexity, 2009
2008
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
2007
2006
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006
2005
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
2004
Proceedings of the LATIN 2004: Theoretical Informatics, 2004
Proceedings of the Artificial Intelligence and Symbolic Computation, 2004
2003
J. Log. Algebraic Methods Program., 2003
1998
Proceedings of the 24th EUROMICRO '98 Conference, 1998