Ana Sokolova

Available identifiers

zbMath Open sokolova.anaMaRDI QIDQ549173

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2863893	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2849887	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2843720	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
https://portal.mardi4nfdi.de/entity/Q2748018	2002-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4263743	1999-09-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ana Sokolova