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

This page was built for person: Anna Slobodová