Author:Dmitriy Traytel

Publications
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann EasyChair Preprint 396
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
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
A Report of ARCADE 2017 Giles Reger and Dmitriy Traytel In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements