Author:Dmitriy Traytel

Publications
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann EasyChair Preprint no. 396
AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties David Basin, Srdjan Krstic and Dmitriy Traytel In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements Giles Reger and Dmitriy Traytel (editors) EPiC Series in Computing, volume 51
A Report of ARCADE 2017 Giles Reger and Dmitriy Traytel In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements