( en | de | ru )

 

Disambiguation of "Slobodová, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima

, , and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1995)

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)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)Some heuristics for generating tree-like FBDD types., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (1): 127-130 (1996)Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines., , and . Theor. Comput. Sci., 132 (2): 319-336 (1994)Use of Formal Verification at Centaur Technology., , , and . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)Application Driven Variable Reordering and an Example Implementation in Reachability Analysis., , and . ASP-DAC, page 327-330. IEEE Computer Society, (1999)Verifying x86 Instruction Implementations., , , and . CoRR, (2019)Formal Verification of Hardware Support for Advanced Encryption Standard.. FMCAD, page 1-4. IEEE, (2008)One-Way Globally Deterministic Synchronized Alternating Finite Automata Recognize Exactly Deterministic Context-Sensitive Languages.. Inf. Process. Lett., 36 (2): 69-72 (1990)