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.

6514 Publications


2015 | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee K, Chmelik M, Daca P. 2015. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 47(2), 230–264.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. 2015. Complete composition operators for IOCO-testing theory. CBSE: Component-Based Software Engineering , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , , 101–110.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1503 | OA
Sadel C. 2015. A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles. Ergodic Theory and Dynamical Systems. 35(5), 1582–1591.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1504 | OA
Bao Z, Lin L, Pan G, Zhou W. 2015. Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics. 43(6), 2588–2623.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 43(1), 382–421.
View | DOI | Download Preprint (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 Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 842–856.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. 2015. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 476–490.
View | Files available | 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: 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 | Journal Article | IST-REx-ID: 1514
Gómez Gonzalo M, Navarrete M, Perea G, Covelo A, Martín Fernández M, Shigemoto R, Luján R, Araque A. 2015. Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission. Cerebral Cortex. 25(10), 3699–3712.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1515
Mansouri M, Kasugai Y, Fukazawa Y, Bertaso F, Raynaud F, Perroy J, Fagni L, Kaufmann W, Watanabe M, Shigemoto R, Ferraguti F. 2015. Distinct subsynaptic localization of type 1 metabotropic glutamate receptors at glutamatergic and GABAergic synapses in the rodent cerebellar cortex. European Journal of Neuroscience. 41(2), 157–167.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar M, Maas J, Renger M. 2015. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 20, 89.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton NH, Servedio M. 2015. The interpretation of selection coefficients. Evolution. 69(5), 1101–1112.
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
 

2015 | Journal Article | IST-REx-ID: 1530
Bierbaum V, Klumpp S. 2015. Impact of the cell division cycle on gene circuits. Physical Biology. 12(6), 066003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. 2015. Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. Mathematics and Visualization. 40, 257–267.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1533
Xia W, Domokos C, Xiong J, Cheong L, Yan S. 2015. Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. 25(8), 1295–1308.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang H, Yang K, Zou J, Zhu L, Xie Z, Morita M, Tasaka M, Friml J, Grotewold E, Beeckman T, Vanneste S, Sack F, Le J. 2015. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 6, 8822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael DH, Marcantoni A, Carbone E. 2015. Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. 8(2), 149–161.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, Liu G, Cheng X, Friml J, Bouwmeester H, Martinoia E, Borghi L. 2015. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 25(5), 647–655.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht V, Wieser S, Callan Jones A, Smutny M, Morita H, Sako K, Barone V, Ritsch Marte M, Sixt MK, Voituriez R, Heisenberg C-PJ. 2015. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 160(4), 673–685.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. 2015. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 112(26), 8148–8153.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess J. 2015. Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. 143(24), 244103.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1540
Robert H, Crhák Khaitová L, Mroue S, Benková E. 2015. The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. 66(16), 5029–5042.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R. 2015. XSpeed: Accelerating reachability analysis on multi-core processors. 9434, 3–18.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao T, Badkobeh G, Barton NH, Çörüş D, Dang D, Friedrich T, Lehre P, Sudholt D, Sutton A, Trubenova B. 2015. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 383, 28–43.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo Y, Van Bel M, Van Hautegem T, Fendrych M, Huysmans M, Šimášková M, Van Durme M, Buscaill P, Rivas S, Coll N, Coppens F, Maere S, Nowack M. 2015. A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. 169(4), 2684–2699.
View | DOI
 

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. In: Building a Cell from its Components Parts. vol. 128, 223–241.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1546 | OA
Nakamura Y, Harada H, Kamasawa N, Matsui K, Rothman J, Shigemoto R, Silver RA, Digregorio D, Takahashi T. 2015. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 85(1), 145–158.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547 | OA
Mohammadi F, Moradi S. 2015. Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. 52(3), 977–986.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1548 | OA
Milutinovic B, Höfling C, Futo M, Scharsack J, Kurtz J. 2015. 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. 81(23), 8135–8144.
View | DOI | Download Submitted Version (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. In: Novel chemical tools to study ion channel biology. vol. 869, 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1550 | OA
Mayer C, Jaglin X, Cobbs L, Bandler R, Streicher C, Cepko C, Hippenmeyer S, Fishell G. 2015. Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. 87(5), 989–998.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 1553
Maiuri P, Rupprecht J, Wieser S, Ruprecht V, Bénichou O, Carpi N, Coppey M, De Beco S, Gov N, Heisenberg C-PJ, Lage Crespo C, Lautenschlaeger F, Le Berre M, Lennon Duménil A, Raab M, Thiam H, Piel M, Sixt MK, Voituriez R. 2015. Actin flows mediate a universal coupling between cell speed and cell persistence. Cell. 161(2), 374–386.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1554 | OA
Liao C, Smet W, Brunoud G, Yoshida S, Vernoux T, Weijers D. 2015. Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. 12(3), 207–210.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555 | OA
Knipl D, Pilarczyk P, Röst G. 2015. Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. 14(2), 980–1017.
View | DOI | Download Published Version (ext.)
 

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: 1557
Javdani F, Holló K, Hegedűs K, Kis G, Hegyi Z, Dócs K, Kasugai Y, Fukazawa Y, Shigemoto R, Antal M. 2015. Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. 523(13), 1967–1983.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko M, Zhu J, Wang B, Medvecka E, Du Y, Azzarello E, Mancuso S, Megraw M, Filichkin S, Dubrovsky J, Friml J, Geisler M. 2015. The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. 142(4), 712–721.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1559 | OA
Ibsen-Jensen R, Chatterjee K, Nowak M. 2015. Computational complexity of ecological and evolutionary spatial dynamics. PNAS. 112(51), 15636–15641.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1560
Hons M, Sixt MK. 2015. The lymph node filter revealed. Nature Immunology. 16(4), 338–340.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1561
Heger K, Kober M, Rieß D, Drees C, de Vries I, Bertossi A, Roers A, Sixt MK, Schmidt Supprian M. 2015. A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. 45(6), 1614–1620.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
Grones P, Chen X, Simon S, Kaufmann W, De Rycke R, Nodzyński T, Zažímalová E, Friml J. 2015. Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. 66(16), 5055–5065.
View | 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: 1564 | OA
Gilson M, Savin C, Zenke F. 2015. Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. 9(11), 145.
View | Files available | DOI
 

Search

Filter Publications