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.
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, Liu J, Chang G, Wang Y, Hasan M, Chou F, Lin H, Bansil A, Fu L, 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 AP, Albrecht SM, Kiršanskas G, Chang W, Kuemmeth F, Krogstrup P, Jespersen T, Nygård J, Flensberg K, 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, Parker D, Strejček J. 2015. The Hanoi omega-automata format. CAV: Computer Aided Verification, LNCS, vol. 9206. 479–486.
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, 27p.
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. 9333, 281–286.
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. ICAPS: International Conference on Automated Planning and Scheduling 42–46.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1810   OA
Bollenbach MT. 2015. Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. 27, 1–9.
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. 9035, 181–187.
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.
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.
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.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July.
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. Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, Proceedings - Real-Time Systems Symposium , vol. 2015. 118–127.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi SS, 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.
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. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34. 507–521.
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.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer JL, 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.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer JL. 2015. Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis. 218(1), 553–587.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Ferrara A, Fuchsbauer G, Liu B, Warinschi B. 2015. Policy privacy in cryptographic access control. CSF: Computer Security Foundations 46–60.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424   OA
Kwitt R, Huber S, Niethammer M, Lin W, Bauer U. 2015. Statistical topological data analysis-A kernel perspective. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 28. 3070–3078.
View | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Nguyen P, Field C, Groen A, Mitchison T, Loose M. 2015. Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. Building a Cell from its Components Parts. vol. 128. 223–241.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Mckenzie C, Sanchez Romero I, Janovjak HL. 2015. Flipping the photoswitch: Ion channels under light control. Novel chemical tools to study ion channel biology. Advances in Experimental Medicine and Biology vol. 869. 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
El Masri L, Branca A, Sheppard A, Papkou A, Laehnemann D, Guenther P, Prahl S, Saebelfeld M, Hollensteiner J, Liesegang H, Brzuszkiewicz E, Daniel R, Michiels N, Schulte R, Kurtz J, Rosenstiel P, Telschow A, Bornberg Bauer E, Schulenburg H. 2015. Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. 13(6), 1–30.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
Jia Y, Tian H, Li H, Yu Q, Wang L, Friml J, Ding Z. 2015. The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. 66(15), 4631–4642.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
Graff G, Pilarczyk P. 2015. An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. 45(1), 273–286.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1513   OA
Pal A, Vicoso B. 2015. The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. 7(12), 3259–3268.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj G, Coros S, Thomaszewski B, Tompkin J, Bickel B, Pfister H. 2015. Computational design of walking automata. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation 93–100.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Bauer B, Blechl G, Bock C, Danowski P, Ferus A, Graschopf A, König T, Mayer K, Reckling F, Rieck K, Seitz P, Stöger H, Welzig E. 2015. Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. 68(3), 580–607.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506   OA
Bao Z, Pan G, Zhou W. 2015. The logarithmic law of random determinant. Bernoulli. 21(3), 1600–1628.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D. 2015. The classification of endoscopy images with persistent homology. Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. SYNASC: Symbolic and Numeric Algorithms for Scientific Computing 7034731.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Der R, Martius GS. 2015. Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. 112(45), E6224–E6232.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Chabaud M, Heuzé M, Bretou M, Vargas P, Maiuri P, Solanes P, Maurin M, Terriac E, Le Berre M, Lankar D, Piolot T, Adelstein R, Zhang Y, Sixt MK, Jacobelli J, Bénichou O, Voituriez R, Piel M, Lennon Duménil A. 2015. Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications. 6, 7526.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582
Biedl T, Held M, Huber S, Kaaser D, Palfrader P. 2015. Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. 48(2), 120–133.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587
Amaro P, Fratini F, Safari L, Antognini A, Indelicato P, Pohl R, Santos J. 2015. Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. 92(6), 062506.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov LA. 2015. A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology. 16(6), 375–388.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi P, Tessaro S. 2015. Secret-key cryptography from ideal primitives: A systematic verview. 2015 IEEE Information Theory Workshop. ITW 2015: IEEE Information Theory Workshop
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652   OA
Alwen JF, Serbinenko V. 2015. High parallel complexity graphs and memory-hard functions. Proceedings of the 47th annual ACM symposium on Theory of computing. STOC: Symposium on the Theory of Computing 595–603.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin T, Umetani N, Bickel B. 2015. OmniAD: Data-driven omni-directional aerodynamics. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 34.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Kaczmarczyk J, Schickling T, Bünemann J. 2015. Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. 252(9), 2059–2071.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst L, Fifield G, Vanzella B, Pickup M. 2015. An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. 63(5), 455–466.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1669   OA
Pietrzak KZ, Skórski M. 2015. The chain rule for HILL pseudoentropy, revisited. 9230, 81–98.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671   OA
Gazi P, Pietrzak KZ, Tessaro S. 2015. The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC. CRYPTO: International Cryptology Conference, LNCS, vol. 9215. 368–387.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1683
Letts JA, Sazanov LA. 2015. Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology. 33(8), 135–145.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1688   OA
Karasev R, Kynčl J, Paták P, Patakova Z, Tancer M. 2015. Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. 54(3), 610–636.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664   OA
Barkley D, Song B, Vasudevan M, Lemoult GM, Avila M, Hof B. 2015. The rise of fully turbulent flow. Nature. 526(7574), 550–553.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1710   OA
Akopyan A, Plakhov A. 2015. Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. 47(4), 2754–2769.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt MK, Raz E. 2015. Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology. 36(10), 4–6.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1734
Klehm O, Rousselle F, Papas M, Bradley D, Hery C, Bickel B, Jarosz W, Beeler T. 2015. Recent advances in facial appearance capture. Computer Graphics Forum. 34(2), 709–733.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed