Anna Slobodová

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
A reducibility concept for problems defined in terms of ordered binary decision diagrams Lecture Notes in Computer Science	2022-11-09	Paper
On the complexity of constructing optimal ordered binary decision diagrams Mathematical Foundations of Computer Science 1994	2022-08-18	Paper
Automated and scalable verification of integer multipliers	2021-02-04	Paper
Optimal non-approximability of MaxClique Lectures on Proof Verification and Approximation Algorithms	2018-07-03	Paper
scientific article; zbMATH DE number 2080912 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2044709 (Why is no real title available?)	2004-02-18	Paper
scientific article; zbMATH DE number 1222600 (Why is no real title available?)	1998-11-11	Paper
A reducibility concept for problems defined in terms of ordered binary decision diagrams Theory of Computing Systems	1997-08-24	Paper
ON THE POWER OF ONE-WAY GLOBALLY DETERMINISTIC SYNCHRONIZED ALTERNATING TURING MACHINES AND MULTIHEAD AUTOMATA International Journal of Foundations of Computer Science	1996-08-13	Paper
Deterministic versus nondeterministic space in terms of synchronized alternating machines Theoretical Computer Science	1994-09-25	Paper
Communication for alternating machines Acta Informatica	1993-02-16	Paper
ON THE POWER OF ONE-WAY SYNCHRONIZED ALTERNATING MACHINES WITH SMALL SPACE International Journal of Foundations of Computer Science	1993-01-16	Paper
Some properties of space-bounded synchronized alternating Turing machines with universal states only Theoretical Computer Science	1992-06-28	Paper
scientific article; zbMATH DE number 17800 (Why is no real title available?)	1992-06-26	Paper
On the power of synchronization in parallel computations Discrete Applied Mathematics	1991-01-01	Paper
One-way globally deterministic synchronized alternating finite automata recognize exactly deterministic context-sensitive languages Information Processing Letters	1990-01-01	Paper
scientific article; zbMATH DE number 4060723 (Why is no real title available?)	1988-01-01	Paper
On a control of a Markov chain under conditions with respect to the absolute stationary probabilities and cost Zeitschrift für Operations Research	1980-01-01	Paper

Research outcomes over time

This page was built for person: Anna Slobodová