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.

5758 Publications


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

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

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

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

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

2015 | Conference Paper | IST-REx-ID: 1510 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, ACM, 2015, pp. 507–521.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1514
Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1519 | OA
The interpretation of selection coefficients
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Computational design of walking automata
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.
View | DOI
 

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

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

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

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

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1539 | OA View | Files available | DOI
 

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

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

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1548 | OA
Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
Flipping the photoswitch: Ion channels under light control
C. Mckenzie, I. Sanchez-Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.
View | Files available | DOI
 

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

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

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

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

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

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

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1562
Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles
P. Grones, X. Chen, S. Simon, W. Kaufmann, R. De Rycke, T. Nodzyński, E. Zažímalová, J. Friml, Journal of Experimental Botany 66 (2015) 5055–5065.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1564 | OA
Editorial: Emergent neural computation from the interaction of different forms of plasticity
M. Gilson, C. Savin, F. Zenke, Frontiers in Computational Neuroscience 9 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1565 | OA
Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells
D. Gavello, D.H. Vandael, S. Gosso, E. Carbone, V. Carabelli, Journal of Physiology 593 (2015) 4835–4853.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1566 | OA
An exploration of the universe of polyglutamine structures
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, PLoS Computational Biology 11 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1567
Shape, homology, persistence, and stability
H. Edelsbrunner, 9411 (2015).
View
 

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

2015 | Journal Article | IST-REx-ID: 1569 | OA
An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana
S. Doyle, A. Haegera, T. Vain, A. Rigala, C. Viotti, M. Łangowskaa, Q. Maa, J. Friml, N. Raikhel, G. Hickse, S. Robert, PNAS 112 (2015) E806–E815.
View | DOI | Download Published Version (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1571
Breaking evolutionary constraint with a tradeoff ratchet
M. De Vos, A. Dawid, V. Šunderlíková, S. Tans, PNAS 112 (2015) 14906–14911.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1572 | OA
Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet
M. Correggi, A. Giuliani, R. Seiringer, Communications in Mathematical Physics 339 (2015) 279–307.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1573 | OA
Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti
T. Chen, C. Hainzl, N. Pavlović, R. Seiringer, Communications on Pure and Applied Mathematics 68 (2015) 1845–1884.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1574 | OA
A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development
Q. Chen, Y. Liu, S. Maere, E. Lee, G. Van Isterdael, Z. Xie, W. Xuan, J. Lucas, V. Vassileva, S. Kitakura, P. Marhavý, K.T. Wabnik, N. Geldner, E. Benková, J. Le, H. Fukaki, E. Grotewold, C. Li, J. Friml, F. Sack, T. Beeckman, S. Vanneste, Nature Communications 6 (2015).
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1576 | OA
Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkacik, Physical Review Letters 115 (2015).
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577 | OA
Birth of a new gene on the Y chromosome of Drosophila melanogaster
A. Carvalho, B. Vicoso, C. Russo, B. Swenor, A. Clark, PNAS 112 (2015) 12450–12455.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1578
Triangulations from topologically correct digital Voronoi diagrams
T. Cao, H. Edelsbrunner, T. Tan, Computational Geometry 48 (2015) 507–519.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1580 | OA View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1581
Gradients are shaping up
M.T. Bollenbach, C.-P.J. Heisenberg, Cell 161 (2015) 431–432.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1583 | OA
A simple algorithm for computing positively weighted straight skeletons of monotone polygons
T. Biedl, M. Held, S. Huber, D. Kaaser, P. Palfrader, Information Processing Letters 115 (2015) 243–247.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1585
Asymptotic mutual information statistics of MIMO channels and CLT of sample covariance matrices
Z. Bao, G. Pan, W. Zhou, IEEE Transactions on Information Theory 61 (2015) 3413–3426.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
Metabolic engineering of cyanobacteria for the synthesis of commodity products
A. Angermayr, A. Gorchs, K. Hellingwerf, Trends in Biotechnology 33 (2015) 352–361.
View | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1588
Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows
S. Altmeyer, Y. Do, Y. Lai, Physical Review E 92 (2015).
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1589 | OA
Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 5 (2015).
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Representing directed trees as straight skeletons
O. Aichholzer, T. Biedl, T. Hackl, M. Held, S. Huber, P. Palfrader, B. Vogtenhuber, in:, Graph Drawing and Network Visualization, Springer, 2015, pp. 335–347.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1593 | OA
Strategies of seedlings to overcome their sessile nature: Auxin in mobility control
P. Žádníková, D. Smet, Q. Zhu, D. Van Der Straeten, E. Benková, Frontiers in Plant Science 6 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2015, pp. 99–110.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Vertical visibility among parallel polygons in three dimensions
R. Fulek, R. Radoičić, 9411 (2015) 373–379.
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1601 | OA
The Hanoi omega-automata format
T. Babiak, F. Blahoudek, A. Duret Lutz, J. Klein, J. Kretinsky, D. Mueller, D. Parker, J. Strejček, in:, Springer, 2015, pp. 479–486.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Abstraction-based parameter synthesis for multiaffine systems
S. Bogomolov, C. Schilling, E. Bartocci, G. Batt, H. Kong, R. Grosu, in:, Springer, 2015, pp. 19–35.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Runtime verification for hybrid analysis tools
L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, 9333 (2015) 281–286.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
The complexity of synthesis from probabilistic components
K. Chatterjee, L. Doyen, M. Vardi, 9135 (2015) 108–120.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, 9135 (2015) 121–133.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction
J. Whitfield, W. Zhang, M. Herde, B. Clifton, J. Radziejewski, H.L. Janovjak, C. Henneberger, C. Jackson, Protein Science 24 (2015) 1412–1422.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
Single-cell screening of photosynthetic growth and lactate production by cyanobacteria
P. Hammar, A. Angermayr, S. Sjostrom, J. Van Der Meer, K. Hellingwerf, E. Hudson, H. Joensson, Biotechnology for Biofuels 8 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
Cellular cooperation with shift updating and repulsion
A. Pavlogiannis, K. Chatterjee, B. Adlam, M. Nowak, Scientific Reports 5 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1625
Detailed spatio-temporal reconstruction of eyelids
A. Bermano, T. Beeler, Y. Kozlov, D. Bradley, B. Bickel, M. Gross, in:, ACM, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
OmniAD: Data-driven omni-directional aerodynamics
T. Martin, N. Umetani, B. Bickel, in:, ACM, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Design and fabrication of flexible rod meshes
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
Microstructures to control elasticity in 3D printing
C. Schumacher, B. Bickel, J. Rys, S. Marschner, C. Daraio, M. Gross, in:, ACM, 2015, p. 136.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 594
Structural basis of transcription initiation by RNA polymerase II
S. Sainsbury, C. Bernecky, P. Cramer, Nature Reviews Molecular Cell Biology 16 (2015) 129–143.
View | DOI
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 

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

Search

Filter Publications