Dominik Wojtczak

122 papers A* 14A 5B 18C 5Misc 2Journal 59Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Empowering Locally Deployable Medical Agent via State Enhanced Logical Skills for FHIR-based Clinical Tasks. CoRR Wanrong Yang, Zhengliang Liu, Yuan Li, Bingjie Yan, Lingfang Li, Mingguang He, Dominik Wojtczak, Yalin Zheng, Danli Shi
2026	J	`jnl`	Revocable signature: handling valid but unauthorized Non-Fungible Token through Auxiliary Embedded Key. Cybersecur. Yuxin Xia, Ziyang Ji, Jie Zhang, Wanxin Li, Ka Lok Man, Steven Guan, Dominik Wojtczak
2026	B	`conf`	The Complexity of Games with Randomised Control. FoSSaCS Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2026	J	`jnl`	The Complexity of Games with Randomised Control. CoRR Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2025	Misc	`conf`	Abstract Attack Intention Inference Using Low-Rank Gated Arithmetic Interactive Attention. CSR Wanrong Yang, Manhui Wang, Dominik Wojtczak
2025	J	`jnl`	Collusion-Safe Proxy Re-Encryption. IACR Cryptol. ePrint Arch. Haotian Yin, Jie Zhang, Wanxin Li, Yuji Dong, Eng Gee Lim, Dominik Wojtczak
2025	A	`conf`	Efficient Inference of Sources and Targets in a Graph with Limited Observations. ECAI Wanrong Yang, Dominik Wojtczak
2025	J	`jnl`	Flexible and Area-Efficient Codesign Implementation of AES on FPGA. Cryptogr. Oussama Azzouzi, Mohamed Anane, Mohamed Chahine Ghanem, Yassine Himeur, Dominik Wojtczak
2025	J	`jnl`	Full-Authority Data Sharing Systems: Ciphertext-Dependent Proxy Re-Encryption with Dynamic Key Generation. IACR Cryptol. ePrint Arch. Haotian Yin, Jie Zhang, Wanxin Li, Yuji Dong, Eng Gee Lim, Dominik Wojtczak
2025	J	`jnl`	Priority Promotion with Parysian flair. J. Comput. Syst. Sci. Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2025	J	`jnl`	Reducing Honest Re-Encryption Attack to Chosen Ciphertext Attack. IACR Cryptol. ePrint Arch. Haotian Yin, Jie Zhang, Wanxin Li, Yuji Dong, Eng Gee Lim, Dominik Wojtczak
2025	J	`jnl`	USpt: Updatable Signature with Public Tokens. IACR Cryptol. ePrint Arch. Haotian Yin, Jie Zhang, Wanxin Li, Yuji Dong, Eng Gee Lim, Dominik Wojtczak
2025	J	`jnl`	Updatable Signature from Lattices. IACR Cryptol. ePrint Arch. Haotian Yin, Jie Zhang, Wanxin Li, Yuji Dong, Eng Gee Lim, Dominik Wojtczak
2025	J	`jnl`	Updatable Signature with public tokens. J. Inf. Secur. Appl. Haotian Yin, Jie Zhang, Wanxin Li, Yuji Dong, Eng Gee Lim, Dominik Wojtczak
2024	J	`jnl`	A Survey for Deep Reinforcement Learning Based Network Intrusion Detection. CoRR Wanrong Yang, Alberto Acuto, Yihang Zhou, Dominik Wojtczak
2024	J	`jnl`	Correction: MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. SN Comput. Sci. Yanhua Xu, Dominik Wojtczak
2024	J	`jnl`	Decentralized multi-agent cooperation via adaptive partner modeling. Complex Intell. Syst. Chenhang Xu, Jia Wang, Xiaohui Zhu, Yong Yue, Weifeng Zhou, Zhixuan Liang, Dominik Wojtczak
2024	A	`conf`	Multi-Agent Reinforcement Learning for Alternating-Time Logic. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2024	A*	`conf`	Omega-Regular Decision Processes. AAAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. CoRR Yanhua Xu, Dominik Wojtczak
2023	J	`jnl`	MC-NN: An End-to-End Multi-Channel Neural Network Approach for Predicting Influenza A Virus Hosts and Antigenic Types. SN Comput. Sci. Yanhua Xu, Dominik Wojtczak
2023	J	`jnl`	Multi-objective ω-Regular Reinforcement Learning. Formal Aspects Comput. Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	—	`conf`	Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	A	`conf`	Omega-Regular Reward Machines. ECAI Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2023	J	`jnl`	Omega-Regular Reward Machines. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	A Recursive Approach to Solving Parity Games in Quasipolynomial Time. Log. Methods Comput. Sci. Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
2022	J	`jnl`	Alternating Good-for-MDP Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	Alternating Good-for-MDPs Automata. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	B	`conf`	An Impossibility Result in Automata-Theoretic Reinforcement Learning. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Coordination Games on Weighted Directed Graphs. Math. Oper. Res. Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
2022	J	`jnl`	Dive into Machine Learning Algorithms for Influenza Virus Host Prediction with Hemagglutinin Sequences. CoRR Yanhua Xu, Dominik Wojtczak
2022	J	`jnl`	Dive into machine learning algorithms for influenza virus host prediction with hemagglutinin sequences. Biosyst. Yanhua Xu, Dominik Wojtczak
2022	—	`conf`	End-to-End Multi-channel Neural Networks for Predicting Influenza a Virus Hosts and Antigenic Types. KDIR Yanhua Xu, Dominik Wojtczak
2022	J	`jnl`	Facility Reallocation on the Line. Algorithmica Bart de Keijzer, Dominik Wojtczak
2022	A*	`conf`	Hidden 1-Counter Markov Models and How to Learn Them. IJCAI Mehmet Kurucan, Mete Özbaltan, Sven Schewe, Dominik Wojtczak
2022	J	`jnl`	Multi-channel neural networks for predicting influenza A virus hosts and antigenic types. CoRR Yanhua Xu, Dominik Wojtczak
2022	J	`jnl`	Predicting Influenza A Viral Host Using PSSM and Word Embeddings. CoRR Yanhua Xu, Dominik Wojtczak
2022	A*	`conf`	Propositional Gossip Protocols under Fair Schedulers. IJCAI Joseph Livesey, Dominik Wojtczak
2022	A*	`conf`	Recursive Reinforcement Learning. NeurIPS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	J	`jnl`	Recursive Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2022	C	`conf`	Reinforcement Learning with Guarantees that Hold for Ever. FMICS Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	A Recursive Approach to Solving Parity Games in Quasipolynomial Time. CoRR Karoliina Lehtinen, Pawel Parys, Sven Schewe, Dominik Wojtczak
2021	J	`jnl`	Facility Reallocation on the Line. CoRR Bart de Keijzer, Dominik Wojtczak
2021	C	`conf`	Leveraging Neural Networks in Malaria Control. CIBCB Joseph Livesey, Dominik Wojtczak
2021	—	`conf`	Minimal Number of Calls in Propositional Protocols. RP Joseph Livesey, Dominik Wojtczak
2021	—	`conf`	Model-Free Reinforcement Learning for Branching Markov Decision Processes. CAV (2) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	B	`conf`	Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives. FM Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Model-free Reinforcement Learning for Branching Markov Decision Processes. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	J	`jnl`	Mungojerrie: Reinforcement Learning of Linear-Time Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2021	C	`conf`	Predicting Influenza A Viral Host Using PSSM and Word Embeddings. CIBCB Yanhua Xu, Dominik Wojtczak
2021	J	`jnl`	Priority Promotion with Parysian Flair. CoRR Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero, Sven Schewe, Dominik Wojtczak
2021	B	`conf`	Propositional Gossip Protocols. FCT Joseph Livesey, Dominik Wojtczak
2021	B	`conf`	Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. FoSSaCS Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2021	J	`jnl`	Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. CoRR Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2020	B	`conf`	Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives. ATVA Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	—	`conf`	Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	A*	`conf`	How to Play in Infinite MDPs (Invited Talk). ICALP Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick Totzke, Dominik Wojtczak
2020	B	`conf`	Model-Free Reinforcement Learning for Stochastic Parity Games. CONCUR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2020	J	`jnl`	Reward Shaping for Reinforcement Learning with Omega-Regular Objectives. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	J	`jnl`	An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. Int. J. Softw. Tools Technol. Transf. John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak
2019	J	`jnl`	Coordination Games on Weighted Directed Graphs. CoRR Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
2019	J	`jnl`	Good-for-MDPs Automata. CoRR Ernst Moritz Hahn, Mateo Perez, Fabio Somenzi, Ashutosh Trivedi, Sven Schewe, Dominik Wojtczak
2019	J	`jnl`	Improving the complexity of Parys' recursive algorithm. CoRR Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak
2019	—	`conf`	Limit reachability for model-free reinforcement learning of ω-regular objectives. SNR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	—	`conf`	Omega-Regular Objectives in Model-Free Reinforcement Learning. TACAS (1) Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2019	B	`conf`	Open Problems in a Logic of Gossips. TARK Krzysztof R. Apt, Dominik Wojtczak
2019	J	`jnl`	Recursive stochastic games with positive rewards. Theor. Comput. Sci. Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis
2018	A*	`conf`	Facility Reallocation on the Line. IJCAI Bart de Keijzer, Dominik Wojtczak
2018	J	`jnl`	Omega-Regular Objectives in Model-Free Reinforcement Learning. CoRR Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
2018	Misc	`conf`	On Strong NP-Completeness of Rational Problems. CSR Dominik Wojtczak
2018	J	`jnl`	On Strong NP-Completeness of Rational Problems. CoRR Dominik Wojtczak
2018	J	`jnl`	Verification of Distributed Epistemic Gossip Protocols. J. Artif. Intell. Res. Krzysztof R. Apt, Dominik Wojtczak
2017	J	`jnl`	An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space. CoRR John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
2017	—	`conf`	An ordered approach to solving parity games in quasi polynomial time and quasi linear space. SPIN John Fearnley, Sanjay Jain, Sven Schewe, Frank Stephan, Dominik Wojtczak
2017	B	`conf`	Common Knowledge in a Logic of Gossips. TARK Krzysztof R. Apt, Dominik Wojtczak
2017	A*	`conf`	Constrained Pure Nash Equilibria in Polymatrix Games. AAAI Sunil Simon, Dominik Wojtczak
2017	—	`conf`	Decidability of Fair Termination of Gossip Protocols. LPAR (Short Presentations) Krzysztof R. Apt, Dominik Wojtczak
2017	J	`jnl`	MDPs with Energy-Parity Objectives. CoRR Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2017	A*	`conf`	MDPs with energy-parity objectives. LICS Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
2017	J	`jnl`	On Strong Determinacy of Countable Stochastic Games. CoRR Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017	A*	`conf`	On strong determinacy of countable stochastic games. LICS Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017	A*	`conf`	On the Computational Complexity of Gossip Protocols. IJCAI Krzysztof R. Apt, Eryk Kopczynski, Dominik Wojtczak
2017	J	`jnl`	Optimal Control for Multi-Mode Systems with Discrete Costs. CoRR Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
2017	—	`conf`	Optimal Control for Multi-mode Systems with Discrete Costs. FORMATS Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
2017	J	`jnl`	Parity Objectives in Countable MDPs. CoRR Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017	A*	`conf`	Parity objectives in countable MDPs. LICS Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
2017	A*	`conf`	Synchronisation Games on Hypergraphs. IJCAI Sunil Simon, Dominik Wojtczak
2016	J	`jnl`	Constrained Pure Nash Equilibria in Polymatrix Games. CoRR Sunil Simon, Dominik Wojtczak
2016	A*	`conf`	Efficient Local Search in Coordination Games on Graphs. IJCAI Sunil Simon, Dominik Wojtczak
2016	J	`jnl`	Efficient Local Search in Coordination Games on Graphs. CoRR Sunil Simon, Dominik Wojtczak
2016	B	`conf`	On Decidability of a Logic of Gossips. JELIA Krzysztof R. Apt, Dominik Wojtczak
2016	C	`conf`	Optimal Control for Simple Linear Hybrid Systems. TIME Mahmoud A. A. Mousa, Sven Schewe, Dominik Wojtczak
2015	B	`conf`	Coordination Games on Directed Graphs. TARK Krzysztof R. Apt, Sunil Simon, Dominik Wojtczak
2015	—	`conf`	Making the Best of Limited Memory in Multi-Player Discounted Sum Games. GandALF Anshul Gupta, Sven Schewe, Dominik Wojtczak
2015	C	`conf`	On Pure Nash Equilibria in Stochastic Games. TAMC Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, Dominik Wojtczak
2013	B	`conf`	Expected Termination Time in BPA Games. ATVA Dominik Wojtczak
2013	B	`conf`	Multi-objective Discounted Reward Verification in Graphs and MDPs. LPAR Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak
2013	—	`conf`	Optimal Control for Linear-Rate Multi-mode Systems. FORMATS Dominik Wojtczak
2013	J	`jnl`	Optimal Scheduling for Linear-Rate Multi-Mode Systems CoRR Dominik Wojtczak
2012	J	`jnl`	Minimizing Expected Termination Time in One-Counter Markov Decision Processes CoRR Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
2012	—	`conf`	Minimizing Expected Termination Time in One-Counter Markov Decision Processes. ICALP (2) Tomás Brázdil, Antonín Kucera, Petr Novotný, Dominik Wojtczak
2012	—	`conf`	Optimal scheduling for constant-rate multi-mode systems. HSCC Rajeev Alur, Ashutosh Trivedi, Dominik Wojtczak
2011	A	`conf`	On Probabilistic Parallel Programs with Process Creation and Synchronisation. TACAS Stefan Kiefer, Dominik Wojtczak
2011	J	`jnl`	The Complexity of Nash Equilibria in Limit-Average Games CoRR Michael Ummels, Dominik Wojtczak
2011	B	`conf`	The Complexity of Nash Equilibria in Limit-Average Games. CONCUR Michael Ummels, Dominik Wojtczak
2011	J	`jnl`	The Complexity of Nash Equilibria in Stochastic Multiplayer Games Log. Methods Comput. Sci. Michael Ummels, Dominik Wojtczak
2011	B	`conf`	Trust Metrics for the SPKI/SDSI Authorisation Framework. ATVA Dominik Wojtczak
2010	J	`jnl`	On Probabilistic Parallel Programs with Process Creation and Synchronisation CoRR Stefan Kiefer, Dominik Wojtczak
2010	A*	`conf`	One-Counter Markov Decision Processes. SODA Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
2010	J	`jnl`	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. Perform. Evaluation Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis
2010	B	`conf`	Recursive Timed Automata. ATVA Ashutosh Trivedi, Dominik Wojtczak
2010	—	`conf`	Timed Branching Processes. QEST Ashutosh Trivedi, Dominik Wojtczak
2009	J	`jnl`	Decision Problems for Nash Equilibria in Stochastic Games CoRR Michael Ummels, Dominik Wojtczak
2009	B	`conf`	Decision Problems for Nash Equilibria in Stochastic Games. CSL Michael Ummels, Dominik Wojtczak
2009	J	`jnl`	One-Counter Markov Decision Processes CoRR Tomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak
2009	—	`—`	Recursive probabilistic models : efficient analysis and implementation. Dominik Wojtczak
2009	J	`jnl`	The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games CoRR Michael Ummels, Dominik Wojtczak
2009	—	`conf`	The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. ICALP (2) Michael Ummels, Dominik Wojtczak
2008	—	`conf`	Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. QEST Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis
2008	—	`conf`	Recursive Stochastic Games with Positive Rewards. ICALP (1) Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis
2007	A	`conf`	PReMo : An Analyzer for P robabilistic Re cursive Mo dels. TACAS Dominik Wojtczak, Kousha Etessami