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.

2595 Publications


2015 | Conference Paper | IST-REx-ID: 1605
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 | DOI
 

2015 | Journal Article | IST-REx-ID: 1814   OA
Jeschke, Stefan, and Christopher J. Wojtan. “Water Wave Animation via Wavefront Parameter Interpolation.” ACM Transactions on Graphics, vol. 34, no. 3, 27, ACM, 2015, doi:10.1145/2714572.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games, vol. 6, no. 4, Multidisciplinary Digital Publishing Institute, 2015, pp. 413–37, doi:10.3390/g6040413.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1732   OA
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IEEE, 2015, pp. 325–30, doi:10.1109/ICRA.2015.7139019.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, et al. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation, vol. 241, no. 4, Elsevier, 2015, pp. 177–96, doi:10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Tkacik, Gasper, et al. “Thermodynamics and Signatures of Criticality in a Network of Neurons.” PNAS, vol. 112, no. 37, National Academy of Sciences, 2015, pp. 11508–13, doi:10.1073/pnas.1514188112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
View | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5429
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
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 | Conference Paper | IST-REx-ID: 1430   OA
Paixao, Tiago, et al. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–62, doi:10.1145/2739480.2754758.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497   OA
Andergassen, Daniel, et al. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research, vol. 43, no. 21, e146, Oxford University Press, 2015, doi:10.1093/nar/gkv727.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505   OA
Bao, Zhigang, et al. “Universality for the Largest Eigenvalue of Sample Covariance Matrices with General Population.” Annals of Statistics, vol. 43, no. 1, Institute of Mathematical Statistics, 2015, pp. 382–421, doi:10.1214/14-AOS1281.
View | DOI | Download (ext.)
 

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 | 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 (ext.) | PubMed | Europe PMC
 

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 (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555
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
 

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 | Conference Paper | IST-REx-ID: 1567
Edelsbrunner, Herbert. Shape, Homology, Persistence, and Stability. Vol. 9411, Springer, 2015.
View
 

2015 | Journal Article | IST-REx-ID: 1517   OA
Erbar, Matthias, et al. “From Large Deviations to Wasserstein Gradient Flows in Multiple Dimensions.” Electronic Communications in Probability, vol. 20, 89, Institute of Mathematical Statistics, 2015, doi:10.1214/ECP.v20-4315.
View | Files available | 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: 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: 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: 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 | 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 (ext.)
 

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: 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 | Conference Paper | IST-REx-ID: 1649   OA
Benhamouda, Fabrice, et al. Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings. Vol. 9326, Springer, 2015, pp. 305–25, doi:10.1007/978-3-319-24174-6_16.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1651
Baldimtsi, Foteini, et al. Anonymous Transferable E-Cash. Vol. 9020, Springer, 2015, pp. 101–24, doi:10.1007/978-3-662-46447-2_5.
View | DOI
 

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 (ext.)
 

2015 | Journal Article | IST-REx-ID: 1618   OA
Veldkamp, Christopher, et al. “Solution Structure of CCL19 and Identification of Overlapping CCR7 and PSGL-1 Binding Sites.” Biochemistry, vol. 54, no. 27, ACS, 2015, pp. 4163–66, doi:10.1021/acs.biochem.5b00560.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

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: 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 | Journal Article | IST-REx-ID: 1699   OA
Uecker, Hildegard, et al. “Adaptive Gene Introgression after Secondary Contact.” Journal of Mathematical Biology, vol. 70, no. 7, Springer, 2015, pp. 1523–80, doi:10.1007/s00285-014-0802-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1682   OA
Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.” Journal of the ACM, vol. 62, no. 4, 26, ACM, 2015, doi:10.1145/2751524.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1687   OA
Sarris, Milka, and Michael K. Sixt. “Navigating in Tissue Mazes: Chemoattractant Interpretation in Complex Environments.” Current Opinion in Cell Biology, vol. 36, no. 10, Elsevier, 2015, pp. 93–102, doi:10.1016/j.ceb.2015.08.001.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1668   OA
Gazi, Peter, et al. Relaxing Full-Codebook Security: A Refined Analysis of Key-Length Extension Schemes. Vol. 9054, Springer, 2015, pp. 319–41, doi:10.1007/978-3-662-48116-5_16.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1663
Kovács, Krisztián, et al. “Complex Regulation of CREB-Binding Protein by Homeodomain-Interacting Protein Kinase 2.” Cellular Signalling, vol. 27, no. 11, Elsevier, 2015, pp. 2252–60, doi:10.1016/j.cellsig.2015.08.001.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1827   OA
Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.” PLoS Computational Biology, vol. 11, no. 3, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055 .
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834   OA
Chen, Chong, et al. “Low-Dose Sevoflurane Promoteshippocampal Neurogenesis and Facilitates the Development of Dentate Gyrus-Dependent Learning in Neonatal Rats.” ASN Neuro, vol. 7, no. 2, SAGE, 2015, doi:10.1177/1759091415575845.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1808
Gupta, Ashutosh, and Thomas A. Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 7, ACM, 2015, doi:10.1145/2745799.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1841   OA
Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:10.1109/TPAMI.2014.2363465.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1992   OA
Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets. ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1997   OA
Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June, Elsevier, 2015, pp. 285–96, doi:10.1016/j.jsc.2014.09.014.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1858   OA
Lampert, Christoph. Predicting the Future Behavior of a Time-Varying Probability Distribution. IEEE, 2015, pp. 942–50, doi:10.1109/CVPR.2015.7298696.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1860   OA
Royer, Amélie, and Christoph Lampert. Classifier Adaptation at Prediction Time. IEEE, 2015, pp. 1401–09, doi:10.1109/CVPR.2015.7298746.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1865
Robert, Hélène, et al. “Plant Embryogenesis Requires AUX/LAX-Mediated Auxin Influx.” Development, vol. 142, no. 4, Company of Biologists, 2015, pp. 702–11, doi:10.1242/dev.115832.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2008   OA
Klimova, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.” Scandinavian Journal of Statistics, vol. 42, no. 3, Wiley, 2015, pp. 832–47, doi:10.1111/sjos.12139.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2166   OA
Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.” Communications in Mathematical Physics, vol. 333, no. 3, Springer, 2015, pp. 1365–416, doi:10.1007/s00220-014-2119-5.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1675
Dziembowski, Stefan, et al. Proofs of Space. Vol. 9216, Springer, 2015, pp. 585–605, doi:10.1007/978-3-662-48000-7_29.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed