( en | de | ru )

 

Disambiguation of "Slobodová, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
Some Heuristics for Generating Tree-like FBDD Types

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

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 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 . Developments in Language Theory, page 314-325. World Scientific, Singapore, (1993)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 . 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)Formal Verification of Hardware Support for Advanced Encryption Standard.. FMCAD, page 1-4. IEEE, (2008)Verifying x86 Instruction Implementations., , , and . CoRR, (2019)On the power of synchronization in parallel computations., , , and . Discret. Appl. Math., 32 (2): 155-182 (1991)