Dmitry Grebenyuk

According to our database1, Dmitry Grebenyuk authored at least 2 papers between 2016 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Implementation of Taylor models in CORA 2018.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2016
Implementation of Interval Arithmetic in CORA 2016.
Proceedings of the ARCH@CPSWeek 2016, 2016


  Loading...