|
| | Preview | Author(s) | Title | Type | Issue Date |
| 141 | | Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo | Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers | Presentation Vortrag | 30-Aug-2023 |
| 142 | | Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo | Thora: Atomic and Privacy-Preserving Multi-Channel Updates | Presentation Vortrag | 30-Aug-2023 |
| 143 | | Geibinger, Tobias | Explainable Answer-set Programming | Inproceedings Konferenzbeitrag  | 30-Aug-2023 |
| 144 |  | Dreier, Jan ; Mock, Daniel ; Rossmanith, Peter | Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond | Inproceedings Konferenzbeitrag   | 30-Aug-2023 |
| 145 | | 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 |
| 146 |  | Dimopoulos, Yannis ; Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus ; Woltran, Stefan | Sets Attacking Sets in Abstract Argumentation | Inproceedings Konferenzbeitrag | 29-Aug-2023 |
| 147 | | Pichler, Dominik ; Parent, Xavier | Perspectival obligation and extensionality in an alethic-deontic setting | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 148 | | Ciabattoni, Agata ; Dik, Josephine Femke ; Freschi Elisa | Disambiguating Permissions: A Contribution from Mimamsa | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 149 | | Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii | Analytic Proof Theory for Aqvist's System F | Inproceedings Konferenzbeitrag | 28-Aug-2023 |
| 150 |  | Brand, Cornelius ; Korchemna, Viktoria ; Skotnica, Michael | Deterministic Constrained Multilinear Detection | Inproceedings Konferenzbeitrag | 21-Aug-2023 |
| 151 | | 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 |
| 152 | | Fermüller, Christian G. | Logic and Implication – An Introduction to the General Algebraic Study of Non-classical Logics, Petr Cintula, Carles Noguera , in: Trends in Logic, vol. 57, Springer (2021), 465 p., €120.99 for hardcover, ISBN: 978-3-030-85675-5 | Special Contribution Spezialbeitrag | 15-Aug-2023 |
| 153 | | Scaffino, Giulia ; Aumayr, Lukas ; Avarikioti, Georgia ; Maffei, Matteo | Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 154 |  | De Colnet, Alexis | Separating Incremental and Non-Incremental Bottom-Up Compilation | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 155 |  | Kirchweger, Markus ; Peitl, Tomas ; Szeider, Stefan | A SAT Solver's Opinion on the Erdos-Faber-Lovász Conjecture | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 156 |  | Markus Kirchweger ; Scheucher, Manfred ; Stefan Szeider | SAT-Based Generation of Planar Graphs | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 157 |  | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 158 | | Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Oetsch, Johannes | A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering | Inproceedings Konferenzbeitrag | Aug-2023 |
| 159 | | Eiter, Thomas ; Geibinger, Tobias | Explaining Answer-Set Programs with Abstract Constraint Atoms | Inproceedings Konferenzbeitrag | Aug-2023 |
| 160 | | Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James | The Membership Problem for Hypergeometric Sequences with Quadratic Parameters | Inproceedings Konferenzbeitrag | 24-Jul-2023 |
