Ana Sokolova

Available identifiers

zbMath Open sokolova.anaMaRDI QIDQ549173

List of research outcomes

Publication	Date of Publication	Type
The theory of traces for systems with nondeterminism and probability	2024-12-19	Paper
Presenting convex sets of probability distributions by convex semilattices and unique bases	2023-12-08	Paper
Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls)	2023-12-08	Paper
Parameter-Independent Strategies for pMDPs via POMDPs	2023-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q5094151	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5155671	2021-10-08	Paper
https://portal.mardi4nfdi.de/entity/Q5111636	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4621137	2019-02-08	Paper
Termination in Convex Sets of Distributions	2018-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4580218	2018-08-13	Paper
Proper semirings and proper convex functors	2018-07-17	Paper
Local linearizability for concurrent container-type data structures	2018-03-21	Paper
Dynamic Reductions for Model Checking Concurrent Software	2017-02-21	Paper
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems	2016-07-15	Paper
Trace semantics via determinization	2015-04-28	Paper
Congruences of convex algebras.	2015-04-24	Paper
Quantitative relaxation of concurrent data structures	2014-11-27	Paper
Generic trace theory	2013-12-04	Paper
Weak bisimulation for action-type coalgebras (extended abstract)	2013-09-20	Paper
A hierarchy of probabilistic system types	2013-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4922302	2013-05-29	Paper
Trace Semantics via Determinization	2012-09-20	Paper
Coalgebraic Components in a Many-Sorted Microcosm	2012-06-01	Paper
Traces, Executions and Schedulers, Coalgebraically	2012-06-01	Paper
Probabilistic systems coalgebraically: a survey	2011-09-22	Paper
Information hiding in probabilistic concurrent systems	2011-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3069340	2011-01-25	Paper
Exemplaric Expressivity of Modal Logics	2010-11-11	Paper
Validation of Stochastic Systems	2009-07-24	Paper
Compositionality for Markov Reward Chains with Fast Transitions	2008-08-28	Paper
The Microcosm Principle and Concurrency in Coalgebra	2008-04-11	Paper
Generic Trace Semantics via Coinduction	2008-04-01	Paper
A hierarchy of probabilistic system types	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4818324	2004-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4452840	2004-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3153204	2002-11-05	Paper
Free Steiner loops	2002-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4263743	1999-09-22	Paper

Research outcomes over time

This page was built for person: Ana Sokolova