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.

359 Publications


2015 | Journal Article | IST-REx-ID: 1789   OA
Kuechler, Alma, Alexander Zink, Thomas Wieland, Hermann Lüdecke, Kirsten Cremer, Leonardo Salviati, Pamela Magini, et al. “Loss-of-Function Variants of SETD5 Cause Intellectual Disability and the Core Phenotype of Microdeletion 3p25.3 Syndrome.” European Journal of Human Genetics 23, no. 6 (2015): 753–60. https://doi.org/10.1038/ejhg.2014.165.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1828   OA
Akopyan, Arseniy, Sergey Pirogov, and Aleksandr Rybko. “ Invariant Measures of Genetic Recombination Process.” Journal of Statistical Physics 160, no. 1 (2015): 163–67. https://doi.org/10.1007/s10955-015-1238-5.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1830   OA
Theis, Fabian, Line V Ugelvig, Carsten Marr, and Sylvia Cremer. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370, no. 1669 (2015). https://doi.org/10.1098/rstb.2014.0108.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1809   OA
Trubenova, Barbora, Sebastian Novak, and Reinmar Hager. “Indirect Genetic Effects and the Dynamics of Social Interactions.” PLoS One 10, no. 5 (2015). https://doi.org/10.1371/journal.pone.0126907.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811   OA
Safari, Laleh, José Santos, Pedro Amaro, Kari Jänkälä, and Filippo Fratini. “Analytical Evaluation of Atomic Form Factors: Application to Rayleigh Scattering.” Journal of Mathematical Physics 56, no. 5 (2015). https://doi.org/10.1063/1.4921227.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1804   OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Transition to Turbulence in Taylor-Couette Ferrofluidic Flow.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep10781.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1859   OA
Shah, Neel, Vladimir Kolmogorov, and Christoph Lampert. “A Multi-Plane Block-Coordinate Frank-Wolfe Algorithm for Training Structural SVMs with a Costly Max-Oracle,” 2737–45. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298890.
View | DOI | Download (ext.)
 

2015 | 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 25, no. 2 (2015). https://doi.org/10.1145/2688906.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM 58, no. 2 (2015): 86–86. https://doi.org/10.1145/2701001.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1873   OA
Chatterjee, Krishnendu, and Martin Chmelik. “POMDPs under Probabilistic Semantics.” Artificial Intelligence 221 (2015): 46–72. https://doi.org/10.1016/j.artint.2014.12.009.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” Journal of Plant Research 128, no. 2 (2015): 223–38. https://doi.org/10.1007/s10265-014-0691-6.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1880   OA
Könenberg, Martin, Thomas Moser, Robert Seiringer, and Jakob Yngvason. “Superfluid Behavior of a Bose-Einstein Condensate in a Random Potential.” New Journal of Physics 17 (2015). https://doi.org/10.1088/1367-2630/17/1/013022.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1885   OA
Tkacik, Gasper, Julien Dubuis, Mariela Petkova, and Thomas Gregor. “Positional Information, Positional Error, and Readout Precision in Morphogenesis: A Mathematical Framework.” Genetics 199, no. 1 (2015): 39–59. https://doi.org/10.1534/genetics.114.171850.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1993   OA
Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia 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 282, no. 1799 (2015). https://doi.org/10.1098/rspb.2014.1976.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1847
Grones, Peter, and Jiřĺ Friml. “ABP1: Finally Docking.” Molecular Plant 8, no. 3 (2015): 356–58. https://doi.org/10.1016/j.molp.2014.12.013.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2030   OA
Shi, Liang, Markus Rampp, Björn Hof, and Marc Avila. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.” Computers and Fluids 106, no. 1 (2015): 1–11. https://doi.org/10.1016/j.compfluid.2014.09.021.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035   OA
Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent Homology of a Self-Map.” Foundations of Computational Mathematics 15, no. 5 (2015): 1213–44. https://doi.org/10.1007/s10208-014-9223-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085   OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis 215, no. 2 (2015): 381–417. https://doi.org/10.1007/s00205-014-0781-6.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 259
Browning, Timothy D, and Pankaj Vishe. “Rational Points on Cubic Hypersurfaces over F_q(T) .” Geometric and Functional Analysis 25, no. 3 (2015): 671–732. https://doi.org/10.1007/s00039-015-0328-5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu, Zhishan, Maria Ibanez, Ana Antolín, Aziz Genç, Alexey Shavel, Sandra Contreras, Francesc Medina, Jordi Arbiol, and Andreu Cabot. “Size and Aspect Ratio Control of Pd Inf 2 Inf Sn Nanorods and Their Water Denitration Properties.” Langmuir 31, no. 13 (2015): 3952–57. https://doi.org/10.1021/la504906q.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5440   OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 778   OA
Alistarh, Dan-Adrian, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, and Nir Shavit. “Inherent Limitations of Hybrid Transactional Memory,” 9363:185–99. Springer, 2015. https://doi.org/10.1007/978-3-662-48653-5_13.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780   OA
Alistarh, Dan-Adrian, and Rati Gelashvili. “Polylogarithmic-Time Leader Election in Population Protocols,” 9135:479–91. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_38.
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, Dmitry, and Fyodor Kondrashov. “Topological Features of Rugged Fitness Landscapes in Sequence Space.” Trends in Genetics 31, no. 1 (2015): 24–33. https://doi.org/10.1016/j.tig.2014.09.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, Oksana, Margarita Meer, Galina Mikoulinskaia, Marina Zakharova, Alexander Galushko, Vasilii Akimenko, and Fyodor Kondrashov. “Recent Origin of the Methacrylate Redox System in Geobacter Sulfurreducens AM-1 through Horizontal Gene Transfer.” PLoS One 10, no. 5 (2015). https://doi.org/10.1371/journal.pone.0125888.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, Dinara, Luca Ferretti, Inna Povolotskaya, Peter Vlasov, and Fyodor Kondrashov. “A Model of Substitution Trajectories in Sequence Space and Long-Term Protein Evolution.” Molecular Biology and Evolution 32, no. 2 (2015): 542–54. https://doi.org/10.1093/molbev/msu318.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633
Hahn, David, and Christopher J Wojtan. “High-Resolution Brittle Fracture Simulation with Boundary Elements,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766896.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Criterion for Many-Body Localization-Delocalization Phase Transition.” Physical Review X 5, no. 4 (2015). https://doi.org/10.1103/PhysRevX.5.041047.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481   OA
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. “Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games,” 2:745–52. AAAI Press, 2015.
View | Files available | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
Chatterjee, Krishnendu, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Compositional Analysis of Qualitative Properties in Markov Decision Processes.” Formal Methods in System Design 47, no. 2 (2015): 230–64. https://doi.org/10.1007/s10703-015-0235-2.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, Jan Krčál, and Jan Kretinsky. “Controller Synthesis for MDPs and Frequency LTL\GU,” 9450:162–77. Springer, 2015. https://doi.org/10.1007/978-3-662-48899-7_12.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537   OA
Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, Keisuke Sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell 160, no. 4 (2015): 673–85. https://doi.org/10.1016/j.cell.2015.01.008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Šimášková, Mária, José O’Brien, Mamoona Khan-Djamei, Giel Van Noorden, Krisztina Ötvös, Anne Vieten, Inge De Clercq, et al. “Cytokinin Response Factors Regulate PIN-FORMED Auxin Transporters.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9717.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA
Strüber, Michael, Peter M Jonas, and Marlene Bartos. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS 112, no. 4 (2015): 1220–25. https://doi.org/10.1073/pnas.1412996112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_47.
View | Files available | DOI | Download (ext.)
 

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

