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.

2344 Publications


2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:ISTA:28.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, Sébastien, et al. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution, vol. 33, no. 3, Oxford University Press (OUP), 2015, pp. 770–82, doi:10.1093/molbev/msv270.
View | Files available | 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 | 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: 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: 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: 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 | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia, Àngel, et al. “An Exploration of the Universe of Polyglutamine Structures.” PLoS Computational Biology, vol. 11, no. 10, e1004541, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004541.
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: 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, Qian, et al. “A Coherent Transcriptional Feed-Forward Motif Model for Mediating Auxin-Sensitive PIN3 Expression during Lateral Root Development.” Nature Communications, vol. 6, 8821, Nature Publishing Group, 2015, doi:10.1038/ncomms9821.
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: 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: 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: 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, American Physical Society, 2015, p. 062506, doi:10.1103/PhysRevA.92.062506.
View | DOI | Download Preprint (ext.) | arXiv
 

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 Jirí 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: 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.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications