|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Alhazov, Artiom ; Ferrari-Dominguez, Vincent ; Freund, Rudolf ; Glade, Nicolas ; Ivanov, Sergiu | A P systems variant for reasoning about sequential controllability of Boolean networks | Article Artikel  | 29-Aug-2023 |
| 2 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Numerical networks of cells | Article Artikel | 22-May-2023 |
| 3 | | Sauerwein, Clemens ; Breu, Ruth ; Oppl, Stefan ; Groher, Iris ; Antensteiner, Tobias ; Podlipnig, Stefan ; Prodan, Radu | CodeAbility Austria – Digital gestützte Programmierausbildung an österreichischen Universitäten | Article Artikel | Apr-2023 |
| 4 |  | van Berkel, Kees ; Ciabattoni, Agata ; Freschi, Elisa ; Gulisano, Francesca ; Olszewski, Maya | Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again | Article Artikel   | Jan-2023 |
| 5 | | Olszewski, Maya Alexandra ; Parent, Xavier ; van der Torre, Leendert | Permissive and regulative norms in deontic logic | Article Artikel | 2023 |
| 6 |  | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion | Variants of derivation modes for which purely catalytic {P} systemsare computationally complete | Article Artikel | 12-Jun-2022 |
| 7 |  | Fermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra | From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic | Article Artikel | Jun-2022 |
| 8 | | Rameder, Heidelinde ; di Angelo, Monika ; Salzer, Gernot | Review of Automated Vulnerability Analysis of Smart Contracts on Ethereum | Artikel Article | 2022 |
| 9 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Sergey Verlan | Regulated Insertion-Deletion Systems | Article Artikel | 2022 |
| 10 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Tissue P Systems with Vesicles of Multisets | Article Artikel | 2022 |
| 11 |  | Neufeld, Emery A. ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | Enforcing ethical goals over reinforcement-learning policies | Article Artikel | 2022 |
| 12 |  | Pfeifer, Niki ; Fermüller, Christian G. | Probabilistic interpretations of argumentative attacks: Logical and experimental results | Article Artikel | 2022 |
| 13 |  | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Verlan, Sergey | Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete | Article Artikel | Dec-2021 |
| 14 |  | Di Angelo, Monika ; Salzer, Gernot | Identification of token contracts on Ethereum: standard compliance and beyond | Artikel Article | 3-Sep-2021 |
| 15 |  | Lellmann, Björn ; Gulisano, Francesca ; Ciabattoni, Agata | Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach | Artikel Article | Sep-2021 |
| 16 |  | Freund, Rudolf ; Ivanov, Sergui ; Alhazov, Artiom | When catalytic P systems with one catalyst can be computationally complete. | Artikel Article | Sep-2021 |
| 17 |  | Cerna, David M. ; Leitsch, Alexander ; Lolic, Anela | Schematic Refutations of Formula Schemata | Artikel Article | Jun-2021 |
| 18 |  | Freund, Rudolf ; Ivanov, Sergui ; Alhazov, Artiom | P systems with limited number of objects | Artikel Article | Mar-2021 |
| 19 | | Freund, Rudolf | Preface | Artikel Article | 2021 |
| 20 | | CIABATTONI, AGATA ; LANG, TIMO ; RAMANAYAKE, REVANTHA | Bounded-analytic sequent calculi and embeddings for hypersequent logics. | Artikel Article | 2021 |
