- 2021
- E-pub ahead of print
Kings in Multipartite Hypertournaments
Ai, J., Gerke, S. & Gutin, G., 2 Aug 2021, (E-pub ahead of print) In: Journal of Graph Theory.Research output: Contribution to journal › Article › peer-review
- Published
A Unifying Look at Sequence Submodularity
Bernardini, S., Fagnani, F. & Piacentini, C., Aug 2021, In: Artificial Intelligence. 297, 103486.Research output: Contribution to journal › Article › peer-review
- Published
The Parameterized Complexity of Connected Fair Division
Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., Aug 2021, International Joint Conference on Artificial Intelligence: IJCAI 2021. p. 139-145 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Collapsible Pushdown Parity Games
Hague, M., Serre, O., Carayol, A., Ong, C-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.Research output: Contribution to journal › Article › peer-review
- Published
Two's Company, Three's a Crowd: Consensus-Halving for a Constant Number of Agents
Deligkas, A., Filos-Ratsikas, A. & Hollender, A., 18 Jul 2021, ACM Conference on Economics and Computation: EC '21. p. 347-368 22 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- E-pub ahead of print
Checking Data-Race Freedom of GPU Kernels, Compositionally
Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 15 Jul 2021, (E-pub ahead of print) International Conference on Computer-Aided Verification. Springer-Verlag, Vol. 12759.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- E-pub ahead of print
Privacy Boundary Determination of Smart Meter Data Using an Artificial Intelligence Adversary
Zhang, X., Watkins, C., Cheong Took, C. & Kuenzel, S., 14 Jul 2021, (E-pub ahead of print) In: International Transactions on Electrical Energy Systems.Research output: Contribution to journal › Article › peer-review
- Forthcoming
Automated Verification of Go Programs via Bounded Model Checking
Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.Research output: Contribution to journal › Conference article › peer-review
- E-pub ahead of print
Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs
He, Z., Li, J. & Wahlström, M., 3 Jul 2021, (E-pub ahead of print) Proceedings of ESA 2021. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-14 14 p. 52Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Ranking Bracelets in Polynomial Time
Adamson, D., Gusev, V., Potapov, I. & Deligkas, A., 30 Jun 2021, Symposium on Combinatorial Pattern Matching: CPM 2021. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 191. p. 1-17 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution