Lecture Notes in Computer Science/Lecture Notes in Theoretical Computer Science and General Issues
Collection
Collection
Theoretical Computer Science and General Issues
Published by Springer Nature
-
Verifying OpenJDK's LinkedList using KeY In Proceedings
H.A. Hiep (Hans-Dieter), O. Maathuis (Olaf), J. Bian (Jinting), F.S. de Boer (Frank), M. van Eekelen (Marko) and C.P.T. de Gouw (Stijn)
April 2020
-
Local Search is a remarkably strong baseline for Neural Architecture Search In Proceedings
T. Den Ottelander (Tom), A. Dushatskiy (Arkadiy), M. Virgolin (Marco) and P.A.N. Bosman (Peter)
March 2021