2015 | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, Sergiy Bogomolov, and Taylor Johnson. “HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models,” 128–33. Springer, 2015. https://doi.org/10.1145/2728606.2728630.
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, Krishnendu, Zuzana Komárková, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” LICS. IEEE, 2015. https://doi.org/10.1109/LICS.2015.32.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices 50, no. 1 (2015): 97–109. https://doi.org/10.1145/2676726.2676979.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1607
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,” 9206:140–57. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1619
Chevereau, Guillaume, Marta Dravecka, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology 13, no. 11 (2015). https://doi.org/10.1371/journal.pbio.1002299.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1425   OA
Pentina, Anastasia, and Christoph Lampert. “Lifelong Learning with Non-i.i.d. Tasks,” 2015:1540–48. Neural Information Processing Systems, 2015.
View | Download (ext.)
 

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria, 2015.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1540
Robert, Hélène, Lucie Crhák Khaitová, Souad Mroue, and Eva Benková. “The Importance of Localized Auxin Production for Morphogenesis of Reproductive Organs and Embryos in Arabidopsis.” Journal of Experimental Botany 66, no. 16 (2015): 5029–42. https://doi.org/10.1093/jxb/erv256.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1557
Javdani, Fariba, Krisztina Holló, Krisztina Hegedűs, Gréta Kis, Zoltán Hegyi, Klaudia Dócs, Yu Kasugai, Yugo Fukazawa, Ryuichi Shigemoto, and Miklós Antal. “Differential Expression Patterns of K+Cl- Cotransporter 2 in Neurons within the Superficial Spinal Dorsal Horn of Rats.” Journal of Comparative Neurology 523, no. 13 (2015): 1967–83. https://doi.org/10.1002/cne.23774.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1564   OA
Gilson, Matthieu, Cristina Savin, and Friedemann Zenke. “Editorial: Emergent Neural Computation from the Interaction of Different Forms of Plasticity.” Frontiers in Computational Neuroscience 9, no. 11 (2015). https://doi.org/10.3389/fncom.2015.00145.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1514
Gómez Gonzalo, Marta, Marta Navarrete, Gertrudis Perea, Ana Covelo, Mario Martín Fernández, Ryuichi Shigemoto, Rafael Luján, and Alfonso Araque. “Endocannabinoids Induce Lateral Long Term Potentiation of Transmitter Release by Stimulation of Gliotransmission.” Cerebral Cortex 25, no. 10 (2015): 3699–3712. https://doi.org/10.1093/cercor/bhu231.
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed