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
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 | 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 | 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 | 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.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2:745–52. AAAI Press, 2015.
View | Files available | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Bauer, Bruno, Guido Blechl, Christoph Bock, Patrick Danowski, Andreas Ferus, Anton Graschopf, Thomas König, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen 68, no. 3 (2015): 580–607. https://doi.org/10.5281/zenodo.33178.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Ferrara, Anna, Georg Fuchsbauer, Bin Liu, and Bogdan Warinschi. “Policy Privacy in Cryptographic Access Control,” 46–60. IEEE, 2015. https://doi.org/10.1109/CSF.2015.11.
View | DOI | Download (ext.)
 

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

2015 | Journal Article | IST-REx-ID: 1587   OA
Amaro, Pedro, Filippo Fratini, Laleh Safari, Aldo Antognini, Paul Indelicato, Randolf Pohl, and José Santos. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A - Atomic, Molecular, and Optical Physics 92, no. 6 (2015): 062506. https://doi.org/10.1103/PhysRevA.92.062506.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva, Olga, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, and Daria Malkova. “The Classification of Endoscopy Images with Persistent Homology.” In Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 7034731. IEEE, 2015. https://doi.org/10.1109/SYNASC.2014.81.
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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed