@article{chatterjee2024value,
  title={Value-Positivity for Matrix Games},
  author={Chatterjee, Krishnendu and Oliu-Barton, Miquel and Saona, Raimundo},
  journal={Mathematics of Operations Research},
  year={2024},
  publisher={INFORMS}
}

@article{plank2025solution,
  title={Solution Counts of Some Prominent Quantified Boolean Formulas Families},
  author={Plank, Andreas and Kauers, Manuel and Seidl, Martina},
  year={2025}
}

@article{hofstadler2024symmetries,
  title={Symmetries of Dependency Quantified Boolean Formulas},
  author={Hofstadler, Clemens and Kauers, Manuel and Seidl, Martina},
  journal={arXiv preprint arXiv:2410.15848},
  year={2024}
}

@article{chatterjee2024quantified,
  title={Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization},
  author={Chatterjee, Krishnendu and Goharshady, Ehsan Kafshdar and Karrabi, Mehrdad and Motwani, Harshit J and Seeliger, Maximilian and {\v{Z}}ikeli{\'c}, {\DJ}or{\dj}e},
  journal={arXiv preprint arXiv:2412.16226},
  year={2024}
}

@article{eiben2025minor,
  title={A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots},
  author={Eiben, Eduard and Ganian, Robert and Kanj, Iyad and Sridharan, Ramanujan M},
  journal={arXiv preprint arXiv:2502.21175},
  year={2025}
}

@misc{asadi2024concurrentstochasticgamesstatefuldiscounted,
      title={Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms}, 
      author={Ali Asadi and Krishnendu Chatterjee and Raimundo Saona and Jakub Svoboda},
      year={2024},
      eprint={2405.02486},
      archivePrefix={arXiv},
      primaryClass={cs.GT},
      url={https://arxiv.org/abs/2405.02486}, 
}

@article{chatterjee2025fixed,
  title={Fixed Point Certificates for Reachability and Expected Rewards in MDPs},
  author={Chatterjee, Krishnendu and Quatmann, Tim and Sch{\"a}ffeler, Maximilian and Weininger, Maximilian and Winkler, Tobias and Zilken, Daniel},
  journal={arXiv preprint arXiv:2501.11467},
  year={2025}
}

@article{frohmann2024segment,
  title={Segment Any Text: A universal approach for robust, efficient and adaptable sentence segmentation},
  author={Frohmann, Markus and Sterner, Igor and Vuli{\'c}, Ivan and Minixhofer, Benjamin and Schedl, Markus},
  journal={arXiv preprint arXiv:2406.16678},
  year={2024}
}

@inproceedings{ganhor2024multimodal,
  title={A Multimodal Single-Branch Embedding Network for Recommendation in Cold-Start and Missing Modality Scenarios},
  author={Ganh{\"o}r, Christian and Moscati, Marta and Hausberger, Anna and Nawaz, Shah and Schedl, Markus},
  booktitle={Proceedings of the 18th ACM Conference on Recommender Systems},
  pages={380--390},
  year={2024}
}

@article{faber2024solving,
  title={Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report},
  author={Faber, Wolfgang},
  year={2024}
}

@article{voboril2024realtime,
  title={Realtime generation of streamliners with large language models},
  author={Voboril, Florentina and Ramaswamy, Vaidyanathan Peruvemba and Szeider, Stefan},
  journal={arXiv preprint arXiv:2408.10268},
  year={2024}
}

@inproceedings{aichberger2024improving,
  title={Improving Uncertainty Estimation through Semantically Diverse Language Generation},
  author={Aichberger, Lukas and Schweighofer, Kajetan and Ielanskyi, Mykyta and Hochreiter, Sepp},
  booktitle={The Thirteenth International Conference on Learning Representations},
  year={2024}
}

@inproceedings{poppel2025flashrnn,
  title={FlashRNN: I/O-Aware Optimization of Traditional RNNs on modern hardware},
  author={P{\"o}ppel, Korbinian and Beck, Maximilian and Hochreiter, Sepp},
  booktitle={The Thirteenth International Conference on Learning Representations},
  year={2025}
}

@article{radler2025generative,
  title={Generative Topology Optimization: Exploring Diverse Solutions in Structural Design},
  author={Radler, Andreas and Volkmann, Eric and Brandstetter, Johannes and Berzins, Arturs},
  journal={arXiv preprint arXiv:2502.13174},
  year={2025}
}

@article{riccio2025imageset2text,
  title={ImageSet2Text: Describing Sets of Images through Text},
  author={Riccio, Piera and Galati, Francesco and Schweighofer, Kajetan and Garcia, Noa and Oliver, Nuria},
  journal={arXiv preprint arXiv:2503.19361},
  year={2025}
}

@article{janota2025breaking,
  title={Breaking symmetries in quantified graph search: A comparative study},
  author={Janota, Mikol{\'a}{\v{s}} and Kirchweger, Markus and Peitl, Tom{\'a}{\v{s}} and Szeider, Stefan},
  journal={arXiv preprint arXiv:2502.15078},
  year={2025}
}

@article{waltersdorfer2025leveraging,
  title={Leveraging Knowledge Graphs for AI System Auditing and Transparency},
  author={Waltersdorfer, Laura and Sabou, Marta},
  journal={Journal of Web Semantics},
  volume={84},
  pages={100849},
  year={2025},
  publisher={Elsevier}
}

@article{schidler2025extracting,
  title={Extracting Problem Structure with LLMs for Optimized SAT Local Search},
  author={Schidler, Andr{\'e} and Szeider, Stefan},
  journal={arXiv preprint arXiv:2501.14630},
  year={2025}
}

@article{chatterjee2024linear,
  title={Linear Equations with Min and Max Operators: Computational Complexity},
  author={Chatterjee, Krishnendu and Luo, Ruichen and Saona, Raimundo and Svoboda, Jakub},
  journal={arXiv preprint arXiv:2412.12228},
  year={2024}
}

@article{kalinin2025continual,
  title={Continual Release Moment Estimation with Differential Privacy},
  author={Kalinin, Nikita P and Upadhyay, Jalaj and Lampert, Christoph H},
  journal={arXiv preprint arXiv:2502.06597},
  year={2025}
}

@article{zverev2025aside,
  title={ASIDE: Architectural Separation of Instructions and Data in Language Models},
  author={Zverev, Egor and Kortukov, Evgenii and Panfilov, Alexander and Tabesh, Soroush and Volkova, Alexandra and Lapuschkin, Sebastian and Samek, Wojciech and Lampert, Christoph H},
  journal={arXiv preprint arXiv:2503.10566},
  year={2025}
}

@article{ganian2024parameterized,
  title={Parameterized Complexity of Caching in Networks},
  author={Ganian, Robert and Inerney, Fionn Mc and Tsigkari, Dimitra},
  journal={arXiv preprint arXiv:2412.16585},
  year={2024}
}

@article{deligkas2025complexity,
  title={The Complexity of Extending Fair Allocations of Indivisible Goods},
  author={Deligkas, Argyrios and Eiben, Eduard and Ganian, Robert and Goldsmith, Tiger-Lily and Ioannidis, Stavros D},
  journal={arXiv preprint arXiv:2503.01368},
  year={2025}
}

@article{kirchweger2025smart,
  title={Smart Cubing for Graph Search: A Comparative Study},
  author={Kirchweger, Markus and Xia, Hai and Peitl, Tom{\'a}{\v{s}} and Szeider, Stefan},
  journal={arXiv preprint arXiv:2501.17201},
  year={2025}
}

@inproceedings{schmolliadversarially,
  title={Adversarially Robust Spiking Neural Networks with Sparse Connectivity},
  author={Schmolli, Mathias and Baronig, Maximilian and Legenstein, Robert and Ozdenizci, Ozan},
  booktitle={The Second Conference on Parsimony and Learning (Proceedings Track)}
}

@inproceedings{ganiantraining,
  title={Training One-Dimensional Graph Neural Networks is NP-Hard},
  author={Ganian, Robert and Rocton, Mathis and Wietheger, Simon},
  booktitle={The Thirteenth International Conference on Learning Representations}
}

@article{svoboda2024density,
  title={Density amplifiers of cooperation for spatial games},
  author={Svoboda, Jakub and Chatterjee, Krishnendu},
  journal={Proceedings of the National Academy of Sciences},
  volume={121},
  number={50},
  pages={e2405605121},
  year={2024},
  publisher={National Academy of Sciences}
}

@inproceedings{ozdenizciprivacy,
  title={Privacy-Aware Lifelong Learning},
  author={Ozdenizci, Ozan and Rueckert, Elmar and Legenstein, Robert},
  booktitle={The Thirteenth International Conference on Learning Representations}
}

@article{ganian2025computational,
  title={The Computational Complexity of Positive Non-Clashing Teaching in Graphs},
  author={Ganian, Robert and Khazaliya, Liana and Inerney, Fionn Mc and Rocton, Mathis},
  journal={arXiv preprint arXiv:2503.07665},
  year={2025}
}

@article{masoudian2024unlabeled,
  title={Unlabeled Debiasing in Downstream Tasks via Class-wise Low Variance Regularization},
  author={Masoudian, Shahed and Frohmann, Markus and Rekabsaz, Navid and Schedl, Markus},
  journal={arXiv preprint arXiv:2409.19541},
  year={2024}
}

@article{ma2024efficient,
  title={Efficient MedSAMs: Segment Anything in Medical Images on Laptop},
  author={Ma, Jun and Li, Feifei and Kim, Sumin and Asakereh, Reza and Le, Bao-Hiep and Nguyen-Vu, Dang-Khoa and Pfefferle, Alexander and Wei, Muxin and Gao, Ruochen and Lyu, Donghang and others},
  journal={arXiv preprint arXiv:2412.16085},
  year={2024}
}

@inproceedings{lesota2024oh,
  title={Oh, behave! country representation dynamics created by feedback loops in music recommender systems},
  author={Lesota, Oleg and Geiger, Jonas and Walder, Max and Kowald, Dominik and Schedl, Markus},
  booktitle={Proceedings of the 18th ACM Conference on Recommender Systems},
  pages={1022--1027},
  year={2024}
}

@incollection{baldazzi2025knowledge,
  title={Knowledge Graph-Based Reasoning in Large Language Models},
  author={Baldazzi, Teodoro and Bellomarini, Luigi and Sallinger, Emanuel},
  booktitle={Handbook on Neurosymbolic AI and Knowledge Graphs},
  pages={441--465},
  year={2025},
  publisher={IOS Press}
}

@article{chatterjee2025refuting,
  title={Refuting Equivalence in Probabilistic Programs with Conditioning},
  author={Chatterjee, Krishnendu and Goharshady, Ehsan Kafshdar and Novotn{\`y}, Petr and {\v{Z}}ikeli{\'c}, {\DJ}or{\dj}e},
  journal={arXiv preprint arXiv:2501.06579},
  year={2025}
}

@article{ahmetaj2025common,
  title={Common Foundations for SHACL, ShEx, and PG-Schema},
  author={Ahmetaj, Shqiponja and Boneva, Iovka and Hidders, Jan and Hose, Katja and Jakubowski, Maxime and Labra-Gayo, Jose-Emilio and Martens, Wim and Mogavero, Fabio and Murlak, Filip and Okulmus, Cem and others},
  journal={arXiv preprint arXiv:2502.01295},
  year={2025}
}

@article{harviainen2025optimal,
  title={Optimal Decision Tree Pruning Revisited: Algorithms and Complexity},
  author={Harviainen, Juha and Sommer, Frank and Sorge, Manuel and Szeider, Stefan},
  journal={arXiv preprint arXiv:2503.03576},
  year={2025}
}

@article{ordyniak2024explaining,
  title={Explaining Decisions in ML Models: a Parameterized Complexity Analysis},
  author={Ordyniak, Sebastian and Paesani, Giacomo and Rychlicki, Mateusz and Szeider, Stefan},
  journal={arXiv preprint arXiv:2407.15780},
  year={2024}
}

@article{yang2025parsimonious,
  title={A parsimonious model for learning order relations provides a principled explanation of diverse experimental data},
  author={Yang, Yukun and Maass, Wolfgang},
  journal={bioRxiv},
  pages={2025--03},
  year={2025},
  publisher={Cold Spring Harbor Laboratory}
}

@article{bergougnoux2025space,
  title={Space-efficient parameterized algorithms on graphs of low shrubdepth},
  author={Bergougnoux, Benjamin and Chekan, Vera and Ganian, Robert and Kant{\'e}, Mamadou Moustapha and Mnich, Matthias and Oum, Sang-il and Pilipczuk, Micha{\l} and van Leeuwen, Erik Jan},
  journal={ACM Transactions on Computation Theory},
  year={2025},
  publisher={ACM New York, NY}
}

@article{aichberger2025attacking,
  title={Attacking Multimodal OS Agents with Malicious Image Patches},
  author={Aichberger, Lukas and Paren, Alasdair and Gal, Yarin and Torr, Philip and Bibi, Adel},
  journal={arXiv preprint arXiv:2503.10809},
  year={2025}
}

@article{schedl2024importance,
  title={The Importance of Cognitive Biases in the Recommendation Ecosystem: Evidence of Feature-Positive Effect, Ikea Effect, and Cultural Homophily},
  author={Schedl, Markus and Lesota, Oleg and Masoudian, Shahed},
  year={2024}
}

@inproceedings{chew2024asp,
  title={ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP},
  author={Chew, Leroy and de Colnet, Alexis and Szeider, Stefan},
  booktitle={Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning},
  pages={253--263},
  year={2024}
}

@article{wu2025simple,
  title={A simple model for Behavioral Time Scale Synaptic Plasticity (BTSP) provides content addressable memory with binary synapses and one-shot learning},
  author={Wu, Yujie and Maass, Wolfgang},
  journal={Nature communications},
  volume={16},
  number={1},
  pages={342},
  year={2025},
  publisher={Nature Publishing Group UK London}
}

@inproceedings{mihindukulasooriya2024scholarly,
  title={Scholarly Wikidata: Population and Exploration of Conference Data in Wikidata Using LLMs},
  author={Mihindukulasooriya, Nandana and Tiwari, Sanju and Dobriy, Daniil and Nielsen, Finn {\AA}rup and Chhetri, Tek Raj and Polleres, Axel},
  booktitle={International Conference on Knowledge Engineering and Knowledge Management},
  pages={243--259},
  year={2024},
  organization={Springer}
}

@article{pourya2025dealing,
  title={DEALing with Image Reconstruction: Deep Attentive Least Squares},
  author={Pourya, Mehrsa and Kobler, Erich and Unser, Michael and Neumayer, Sebastian},
  journal={arXiv preprint arXiv:2502.04079},
  year={2025}
}

@inproceedings{avarikioti2024route,
  title={Route discovery in private payment channel networks},
  author={Avarikioti, Zeta and Bastankhah, Mahsa and Maddah-Ali, Mohammad Ali and Pietrzak, Krzysztof and Svoboda, Jakub and Yeo, Michelle},
  booktitle={European Symposium on Research in Computer Security},
  pages={207--223},
  year={2024},
  organization={Springer}
}

@article{schweiger2025impact,
  title={The impact of playlist characteristics on coherence in user-curated music playlists},
  author={Schweiger, Harald and Parada-Cabaleiro, Emilia and Schedl, Markus},
  journal={EPJ Data Science},
  volume={14},
  number={1},
  pages={24},
  year={2025},
  publisher={Springer}
}

@article{ekaputra2025pattern,
  title={Pattern-based engineering of Neurosymbolic AI Systems},
  author={Ekaputra, Fajar J},
  journal={Journal of Web Semantics},
  volume={85},
  pages={100855},
  year={2025},
  publisher={Elsevier}
}