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

Formal aspects of computing, 2014-03, Vol.26 (2), p.251-280
2014
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2014-01, Vol.26 (1), p.1-2
2014
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2014, Vol.26 (1), p.1-2
2014
Volltextzugriff (PDF)

Editorial
Formal aspects of computing, 2014-01, Vol.26 (1), p.1
2014
Volltextzugriff (PDF)

Formal aspects of computing, 2014, Vol.26 (1), p.37-62
2014
Volltextzugriff (PDF)

Formal aspects of computing, 2016-11, Vol.28 (6), p.909-935
2016
Volltextzugriff (PDF)

Formal aspects of computing, 2014, Vol.26 (1), p.63-98
2014
Volltextzugriff (PDF)

Formal aspects of computing, 2020-07, Vol.32 (2-3), p.251-273
2020
Volltextzugriff (PDF)

Formal aspects of computing, 2005-12, Vol.17 (4), p.390-422
2005
Volltextzugriff (PDF)

Proceedings of the Fifth ACM International Workshop on Blockchain-enabled Networked Sensor Systems, 2023, p.2-8
2023
Volltextzugriff (PDF)

vVote: A Verifiable Voting System
ACM transactions on information and system security, 2015-06, Vol.18 (1), p.1-30
2015
Volltextzugriff (PDF)

Open Access
Tank monitoring : a pAMN case study
Formal aspects of computing, 2006-09, Vol.18 (3), p.308-328
2006
Volltextzugriff (PDF)

Proceedings of the 2006 ACM symposium on Applied computing, 2006, p.346-353
2006
Volltextzugriff (PDF)

Security Properties and CSP
Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996, p.174-174
1996
Volltextzugriff (PDF)

Formal aspects of computing, 1993-11, Vol.5 (6), p.530-553
1993
Volltextzugriff (PDF)

ACM transactions on Internet technology, 2022-02, Vol.22 (3), p.1-31, Article 71
2022
Volltextzugriff (PDF)

Proceedings of the 28th International Conference on Intelligent User Interfaces, 2023, p.540-552
2023
Volltextzugriff (PDF)


Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures, 2013, p.123-132
2013
Volltextzugriff (PDF)

2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, 2012, p.370-373
2012
Volltextzugriff (PDF)

Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012, p.101-110
2012
Volltextzugriff (PDF)

Proceedings of the 4th Annual ACM Web Science Conference, 2012, p.265-274
2012
Volltextzugriff (PDF)


Proceedings of the 21st International Conference on World Wide Web, 2012, p.523-524
2012
Volltextzugriff (PDF)