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...
Fundamental Approaches to Software Engineering, p.140-154
Link zum Volltext

2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.1712-1723
2023

The Julia Static Analyzer for Java
Static Analysis, p.39-57
Link zum Volltext


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


The Journal of systems and software, 2020-07, Vol.165, p.110571, Article 110571
2020
Link zum Volltext

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

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

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

25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 2019, p.224
2019
Link zum Volltext

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

Concurrency and computation, 2018-10, Vol.30 (20), p.n/a
2018
Link zum Volltext

ECOOP 2005 - Object-Oriented Programming, 2005, p.602-629
2005
Link zum Volltext

Computer Aided Verification, 2016, p.352-358
2016
Link zum Volltext

Computer Security - ESORICS 2014, p.219-236
Link zum Volltext

ACM transactions on architecture and code optimization, 2008-05, Vol.5 (1), p.1-32
2008
Link zum Volltext

Journal of the ACM, 2021-02, Vol.68 (1), p.1-51
2021
Link zum Volltext


Computational Science and Its Applications – ICCSA 2021, p.323-335
Link zum Volltext

Genetic programming and evolvable machines, 2019-12, Vol.20 (4), p.531-580
2019
Link zum Volltext

International journal of parallel programming, 2023-02, Vol.51 (1), p.22-42
2023
Link zum Volltext

2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, p.384-395
2019


The Journal of supercomputing, 2023-09, Vol.79 (14), p.15390-15414
2023
Link zum Volltext
Aktive Filter
KollektionSpringerNature Complete Journals
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt