Anatol Slissenko

32 papers B 5C 1Misc 1Journal 15Unranked 10
YearRankTypeTitle / Venue / Authors
2022 J jnl
Relating Information and Proof.
CoRR
Anatol Slissenko
2020 — conf
On Entropic Convergence of Algorithms.
Fields of Logic and Computation III
Anatol Slissenko
2017 J jnl
Towards Analysis of Information Structure of Computations.
FLAP
Anatol Slissenko
2016 J jnl
On entropic convergence of algorithms in terms of domain partitions.
CoRR
Anatol Slissenko
2010 J jnl
Preface.
Ann. Pure Appl. Log.
Sergei N. Artëmov, Yuri V. Matiyasevich, Grigori Mints, Anatol Slissenko
2008 Misc ed.
Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
CSR
Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko
2008 J jnl
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking.
J. Univers. Comput. Sci.
Anatol Slissenko, Pavel Vasilyev
2008 C conf
Stability of Real-Time Abstract State Machines under Desynchronization.
ABZ
Joëlle Cohen, Anatol Slissenko
2006 J jnl
A Logic of Probability with Decidable Model Checking.
J. Log. Comput.
Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko
2006 J jnl
Periodicity based decidable classes in a first order timed logic.
Ann. Pure Appl. Log.
Danièle Beauquier, Anatol Slissenko
2005 — conf
Introduction.
Abstract State Machines
Danièle Beauquier, Egon Börger, Anatol Slissenko
2005 — conf
On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays.
Abstract State Machines
Anatol Slissenko, Joëlle Cohen
2005 — conf
Probability and Time in Measuring Security.
VISSAS
Anatol Slissenko
2005 B conf
Verification in Predicate Logic with Time: Algorithmic Questions.
CSL
Anatol Slissenko
2004 J jnl
A Logic Framework for Verification of Timed Algorithms.
Fundam. Informaticae
Anatol Slissenko
2004 J jnl
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon.
Theor. Comput. Sci.
Dima Burago, Dima Grigoriev, Anatol Slissenko
2003 — conf
Complexity Problems in the Analysis of Information Systems Security.
MMM-ACNS
Anatol Slissenko
2002 B conf
A Logic of Probability with Decidable Model-Checking.
CSL
Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko
2002 J jnl
Decidable verification for reducible timed automata specified in a first order logic with time.
Theor. Comput. Sci.
Danièle Beauquier, Anatol Slissenko
2002 — conf
The Probability Nesting Game.
EXPRESS
Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko
2001 J jnl
A first order logic for specification of timed algorithms: basic properties and a decidable class.
Ann. Pure Appl. Log.
Danièle Beauquier, Anatol Slissenko
2000 — conf
On Verification of Refinements of Timed Distributed Algorithms.
Abstract State Machines
Joëlle Cohen, Anatol Slissenko
1999 — conf
Complexity Problems in Analysis of Multi-Agent Systems.
CEEMAS
Anatol Slissenko
1999 B conf
Decidable Classes of the Verification Problem in a Timed Predicate Logic.
FCT
Danièle Beauquier, Anatol Slissenko
1998 B conf
Polytime Algorithm for the Shortest Path in a Homotopy Class Amidst Semi-Algebraic Obstacles in the Plane.
ISSAC
Dima Grigoriev, Anatol Slissenko
1998 J jnl
Polytime Model Checking for Timed Probabilistic Computation Tree Logic.
Acta Informatica
Danièle Beauquier, Anatol Slissenko
1997 — conf
Computing Minimum-Link Path in a Homotopy Class amidst Semi-Algebraic Obstacles in the Plane.
AAECC
Dima Grigoriev, Anatol Slissenko
1997 — conf
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages.
TAPSOFT
Danièle Beauquier, Anatol Slissenko
1996 J jnl
On the Complexity of Partially Observed Markov Decision Processes.
Theor. Comput. Sci.
Dima Burago, Michel de Rougemont, Anatol Slissenko
1995 B conf
On the Complexity of Finite Memory Policies for Markov Decision Processes.
MFCS
Danièle Beauquier, Dima Burago, Anatol Slissenko
1993 J jnl
On Fault Tolerance of Syntax.
Theor. Comput. Sci.
Anatol Slissenko
1991 J jnl
On measures of information quality of knowledge processing systems.
Inf. Sci.
Anatol Slissenko