| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben ; Faella, Marco ; Murano, Aniello | A Myhill-Nerode theorem for automata with advice | Konferenzbeitrag Inproceedings  | 2012 |
| 2 | | Schoisswohl, Johannes ; Kovács, Laura ; Pimentel, Elaine ; Tassi, Enrico | Automating Induction by Reflection | Konferenzbeitrag Inproceedings  | 2021 |
| 3 | | Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina ; Moss, Lawrence | 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 ; Esik, Zoltan | 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 ; Bogaerts, Bart ; Erdem, Esra ; Fodor, Paul ; Formisano, Andrea ; Ianni, Giovambattista ; Inclezan, Daniela ; De Vos, Marina ; Yang, Fangkai | 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 ; Neary, Turlough | 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 ; Kaliszyk, Cezary | Prooftool: a GUI for the GAPT Framework | Konferenzbeitrag Inproceedings  | 2013 |
| 16 | | Kiesel, Rafael | Quantitative and Stream Extensions of Answer Set Programming | Konferenzbeitrag Inproceedings  | 2021 |
| 17 | | Bartocci, Ezio | Sampling-based Decentralized Monitoring for Networked Embedded Systems | Konferenzbeitrag Inproceedings  | 2013 |
| 18 | | Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana | SEA-PARAM: Exploring Schedulers in Parametric MDPs | Konferenzbeitrag Inproceedings | 2017 |
| 19 | | Geibinger, Tobias ; Tompits, Hans | Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics | Konferenzbeitrag Inproceedings  | 2020 |
| 20 | | Kuich, Werner ; Droste, Manfred ; Esik, Zoltan ; Chuhaj-Varju, Erzebet ; Dömösi, Pal ; Vaszil, György | The Triple-Pair Construction for Weighted Omega-Pushdown Automata | Konferenzbeitrag Inproceedings | 2017 |