|
| | Preview | Author(s) | Title | Type | Issue Date |
| 121 | | Gore, Rajeev | CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT | Konferenzbeitrag Inproceedings  | 2021 |
| 122 | | Gore, Rajeev | A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic | Konferenzbeitrag Inproceedings | 2021 |
| 123 | | Glavaničová, Daniela ; Pascucci, Matteo | A realistic view on normative conflicts | Artikel Article | Sep-2020 |
| 124 |  | Freund, Rudolf | How derivation modes and halting conditions may influence the computational power of P systems | Artikel Article   | Mar-2020 |
| 125 | | Alhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu | P systems with randomized right-hand sides of rules | Artikel Article | 18-Jan-2020 |
| 126 | | di Angelo, Monika ; Sack, Christian ; Salzer, Gernot | SoK: Development of Secure Smart Contracts – Lessons from a Graduate Course | Konferenzbeitrag Inproceedings | 2020 |
| 127 | | Baldi, Paolo ; Fermüller, Christian G. ; Hofer, Matthias F.J. | On fuzzification mechanisms for unary quantification | Artikel Article | 2020 |
| 128 | | di Angelo, Monika ; Salzer, Gernot | Characterizing Types of Smart Contracts in the Ethereum Landscape | Konferenzbeitrag Inproceedings | 2020 |
| 129 | | Freund, Rudolf ; Alhazov, Artiom | Time-freeness and clock-freeness and related concepts in {P} systems | Artikel Article | 2020 |
| 130 | | Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings | 2020 |
| 131 | | Schneidewind, Clara ; Scherer, Markus ; Maffei, Matteo | The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings | 2020 |
| 132 | | di Angelo, Monika ; Salzer, Gernot | Assessing the Similarity of Smart Contracts by Clustering their Interfaces | Konferenzbeitrag Inproceedings | 2020 |
| 133 | | Lellmann, Björn ; Ciabattoni, Agata | Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms | Konferenzbeitrag Inproceedings | 2020 |
| 134 | | di Angelo, Monika ; Salzer, Gernot | Tokens, Types, and Standards: Identification and Utilization in Ethereum | Konferenzbeitrag Inproceedings | 2020 |
| 135 | | Fermüller, Christian ; Majer, Ondrej | Interpreting Propositional Fuzzy Logics via Imperfect Information Games | Konferenzbeitrag Inproceedings | 2020 |
| 136 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio | A typed parallel lambda-calculus via 1-depth intermediate proofs | Konferenzbeitrag Inproceedings | 2020 |
| 137 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A. | On the concurrent computational content of intermediate logics | Artikel Article | 2020 |
| 138 | | Aschieri, Federico ; Genco, Francesco A. | Par means parallel: multiplicative linear logic proofs as concurrent functional programs" | Artikel Article | 2020 |
| 139 | | Bareis, Marco ; di Angelo, Monika ; Salzer, Gernot | Functional Differences of Neo and Ethereum as Smart Contract Platforms | Konferenzbeitrag Inproceedings | 2020 |
| 140 | | di Angelo, Monika ; Salzer, Gernot | Characteristics of Wallet Contracts on Ethereum | Konferenzbeitrag Inproceedings | 2020 |
