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...
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)


Critical reviews in food science and nutrition, 2018-10, Vol.58 (15), p.2583-2597
2018
Volltextzugriff (PDF)

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.167-177
2018
Volltextzugriff (PDF)

ACM transactions on software engineering and methodology, 2024-09
2024
Volltextzugriff (PDF)

ACM transactions on software engineering and methodology, 2024-09
2024
Volltextzugriff (PDF)

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.835-846
2021
Volltextzugriff (PDF)


2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2024, p.258-269
2024
Volltextzugriff (PDF)

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.225-236
2016
Volltextzugriff (PDF)

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1390-1402
2023
Volltextzugriff (PDF)

International Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.521-530
2008
Volltextzugriff (PDF)


2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1137-1148
2018
Volltextzugriff (PDF)

Open Access
Asynchronous extensions of HyperLTL
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)

Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, p.621-640
2020
Volltextzugriff (PDF)

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1592-1603
2023
Volltextzugriff (PDF)

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.2102-2105
2023
Volltextzugriff (PDF)

2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1276-1287
2023
Volltextzugriff (PDF)



Open Access
Temporal Team Semantics Revisited
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Volltextzugriff (PDF)


2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.300-311
2021
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n