Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

359 Publications

2015 | Conference Paper | IST-REx-ID: 784
Alistarh, D.-A., Ballani, H., Costa, P., Funnell, A., Benjamin, J., Watts, P., & Thomsen, B. (2015). A high-radix, low-latency optical switch for data centers (pp. 367–368). Presented at the SIGCOMM: Special Interest Group on Data Communication, London, United Kindgdom: ACM.
View | DOI

2015 | Journal Article | IST-REx-ID: 924
Boubaker, R., Platel, V., Bergès, A., Bancelin, M., & Hannezo, E. (2015). Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering, 76, 1–8.
View | DOI

2015 | Journal Article | IST-REx-ID: 929
Hannezo, E., Dong, B., Recho, P., Joanny, J., & Hayashi, S. (2015). Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS, 112(28), 8620–8625.
View | DOI

2015 | Journal Article | IST-REx-ID: 981   OA
Zeljkovic, I., Okada, Y., Serbyn, M., Sankar, R., Walkup, D., Zhou, W., … Madhavan, V. (2015). Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials, 14(3), 318–324.
View | DOI | Download (ext.)

2015 | Journal Article | IST-REx-ID: 99   OA
Higginbotham, A. P., Albrecht, S. M., Kiršanskas, G., Chang, W., Kuemmeth, F., Krogstrup, P., … Marcus, C. (2015). Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics, 11(12), 1017–1021.
View | DOI | Download (ext.) | arXiv

2015 | Conference Paper | IST-REx-ID: 1601
Babiak, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D., … Strejček, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.
View | DOI

2015 | Technical Report | IST-REx-ID: 5437
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria.
View | Files available | DOI

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Runtime verification for hybrid analysis tools. Presented at the RV: Runtime Verification, Vienna, Austria: Springer.
View | DOI

2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov, S., Magazzeni, D., Minopoli, S., & Wehrle, M. (2015). PDDL+ planning with hybrid automata: Foundations of translating must behavior (pp. 42–46). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel: AAAI Press.
View | Download (ext.)

2015 | Journal Article | IST-REx-ID: 1810   OA
Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology, 27, 1–9.
View | Files available | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed