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.

6492 Publications


2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton, Nicholas H., and Maria Servedio. “The Interpretation of Selection Coefficients.” Evolution, vol. 69, no. 5, Wiley, 2015, pp. 1101–12, doi:10.1111/evo.12641.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, et al. Computational Design of Walking Automata. ACM, 2015, pp. 93–100, doi:10.1145/2786784.2786803.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
Bauer, Bruno, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen, vol. 68, no. 3, Verein Österreichischer Bibliothekare, 2015, pp. 580–607, doi:10.5281/zenodo.33178.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1530
Bierbaum, Veronika, and Stefan Klumpp. “Impact of the Cell Division Cycle on Gene Circuits.” Physical Biology, vol. 12, no. 6, 066003, IOP Publishing Ltd., 2015, doi:10.1088/1478-3975/12/6/066003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1531
Zobel, Valentin, et al. “Visualizing Symmetric Indefinite 2D Tensor Fields Using The Heat Kernel Signature.” Mathematics and Visualization, vol. 40, Springer, 2015, pp. 257–67, doi:10.1007/978-3-319-15090-1_13.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1533
Xia, Wei, et al. “Segmentation over Detection via Optimal Sparse Reconstructions.” IEEE Transactions on Circuits and Systems for Video Technology, vol. 25, no. 8, IEEE, 2015, pp. 1295–308, doi:10.1109/TCSVT.2014.2379972.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang, Hongzhe, et al. “Transcriptional Regulation of PIN Genes by FOUR LIPS and MYB88 during Arabidopsis Root Gravitropism.” Nature Communications, vol. 6, 8822, Nature Publishing Group, 2015, doi:10.1038/ncomms9822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael, David H., et al. “Cav1.3 Channels as Key Regulators of Neuron-like Firings and Catecholamine Release in Chromaffin Cells.” Current Molecular Pharmacology, vol. 8, no. 2, Bentham Science Publishers, 2015, pp. 149–61, doi:10.2174/1874467208666150507105443.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, et al. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology, vol. 25, no. 5, Cell Press, 2015, pp. 647–55, doi:10.1016/j.cub.2015.01.015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, Verena, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell, vol. 160, no. 4, Cell Press, 2015, pp. 673–85, doi:10.1016/j.cell.2015.01.008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, Jakob, et al. “Iterative Experiment Design Guides the Characterization of a Light-Inducible Gene Expression Circuit.” PNAS, vol. 112, no. 26, National Academy of Sciences, 2015, pp. 8148–53, doi:10.1073/pnas.1423947112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics, vol. 143, no. 24, 244103, American Institute of Physics, 2015, doi:10.1063/1.4937937.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1540
Robert, Hélène, et al. “The Importance of Localized Auxin Production for Morphogenesis of Reproductive Organs and Embryos in Arabidopsis.” Journal of Experimental Botany, vol. 66, no. 16, Oxford University Press, 2015, pp. 5029–42, doi:10.1093/jxb/erv256.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, et al. XSpeed: Accelerating Reachability Analysis on Multi-Core Processors. Vol. 9434, Springer, 2015, pp. 3–18, doi:10.1007/978-3-319-26287-1_1.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao, Tiago, et al. “Toward a Unifying Framework for Evolutionary Processes.” Journal of Theoretical Biology, vol. 383, Elsevier, 2015, pp. 28–43, doi:10.1016/j.jtbi.2015.07.011.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo, Yadira, et al. “A Conserved Core of Programmed Cell Death Indicator Genes Discriminates Developmentally and Environmentally Induced Programmed Cell Death in Plants.” Plant Physiology, vol. 169, no. 4, American Society of Plant Biologists, 2015, pp. 2684–99, doi:10.1104/pp.15.00769.
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1544 | OA
Nguyen, Phuong, et al. “Using Supported Bilayers to Study the Spatiotemporal Organization of Membrane-Bound Proteins.” Building a Cell from Its Components Parts, vol. 128, Academic Press, 2015, pp. 223–41, doi: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, Yukihiro, et al. “Nanoscale Distribution of Presynaptic Ca2+ Channels and Its Impact on Vesicular Release during Development.” Neuron, vol. 85, no. 1, Elsevier, 2015, pp. 145–58, doi:10.1016/j.neuron.2014.11.019.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547 | OA
Mohammadi, Fatemeh, and Somayeh Moradi. “Resolution of Unmixed Bipartite Graphs.” Bulletin of the Korean Mathematical Society, vol. 52, no. 3, Korean Mathematical Society, 2015, pp. 977–86, doi:10.4134/BKMS.2015.52.3.977.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1548 | OA
Milutinovic, Barbara, et al. “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, vol. 81, no. 23, American Society for Microbiology, 2015, pp. 8135–44, doi:10.1128/AEM.02051-15.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
Mckenzie, Catherine, et al. “Flipping the Photoswitch: Ion Channels under Light Control.” Novel Chemical Tools to Study Ion Channel Biology, vol. 869, Springer, 2015, pp. 101–17, doi:10.1007/978-1-4939-2845-3_6.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1550 | OA
Mayer, Christian, et al. “Clonally Related Forebrain Interneurons Disperse Broadly across Both Functional Areas and Structural Boundaries.” Neuron, vol. 87, no. 5, Elsevier, 2015, pp. 989–98, doi: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, Leila, et al. “Host–Pathogen Coevolution: The Selective Advantage of Bacillus Thuringiensis Virulence and Its Cry Toxin Genes.” PLoS Biology, vol. 13, no. 6, Public Library of Science, 2015, pp. 1–30, doi:10.1371/journal.pbio.1002169.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
Maiuri, Paolo, et al. “Actin Flows Mediate a Universal Coupling between Cell Speed and Cell Persistence.” Cell, vol. 161, no. 2, Cell Press, 2015, pp. 374–86, doi:10.1016/j.cell.2015.01.056.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1554 | OA
Liao, Cheyang, et al. “Reporters for Sensitive and Quantitative Measurement of Auxin Response.” Nature Methods, vol. 12, no. 3, Nature Publishing Group, 2015, pp. 207–10, doi:10.1038/nmeth.3279.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555 | OA
Knipl, Diána, et al. “Rich Bifurcation Structure in a Two Patch Vaccination Model.” SIAM Journal on Applied Dynamical Systems, vol. 14, no. 2, Society for Industrial and Applied Mathematics , 2015, pp. 980–1017, doi:10.1137/140993934.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1556 | OA
Jia, Yuebin, et al. “The Arabidopsis Thaliana Elongator Complex Subunit 2 Epigenetically Affects Root Development.” Journal of Experimental Botany, vol. 66, no. 15, Oxford University Press, 2015, pp. 4631–42, doi:10.1093/jxb/erv230.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1557
Javdani, Fariba, et al. “Differential Expression Patterns of K+Cl- Cotransporter 2 in Neurons within the Superficial Spinal Dorsal Horn of Rats.” Journal of Comparative Neurology, vol. 523, no. 13, Wiley-Blackwell, 2015, pp. 1967–83, doi:10.1002/cne.23774.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko, Maria, et al. “The Cyclophilin a DIAGEOTROPICA Gene Affects Auxin Transport in Both Root and Shoot to Control Lateral Root Formation.” Development, vol. 142, no. 4, Company of Biologists, 2015, pp. 712–21, doi:10.1242/dev.113225.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1559 | OA
Ibsen-Jensen, Rasmus, et al. “Computational Complexity of Ecological and Evolutionary Spatial Dynamics.” PNAS, vol. 112, no. 51, National Academy of Sciences, 2015, pp. 15636–41, doi:10.1073/pnas.1511366112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1560
Hons, Miroslav, and Michael K. Sixt. “The Lymph Node Filter Revealed.” Nature Immunology, vol. 16, no. 4, Nature Publishing Group, 2015, pp. 338–40, doi:10.1038/ni.3126.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1561
Heger, Klaus, 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, vol. 45, no. 6, Wiley, 2015, pp. 1614–20, doi:10.1002/eji.201545457.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
Grones, Peter, et al. “Auxin-Binding Pocket of ABP1 Is Crucial for Its Gain-of-Function Cellular and Developmental Roles.” Journal of Experimental Botany, vol. 66, no. 16, Oxford University Press, 2015, pp. 5055–65, doi:10.1093/jxb/erv177.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
Graff, Grzegorz, and Pawel Pilarczyk. “An Algorithmic Approach to Estimating the Minimal Number of Periodic Points for Smooth Self-Maps of Simply-Connected Manifolds.” Topological Methods in Nonlinear Analysis, vol. 45, no. 1, Juliusz Schauder Center for Nonlinear Studies, 2015, pp. 273–86, doi:10.12775/TMNA.2015.014.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1564 | OA
Gilson, Matthieu, et al. “Editorial: Emergent Neural Computation from the Interaction of Different Forms of Plasticity.” Frontiers in Computational Neuroscience, vol. 9, no. 11, 145, Frontiers Research Foundation, 2015, doi:10.3389/fncom.2015.00145.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1565 | OA
Gavello, Daniela, et al. “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, vol. 593, no. 22, Wiley-Blackwell, 2015, pp. 4835–53, doi:10.1113/JP271078.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner, Herbert. Shape, Homology, Persistence, and Stability. Vol. 9411, Springer, 2015.
View
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva, Olga, et al. “The Classification of Endoscopy Images with Persistent Homology.” Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2015, p. 7034731, doi:10.1109/SYNASC.2014.81.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569 | OA
Doyle, Siamsa, et al. “An Early Secretory Pathway Mediated by Gnom-like 1 and Gnom Is Essential for Basal Polarity Establishment in Arabidopsis Thaliana.” PNAS, vol. 112, no. 7, National Academy of Sciences, 2015, pp. E806–15, doi:10.1073/pnas.1424856112.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1570 | OA
Der, Ralf, and Georg S. Martius. “Novel Plasticity Rule Can Explain the Development of Sensorimotor Intelligence.” PNAS, vol. 112, no. 45, National Academy of Sciences, 2015, pp. E6224–32, doi:10.1073/pnas.1508400112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1571
de Vos, Marjon, et al. “Breaking Evolutionary Constraint with a Tradeoff Ratchet.” PNAS, vol. 112, no. 48, National Academy of Sciences, 2015, pp. 14906–11, doi:10.1073/pnas.1510282112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1572 | OA
Correggi, Michele, et al. “Validity of the Spin-Wave Approximation for the Free Energy of the Heisenberg Ferromagnet.” Communications in Mathematical Physics, vol. 339, no. 1, Springer, 2015, pp. 279–307, doi:10.1007/s00220-015-2402-0.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1573 | OA
Chen, Thomas, et al. “Unconditional Uniqueness for the Cubic Gross Pitaevskii Hierarchy via Quantum de Finetti.” Communications on Pure and Applied Mathematics, vol. 68, no. 10, Wiley, 2015, pp. 1845–84, doi: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, 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
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
Chabaud, Mélanie, et al. “Cell Migration and Antigen Capture Are Antagonistic Processes Coupled by Myosin II in Dendritic Cells.” Nature Communications, vol. 6, 7526, Nature Publishing Group, 2015, doi:10.1038/ncomms8526.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez, Sarah A., et al. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.” Physical Review Letters, vol. 115, no. 24, 248101, American Physical Society, 2015, doi:10.1103/PhysRevLett.115.248101.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1577 | OA
Carvalho, Antonio, et al. “Birth of a New Gene on the Y Chromosome of Drosophila Melanogaster.” PNAS, vol. 112, no. 40, National Academy of Sciences, 2015, pp. 12450–55, doi:10.1073/pnas.1516543112.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1578
Cao, Thanhtung, et al. “Triangulations from Topologically Correct Digital Voronoi Diagrams.” Computational Geometry, vol. 48, no. 7, Elsevier, 2015, pp. 507–19, doi:10.1016/j.comgeo.2015.04.001.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1579 | OA
Brooks, Christopher, et al. “Galois Groups of Schubert Problems of Lines Are at Least Alternating.” Transactions of the American Mathematical Society, vol. 367, no. 6, American Mathematical Society, 2015, pp. 4183–206, doi:10.1090/S0002-9947-2014-06192-8.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1580 | OA
Brenes, Oscar, et al. “Knock-down of Synapsin Alters Cell Excitability and Action Potential Waveform by Potentiating BK and Voltage Gated Ca2 Currents in Helix Serotonergic Neurons.” Neuroscience, vol. 311, Elsevier, 2015, pp. 430–43, doi:10.1016/j.neuroscience.2015.10.046.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1581
Bollenbach, Mark Tobias, and Carl-Philipp J. Heisenberg. “Gradients Are Shaping Up.” Cell, vol. 161, no. 3, Cell Press, 2015, pp. 431–32, doi:10.1016/j.cell.2015.04.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1582 | OA
Biedl, Therese, et al. “Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications, vol. 48, no. 2, Elsevier, 2015, pp. 120–33, doi:10.1016/j.comgeo.2014.08.006.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583 | OA
Biedl, Therese, et al. “A Simple Algorithm for Computing Positively Weighted Straight Skeletons of Monotone Polygons.” Information Processing Letters, vol. 115, no. 2, Elsevier, 2015, pp. 243–47, doi:10.1016/j.ipl.2014.09.021.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1584 | OA
Biedl, Therese, et al. “Reprint of: Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications, vol. 48, no. 5, Elsevier, 2015, pp. 429–42, doi:10.1016/j.comgeo.2015.01.004.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1585
Bao, Zhigang, et al. “Asymptotic Mutual Information Statistics of MIMO Channels and CLT of Sample Covariance Matrices.” IEEE Transactions on Information Theory, vol. 61, no. 6, IEEE, 2015, pp. 3413–26, doi:10.1109/TIT.2015.2421894.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1586
Angermayr, Andreas, et al. “Metabolic Engineering of Cyanobacteria for the Synthesis of Commodity Products.” Trends in Biotechnology, vol. 33, no. 6, Elsevier, 2015, pp. 352–61, doi:10.1016/j.tibtech.2015.03.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
Amaro, Pedro, et al. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6, 062506, American Physical Society, 2015, doi:10.1103/PhysRevA.92.062506.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1588
Altmeyer, Sebastian, et al. “Ring-Bursting Behavior En Route to Turbulence in Narrow-Gap Taylor-Couette Flows.” Physical Review E, vol. 92, no. 5, 053018, American Physical Society, 2015, doi:10.1103/PhysRevE.92.053018.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer, Sebastian, et al. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” Scientific Reports, vol. 5, 18589, Nature Publishing Group, 2015, doi:10.1038/srep18589.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer, Oswin, et al. “Representing Directed Trees as Straight Skeletons.” Graph Drawing and Network Visualization, vol. 9411, Springer, 2015, pp. 335–47, doi:10.1007/978-3-319-27261-0_28.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski, Maciek, and Jiří Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” Plant Cell, vol. 27, no. 1, American Society of Plant Biologists, 2015, pp. 20–32, doi: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á, Petra, et al. “Strategies of Seedlings to Overcome Their Sessile Nature: Auxin in Mobility Control.” Frontiers in Plant Science, vol. 6, no. 4, Frontiers Research Foundation, 2015, doi:10.3389/fpls.2015.00218.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, et al. Controller Synthesis for MDPs and Frequency LTL\GU. Vol. 9450, Springer, 2015, pp. 162–77, doi:10.1007/978-3-662-48899-7_12.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, Radoslav, et al. Hanani-Tutte for Radial Planarity. Vol. 9411, Springer, 2015, pp. 99–110, doi:10.1007/978-3-319-27261-0_9.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek, Radoslav, and Radoš Radoičić. Vertical Visibility among Parallel Polygons in Three Dimensions. Vol. 9411, Springer, 2015, pp. 373–79, doi:10.1007/978-3-319-27261-0_31.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak, Tomáš, et al. The Hanoi Omega-Automata Format. Vol. 9206, Springer, 2015, pp. 479–86, doi:10.1007/978-3-319-21690-4_31.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:10.1145/2676726.2676979.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, et al. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, ACM, 2015, pp. 539–51, doi:10.1145/2676726.2676968.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, et al. Runtime Verification for Hybrid Analysis Tools. Vol. 9333, Springer, 2015, pp. 281–86, doi:10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, Krishnendu, et al. The Complexity of Synthesis from Probabilistic Components. Vol. 9135, Springer, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Whitfield, Jason, et al. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science, vol. 24, no. 9, Wiley, 2015, pp. 1412–22, doi:10.1002/pro.2721.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
Strüber, Michael, et al. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS, vol. 112, no. 4, National Academy of Sciences, 2015, pp. 1220–25, doi:10.1073/pnas.1412996112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi: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, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
Hammar, Petter, et al. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.” Biotechnology for Biofuels, vol. 8, no. 1, 193, BioMed Central, 2015, doi:10.1186/s13068-015-0380-2.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
Pavlogiannis, Andreas, et al. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports, vol. 5, 17147, Nature Publishing Group, 2015, doi:10.1038/srep17147.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1625
Bermano, Amit, et al. Detailed Spatio-Temporal Reconstruction of Eyelids. Vol. 34, no. 4, 44, ACM, 2015, doi:10.1145/2766924.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, Tobias, et al. OmniAD: Data-Driven Omni-Directional Aerodynamics. Vol. 34, no. 4, 113, ACM, 2015, doi:10.1145/2766919.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez, Jesús, et al. Design and Fabrication of Flexible Rod Meshes. Vol. 34, no. 4, 138, ACM, 2015, doi:10.1145/2766998.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
Schumacher, Christian, et al. Microstructures to Control Elasticity in 3D Printing. Vol. 34, no. 4, 136, ACM, 2015, doi:10.1145/2766926.
View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1630 | OA
Guerrero, Paul, et al. Learning Shape Placements by Example. Vol. 34, no. 4, 108, ACM, 2015, doi:10.1145/2766933.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
Ando, Ryoichi, et al. A Stream Function Solver for Liquid Simulations. Vol. 34, no. 4, 53, ACM, 2015, doi:10.1145/2766935.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
Hahn, David, and Christopher J. Wojtan. High-Resolution Brittle Fracture Simulation with Boundary Elements. Vol. 34, no. 4, 151, ACM, 2015, doi:10.1145/2766896.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1634 | OA
Da, Fang, et al. Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams. Vol. 34, no. 4, 149, ACM, 2015, doi:10.1145/2767003.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1635 | OA
Erbar, Matthias, et al. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.” Annales de La Faculté Des Sciences de Toulouse, vol. 24, no. 4, Univ. Paul Sabatier, 2015, pp. 781–800, doi:10.5802/afst.1464.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1636 | OA
Kolmogorov, Vladimir, et al. Effectiveness of Structural Restrictions for Hybrid CSPs. Vol. 9472, Springer, 2015, pp. 566–77, doi:10.1007/978-3-662-48971-0_48.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1637 | OA
Kolmogorov, Vladimir, et al. The Complexity of General-Valued CSPs. IEEE, 2015, pp. 1246–58, doi:10.1109/FOCS.2015.80.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.” Nature Reviews Molecular Cell Biology, vol. 16, no. 6, Nature Publishing Group, 2015, pp. 375–88, doi:10.1038/nrm3997.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1639 | OA
Maas, Jan, et al. “A Generalized Model for Optimal Transport of Images Including Dissipation and Density Modulation.” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6, EDP Sciences, 2015, pp. 1745–69, doi:10.1051/m2an/2015043.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1640 | OA
Šimášková, Mária, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.” Nature Communications, vol. 6, 8717, Nature Publishing Group, 2015, doi:10.1038/ncomms9717.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642 | OA
Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics, vol. 22, no. 4, P4.24, Electronic Journal of Combinatorics, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1644 | OA
Demay, Grégory, et al. Query-Complexity Amplification for Random Oracles. Vol. 9063, Springer, 2015, pp. 159–80, doi:10.1007/978-3-319-17470-9_10.
View | DOI | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.” 2015 IEEE Information Theory Workshop, 7133163, IEEE, 2015, doi:10.1109/ITW.2015.7133163.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1646 | OA
Banerjee, Abishek, et al. Key-Homomorphic Constrained Pseudorandom Functions. Vol. 9015, Springer, 2015, pp. 31–60, doi:10.1007/978-3-662-46497-7_2.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1647 | OA
Fuchsbauer, Georg, et al. Practical Round-Optimal Blind Signatures in the Standard Model. Vol. 9216, Springer, 2015, pp. 233–53, doi: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, Georg, et al. A Quasipolynomial Reduction for Generalized Selective Decryption on Trees. Vol. 9215, Springer, 2015, pp. 601–20, doi:10.1007/978-3-662-47989-6_29.
View | Files available | DOI
 

Search

Filter Publications