Anna Slobodová

Available identifiers

zbMath Open slobodova.annaMaRDI QIDQ811117

List of research outcomes

Publication	Date of Publication	Type
A reducibility concept for problems defined in terms of ordered binary decision diagrams	2022-11-09	Paper
On the complexity of constructing optimal ordered binary decision diagrams	2022-08-18	Paper
Automated and scalable verification of integer multipliers	2021-02-04	Paper
Optimal non-approximability of MaxClique	2018-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4473977	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4448647	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4218142	1998-11-11	Paper
A reducibility concept for problems defined in terms of ordered binary decision diagrams	1997-08-24	Paper
ON THE POWER OF ONE-WAY GLOBALLY DETERMINISTIC SYNCHRONIZED ALTERNATING TURING MACHINES AND MULTIHEAD AUTOMATA	1996-08-13	Paper
Deterministic versus nondeterministic space in terms of synchronized alternating machines	1994-09-25	Paper
Communication for alternating machines	1993-02-16	Paper
ON THE POWER OF ONE-WAY SYNCHRONIZED ALTERNATING MACHINES WITH SMALL SPACE	1993-01-16	Paper
Some properties of space-bounded synchronized alternating Turing machines with universal states only	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3975141	1992-06-26	Paper
On the power of synchronization in parallel computations	1991-01-01	Paper
One-way globally deterministic synchronized alternating finite automata recognize exactly deterministic context-sensitive languages	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795229	1988-01-01	Paper
On a control of a Markov chain under conditions with respect to the absolute stationary probabilities and cost	1980-01-01	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: Anna Slobodová