Michael Dekhtyar

Michael Dekhtyar

Tver State University - Tver / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147420
Тверской государственный университет
person_outline Michael Dekhtyar's MOST POPULAR ARTICLES
1-) Categorial dependency grammarsM Dekhtyar, A Dikovsky, B KarlovTheoretical Computer Science 579, 33-63, 2015452015
2-) Generalized categorial dependency grammarsM Dekhtyar, A DikovskyPillars of Computer Science, 230-255, 2008402008
3-) Hybrid probabilistic programs: Algorithms and complexityMI Dekhtyar, A Dekhtyar, VS SubrahmanianarXiv preprint arXiv:1301.6691, 2013382013
4-) Temporal verification of probabilistic multi-agent systemsMI Dekhtyar, AJ Dikovsky, MK ValievPillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008352008
5-) Possible worlds semantics for probabilistic logic programsA Dekhtyar, MI DekhtyarInternational Conference on Logic Programming, 137-148, 2004332004