( en | de | ru )

 

Disambiguation of "Slobodová, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
A Unifying Theoretical Background for Some Bdd-based Data Structures.

, and . Formal Methods Syst. Des., 11 (3): 223-237 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

John A Anna Selva

 

Other publications of authors with the same name

On the Power of Communication in Alternating Machines.. MFCS, volume 324 of Lecture Notes in Computer Science, page 518-528. Springer, (1988)Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines., , and . Developments in Language Theory, page 314-325. World Scientific, Singapore, (1993)Some heuristics for generating tree-like FBDD types., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (1): 127-130 (1996)On the Power of One-Way Globally Deterministic Synchronized Alternating Turing Maschines and Multihead Automata.. Int. J. Found. Comput. Sci., 6 (4): 431-446 (1995)Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines., , and . Theor. Comput. Sci., 132 (2): 319-336 (1994)Application Driven Variable Reordering and an Example Implementation in Reachability Analysis., , and . ASP-DAC, page 327-330. IEEE Computer Society, (1999)Use of Formal Verification at Centaur Technology., , , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)Speeding up Variable Reordering of OBDDs., and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1996)Automated and Scalable Verification of Integer Multipliers., , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 485-507. Springer, (2020)Block-Restricted Reordering - Extended Experiments, , and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1997)