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 | Journal Article | IST-REx-ID: 924
Boubaker R, Platel V, Bergès A, Bancelin M, Hannezo E. Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering. 2015;76:1-8. doi:10.1016/j.applthermaleng.2014.10.009
View | DOI

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

2015 | Journal Article | IST-REx-ID: 981   OA
Zeljkovic I, Okada Y, Serbyn M, et al. Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials. 2015;14(3):318-324. doi:10.1038/nmat4215
View | DOI | Download (ext.)

2015 | Journal Article | IST-REx-ID: 99   OA
Higginbotham AP, Albrecht SM, Kiršanskas G, et al. Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. 2015;11(12):1017-1021. doi:10.1038/nphys3461
View | DOI | Download (ext.) | arXiv

2015 | Conference Paper | IST-REx-ID: 1601
Babiak T, Blahoudek F, Duret Lutz A, et al. The Hanoi omega-automata format. In: Vol 9206. Springer; 2015:479-486. doi:10.1007/978-3-319-21690-4_31
View | DOI

2015 | Technical Report | IST-REx-ID: 5437
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-330-v2-1
View | Files available | DOI

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen L, Schilling C, Bogomolov S, Johnson T. Runtime verification for hybrid analysis tools. 2015;9333:281-286. doi:10.1007/978-3-319-23820-3_19
View | DOI

2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov S, Magazzeni D, Minopoli S, Wehrle M. PDDL+ planning with hybrid automata: Foundations of translating must behavior. In: AAAI Press; 2015:42-46.
View | Download (ext.)

2015 | Journal Article | IST-REx-ID: 1810   OA
Bollenbach MT. Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. 2015;27:1-9. doi:10.1016/j.mib.2015.05.008
View | Files available | DOI

2015 | Conference Paper | IST-REx-ID: 1839   OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. doi:10.1007/978-3-662-46681-0_12
View | DOI | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed