Please note that ISTA 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.

3998 Publications


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: 10794 | OA
Parise, Francesca, et al. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science, vol. 3, 42, Frontiers, 2015, doi:10.3389/fenvs.2015.00042.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under Finite-Memory Strategies for Concurrent Mean-Payoff Games.” Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2015, no. 1, SIAM, 2015, pp. 1018–29, doi:10.1137/1.9781611973730.69.
View | DOI | arXiv
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications