Anatol Slissenko

zbMath Openslissenko.anatolWikidataQ25999578 ScholiaQ25999578MaRDI QIDQ234699

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On Entropic Convergence of Algorithms	2022-11-09	Paper
Towards analysis of information structure of computations	2020-02-13	Paper
The probability nesting game	2013-08-15	Paper
Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday	2011-09-12	Paper
On the complexity of finite memory policies for Markov decision processes	2010-06-17	Paper
A Logic of Probability with Decidable Model Checking	2006-12-04	Paper
Computer Science Logic	2006-11-01	Paper
Periodicity based decidable classes in a first order timed logic	2006-04-28	Paper
scientific article; zbMATH DE number 2112985 (Why is no real title available?)	2004-11-01	Paper
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon	2004-08-06	Paper
scientific article; zbMATH DE number 2077086 (Why is no real title available?)	2004-07-01	Paper
scientific article; zbMATH DE number 1948170 (Why is no real title available?)	2003-07-10	Paper
Decidable verification for reducible timed automata specified in a first order logic with time	2002-07-31	Paper
A first order logic for specification of timed algorithms: Basic properties and a decidable class	2002-05-20	Paper
scientific article; zbMATH DE number 1670505 (Why is no real title available?)	2002-01-06	Paper
scientific article; zbMATH DE number 1262422 (Why is no real title available?)	2001-05-29	Paper
scientific article; zbMATH DE number 1390056 (Why is no real title available?)	2000-04-26	Paper
scientific article; zbMATH DE number 1342353 (Why is no real title available?)	1999-09-22	Paper
Polytime model checking for times probabilistic computation tree logic	1999-03-29	Paper
On the complexity of partially observed Markov decision processes	1997-02-27	Paper

Research outcomes over time

This page was built for person: Anatol Slissenko