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...

Information and computation, 2016-02, Vol.246, p.43-61
2016
Volltextzugriff (PDF)

Newtonian Program Analysis
Journal of the ACM, 2010-10, Vol.57 (6), p.1-47
2010
Volltextzugriff (PDF)

Acta informatica, 2020-04, Vol.57 (1-2), p.3-36
2020
Volltextzugriff (PDF)

International journal of foundations of computer science, 2021-09, Vol.32 (6), p.761-783
2021
Volltextzugriff (PDF)

Information processing letters, 2011-06, Vol.111 (12), p.614-619
2011
Volltextzugriff (PDF)

Implementation and Application of Automata, 2006, p.281-282
2006
Volltextzugriff (PDF)

International journal of foundations of computer science, 2015-11, Vol.26 (7), p.805-825
2015
Volltextzugriff (PDF)


SIAM journal on computing, 2010-01, Vol.39 (6), p.2282-2335
2010
Volltextzugriff (PDF)

Theoretical computer science, 2011-06, Vol.412 (28), p.3226-3241
2011
Volltextzugriff (PDF)


Newtonian program analysis
Journal of the ACM, 2010-10, Vol.57 (6), p.5
2010
Volltextzugriff (PDF)

Solving Mean-Payoff Games on the GPU
Automated Technology for Verification and Analysis, 2016, Vol.9938, p.262-267
2016
Volltextzugriff (PDF)

Solving Parity Games on the GPU
Automated Technology for Verification and Analysis, 2013, p.455-459
2013
Volltextzugriff (PDF)



Developments in Language Theory, 2020, Vol.12086, p.222-236
2020
Volltextzugriff (PDF)

Information and computation, 2012, Vol.210, p.87-110
2012
Volltextzugriff (PDF)

Information processing letters, 2011-06, Vol.111 (12), p.614-619
2011
Volltextzugriff (PDF)

Taming the Infinities of Concurrency, 2024, Vol.14660, p.181-205
2024
Volltextzugriff (PDF)

Language and Automata Theory and Applications, 2013, p.407-418
2013
Volltextzugriff (PDF)

Algebra and Coalgebra in Computer Science, 2011, p.19-35
2011
Volltextzugriff (PDF)

Annual ACM Symposium on Theory of Computing: Proceedings of the thirty-ninth annual ACM symposium on Theory of computing; 11-13 June 2007, 2007, p.217-226
2007
Volltextzugriff (PDF)

Implementation and Application of Automata, 2014, p.1-15
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n