Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.164-177
2016
Link zum Volltext

Theoretical computer science, 2020-02, Vol.806, p.577-586
2020
Link zum Volltext

Hierarchical cost-parity games
Theoretical computer science, 2020-12, Vol.847, p.147-174
2020
Link zum Volltext


Information and computation, 2018-04, Vol.259, p.390-411
2018
Link zum Volltext

Improving parity games in practice
Annals of mathematics and artificial intelligence, 2021-06, Vol.89 (5-6), p.551-574
2021
Link zum Volltext

Information and computation, 2018-10, Vol.262, p.265-279
2018
Link zum Volltext


On the Counting of Strategies
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), 2015, p.170-179
2015

Web, Artificial Intelligence and Network Applications, p.1019-1027
Link zum Volltext

Web, Artificial Intelligence and Network Applications, p.1418-1427
Link zum Volltext

Web, Artificial Intelligence and Network Applications, p.870-879
Link zum Volltext

On Promptness in Parity Games
Logic for Programming, Artificial Intelligence, and Reasoning, p.601-618
Link zum Volltext

Solving Parity Games in Scala
Formal Aspects of Component Software, p.145-161
Link zum Volltext

2019 IEEE International Symposium on Measurements & Networking (M&N), 2019, p.1-6
2019



Experimental biology and medicine (Maywood, N.J.), 2022-05, Vol.247 (10), p.805-814
2022
Link zum Volltext







Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n