Optimal Interprocedural Program Optimization A New Framework and Its Application Knoop Jens Heftet / 1998 / Engelsk
Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings Knoop Jens Heftet / 2011 / Engelsk
Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings Knoop Jens Heftet / 2017 / Engelsk
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers Hähnle, Reiner Heftet / 2012 / Engelsk
