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.

5685 Publications


2015 | Journal Article | IST-REx-ID: 1614   OA
M. Strüber, P. M. Jonas, and M. Bartos, “Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells,” PNAS, vol. 112, no. 4, pp. 1220–1225, 2015.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1835   OA
M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1823   OA
G. Chevereau and M. T. Bollenbach, “Systematic discovery of drug interaction mechanisms,” Molecular Systems Biology, vol. 11, no. 4, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1690
S. Bak, S. Bogomolov, and T. Johnson, “HYST: A source transformation and translation tool for hybrid automaton models,” presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States, 2015, pp. 128–133.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1657
K. Chatterjee, Z. Komárková, and J. Kretinsky, “Unifying two views on multiple mean-payoff objectives in Markov decision processes.” IEEE, pp. 244–256, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, Edit distance for pushdown automata. IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1, pp. 97–109, 2015.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1607
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1619
G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828   OA
A. Akopyan, S. Pirogov, and A. Rybko, “Invariant measures of genetic recombination process,” Journal of Statistical Physics, vol. 160, no. 1, pp. 163–167, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481   OA
U. Ahmed, K. Chatterjee, and S. Gulwani, “Automatic generation of alternative starting positions for simple traditional board games,” in Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, TX, USA, 2015, vol. 2, pp. 745–752.
View | Files available | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1525   OA
B. Bauer et al., “Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA,” VÖB Mitteilungen, vol. 68, no. 3, pp. 580–607, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
A. Ferrara, G. Fuchsbauer, B. Liu, and B. Warinschi, “Policy privacy in cryptographic access control,” presented at the CSF: Computer Security Foundations, Verona, Italy, 2015, pp. 46–60.
View | DOI | Download (ext.)
 

2015 | Thesis | IST-REx-ID: 1400
J. Reiter, The subclonal evolution of cancer. IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1587   OA
P. Amaro et al., “Quantum interference shifts in laser spectroscopy with elliptical polarization,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 92, no. 6, p. 062506, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1568
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, and D. Malkova, “The classification of endoscopy images with persistent homology,” in Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2015, p. 7034731.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1425   OA
A. Pentina and C. Lampert, “Lifelong learning with non-i.i.d. tasks,” presented at the NIPS: Neural Information Processing Systems, Montreal, Canada, 2015, vol. 2015, pp. 1540–1548.
View | Download (ext.)
 

2015 | Thesis | IST-REx-ID: 1401
V. Sharmanska, Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria, 2015.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1540
H. Robert, L. Crhák Khaitová, S. Mroue, and E. Benková, “The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis,” Journal of Experimental Botany, vol. 66, no. 16, pp. 5029–5042, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1557
F. Javdani et al., “Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats,” Journal of Comparative Neurology, vol. 523, no. 13, pp. 1967–1983, 2015.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed