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



The Journal of systems and software, 2021-06, Vol.176, p.110923, Article 110923
2021
Volltextzugriff (PDF)

Super-optimization of Smart Contracts
ACM transactions on software engineering and methodology, 2022-10, Vol.31 (4), p.1-29, Article 70
2022
Volltextzugriff (PDF)


Automated Technology for Verification and Analysis, p.42-58
Volltextzugriff (PDF)




Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019, p.386-389
2019
Volltextzugriff (PDF)

2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, p.2-2
2020
Volltextzugriff (PDF)


Nature communications, 2022-03, Vol.13 (1), p.1703-1703, Article 1703
2022
Volltextzugriff (PDF)


Oxidative medicine and cellular longevity, 2016-01, Vol.2016 (1), p.9037051-9037051
2016
Volltextzugriff (PDF)

Wiley interdisciplinary reviews. Cognitive science, 2024-05, Vol.15 (3), p.e1674-n/a
2024
Volltextzugriff (PDF)

Oxidative medicine and cellular longevity, 2017-01, Vol.2017 (1), p.3140673-3140673
2017
Volltextzugriff (PDF)

Streaming patterns in Faraday waves
Journal of fluid mechanics, 2017-05, Vol.819, p.285-310
2017
Volltextzugriff (PDF)


Education and Self Development, 2022-12, Vol.17 (4), p.67-82
2022
Volltextzugriff (PDF)




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