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

Transportation research. Part B: methodological, 2010-08, Vol.44 (7), p.795-811
2010
Volltextzugriff (PDF)

Open Access
Choreographies, logically
Distributed computing, 2018-02, Vol.31 (1), p.51-67
2018
Volltextzugriff (PDF)

Journal of computer security, 2022-01, Vol.30 (3), p.411
2022
Volltextzugriff (PDF)

Acta informatica, 2017-05, Vol.54 (3), p.243-269
2017
Volltextzugriff (PDF)






The Twelf Proof Assistant
Theorem Proving in Higher Order Logics, p.79-83
Volltextzugriff (PDF)



Verifying voting schemes
Journal of information security and applications, 2014-04, Vol.19 (2), p.115-129
2014
Volltextzugriff (PDF)

Vote Counting as Mathematical Proof
AI 2015: Advances in Artificial Intelligence, 2015, Vol.9457, p.464-475
2015
Volltextzugriff (PDF)

Journal of computer security, 2022-07, Vol.30 (3), p.411-433
2022
Volltextzugriff (PDF)



Robotics and autonomous systems, 2015-01, Vol.63, p.244-252
2015
Volltextzugriff (PDF)

Focused Natural Deduction
Logic for Programming, Artificial Intelligence, and Reasoning, p.157-171
Volltextzugriff (PDF)



Electronic proceedings in theoretical computer science, 2010-09, Vol.34 (Proc. LFMTP 2010), p.101-116
2010
Volltextzugriff (PDF)

Open Access
A Bigraph Relational Model
Electronic proceedings in theoretical computer science, 2011-10, Vol.71 (Proc. LFMTP 2011), p.14-28
2011
Volltextzugriff (PDF)

Open Access
How Could Snowden Attack an Election?
2nd International Joint Conference on Electronic Voting, E-Vote-ID 2017, 2017, Vol.10615, p.280-291
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n