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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...


Machine learning, 2022-10, Vol.111 (10), p.3797-3838
2022
Volltextzugriff (PDF)

Open Access
Assume-admissible synthesis
Acta informatica, 2017-02, Vol.54 (1), p.41-83
2017
Volltextzugriff (PDF)

Formal methods in system design, 2017-06, Vol.50 (2-3), p.207-248
2017
Volltextzugriff (PDF)


Open Access
Stackelberg-Pareto Synthesis
ACM transactions on computational logic, 2024-04, Vol.25 (2), p.1-49, Article 14
2024
Volltextzugriff (PDF)

Information and computation, 2015-06, Vol.242, p.25-52
2015
Volltextzugriff (PDF)

Information and computation, 2021-06, Vol.278, p.104594, Article 104594
2021
Volltextzugriff (PDF)

Journal of computer and system sciences, 2019-12, Vol.106, p.1-22
2019
Volltextzugriff (PDF)

Acta informatica, 2014-06, Vol.51 (3-4), p.129-163
2014
Volltextzugriff (PDF)

International journal of foundations of computer science, 2020-09, Vol.31 (6), p.711-748
2020
Volltextzugriff (PDF)

Theoretical computer science, 2018-07, Vol.735, p.82-110
2018
Volltextzugriff (PDF)

Formal methods in system design, 2011-12, Vol.39 (3), p.261-296
2011
Volltextzugriff (PDF)

2010 ACM/IEEE 32nd International Conference on Software Engineering, 2010, Vol.1, p.335-344
2010
Volltextzugriff (PDF)

Computer Aided Verification, 2009, Vol.5643, p.263-277
2009
Volltextzugriff (PDF)

Information and computation, 2021-02, Vol.276, p.104553, Article 104553
2021
Volltextzugriff (PDF)

Open Access
Visibly pushdown transducers
Journal of computer and system sciences, 2018-11, Vol.97, p.147-181
2018
Volltextzugriff (PDF)

Information and computation, 2017-06, Vol.254, p.296-315
2017
Volltextzugriff (PDF)

Open Access
Reactive synthesis without regret
Acta informatica, 2017-02, Vol.54 (1), p.3-39
2017
Volltextzugriff (PDF)

Acta informatica, 2018-12, Vol.55 (8), p.627-647
2018
Volltextzugriff (PDF)

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.195-208
2020
Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation, 2015, p.1-18
2015
Volltextzugriff (PDF)


Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.422-431
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n