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.

5137 Publications


2013 | Technical Report | IST-REx-ID: 5400   OA
K. Chatterjee, M. Chmelik, and M. Tracol, What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, “Distributed synthesis for LTL fragments,” in 13th International Conference on Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 18–25.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405   OA
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, Perfect-information stochastic mean-payoff parity games. IST Austria, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 810
F. Schur, W. Hagen, A. De Marco, and J. Briggs, “Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging,” Journal of Structural Biology, vol. 184, no. 3, pp. 394–400, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 827   OA
J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 973   OA
M. Serbyn, Z. Papić, and D. Abanin, “Local conservation laws and the structure of the many body localized states,” Physical Review Letters, vol. 111, no. 12, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 6768   OA
M. Mondelli, “A finite difference scheme for the stack filter simulating the MCM,” Image Processing On Line, vol. 3, pp. 68–111, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 1310
J. L. Fischer, “Optimal lower bounds on asymptotic support propagation rates for the thin-film equation,” Journal of Differential Equations, vol. 255, no. 10, pp. 3127–3149, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1308
J. L. Fischer, “Advection-driven support shrinking in a chemotaxis model with degenerate mobility,” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, pp. 1585–1615, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1442   OA
T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Positivity for Kac polynomials and DT-invariants of quivers,” Annals of Mathematics, vol. 177, no. 3, pp. 1147–1168, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1790
G. Novarino, S. Baek, and J. Gleeson, “The sacred disease: The puzzling genetics of epileptic disorders,” Neuron, vol. 80, no. 1, pp. 9–11, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1726
N. Kahane, V. Ribes, A. Kicheva, J. Briscoe, and C. Kalcheim, “The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling,” Development, vol. 140, no. 8, pp. 1740–1750, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1978
R. Baradaran, J. Berrisford, G. Minhas, and L. A. Sazanov, “Crystal structure of the entire respiratory complex i,” Nature, vol. 494, no. 7438, pp. 443–448, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2010   OA
C. Uhler, G. Raskutti, P. Bühlmann, and B. Yu, “Geometry of the faithfulness assumption in causal inference,” The Annals of Statistics, vol. 41, no. 2, pp. 436–463, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Book Review | IST-REx-ID: 2205   OA
M. Lemeshko, R. Krems, J. Doyle, and S. Kais, “Manipulation of molecules with electromagnetic fields,” Molecular Physics, vol. 111, no. 12–13. Taylor & Francis, pp. 1648–1682, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2109
K. Hildebrand, B. Bickel, and M. Alexa, “Orthogonal slicing for additive manufacturing,” Computers and Graphics (Pergamon), vol. 37, no. 6, pp. 669–675, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2111
A. Bermano, P. Bruschweiler, A. Grundhöfer, D. Iwai, B. Bickel, and M. Groß, “Augmenting physical avatars using projector-based illumination,” ACM Transactions on Graphics, vol. 32, no. 6, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2130
P. Clément and J. Maas, “Erratum: A Trotter product formula for gradient flows in metric spaces,” Journal of Evolution Equations, vol. 13, no. 1, pp. 251–252, 2013.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
J. Michaliszyn and J. Otop, “Elementary modal logics over transitive structures,” vol. 23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 563–577, 2013.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed