Anatol Slissenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–2005
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | CSL | Verification in Predicate Logic with Time: Algorithmic Questions. | Anatol Slissenko |
| 2002 | CSL | A Logic of Probability with Decidable Model-Checking. | Danile Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko |
| 1999 | FCT | Decidable Classes of the Verification Problem in a Timed Predicate Logic. | Danile Beauquier, Anatol Slissenko |
| 1998 | ISSAC | Polytime Algorithm for the Shortest Path in a Homotopy Class Amidst Semi-Algebraic Obstacles in the Plane. | Dima Grigoriev, Anatol Slissenko |
| 1995 | MFCS | On the Complexity of Finite Memory Policies for Markov Decision Processes. | Danile Beauquier, Dima Burago, Anatol Slissenko |