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.

2218 Publications


2013 | Conference Paper | IST-REx-ID: 2305   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Trading Performance for Stability in Markov Decision Processes.” In 28th Annual ACM/IEEE Symposium, 331–40. IEEE, 2013. https://doi.org/10.1109/LICS.2013.39.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2444   OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. “Faster Algorithms for Markov Decision Processes with Low Treewidth.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_36.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design 42, no. 3 (2013): 301–27. https://doi.org/10.1007/s10703-012-0180-2.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2836   OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing 26, no. 4 (2013): 825–59. https://doi.org/10.1007/s00165-013-0283-6.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2817   OA
Novak, Sebastian, Krishnendu Chatterjee, and Martin Nowak. “Density Games.” Journal of Theoretical Biology 334 (2013): 26–34. https://doi.org/10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
Chmelik, Martin, and Vojtěch Řehák. “Controllable-Choice Message Sequence Graphs.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-36046-6_12.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1442   OA
Hausel, Tamas, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics 177, no. 3 (2013): 1147–68. https://doi.org/10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2010   OA
Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics 41, no. 2 (2013): 436–63. https://doi.org/10.1214/12-AOS1080.
View | DOI | Download (ext.) | arXiv
 

2013 | Book Review | IST-REx-ID: 2205   OA
Lemeshko, Mikhail, Roman Krems, John Doyle, and Sabre Kais. “Manipulation of Molecules with Electromagnetic Fields.” Molecular Physics. Taylor & Francis, 2013. https://doi.org/10.1080/00268976.2013.813595.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2469   OA
Maître, Jean-Léon, and Carl-Philipp J Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology 23, no. 14 (2013): R626–33. https://doi.org/10.1016/j.cub.2013.06.019.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2471   OA
Sanchez Romero, Inmaculada, Antonio Ariza, Keith Wilson, Michael Skjøt, Jesper Vind, Leonardo De Maria, Lars Skov, and Jose Sánchez Ruiz. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One 8, no. 7 (2013). https://doi.org/10.1371/journal.pone.0070013.
View | Files available | DOI
 

2013 | Book | IST-REx-ID: 2306   OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013. https://doi.org/10.1515/9783110278736.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2286   OA
Campinho, Pedro, and Carl-Philipp J Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal 32, no. 21 (2013): 2783–84. https://doi.org/10.1038/emboj.2013.225.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2293   OA
Sharmanska, Viktoriia, Novi Quadrianto, and Christoph Lampert. “Learning to Rank Using Privileged Information,” 825–32. IEEE, 2013. https://doi.org/10.1109/ICCV.2013.107.
View | DOI | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274   OA
Dziembowski, Stefan, Sebastian Faust, Vladimir Kolmogorov, and Krzysztof Z Pietrzak. Proofs of Space. IST Austria, 2013.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2781   OA
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Spectral Statistics of Erdős-Rényi Graphs I: Local Semicircle Law.” Annals of Probability 41, no. 3 B (2013): 2279–2375. https://doi.org/10.1214/11-AOP734.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2697   OA
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “Delocalization and Diffusion Profile for Random Band Matrices.” Communications in Mathematical Physics 323, no. 1 (2013): 367–416. https://doi.org/10.1007/s00220-013-1773-3.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2813   OA
Samanta, Devranjan, Yves Dubief, Markus Holzner, Christof Schäfer, Alexander Morozov, Christian Wagner, and Björn Hof. “Elasto-Inertial Turbulence.” PNAS 110, no. 26 (2013): 10557–62. https://doi.org/10.1073/pnas.1219666110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2863   OA
Granot Atedgi, Einat, Gasper Tkacik, Ronen Segev, and Elad Schneidman. “Stimulus-Dependent Maximum Entropy Models of Neural Population Codes.” PLoS Computational Biology 9, no. 3 (2013). https://doi.org/10.1371/journal.pcbi.1002922.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2882   OA
Löfke, Christian, Marta Zwiewka, Ingo Heilmann, Marc Van Montagu, Thomas Teichmann, and Jirí Friml. “Asymmetric Gibberellin Signaling Regulates Vacuolar Trafficking of PIN Auxin Transporters during Root Gravitropism.” PNAS 110, no. 9 (2013): 3627–32. https://doi.org/10.1073/pnas.1300107110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed