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...
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.1712-1723
2023
Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering, 2014, Vol.8411, p.140-154
2014
Volltextzugriff (PDF)


The Julia Static Analyzer for Java
Static Analysis, 2016, Vol.9837, p.39-57
2016
Volltextzugriff (PDF)

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015, p.1-10
2015
Volltextzugriff (PDF)

2012 14th IEEE International Symposium on Web Systems Evolution (WSE), 2012, p.45-49
2012
Volltextzugriff (PDF)

The Journal of systems and software, 2020-07, Vol.165, p.110571, Article 110571
2020
Volltextzugriff (PDF)

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1893-1905
2022
Volltextzugriff (PDF)

2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR), 2018, p.10-13
2018
Volltextzugriff (PDF)

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

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.507-518
2017
Volltextzugriff (PDF)

2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.328-329
2023
Volltextzugriff (PDF)

Concurrency and computation, 2018-10, Vol.30 (20), p.n/a
2018
Volltextzugriff (PDF)

ECOOP 2005 - Object-Oriented Programming, 2005, p.602-629
2005
Volltextzugriff (PDF)

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022, p.1-13
2022
Volltextzugriff (PDF)

2020 IEEE International Conference on Big Data (Big Data), 2020, p.5831-5833
2020
Volltextzugriff (PDF)


Open Access
Java Typestate Checker
Coordination Models and Languages, 2021, Vol.12717, p.121-133
2021
Volltextzugriff (PDF)

Computer Aided Verification, 2016, Vol.9779, p.352-358
2016
Volltextzugriff (PDF)

Journal of the ACM, 2021-02, Vol.68 (1), p.1-51
2021
Volltextzugriff (PDF)

Computer Security - ESORICS 2014, 2014, p.219-236
2014
Volltextzugriff (PDF)

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2455-2472
2019
Volltextzugriff (PDF)

ACM transactions on architecture and code optimization, 2008-05, Vol.5 (1), p.1-32
2008
Volltextzugriff (PDF)

2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, p.304-315
2019
Volltextzugriff (PDF)

International journal of parallel programming, 2023-02, Vol.51 (1), p.22-42
2023
Volltextzugriff (PDF)
Aktive Filter
SpracheItalienisch
SpracheJapanisch
ThemaArtificial Intelligence
ThemaSocial Sciences
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt