2026-06-03 16:16 |
-
Coming Home for Blocking Transitions Fast
Schwanen, C. T. ; Pakusa, W. ; van der Aalst, W. M. P.
Application and Theory of Petri Nets and Concurrency : 47th International Conference, PETRI NETS 2026, Hamburg, Germany, June 22–26, 2026, Proceedings / Editors: Jörg Desel, Anna Kalenkova, Seiten/Artikel-Nr: 289-311
DOI: 10.1007/978-3-032-27879-1_14
Contribution to a book/Contribution to a conference proceedings
2026
|
2026-06-02 10:05 |
|
2026-06-01 16:35 |
|
2026-06-01 14:56 |
|
2026-06-01 13:16 |
-
A Polynomial Kernel for Face Cover on Non-Embedded Planar Graphs
Hamm, T. (Corresponding author) ; Pandey, S. (Corresponding author) ; Szilágyi, K. (Corresponding author)
43rd International Symposium on Theoretical Aspects of Computer Science : STACS 2026, March 9-13, 2026, Grenoble, France / edited by Meena Mahajan, Florin Manea, Annabelle McIver, Nguyễn Kim Thắng, Seiten/Artikel-Nr: [50:1]-50:18
DOI: 10.18154/RWTH-2026-05671
Contribution to a book/Contribution to a conference proceedings
2026
|
2026-06-01 12:42 |
-
Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems
Lichter, M. (Corresponding author) ; Pago, B. (Corresponding author)
52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis, Seiten/Artikel-Nr: 166:1-166:17
URN: urn:nbn:de:0030-drops-235431
Contribution to a book/Contribution to a conference proceedings
2025
|
2026-06-01 12:02 |
|
2026-06-01 11:57 |
|
2026-06-01 11:38 |
|
2026-06-01 11:16 |
|
|
|