( en | de | ru )

 

Disambiguierung von "Slobodová, Anna"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heike Anna Brücker

Dirk Annacker

Thomas Annan

Carola Annas

John A Anna Selva

 

Weitere Publikationen von Autoren mit dem selben Namen

Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines., , und . Developments in Language Theory, Seite 314-325. World Scientific, Singapore, (1993)Some heuristics for generating tree-like FBDD types., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (1): 127-130 (1996)On the Power of Communication in Alternating Machines.. MFCS, Volume 324 von Lecture Notes in Computer Science, Seite 518-528. Springer, (1988)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., , und . Theor. Comput. Sci., 132 (2): 319-336 (1994)Use of Formal Verification at Centaur Technology., , , und . Design and Verification of Microprocessor Systems for High-Assurance Applications, Springer, (2010)Application Driven Variable Reordering and an Example Implementation in Reachability Analysis., , und . ASP-DAC, Seite 327-330. IEEE Computer Society, (1999)Verifying x86 Instruction Implementations., , , und . CoRR, (2019)Formal Verification of Hardware Support for Advanced Encryption Standard.. FMCAD, Seite 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)