|
| | Preview | Author(s) | Title | Type | Issue Date |
| 21 |  | Soldà, Davide ; Fabiano, Francesco ; Dovier, Agostino | ECHO: A hierarchical combination of classical and multi-agent epistemic planning problems | Article Artikel    | Dec-2023 |
| 22 |  | Sober, Michael ; Scaffino, Giulia ; Schulte, Stefan ; Kanhere, Salil S. | A blockchain-based IoT data marketplace | Article Artikel | Dec-2023 |
| 23 |  | Schidler, André ; Szeider, Stefan | Computing optimal hypertree decompositions with SAT | Article Artikel | Dec-2023 |
| 24 | | Xu, Zhenghua ; Tian, Biao ; Liu, Shijie ; Wang, Xiangtao ; Yuan, Di ; Gu, Junhua ; Chen, Junyang ; Lukasiewicz, Thomas ; Leung, Victor C. M. | Collaborative Attention Guided Multi-Scale Feature Fusion Network for Medical Image Segmentation | Article Artikel | 14-Nov-2023 |
| 25 |  | Gottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard ; Razgon, Igor | Fractional covers of hypergraphs with bounded multi-intersection | Article Artikel | 10-Nov-2023 |
| 26 |  | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness | Article Artikel | Nov-2023 |
| 27 |  | Angles, Renzo ; Gottlob, Georg ; Pavlović, Aleksandar ; Pichler, Reinhard ; Sallinger, Emanuel | SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog | Article Artikel | Nov-2023 |
| 28 |  | Peitl, Tomáš ; Szeider, Stefan | Are hitting formulas hard for resolution? | Article Artikel | 15-Oct-2023 |
| 29 | | Xu, Zhenghua ; Zhang, Xudong ; Zhang, Hexiang ; Liu, Yunxin ; Zhan, Yuefu ; Lukasiewicz, Thomas | EFPN: Effective medical image detection using feature pyramid fusion enhancement | Article Artikel | Sep-2023 |
| 30 |  | Dreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan | CSP beyond tractable constraint languages | Article Artikel | Sep-2023 |
| 31 |  | Bhore, Sujoy ; Ganian, Robert ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules | Worbel: aggregating point labels into word clouds | Article Artikel | Sep-2023 |
| 32 |  | Wallinger, Markus ; Archambault, Daniel ; Auber, David ; Nöllenburg, Martin ; Peltonen, Jaakko | Faster edge‐path bundling through graph spanners | Article Artikel | Sep-2023 |
| 33 | | 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 |
| 34 | | 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 |
| 35 |  | Tian, Zilu ; Lindner, Peter ; Nissl, Markus ; Koch, Christoph ; Tannen, Val | Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations | Article Artikel | 20-Jun-2023 |
| 36 | | Wallinger, Markus ; Dobler, Alexander ; Nöllenburg, Martin | LinSets.zip: Compressing Linear Set Diagrams | Article Artikel | 1-Jun-2023 |
| 37 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan | On the parameterized complexity of clustering problems for incomplete data | Article Artikel | Jun-2023 |
| 38 |  | Limmer, Steffen ; Varga, Johannes ; Raidl, Günther | Large neighborhood search for electric vehicle fleet scheduling | Article Artikel | Jun-2023 |
| 39 |  | Lackner, Marie-Louise ; Mrkvicka, Christoph ; Musliu, Nysret ; Walkiewicz, Daniel ; Winter, Felix | Exact methods for the Oven Scheduling Problem | Article Artikel | Jun-2023 |
| 40 | | Fichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan | The silent (r)evolution of SAT | Article Artikel | Jun-2023 |
