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 | Journal Article | IST-REx-ID: 1830   OA
F. Theis, L. V. Ugelvig, C. Marr, and S. Cremer, “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, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1809   OA
B. Trubenova, S. Novak, and R. Hager, “Indirect genetic effects and the dynamics of social interactions,” PLoS One, vol. 10, no. 5, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811   OA
L. Safari, J. Santos, P. Amaro, K. Jänkälä, and F. Fratini, “Analytical evaluation of atomic form factors: Application to Rayleigh scattering,” Journal of Mathematical Physics, vol. 56, no. 5, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1804   OA
S. Altmeyer, Y. Do, and Y. Lai, “Transition to turbulence in Taylor-Couette ferrofluidic flow,” Scientific Reports, vol. 5, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1859   OA
N. Shah, V. Kolmogorov, and C. Lampert, “A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle,” presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA, 2015, pp. 2737–2745.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
J. Ruess and J. 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, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
T. A. Henzinger and J. Raskin, “The equivalence problem for finite automata: Technical perspective,” Communications of the ACM, vol. 58, no. 2, pp. 86–86, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1873   OA
K. Chatterjee and M. Chmelik, “POMDPs under probabilistic semantics,” Artificial Intelligence, vol. 221, pp. 46–72, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1878
E. Cires Rodriguez and J. Prieto, “Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula,” Journal of Plant Research, vol. 128, no. 2, pp. 223–238, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1880   OA
M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluid behavior of a Bose-Einstein condensate in a random potential,” New Journal of Physics, vol. 17, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1885   OA
G. Tkacik, J. Dubuis, M. Petkova, and T. Gregor, “Positional information, positional error, and readout precision in morphogenesis: A mathematical framework,” Genetics, vol. 199, no. 1, pp. 39–59, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1993   OA
M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1847
P. Grones and J. Friml, “ABP1: Finally docking,” Molecular Plant, vol. 8, no. 3, pp. 356–358, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2030   OA
L. Shi, M. Rampp, B. Hof, and M. Avila, “A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow,” Computers and Fluids, vol. 106, no. 1, pp. 1–11, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035   OA
H. Edelsbrunner, G. Jablonski, and M. Mrozek, “The persistent homology of a self-map,” Foundations of Computational Mathematics, vol. 15, no. 5, pp. 1213–1244, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085   OA
P. Nam and R. Seiringer, “Collective excitations of Bose gases in the mean-field regime,” Archive for Rational Mechanics and Analysis, vol. 215, no. 2, pp. 381–417, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 259
T. D. Browning and P. Vishe, “Rational points on cubic hypersurfaces over F_q(t) ,” Geometric and Functional Analysis, vol. 25, no. 3, pp. 671–732, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Z. Lu et al., “Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties,” Langmuir, vol. 31, no. 13, pp. 3952–3957, 2015.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5440   OA
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolutionary games on graphs. IST Austria, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 778   OA
D.-A. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, and N. Shavit, “Inherent limitations of hybrid transactional memory,” presented at the DISC: Distributed Computing, 2015, vol. 9363, pp. 185–199.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780   OA
D.-A. Alistarh and R. Gelashvili, “Polylogarithmic-time leader election in population protocols,” presented at the ICALP: International Colloquium on Automota, Languages and Programming, 2015, vol. 9135, pp. 479–491.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 886
D. Kondrashov and F. Kondrashov, “Topological features of rugged fitness landscapes in sequence space,” Trends in Genetics, vol. 31, no. 1, pp. 24–33, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
O. Arkhipova et al., “Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer,” PLoS One, vol. 10, no. 5, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
D. Usmanova, L. Ferretti, I. Povolotskaya, P. Vlasov, and F. Kondrashov, “A model of substitution trajectories in sequence space and long-term protein evolution,” Molecular Biology and Evolution, vol. 32, no. 2, pp. 542–554, 2015.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633
D. Hahn and C. J. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
M. Serbyn, Z. Papić, and D. Abanin, “Criterion for many-body localization-delocalization phase transition,” Physical Review X, vol. 5, no. 4, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “The need for language support for fault-tolerant distributed systems,” vol. 32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 90–102, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2, pp. 230–264, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1594
V. Forejt, J. Krčál, and J. Kretinsky, “Controller synthesis for MDPs and frequency LTL\GU,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji, 2015, vol. 9450, pp. 162–177.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537   OA
V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4, pp. 673–685, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
M. Šimášková et al., “Cytokinin response factors regulate PIN-FORMED auxin transporters,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

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 | Thesis | IST-REx-ID: 1400
J. Reiter, The subclonal evolution of cancer. IST Austria, 2015.
View | Files available
 

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 | 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
 

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

2015 | Journal Article | IST-REx-ID: 1514
M. Gómez Gonzalo et al., “Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission,” Cerebral Cortex, vol. 25, no. 10, pp. 3699–3712, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1519   OA
N. H. Barton and M. Servedio, “The interpretation of selection coefficients,” Evolution, vol. 69, no. 5, pp. 1101–1112, 2015.
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed