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.
4029 Publications
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 | Technical Report | IST-REx-ID: 5438 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit Distance for Pushdown Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-334-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5439 |
Boker U, Henzinger TA, Otop J. The Target Discounted-Sum Problem. IST Austria; 2015. doi:10.15479/AT:IST-2015-335-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5440 |
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolutionary Games on Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-323-v2-2
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5441 |
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015. doi:10.15479/AT:IST-2015-340-v1-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5443 |
Chatterjee K, Chmelik M, Davies J. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria; 2015. doi:10.15479/AT:IST-2015-325-v2-1
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5444 |
Reiter J, Makohon-Moore A, Gerold J, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria; 2015. doi:10.15479/AT:IST-2015-399-v1-1
View
| Files available
| DOI
2015 | Research Data | IST-REx-ID: 5549 |
Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 10794 |
Parise F, Lygeros J, Ruess J. Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. 2015;3. doi:10.3389/fenvs.2015.00042
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee K, Ibsen-Jensen R. The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 2015. SIAM; 2015:1018-1029. doi:10.1137/1.9781611973730.69
View
| DOI
| arXiv
2015 | Journal Article | IST-REx-ID: 1533
Xia W, Domokos C, Xiong J, Cheong L, Yan S. Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. 2015;25(8):1295-1308. doi:10.1109/TCSVT.2014.2379972
View
| DOI
2015 | Journal Article | IST-REx-ID: 1534 |
Wang H, Yang K, Zou J, et al. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 2015;6. doi:10.1038/ncomms9822
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1535 |
Vandael DH, Marcantoni A, Carbone E. Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. 2015;8(2):149-161. doi:10.2174/1874467208666150507105443
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, et al. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 2015;25(5):647-655. doi:10.1016/j.cub.2015.01.015
View
| DOI
2015 | Journal Article | IST-REx-ID: 1537 |
Ruprecht V, Wieser S, Callan Jones A, et al. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 2015;160(4):673-685. doi:10.1016/j.cell.2015.01.008
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1538 |
Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 2015;112(26):8148-8153. doi:10.1073/pnas.1423947112
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1539 |
Ruess J. Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. 2015;143(24). doi:10.1063/1.4937937
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1540
Robert H, Crhák Khaitová L, Mroue S, Benková E. The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. 2015;66(16):5029-5042. doi:10.1093/jxb/erv256
View
| DOI
2015 | Conference Paper | IST-REx-ID: 1541
Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R. XSpeed: Accelerating reachability analysis on multi-core processors. 2015;9434:3-18. doi:10.1007/978-3-319-26287-1_1
View
| DOI
2015 | Journal Article | IST-REx-ID: 1542 |
Paixao T, Badkobeh G, Barton NH, et al. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 2015;383:28-43. doi:10.1016/j.jtbi.2015.07.011
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo Y, Van Bel M, Van Hautegem T, et al. A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. 2015;169(4):2684-2699. doi:10.1104/pp.15.00769
View
| DOI
2015 | Book Chapter | IST-REx-ID: 1544 |
Nguyen P, Field C, Groen A, Mitchison T, Loose M. Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In: Building a Cell from Its Components Parts. Vol 128. Academic Press; 2015:223-241. doi:10.1016/bs.mcb.2015.01.007
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1546 |
Nakamura Y, Harada H, Kamasawa N, et al. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 2015;85(1):145-158. doi:10.1016/j.neuron.2014.11.019
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1547 |
Mohammadi F, Moradi S. Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. 2015;52(3):977-986. doi:10.4134/BKMS.2015.52.3.977
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1548 |
Milutinovic B, Höfling C, Futo M, Scharsack J, Kurtz J. Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology. 2015;81(23):8135-8144. doi:10.1128/AEM.02051-15
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Book Chapter | IST-REx-ID: 1549 |
Mckenzie C, Sanchez-Romero I, Janovjak HL. Flipping the photoswitch: Ion channels under light control. In: Novel Chemical Tools to Study Ion Channel Biology. Vol 869. Advances in Experimental Medicine and Biology. Springer; 2015:101-117. doi:10.1007/978-1-4939-2845-3_6
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1550 |
Mayer C, Jaglin X, Cobbs L, et al. Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. 2015;87(5):989-998. doi:10.1016/j.neuron.2015.07.011
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1551 |
El Masri L, Branca A, Sheppard A, et al. Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. 2015;13(6):1-30. doi:10.1371/journal.pbio.1002169
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1553
Maiuri P, Rupprecht J, Wieser S, et al. Actin flows mediate a universal coupling between cell speed and cell persistence. Cell. 2015;161(2):374-386. doi:10.1016/j.cell.2015.01.056
View
| DOI
2015 | Journal Article | IST-REx-ID: 1554 |
Liao C, Smet W, Brunoud G, Yoshida S, Vernoux T, Weijers D. Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. 2015;12(3):207-210. doi:10.1038/nmeth.3279
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1555 |
Knipl D, Pilarczyk P, Röst G. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 2015;14(2):980-1017. doi:10.1137/140993934
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1556 |
Jia Y, Tian H, Li H, et al. The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. 2015;66(15):4631-4642. doi:10.1093/jxb/erv230
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1557
Javdani F, Holló K, Hegedűs K, et al. Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. 2015;523(13):1967-1983. doi:10.1002/cne.23774
View
| DOI
2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, et al. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 2015;142(4):712-721. doi:10.1242/dev.113225
View
| DOI
2015 | Journal Article | IST-REx-ID: 1559 |
Ibsen-Jensen R, Chatterjee K, Nowak M. Computational complexity of ecological and evolutionary spatial dynamics. PNAS. 2015;112(51):15636-15641. doi:10.1073/pnas.1511366112
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1560
Hons M, Sixt MK. The lymph node filter revealed. Nature Immunology. 2015;16(4):338-340. doi:10.1038/ni.3126
View
| DOI
2015 | Journal Article | IST-REx-ID: 1561
Heger K, Kober M, Rieß D, et al. A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. 2015;45(6):1614-1620. doi:10.1002/eji.201545457
View
| DOI
2015 | Journal Article | IST-REx-ID: 1562
Grones P, Chen X, Simon S, et al. Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. 2015;66(16):5055-5065. doi:10.1093/jxb/erv177
View
| DOI
2015 | Journal Article | IST-REx-ID: 1563
Graff G, Pilarczyk P. An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. 2015;45(1):273-286. doi:10.12775/TMNA.2015.014
View
| DOI
2015 | Journal Article | IST-REx-ID: 1564 |
Gilson M, Savin C, Zenke F. Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. 2015;9(11). doi:10.3389/fncom.2015.00145
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1565 |
Gavello D, Vandael DH, Gosso S, Carbone E, Carabelli V. Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells. Journal of Physiology. 2015;593(22):4835-4853. doi:10.1113/JP271078
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1566 |
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 2015;11(10). doi:10.1371/journal.pcbi.1004541
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner H. Shape, homology, persistence, and stability. In: 23rd International Symposium. Vol 9411. Springer Nature; 2015.
View
2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva O, Edelsbrunner H, Lukyanov A, Machin M, Malkova D. The classification of endoscopy images with persistent homology. In: Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE; 2015:7034731. doi:10.1109/SYNASC.2014.81
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1569 |
Doyle S, Haegera A, Vain T, et al. An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. 2015;112(7):E806-E815. doi:10.1073/pnas.1424856112
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 1570 |
Der R, Martius GS. Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. 2015;112(45):E6224-E6232. doi:10.1073/pnas.1508400112
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1571
de Vos M, Dawid A, Šunderlíková V, Tans S. Breaking evolutionary constraint with a tradeoff ratchet. PNAS. 2015;112(48):14906-14911. doi:10.1073/pnas.1510282112
View
| DOI
2015 | Journal Article | IST-REx-ID: 1572 |
Correggi M, Giuliani A, Seiringer R. Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics. 2015;339(1):279-307. doi:10.1007/s00220-015-2402-0
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1573 |
Chen T, Hainzl C, Pavlović N, Seiringer R. Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics. 2015;68(10):1845-1884. doi:10.1002/cpa.21552
View
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 1574 |
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
View
| Files available
| DOI