Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2017 | Journal Article | IST-REx-ID: 1028 |
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16, pp. 4608–4611, 2017.View | Files available | DOI
2016 | Conference Paper | IST-REx-ID: 1220 |
G. Mikić, A. Stoll, J. Bevirt, R. Grah, and M. Moore, “Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency,” presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA, 2016, pp. 1–19.View | DOI | Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1234 |
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.View | Files available | DOI | Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1349 |
P. Oliveto, T. Paixao, J. Heredia, D. Sudholt, and B. Trubenova, “When non-elitism outperforms elitism for crossing fitness valleys,” in Proceedings of the Genetic and Evolutionary Computation Conference 2016 , Denver, CO, USA, 2016, pp. 1163–1170.View | Files available | DOI