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.

371 Publications


2015 | Journal Article | IST-REx-ID: 6737 | OA
Mondelli, M., Hassani, H., Sason, I., & Urbanke, R. (2015). Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory, 61(2), 783–800. https://doi.org/10.1109/tit.2014.2368555
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7070
Yu, J. F., Ramshaw, B. J., Kokanović, I., Modic, K. A., Harrison, N., Day, J., … Cooper, J. R. (2015). Magnetization of underdoped YBa2Cu3Oy above the irreversibility field. Physical Review B, 92(18). https://doi.org/10.1103/physrevb.92.180509
View | 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. https://doi.org/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. (2015). XSpeed: Accelerating reachability analysis on multi-core processors. Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_1
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao, T., Badkobeh, G., Barton, N. H., Çörüş, D., Dang, D., Friedrich, T., … Trubenova, B. (2015). Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology, 383, 28–43. https://doi.org/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., Fendrych, M., Huysmans, M., Šimášková, M., … 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. https://doi.org/10.1104/pp.15.00769
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, pp. 223–241). Academic Press. https://doi.org/10.1016/bs.mcb.2015.01.007
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., … Takahashi, T. (2015). Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron, 85(1), 145–158. https://doi.org/10.1016/j.neuron.2014.11.019
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. https://doi.org/10.4134/BKMS.2015.52.3.977
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. https://doi.org/10.1128/AEM.02051-15
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
Mckenzie, C., Sanchez-Romero, I., & Janovjak, H. L. (2015). Flipping the photoswitch: Ion channels under light control. In Novel chemical tools to study ion channel biology (Vol. 869, pp. 101–117). Springer. https://doi.org/10.1007/978-1-4939-2845-3_6
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1550 | OA
Mayer, C., Jaglin, X., Cobbs, L., Bandler, R., Streicher, C., Cepko, C., … Fishell, G. (2015). Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron, 87(5), 989–998. https://doi.org/10.1016/j.neuron.2015.07.011
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., … Schulenburg, H. (2015). Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology, 13(6), 1–30. https://doi.org/10.1371/journal.pbio.1002169
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
Maiuri, P., Rupprecht, J., Wieser, S., Ruprecht, V., Bénichou, O., Carpi, N., … Voituriez, R. (2015). Actin flows mediate a universal coupling between cell speed and cell persistence. Cell, 161(2), 374–386. https://doi.org/10.1016/j.cell.2015.01.056
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. https://doi.org/10.1038/nmeth.3279
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. https://doi.org/10.1137/140993934
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. https://doi.org/10.1093/jxb/erv230
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., … 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. https://doi.org/10.1002/cne.23774
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko, M., Zhu, J., Wang, B., Medvecka, E., Du, Y., Azzarello, E., … 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. https://doi.org/10.1242/dev.113225
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. https://doi.org/10.1073/pnas.1511366112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1560
Hons, M., & Sixt, M. K. (2015). The lymph node filter revealed. Nature Immunology, 16(4), 338–340. https://doi.org/10.1038/ni.3126
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1561
Heger, K., Kober, M., Rieß, D., Drees, C., De Vries, I., Bertossi, A., … 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. https://doi.org/10.1002/eji.201545457
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
Grones, P., Chen, X., Simon, S., Kaufmann, W., De Rycke, R., Nodzyński, T., … 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. https://doi.org/10.1093/jxb/erv177
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. https://doi.org/10.12775/TMNA.2015.014
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). https://doi.org/10.3389/fncom.2015.00145
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1565 | OA
Gavello, D., Vandael, D. H., Gosso, S., Carbone, E., & Carabelli, V. (2015). 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, 593(22), 4835–4853. https://doi.org/10.1113/JP271078
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner, H. (2015). Shape, homology, persistence, and stability. Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, United States: Springer.
View
 

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. In Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (p. 7034731). Timisoara, Romania: IEEE. https://doi.org/10.1109/SYNASC.2014.81
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569 | OA
Doyle, S., Haegera, A., Vain, T., Rigala, A., Viotti, C., Łangowskaa, M., … Robert, S. (2015). An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS, 112(7), E806–E815. https://doi.org/10.1073/pnas.1424856112
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1570 | OA
Der, R., & Martius, G. S. (2015). Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS, 112(45), E6224–E6232. https://doi.org/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. (2015). Breaking evolutionary constraint with a tradeoff ratchet. PNAS, 112(48), 14906–14911. https://doi.org/10.1073/pnas.1510282112
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1574 | OA
Chen, Q., Liu, Y., Maere, S., Lee, E., Van Isterdael, G., Xie, Z., … Vanneste, S. (2015). A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications, 6. https://doi.org/10.1038/ncomms9821
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
Chabaud, M., Heuzé, M., Bretou, M., Vargas, P., Maiuri, P., Solanes, P., … Lennon Duménil, A. (2015). Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications, 6. https://doi.org/10.1038/ncomms8526
View | Files available | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 1578
Cao, T., Edelsbrunner, H., & Tan, T. (2015). Triangulations from topologically correct digital Voronoi diagrams. Computational Geometry, 48(7), 507–519. https://doi.org/10.1016/j.comgeo.2015.04.001
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1579 | OA
Brooks, C., Martin del Campo Sanchez, A., & Sottile, F. (2015). Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society, 367(6), 4183–4206. https://doi.org/10.1090/S0002-9947-2014-06192-8
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1580 | OA
Brenes, O., Vandael, D. H., Carbone, E., Montarolo, P., & Ghirardi, M. (2015). Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience, 311, 430–443. https://doi.org/10.1016/j.neuroscience.2015.10.046
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1581
Bollenbach, M. T., & Heisenberg, C.-P. J. (2015). Gradients are shaping up. Cell, 161(3), 431–432. https://doi.org/10.1016/j.cell.2015.04.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1582 | OA
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. https://doi.org/10.1016/j.comgeo.2014.08.006
View | Files available | DOI
 

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

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

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

