Anatol Slissenko - Concepedia

Author

Anatol Slissenko

Also Known As

A. Slissenko, A.O. Slissenko, Anatol Slissenko, Slissenko, Anatol

Publications

256

Citations

H-Index

Concepts

All Affiliations

Anatol Slissenko is an author at Université Paris-Est Créteil specializing in engineering, computer science, and computational complexity.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	81
2	Computer Science	3	3	69
3	Business	1	1	35
4	Systems Engineering	1	1	23
5	Combinatorial Optimization	1	1	35

Anatol Slissenko

Publications

156

Citations

H-Index

Page 1

	Year	Citations
Polytime algorithm for the shortest path in a homotopy class amidst semi-algebraic obstacles in the plane D. Grigoriev, Anatol Slissenko	1998	61
On the complexity of partially observed Markov decision processes Dima Burago, Michel de Rougemont, Anatol Slissenko Theoretical Computer Science Mathematical ProgrammingEngineeringGame TheoryComputational ComplexityMarkov Decision Processes	1996	35
A first order logic for specification of timed algorithms: basic properties and a decidable class Danièle Beauquier, Anatol Slissenko Annals of Pure and Applied Logic Decidable ClassDecision ProcedureFormal SpecificationEngineeringAutomated Reasoning	2001	23
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking Anatol Slissenko, Pavel Vasilyev TUGraz OPEN Library (Graz University of Technology)	2020	14
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon Dmitri Burago, D. Grigoriev, Anatol Slissenko Theoretical Computer Science Numerical AnalysisEngineeringSkew Lines ProblemShortest PathSpline (Mathematics)	2004	12
Polytime model checking for timed probabilistic computation tree logic Danièle Beauquier, Anatol Slissenko Acta Informatica EngineeringAutomated ReasoningProbabilistic VerificationVerificationFormal Methods	1998	11

Page 1