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


Proceedings of the International Conference on Applied CyberSecurity (ACS) 2021, p.42-52
Link zum Volltext

2018 IEEE/ACM 1st International Workshop on Gender Equality in Software Engineering (GE), 2018, p.5-9
2018

Agent and Multi-Agent Systems: Technologies and Applications, p.705-713
Link zum Volltext

Modelling Trusted Web Applications
Agent and Multi-Agent Systems. Technologies and Applications, p.524-533
Link zum Volltext

Computer Science Logic, 2005, p.397-412
2005
Link zum Volltext


Open Access
Hyperresolution for guarded formulae
Journal of symbolic computation, 2003-07, Vol.36 (1), p.163-192
2003
Link zum Volltext

2011 Ninth Annual International Conference on Privacy, Security and Trust, 2011, p.52-54
2011

Automated Deduction—CADE-18, 2002, p.260-274
2002
Link zum Volltext


Financial Cryptography and Data Security, p.428-428
Link zum Volltext

2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, 2012, p.785-792
2012

Description logics for shape analysis
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005, p.321-330
2005









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