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...
Logical methods in computer science, 2022-12, Vol.18, Issue 4
2022
Volltextzugriff (PDF)

Open Access
Relating timed and register automata
Mathematical structures in computer science, 2016-09, Vol.26 (6), p.993-1021
2016
Volltextzugriff (PDF)

Open Access
Shortest paths in one-counter systems
Logical methods in computer science, 2019-01, Vol.15, Issue 1
2019
Volltextzugriff (PDF)

Logical methods in computer science, 2016-03, Vol.12, Issue 1
2016
Volltextzugriff (PDF)

Theoretical computer science, 2018-07, Vol.735, p.50-63
2018
Volltextzugriff (PDF)

Logical methods in computer science, 2013-09, Vol.9, Issue 3
2013
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-08, Vol.89 (Proc. EXPRESS/SOS 2012), p.99-113
2012
Volltextzugriff (PDF)

Orbit-finite linear programming
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-14
2023
Volltextzugriff (PDF)

Open Access
Relating timed and register automata
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.61-75
2010
Volltextzugriff (PDF)

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)

Reachability Problems, p.151-162
Volltextzugriff (PDF)

Information processing letters, 2021-04, Vol.167, p.106079, Article 106079
2021
Volltextzugriff (PDF)

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)

Open Access
Bounding Average-Energy Games
Foundations of Software Science and Computation Structures, p.179-195
Volltextzugriff (PDF)

2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-11
2017
Volltextzugriff (PDF)

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-11
2017
Volltextzugriff (PDF)

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013, p.203-212
2013
Volltextzugriff (PDF)

Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), 2016, p.207-216
2016
Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures, p.445-461
Volltextzugriff (PDF)

Open Access
Infinite-state energy games
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)

Theory of computing systems, 2014-07, Vol.55 (1), p.136-169
2014
Volltextzugriff (PDF)

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)

Soundness of reset workflow nets
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, p.1-14
2024
Volltextzugriff (PDF)

CONCUR 2012 – Concurrency Theory, p.53-68
Volltextzugriff (PDF)

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