| Categorial dependency grammars M Dekhtyar, A Dikovsky, B Karlov Theoretical Computer Science 579, 33-63, 2015 | 52 | 2015 |
| Generalized categorial dependency grammars M Dekhtyar, A Dikovsky Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008 | 44 | 2008 |
| Hybrid probabilistic programs: Algorithms and complexity MI Dekhtyar, A Dekhtyar, VS Subrahmanian arXiv preprint arXiv:1301.6691, 2013 | 38 | 2013 |
| Temporal verification of probabilistic multi-agent systems MI Dekhtyar, AJ Dikovsky, MK Valiev Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot …, 2008 | 35 | 2008 |
| Possible worlds semantics for probabilistic logic programs A Dekhtyar, MI Dekhtyar International Conference on Logic Programming, 137-148, 2004 | 33 | 2004 |
| On the relativization of deterministic and nondeterministic complexity classes MI Dekhtyar Mathematical Foundations of Computer Science 1976: Proceedings, 5th …, 1976 | 31 | 1976 |
| Triad pattern algorithm for predicting strong promoter candidates in bacterial genomes M Dekhtyar, A Morin, V Sakanyan BMC bioinformatics 9, 1-16, 2008 | 27 | 2008 |
| Temporal Probabilistic Logic Programs. A Dekhtyar, MI Dekhtyar, VS Subrahmanian ICLP 99, 109-123, 1999 | 26 | 1999 |
| On homeostatic behavior of dynamic deductive data bases MI Dekhtyar, AJ Dikovsky International Andrei Ershov Memorial Conference on Perspectives of System …, 1996 | 18 | 1996 |
| Iterated dependencies and Kleene iteration M Dekhtyar, A Dikovsky, B Karlov Formal Grammar: 15th and 16th International Conferences, FG 2010, Copenhagen …, 2012 | 17 | 2012 |
| On complexity of verification of interacting agents’ behavior M Dekhtyar, A Dikovsky, M Valiev Annals of pure and applied logic 141 (3), 336-362, 2006 | 17 | 2006 |
| Method for the identification and isolation of strong bacterial promoters V Sakanyan, M Dekhtyar, A Morin, F Braun, L Modina | 17 | 2004 |
| Revisiting the semantics of interval probabilistic logic programs A Dekhtyar, MI Dekhtyar International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005 | 15 | 2005 |
| On feasible cases of checking multi-agent Systems Behavior M Dekhtyar, A Dikovsky, M Valiev Theoretical Computer Science 303 (1), 63-81, 2003 | 15 | 2003 |
| On conservative enforced updates M Dekhtyar, A Dikovsky, N Spyratos Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997 | 14 | 1997 |
| Monotone expansion of updates in logical databases M Dekhtyar, A Dikovsky, S Dudakov, N Spyratos International Conference on Logic Programming and Nonmonotonic Reasoning …, 1999 | 13 | 1999 |
| On Logically Justified Updates. MI Dekhtyar, AJ Dikovsky, N Spyratos IJCSLP, 250-264, 1998 | 13 | 1998 |
| Dynamic deductive data bases with steady behaviour MI Dekhtyar, AJ Dikovsky | 13 | 1995 |
| Complexity of multi-agent systems behavior M Dekhtyar, A Dikovsky, M Valiev European Workshop on Logics in Artificial Intelligence, 125-136, 2002 | 11 | 2002 |
| Maximal expansions of database updates M Dekhtyar, A Dikovsky, S Dudakov, N Spyratos International Symposium on Foundations of Information and Knowledge Systems …, 2000 | 11 | 2000 |
Alex DekhtyarProfessor, Department of Computer Science, Cal PolyZweryfikowany adres z calpoly.edu
