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...
IEEE access, 2022, Vol.10, p.132763-132776
2022
Volltextzugriff (PDF)

Theoretical computer science, 2024-06, Vol.998, p.114537, Article 114537
2024
Volltextzugriff (PDF)

Theoretical computer science, 2023-05, Vol.958, p.113841, Article 113841
2023
Volltextzugriff (PDF)

Theoretical Aspects of Computing – ICTAC 2021, p.366-385
Volltextzugriff (PDF)

Software Engineering and Formal Methods, p.178-198
Volltextzugriff (PDF)

2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE), 2024, p.1409-1420
2024
Volltextzugriff (PDF)


2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.2553-2564
2023
Volltextzugriff (PDF)

Software testing, verification & reliability, 2022-08, Vol.32 (5), p.n/a
2022
Volltextzugriff (PDF)

IEEE access, 2022-12, p.1-1
2022
Volltextzugriff (PDF)


2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, p.319-31915
2019
Volltextzugriff (PDF)

ACM transactions on privacy and security, 2021-08, Vol.24 (3), p.1-40
2021
Volltextzugriff (PDF)

Static Analysis, 2018, Vol.11002, p.263-283
2018
Volltextzugriff (PDF)

Mathematical structures in computer science, 2019-02, Vol.29 (2), p.339-388
2019
Volltextzugriff (PDF)

Static Analysis, 2017, Vol.10422, p.232-252
2017
Volltextzugriff (PDF)


Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 2022, p.1817-1826
2022
Volltextzugriff (PDF)

Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, 2024, p.1-12
2024
Volltextzugriff (PDF)

Electronic notes in theoretical computer science, 2017-03, Vol.331, p.71-85
2017
Volltextzugriff (PDF)

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019, p.2215-2223
2019
Volltextzugriff (PDF)

2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, p.226-236
2021
Volltextzugriff (PDF)

2022 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2022, p.504-508
2022
Volltextzugriff (PDF)

2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2021, p.594-598
2021
Volltextzugriff (PDF)

2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), 2020, p.34-43
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n