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. (2015). Dynamic model of heat and mass transfer in an unsaturated porous wick of capillary pumped loop. Applied Thermal Engineering, 76, 1–8. https://doi.org/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. (2015). Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS, 112(28), 8620–8625. https://doi.org/10.1073/pnas.1504762112
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. https://doi.org/10.1038/nmat4215
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. https://doi.org/10.1038/nphys3461
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. https://doi.org/10.1007/978-3-319-21690-4_31
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. https://doi.org/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. (2015). Runtime verification for hybrid analysis tools. Presented at the RV: Runtime Verification, Vienna, Austria: Springer. https://doi.org/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. (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. https://doi.org/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. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1846
Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica, 52(2–3), 269–297. https://doi.org/10.1007/s00236-015-0215-4
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2034   OA
Bérard, B., Chatterjee, K., & Sznajder, N. (2015). Probabilistic opacity for Markov decision processes. Information Processing Letters, 115(1), 52–59. https://doi.org/10.1016/j.ipl.2014.09.001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, K., & Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control, 60(9), 2291–2306. https://doi.org/10.1109/TAC.2015.2404612
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.72
View | Files available | DOI | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. https://doi.org/10.1109/RTSS.2014.9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi, S. S., Conley, G., Costanzo, T., Howell, B., Mellinger, A., & Caruntu, G. (2015). Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors. RSC Advances, 5(93), 76356–76362. https://doi.org/10.1039/c5ra11347d
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512   OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: ACM. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598   OA
Chatterjee, K., Joglekar, M., & Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science, 573(3), 71–89. https://doi.org/10.1016/j.tcs.2015.01.050
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, J. L., & Grün, G. (2015). Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach. SIAM Journal on Mathematical Analysis, 47(1), 825–854. https://doi.org/10.1137/140960578
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, J. L. (2015). Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis, 218(1), 553–587. https://doi.org/10.1007/s00205-015-0866-x
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed