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

Languages and Compilers for Parallel Computing, 2019, Vol.11882, p.112-119
2019
Link zum Volltext

Artificial Intelligence and Security, p.672-683
Link zum Volltext

Intelligent Systems and Applications, 2018, Vol.868, p.35-47
2018
Link zum Volltext


Verifying Compiler Optimisations
Formal Methods and Software Engineering, 2023, Vol.14308
2023
Link zum Volltext

Languages and Compilers for Parallel Computing, p.91-105
Link zum Volltext

Automatic Tuning of Compilers Using Machine Learning, 2018, p.41-70
2018
Link zum Volltext

Advances in Swarm and Computational Intelligence, p.476-483
Link zum Volltext

Hardware and Software: Verification and Testing, p.19-34
Link zum Volltext

Verification, Model Checking, and Abstract Interpretation, p.203-221
Link zum Volltext

Trends in Functional Programming, 2023, Vol.13401, p.169-191
2023
Link zum Volltext

New Trends in Information and Communications Technology Applications, p.128-138
Link zum Volltext

Advances in Cryptology – CRYPTO 2011, p.259-276
Link zum Volltext

Reversible Computation, p.57-72
Link zum Volltext

Advanced Web and Network Technologies, and Applications, p.767-774
Link zum Volltext

Languages and Compilers for Parallel Computing, p.32-45
Link zum Volltext

Artificial Intelligence and Security, 2022, Vol.13338
2022
Link zum Volltext



High Performance Embedded Architectures and Compilers, p.114-129
Link zum Volltext

Languages and Compilers for Parallel Computing, p.307-321
Link zum Volltext


Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity, 2021, p.17-52
2021
Link zum Volltext

Languages and Compilers for Parallel Computing, p.143-157
Link zum Volltext
Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n