| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Ayala, Pablo ; Naghdi, Shaghayegh ; Nandan, Sreejith P. ; Myakala, Stephen Nagaraju ; Rath, Jakob ; Saito, Hikaru ; Guggenberger, Patrick ; Lakhanlal, Lakhanlal ; Kleitz, Freddy ; Toroker, Maytal Caspary ; Cherevan, Alexey ; Eder, Dominik | The Emergence of 2D Building Units in Metal‐Organic Frameworks for Photocatalytic Hydrogen Evolution: A Case Study with COK‐47 | Article Artikel  | 18-Aug-2023 |
| 2 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James ; Dickenstein, Alicia ; Tsigaridas, Elias ; Jeronimo, Gabriela | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag  | 24-Jul-2023 |
| 3 | | Kenison, George ; Nieuwveld, Joris ; Ouaknine, Joël ; Worrell, James ; Etessami, Kousha ; Feige, Uriel ; Puppis, Gabriele | Positivity Problems for Reversible Linear Recurrence Sequences | Inproceedings Konferenzbeitrag  | 5-Jul-2023 |
| 4 | | Kenison, George James ; Kovacs, Laura ; Varonka, Anton ; Dickenstein, Alicia ; Tsigaridas, Elias ; Jeronimo, Gabriela | From Polynomial Invariants to Linear Loops | Inproceedings Konferenzbeitrag  | Jul-2023 |
| 5 | | Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura ; Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo | Satisfiability Modulo Custom Theories in Z3 | Inproceedings Konferenzbeitrag  | Jan-2023 |
| 6 | | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Raskin, Jean-Francois ; Chatterjee, Krishnendu ; Doyen, Laurent ; Majumdar, Rupak | Getting Saturated with Induction | Book Contribution Buchbeitrag | 29-Dec-2022 |
| 7 | | Kovacs, Laura | First-Order Theorem Proving and Vampire | Presentation Vortrag | 6-Dec-2022 |
| 8 | | Rawson, Michael | Linear Refutation and Clause Splitting | Preprint Preprint | 5-Dec-2022 |
| 9 | | Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura | This Is the Moment for Probabilistic Loops | Article Artikel  | 31-Oct-2022 |
| 10 | | Kovacs, Laura | Symbolic Computation for Software Analysis | Presentation Vortrag | 25-Oct-2022 |
| 11 | | Varonka, Anton ; Kovacs, Laura | On the Undecidability of Loop Analysis | Presentation Vortrag | 12-Oct-2022 |
| 12 | | Kovacs, Laura | First-Order Theorem Proving - Theory and Practice | Presentation Vortrag | 10-Oct-2022 |
| 13 |  | Kaivola, Roope ; Bar Kama, Neta ; Griggio, Alberto ; Rungta, Neha | Timed Causal Fanin Analysis for Symbolic Circuit Simulation | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 14 |  | Nair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark ; Griggio, Alberto ; Rungta, Neha | Proof-Stitch_Proof Combination for Divide-and-Conquer SAT Solvers | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 15 |  | Lohn, Evan ; Lambert, Chris ; Heule, Marijn ; Griggio, Alberto ; Rungta, Neha | Compact Symmetry Breaking for Tournaments | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 16 |  | Preiner, Mathias ; Griggio, Alberto ; Rungta, Neha | The FMCAD 2022 Student Forum | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 17 |  | Amir, Guy ; Zelazny, Tom ; Katz, Guy ; Schapira, Michael ; Griggio, Alberto ; Rungta, Neha | Verification-Aided Deep Ensemble Selection | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 18 |  | Andronick, June ; Griggio, Alberto ; Rungta, Neha | The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved | Inproceedings Konferenzbeitrag  | Oct-2022 |
| 19 |  | Priya, Siddharth ; Su, Yusen ; Bao, Yuyan ; Zhou,Xiang ; Vizel, Yakir ; Gurfinkel, Arie ; Griggio, Alberto ; Rungta, Neha | Bounded Model Checking for LLVM | Konferenzbeitrag Inproceedings  | Oct-2022 |
| 20 |  | Raghunathan, Divya ; Beckett, Ryan ; Gupta, Aarti ; Walker, David ; Griggio, Alberto ; Rungta, Neha | ACORN Network Control Plane Abstraction using Route Nondeterminism | Konferenzbeitrag Inproceedings  | Oct-2022 |