2015 | Journal Article | IST-REx-ID: 1586
Angermayr, A., Gorchs, A., & Hellingwerf, K. (2015). Metabolic engineering of cyanobacteria for the synthesis of commodity products. Trends in Biotechnology, 33(6), 352–361. https://doi.org/10.1016/j.tibtech.2015.03.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
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. https://doi.org/10.1103/PhysRevA.92.062506
View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., & Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In Graph Drawing and Network Visualization (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer. https://doi.org/10.1007/978-3-319-27261-0_28
View | DOI | Download Preprint (ext.)
 

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

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

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, V., Krčál, J., & Kretinsky, J. (2015). Controller synthesis for MDPs and frequency LTL\GU (Vol. 9450, pp. 162–177). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji: Springer. https://doi.org/10.1007/978-3-662-48899-7_12
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer. https://doi.org/10.1007/978-3-319-27261-0_9
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek, R., & Radoičić, R. (2015). Vertical visibility among parallel polygons in three dimensions. Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, United States: Springer. https://doi.org/10.1007/978-3-319-27261-0_31
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 Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
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 | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., & Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_10
View | Files available | DOI | Download Preprint (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_2
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: 1607 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-21690-4_9
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, K., Doyen, L., & Vardi, M. (2015). The complexity of synthesis from probabilistic components. Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47666-6_9
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47666-6_10
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1614 | OA
Strüber, M., Jonas, P. M., & Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS, 112(4), 1220–1225. https://doi.org/10.1073/pnas.1412996112
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S., … Brose, N. (2015). Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports, 13(3), 516–523. https://doi.org/10.1016/j.celrep.2015.09.011
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp, C., Kiermaier, E., Gabel Eissens, S., Gillitzer, M., Lippner, D., Disilvio, F., … Peterson, F. (2015). Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry, 54(27), 4163–4166. https://doi.org/10.1021/acs.biochem.5b00560
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

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

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

2015 | Conference Paper | IST-REx-ID: 1625
Bermano, A., Beeler, T., Kozlov, Y., Bradley, D., Bickel, B., & Gross, M. (2015). Detailed spatio-temporal reconstruction of eyelids (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766924
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, T., Umetani, N., & Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766919
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez, J., Thomaszewski, B., Coros, S., Bickel, B., Canabal, J., Sumner, R., & Otaduy, M. (2015). Design and fabrication of flexible rod meshes (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766998
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., & Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34, p. 136). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766926
View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1630 | OA
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2015). Learning shape placements by example (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766933
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
Ando, R., Thuerey, N., & Wojtan, C. J. (2015). A stream function solver for liquid simulations (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766935
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
Hahn, D., & Wojtan, C. J. (2015). High-resolution brittle fracture simulation with boundary elements (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766896
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1634 | OA
Da, F., Batty, C., Wojtan, C. J., & Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2767003
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1635 | OA
Erbar, M., Maas, J., & Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse, 24(4), 781–800. https://doi.org/10.5802/afst.1464
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1636 | OA
Kolmogorov, V., Rolinek, M., & Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. Presented at the ISAAC: International Symposium on Algorithms and Computation, Nagoya, Japan: Springer. https://doi.org/10.1007/978-3-662-48971-0_48
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1637 | OA
Kolmogorov, V., Krokhin, A., & Rolinek, M. (2015). The complexity of general-valued CSPs (pp. 1246–1258). Presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States: IEEE. https://doi.org/10.1109/FOCS.2015.80
View | Files available | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1639 | OA
Maas, J., Rumpf, M., Schönlieb, C., & Simon, S. (2015). A generalized model for optimal transport of images including dissipation and density modulation. ESAIM: Mathematical Modelling and Numerical Analysis, 49(6), 1745–1769. https://doi.org/10.1051/m2an/2015043
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1640 | OA
Šimášková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A., … Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications, 6. https://doi.org/10.1038/ncomms9717
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642 | OA
Fulek, R., Kynčl, J., Malinovič, I., & Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics, 22(4).
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1644 | OA
Demay, G., Gazi, P., Maurer, U., & Tackmann, B. (2015). Query-complexity amplification for random oracles (Vol. 9063, pp. 159–180). Presented at the ICITS: International Conference on Information Theoretic Security, Lugano, Switzerland: Springer. https://doi.org/10.1007/978-3-319-17470-9_10
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi, P., & Tessaro, S. (2015). Secret-key cryptography from ideal primitives: A systematic verview. In 2015 IEEE Information Theory Workshop. Jerusalem, Israel: IEEE. https://doi.org/10.1109/ITW.2015.7133163
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
Banerjee, A., Fuchsbauer, G., Peikert, C., Pietrzak, K. Z., & Stevens, S. (2015). Key-homomorphic constrained pseudorandom functions. Presented at the TCC: Theory of Cryptography Conference, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-662-46497-7_2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647 | OA
Fuchsbauer, G., Hanser, C., & Slamanig, D. (2015). Practical round-optimal blind signatures in the standard model (Vol. 9216, pp. 233–253). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_12
View | Files available | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1648 | OA
Fuchsbauer, G., Jafargholi, Z., & Pietrzak, K. Z. (2015). A quasipolynomial reduction for generalized selective decryption on trees (Vol. 9215, pp. 601–620). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-662-47989-6_29
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1649 | OA
Benhamouda, F., Krenn, S., Lyubashevsky, V., & Pietrzak, K. Z. (2015). Efficient zero-knowledge proofs for commitments from learning with errors over rings. Presented at the ESORICS: European Symposium on Research in Computer Security, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-24174-6_16
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650 | OA
Skórski, M., Golovnev, A., & Pietrzak, K. Z. (2015). Condensed unpredictability (Vol. 9134, pp. 1046–1057). Presented at the ICALP: Automata, Languages and Programming, Kyoto, Japan: Springer. https://doi.org/10.1007/978-3-662-47672-7_85
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Baldimtsi, F., Chase, M., Fuchsbauer, G., & Kohlweiss, M. (2015). Anonymous transferable e-cash (Vol. 9020, pp. 101–124). Presented at the PKC: Public Key Crypography, Gaithersburg, MD, USA: Springer. https://doi.org/10.1007/978-3-662-46447-2_5
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652 | OA
Alwen, J. F., & Serbinenko, V. (2015). High parallel complexity graphs and memory-hard functions. In Proceedings of the 47th annual ACM symposium on Theory of computing (pp. 595–603). Portland, OR, United States: ACM. https://doi.org/10.1145/2746539.2746622
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1654 | OA
Gazi, P., Pietrzak, K. Z., & Tessaro, S. (2015). Generic security of NMAC and HMAC with input whitening. Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48800-3_4
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655 | OA
Martius, G. S., & Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy, 17(10), 7266–7297. https://doi.org/10.3390/e17107266
View | Files available | 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
 

Filters and Search Terms

year=2015

Search

Filter Publications