| 2021 | CAV | Balancing Automation and Control for Formal Verification of Microprocessors. | Shilpi Goel, Anna Slobodov, Rob Sumners, Sol Swords |
| 2020 | CAV | Automated and Scalable Verification of Integer Multipliers. | Mertcan Temel, Anna Slobodov, Warren A. Hunt |
| 2020 | CPP | Verifying x86 instruction implementations. | Shilpi Goel, Anna Slobodov, Rob Sumners, Sol Swords |
| 2014 | ITP | Microcode Verification - Another Piece of the Microprocessor Verification Puzzle. | Jared Davis, Anna Slobodov, Sol Swords |
| 2011 | MEMOCODE | A flexible formal verification framework for industrial scale validation. | Anna Slobodov, Jared Davis, Sol Swords, Warren A. Hunt Jr. |
| 2009 | CAV | Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. | Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodov, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik |
| 2008 | FMCAD | Formal Verification of Hardware Support for Advanced Encryption Standard. | Anna Slobodov |
| 2006 | FMICS | Challenges for Formal Verification in Industrial Setting. | Anna Slobodov |
| 2001 | SOFSEM | Formal Verification Methods for Industrial Hardware Design. | Anna Slobodov |
| 1999 | ASPDAC | Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. | Christoph Meinel, Klaus Schwettmann, Anna Slobodov |
| 1998 | MFCS | On the Composition Problem for OBDDs with Multiple Variable Orders. | Anna Slobodov |
| 1998 | SOFSEM | Sample Method for Minimization of OBDDs. | Anna Slobodov, Christoph Meinel |
| 1997 | ECSQARU | Multivalued Extension of Conditional Belief Functions. | Anna Slobodov |
| 1997 | ICCD | Speeding up Variable Reordering of OBDDs. | Christoph Meinel, Anna Slobodov |
| 1997 | STACS | A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams. | Christoph Meinel, Anna Slobodov |
| 1995 | CAV | Global rebuilding of OBDDs Avoiding Memory Requirement Maxima. | Jochen Bern, Christoph Meinel, Anna Slobodov |
| 1995 | DAC | Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits. | Jochen Bern, Christoph Meinel, Anna Slobodov |
| 1994 | MFCS | On the Complexity of Constructing Optimal Ordered Binary Decision Diagrams. | Christoph Meinel, Anna Slobodov |
| 1993 | DLT | Deterministic Versus Nondeterministic Space in Terms of Synchronized Alternating Machines. | Juraj Hromkovic, Branislav Rovan, Anna Slobodov |
| 1989 | MFCS | On the Power of Synchronization in Parallel Computations. | Jrgen Dassow, Juraj Hromkovic, Juhani Karhumki, Branislav Rovan, Anna Slobodov |
| 1988 | MFCS | On the Power of Communication in Alternating Machines. | Anna Slobodov |