| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben | A Myhill-Nerode theorem for automata with advice | Konferenzbeitrag Inproceedings | 2012 |
| 2 | | Schoisswohl, Johannes ; Kovács, Laura | Automating Induction by Reflection | Konferenzbeitrag Inproceedings | 2021 |
| 3 | | Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina | Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems | Konferenzbeitrag Inproceedings | 2019 |
| 4 | | Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata | Classical Proofs as Parallel Programs | Konferenzbeitrag Inproceedings | 2018 |
| 5 | | Freund, Rudolf ; Fernau, Henning ; Holzer, Markus | Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes | Konferenzbeitrag Inproceedings | 2014 |
| 6 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard | Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings | 2019 |
| 7 | | Ebner, Gabriel | Fast Cut-Elimination using Proof Terms: An Empirical Study | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich | Fire! | Konferenzbeitrag Inproceedings | 2021 |
| 9 | | Aminof, Benjamin ; Rubin, Sasha | First Cycle Games | Konferenzbeitrag Inproceedings | 2014 |
| 10 | | Schreiner, Wolfgang ; Reichl, Franz-Xaver | First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving | Konferenzbeitrag Inproceedings | 2021 |
| 11 | | Freund, Rudolf ; Paun, Gheorghe | How to Obtain Computational Completeness in P Systems with One Catalyst | Konferenzbeitrag Inproceedings | 2013 |
| 12 | | Bartocci, Ezio ; Grosu, Radu | Monitoring with uncertainty | Konferenzbeitrag Inproceedings | 2013 |
| 13 | | Aschieri, Federico | Natural Deduction and Normalization Proofs for the Intersection Type Discipline | Konferenzbeitrag Inproceedings | 2019 |
| 14 | | Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido | On the Robustness of Temporal Properties for Stochastic Models | Konferenzbeitrag Inproceedings | 2013 |
| 15 | | Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan | Prooftool: a GUI for the GAPT Framework | Konferenzbeitrag Inproceedings | 2013 |
| 16 | | Bartocci, Ezio | Sampling-based Decentralized Monitoring for Networked Embedded Systems | Konferenzbeitrag Inproceedings | 2013 |
| 17 | | Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana | SEA-PARAM: Exploring Schedulers in Parametric MDPs | Konferenzbeitrag Inproceedings | 2017 |
| 18 | | Geibinger, Tobias ; Tompits, Hans | Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics | Konferenzbeitrag Inproceedings | 2020 |
| 19 | | Kuich, Werner ; Droste, Manfred ; Esik, Zoltan | The Triple-Pair Construction for Weighted Omega-Pushdown Automata | Konferenzbeitrag Inproceedings | 2017 |
| 20 | | Freund, Rudolf | (Tissue) P Systems with Vesicles of Multisets | Konferenzbeitrag Inproceedings | 2017 |