Anna Slobodová Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik: Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV 2009: 414-429
2008
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Formal Verification of Hardware Support for Advanced Encryption Standard. FMCAD 2008: 1-4
2006
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Challenges for Formal Verification in Industrial Setting. FMICS/PDMC 2006: 1-22
2001
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Formal Verification Methods for Industrial Hardware Design. SOFSEM 2001: 116-135
1999
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. ASP-DAC 1999: 327-330
1998
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: On the Composition Problem for OBDDs with Multiple Variable Orders. MFCS 1998: 645-655
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová, Christoph Meinel: Sample Method for Minimization of OBDDs. SOFSEM 1998: 419-428
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, Christian Stangier: Binary Decision Diagrams and the Multiple Variable Order Problem Universität Trier, Mathematik/Informatik, Forschungsbericht 98-22: (1998)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example in Reachability Analysis Universität Trier, Mathematik/Informatik, Forschungsbericht 98-24: (1998)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: Accelerating OBDD-Minimization by Means of Structural and Semantical Properties Universität Trier, Mathematik/Informatik, Forschungsbericht 98-25: (1998)
1997
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Multivalued Extension of Conditional Belief Functions. ECSQARU-FAPR 1997: 568-573
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs. ICCD 1997: 338-343
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Mundhenk, Anna Slobodová: Optimal Non-approximability of MAXCLIQUE. Lectures on Proof Verification and Approximation Algorithms 1997: 235-248
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. STACS 1997: 213-224
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some Bdd-based Data Structures. Formal Methods in System Design 11(3): 223-237 (1997)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. Theory Comput. Syst. 30(5): 495-518 (1997)
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová, Peter Willems: Block-Restricted Reordering - Extended Experiments Universität Trier, Mathematik/Informatik, Forschungsbericht 97-27: (1997)
1996
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams Electronic Colloquium on Computational Complexity (ECCC) 3(10): (1996)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Some heuristics for generating tree-like FBDD types. IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 127-130 (1996)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDD's avoiding memory requirement maxima. IEEE Trans. on CAD of Integrated Circuits and Systems 15(1): 131-134 (1996)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht 96-02: (1996)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: Speeding up Variable Reordering of OBDDs Universität Trier, Mathematik/Informatik, Forschungsbericht 96-40: (1996)
1995
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. CAV 1995: 4-15
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. DAC 1995: 408-413
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: 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)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima Universität Trier, Mathematik/Informatik, Forschungsbericht 95-03: (1995)
1994
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová: Boolean Manipulation with Free BDD's. First Experimental Results. EDAC-ETC-EUROASIC 1994: 200-207
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. MFCS 1994: 515-524
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Branislav Rovan, Anna Slobodová: Deterministic versus Nondeterministic Space in Terms of Synchronized Alternating Machines. Theor. Comput. Sci. 132(2): 319-336 (1994)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Some Heuristics for Generating Tree-like FBDD Types Universität Trier, Mathematik/Informatik, Forschungsbericht 94-03: (1994)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: On the Complexity of Constructing Optimal OBDD's Universität Trier, Mathematik/Informatik, Forschungsbericht 94-05: (1994)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Christoph Meinel, Anna Slobodová: Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits Universität Trier, Mathematik/Informatik, Forschungsbericht 94-16: (1994)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Meinel, Anna Slobodová: A Unifying Theoretical Background for Some BDD-based Data Structures Universität Trier, Mathematik/Informatik, Forschungsbericht 94-17: (1994)
1993
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Branislav Rovan, Anna Slobodová: Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines. Developments in Language Theory 1993: 314-325
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová, Christoph Meinel: Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package Universität Trier, Mathematik/Informatik, Forschungsbericht 93-09: (1993)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová: Boolean Manipulation with Free BDD's - First Experimental Results Universität Trier, Mathematik/Informatik, Forschungsbericht 93-20: (1993)
1992
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Communication for Alternating Machines. Acta Inf. 29(5): 425-441 (1992)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Katsushi Inoue, Branislav Rovan, Anna Slobodová, Itsuo Takanami, Klaus W. Wagner: On the Power of One-Way Synchronized Alternating Machines with Small Space. Int. J. Found. Comput. Sci. 3(1): 65-79 (1992)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Some Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly. Theor. Comput. Sci. 96(2): 411-419 (1992)
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová: On the power of synchronization in parallel computations. Discrete Applied Mathematics 32(2): 155-182 (1991)
1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: One-Way Globally Deterministic Synchronized Alternating Finite Automata Recognize Exactly Deterministic Context-Sensitive Languages. Inf. Process. Lett. 36(2): 69-72 (1990)
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dassow, Juraj Hromkovic, Juhani Karhumäki, Branislav Rovan, Anna Slobodová: On the Power of Synchronization in Parallel Computations. MFCS 1989: 196-206
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: Some Properties of Space-Bounded Synchronized Alternating Turing Machines with Only Universal States. IMYCS 1988: 102-113
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Slobodová: On the Power of Communication in Alternating Machines. MFCS 1988: 518-528

Coauthor Index

1Jochen Bern [9] [13] [15] [18] [19] [21] [22] [25] [26]
2Gianpiero Cabodi [37]
3Jürgen Dassow [3]
4Vladimir Frolov [44]
5Jordan Gergov [9] [18]
6Rajnish Ghughal [44]
7Juraj Hromkovic [3] [5] [7] [11] [16]
8Katsushi Inoue [7]
9Roope Kaivola [44]
10Juhani Karhumäki [3] [5]
11Christoph Meinel [9] [10] [12] [13] [14] [15] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [35] [36] [37] [38] [40]
12Martin Mundhenk [32]
13Armaghan Naik [44]
14Naren Narasimhan [44]
15Sudhindra Pandav [44]
16Stefano Quer [37]
17Erik Reeber [44]
18Branislav Rovan [3] [5] [7] [11] [16]
19Harald Sack [37]
20Klaus Schwettmann [36] [40]
21Christian Stangier [37]
22Itsuo Takanami [7]
23Christopher Taylor [44]
24Amber Telfer [44]
25Klaus W. Wagner [7]
26Jesse Whittemore [44]
27Peter Willems [28]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)