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.

6425 Publications


2015 | Journal Article | IST-REx-ID: 1823 | OA
Chevereau, Guillaume, and Mark Tobias Bollenbach. “Systematic Discovery of Drug Interaction Mechanisms.” Molecular Systems Biology, vol. 11, no. 4, 807, Nature Publishing Group, 2015, doi:10.15252/msb.20156098.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824 | OA
Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications, vol. 6, 6977, Nature Publishing Group, 2015, doi:10.1038/ncomms7977.
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: 1828 | OA
Akopyan, Arseniy, et al. “Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics, vol. 160, no. 1, Springer, 2015, pp. 163–67, doi:10.1007/s10955-015-1238-5.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1830 | OA
Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015, doi:10.1098/rstb.2014.0108.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1831 | OA
Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, 20140116, Royal Society, 2015, doi:10.1098/rstb.2014.0116.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1832 | OA
Chakraborty, Soham, et al. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science, vol. 11, no. 1, 20, International Federation of Computational Logic, 2015, doi:10.2168/LMCS-11(1:20)2015.
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 | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | 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 | Journal Article | IST-REx-ID: 1837 | OA
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.
View | DOI | Download Preprint (ext.) | arXiv
 

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

2015 | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1840 | OA
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.
View | DOI | Download Preprint (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, Katarína, et al. “Erratum to: Characterizing Spiking in Noisy Type II Neurons [J. Theor. Biol. 365 (2015) 40–54].” Journal of Theoretical Biology, vol. 373, Elsevier, 2015, doi:10.1016/j.jtbi.2015.03.013.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1845 | OA
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.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1846 | OA
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.
View | Files available | DOI
 

2015 | 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 | Journal Article | IST-REx-ID: 1848 | OA
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications