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.

358 Publications


2015 | Conference Paper | IST-REx-ID: 1594
Controller synthesis for MDPs and frequency LTL\GU
V. Forejt, J. Krčál, J. Kretinsky, in:, Springer, 2015, pp. 162–177.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537   OA
Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1619   OA
Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Dravecka, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Cytokinin response factors regulate PIN-FORMED auxin transporters
M. Šimášková, J. O’Brien, M. Khan-Djamei, G. Van Noorden, K. Ötvös, A. Vieten, I. De Clercq, J. Van Haperen, C. Cuesta, K. Hoyerová, S. Vanneste, P. Marhavy, K.T. Wabnik, F. Van Breusegem, M. Nowack, A. Murphy, J. Friml, D. Weijers, T. Beeckman, E. Benková, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA View | Files available | DOI | PubMed | Europe PMC
 

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

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

2015 | Conference Paper | IST-REx-ID: 1690
HYST: A source transformation and translation tool for hybrid automaton models
S. Bak, S. Bogomolov, T. Johnson, in:, Springer, 2015, pp. 128–133.
View | DOI
 

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

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

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

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

2015 | Conference Paper | IST-REx-ID: 1607
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1425   OA
Lifelong learning with non-i.i.d. tasks
A. Pentina, C. Lampert, in:, Neural Information Processing Systems, 2015, pp. 1540–1548.
View | Download (ext.)
 

2015 | Thesis | IST-REx-ID: 1401
Learning with attributes for object recognition: Parametric and non-parametrics views
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
The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis
H. Robert, L. Crhák Khaitová, S. Mroue, E. Benková, Journal of Experimental Botany 66 (2015) 5029–5042.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1557
Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats
F. Javdani, K. Holló, K. Hegedűs, G. Kis, Z. Hegyi, K. Dócs, Y. Kasugai, Y. Fukazawa, R. Shigemoto, M. Antal, Journal of Comparative Neurology 523 (2015) 1967–1983.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1564   OA
Editorial: Emergent neural computation from the interaction of different forms of plasticity
M. Gilson, C. Savin, F. Zenke, Frontiers in Computational Neuroscience 9 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1514
Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission
M. Gómez Gonzalo, M. Navarrete, G. Perea, A. Covelo, M. Martín Fernández, R. Shigemoto, R. Luján, A. Araque, Cerebral Cortex 25 (2015) 3699–3712.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1519   OA
The interpretation of selection coefficients
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed