Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5388 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1837 | 
Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics, vol. 770, no. 5, R3, Cambridge University Press, 2015, doi:10.1017/jfm.2015.184.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1838 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Published | Journal Article | IST-REx-ID: 1840 |
Geiger, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control, vol. 60, no. 4, IEEE, 2015, pp. 1010–22, doi:10.1109/TAC.2014.2364971.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Published | Journal Article | IST-REx-ID: 1845 |
Vandael, David H., et al. “Excitement about Inhibitory Presynaptic Terminals.” Neuron, vol. 85, no. 6, Elsevier, 2015, pp. 1149–51, doi:10.1016/j.neuron.2015.03.006.
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1846 |
Beneš, Nikola, et al. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica, vol. 52, no. 2–3, Springer, 2015, pp. 269–97, doi:10.1007/s00236-015-0215-4.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1847
Grones, Peter, and Jiří Friml. “ABP1: Finally Docking.” Molecular Plant, vol. 8, no. 3, Elsevier, 2015, pp. 356–58, doi:10.1016/j.molp.2014.12.013.
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1848 |
Schwamb B, Pick R, Fernández S, Völp K, Heering J, Dötsch V, Bösser S, Jung J, Beinoravičiute Kellner R, Wesely J, Zörnig I, Hammerschmidt M, Nowak M, Penzel R, Zatloukal K, Joos S, Rieker R, Agaimy A, Söder S, Reid Lombardo K, Kendrick M, Bardsley M, Hayashi Y, Asuzu D, Syed S, Ördög T, Zörnig M. 2015. FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer. 137(6), 1318–1329.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1849
Himschoot, Ellie, et al. “Calcium Is an Organizer of Cell Polarity in Plants.” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 9, Elsevier, 2015, pp. 2168–72, doi:10.1016/j.bbamcr.2015.02.017.
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1850 |
Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.” Journal of Theoretical Biology, vol. 372, no. 5, Elsevier, 2015, pp. 54–64, doi:10.1016/j.jtbi.2015.02.018.
[Submitted Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1851 |
Priklopil, Tadeas, et al. “Evolutionarily Stable Mating Decisions for Sequentially Searching Females and the Stability of Reproductive Isolation by Assortative Mating.” Evolution, vol. 69, no. 4, Wiley, 2015, pp. 1015–26, doi:10.1111/evo.12618.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1855 |
Mcmahon, Dino, et al. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Journal of Animal Ecology, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:10.1111/1365-2656.12345.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1856 |
Chatterjee, Krishnendu, et al. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM, vol. 62, no. 1, 9, ACM, 2015, doi:10.1145/2699430.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1857 |
Pentina, Anastasia, et al. Curriculum Learning of Multiple Tasks. IEEE, 2015, pp. 5492–500, doi:10.1109/CVPR.2015.7299188.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Published | Conference Paper | IST-REx-ID: 1858 |
Lampert, Christoph. Predicting the Future Behavior of a Time-Varying Probability Distribution. IEEE, 2015, pp. 942–50, doi:10.1109/CVPR.2015.7298696.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1860 |
Royer, Amélie, and Christoph Lampert. Classifier Adaptation at Prediction Time. IEEE, 2015, pp. 1401–09, doi:10.1109/CVPR.2015.7298746.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2015 | Published | Journal Article | IST-REx-ID: 1861
Ruess, Jakob, and John Lygeros. “Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.” ACM Transactions on Modeling and Computer Simulation, vol. 25, no. 2, 8, ACM, 2015, doi:10.1145/2688906.
View
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1864 |
Erdös, László, and Antti Knowles. “The Altshuler–Shklovskii Formulas for Random Band Matrices II: The General Case.” Annales Henri Poincare, vol. 16, no. 3, Springer, 2015, pp. 709–99, doi:10.1007/s00023-014-0333-5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 | Published | 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 | Published | Journal Article | IST-REx-ID: 1866
Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001.
View
| DOI