|
| | Preview | Author(s) | Title | Type | Issue Date |
| 221 |  | Kaufmann, Daniela ; Biere, Armin | Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra | Article Artikel    | Apr-2023 |
| 222 |  | Beerepoot, Iris ; Di Ciccio, Claudio ; Reijers, Hajo A. ; Rinderle-Ma, Stefanie ; Bandara, Wasana ; Burattin, Andrea ; Calvanese, Diego ; Chen, Tianwa ; Cohen, Izack ; Depaire, Benoît ; Di Federico, Gemma ; Dumas, Marlon ; van Dun, Christopher ; Fehrer, Tobias ; Fischer, Dominik A. ; Gal, Avigdor ; Indulska, Marta ; Isahagian, Vatche ; Klinkmüller, Christopher ; Kratsch, Wolfgang ; Leopold, Henrik ; Van Looy, Amy ; Lopez, Hugo ; Lukumbuzya, Sanja ; Mendling, Jan ; Meyers, Lara ; Moder, Linda ; Montali, Marco ; Muthusamy, Vinod ; Reichert, Manfred ; Rizk, Yara ; Rosemann, Michael ; Röglinger, Maximilian ; Sadiq, Shazia ; Seiger, Ronny ; Slaats, Tijs ; Simkus, Mantas ; Asadi Someh, Ida ; Weber, Barbara ; Weber, Ingo ; Weske, Mathias ; Zerbato, Francesca | The biggest business process management problems to solve before we die | Article Artikel | Apr-2023 |
| 223 |  | Bhore, Sujoy ; Li, Guangping ; Nöllenburg, Martin ; Rutter, Ignaz ; Wu, Hsiang-Yun | Untangling circular drawings: Algorithms and complexity | Article Artikel | Apr-2023 |
| 224 |  | Iurlano, Enrico | Growth of the perfect sequence covering array number | Article Artikel | Apr-2023 |
| 225 | | Zaitoun, Antonio ; Sagi, Tomer ; Hose, Katja | Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus | Inproceedings Konferenzbeitrag | Apr-2023 |
| 226 |  | Jatschka, Thomas ; Rodemann, Tobias ; Raidl, Günther R. | A Multilevel Optimization Approach for Large Scale Battery Exchange Station Location Planning | Inproceedings Konferenzbeitrag | 31-Mar-2023 |
| 7 |  | Angelini, Patrizio ; Bekos, Michael A. ; Förster, Henry ; Gronemann, Martin | Bitonic st-orderings for upward planar graphs: splits and bends in the variable embedding scenario | Article Artikel | 11-Mar-2023 |
| 8 |  | Streibelt, Florian ; Lindorfer, Martina ; Gürses, Seda ; Hernández Gañán, Carlos ; Fiebig, Tobias | Back-to-the-Future Whois: An IP Address Attribution Service for Working with Historic Datasets | Inproceedings Konferenzbeitrag | 10-Mar-2023 |
| 9 | | Kovács, Laura | Symbolic Computation in Automated Program Reasoning | Inproceedings Konferenzbeitrag | 3-Mar-2023 |
| 10 | | Mazumdar, Subhra ; Ruj, Sushmita | CryptoMaze: Privacy-Preserving Splitting of Off-Chain Payments | Article Artikel | 1-Mar-2023 |
| 11 | | Khamis, Mahmoud Abo ; Ngo, Hung Q. ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy | Convergence of datalog over (pre-)semirings | Article Artikel | Mar-2023 |
| 12 | | Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo | Thora: Atomic and Privacy-Preserving Multi-Channel Updates | Presentation Vortrag | 28-Feb-2023 |
| 13 | | Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo | Sleepy Channels: Bi-directional Payment Channels without Watchtowers | Presentation Vortrag | 28-Feb-2023 |
| 14 | | Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo | Breaking and Fixing Virtual Channels: Domino Attack and Donner | Inproceedings Konferenzbeitrag | 27-Feb-2023 |
| 15 | | Hoenisch, Philipp ; Mazumdar, Subhra ; Moreno-Sanchez, Pedro ; Ruj, Sushmita | LightSwap: An Atomic Swap Does Not Require Timeouts at both Blockchains | Inproceedings Konferenzbeitrag | 24-Feb-2023 |
| 16 |  | Chaplick, Steven ; Cornelsen, Sabine ; Nöllenburg, Martin ; Tollis, Ioannis G. ; Chimani, Markus ; Da Lozzo, Giordano ; Patrignani, Maurizio ; Wolf, Alexander | Planar L-drawings of directed graphs | Article Artikel | 23-Feb-2023 |
| 17 | | Pichler, Dominik | Extensionality for Dyadic Obligations | Presentation Vortrag | 11-Feb-2023 |
| 18 | | Freiman, Robert | From Semantic Games to Analytic Calculi | Presentation Vortrag | 6-Feb-2023 |
| 19 | | Xu, Zhenghua ; Li, Tianrun ; Liu, Yunxin ; Zhan, Yuefu ; Chen, Junyang ; Lukasiewicz, Thomas | PAC-Net: Multi-pathway FPN with position attention guided connections and vertex distance IoU for 3D medical image detection | Article Artikel | 2-Feb-2023 |
| 20 | | Sha, Lei ; Camburu, Oana-Maria ; Lukasiewicz, Thomas | Rationalizing predictions by adversarial information calibration | Article Artikel | Feb-2023 |
