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.

5164 Publications


2013 | Conference Paper | IST-REx-ID: 2444   OA
K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2824
K. Chatterjee and V. Prabhu, “Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems,” Information and Computation, vol. 228–229, pp. 83–119, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2829   OA
L. Shi, M. Avila, and B. Hof, “Scale invariance at the onset of turbulence in couette flow,” Physical Review Letters, vol. 110, no. 20, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2831   OA
K. Chatterjee, M. Henzinger, M. Joglekar, and N. Shah, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” Formal Methods in System Design, vol. 42, no. 3, pp. 301–327, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2836   OA
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4, pp. 825–859, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2780   OA
L. Erdös, A. Knowles, and H. Yau, “Averaging fluctuations in resolvents of random band matrices,” Annales Henri Poincare, vol. 14, no. 8, pp. 1837–1926, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2805
M. Holzner, B. Song, M. Avila, and B. Hof, “Lagrangian approach to laminar-turbulent interfaces in transitional pipe flow,” Journal of Fluid Mechanics, vol. 723, pp. 140–162, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2850   OA
G. Tkacik, O. Marre, T. Mora, D. Amodei, M. Berry, and W. Bialek, “The simplest maximum entropy model for collective behavior in a neural network,” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2812   OA
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” in Proceedings of the 29th annual symposium on Computational Geometry, Rio de Janeiro, Brazil, 2013, pp. 117–125.
View | Files available | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2843
H. Edelsbrunner and F. Pausinger, “Stable length estimates of tube-like shapes,” in 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Seville, Spain, 2013, vol. 7749, pp. XV–XIX.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2817   OA
S. Novak, K. Chatterjee, and M. Nowak, “Density games,” Journal of Theoretical Biology, vol. 334, pp. 26–34, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862   OA
H. Tay et al., “Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle,” Development, vol. 140, no. 7, pp. 1550–1559, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2881   OA
H. Li et al., “Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis,” Cell Research, vol. 23, no. 2, pp. 290–299, 2013.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
M. Chmelik and V. Řehák, “Controllable-choice message sequence graphs,” vol. 7721. Springer, pp. 118–130, 2013.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2901   OA
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, and C. Lampert, “Computing the M most probable modes of a graphical model,” presented at the AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States, 2013, vol. 31, pp. 161–169.
View | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2906   OA
M. Kerber and H. Edelsbrunner, “3D kinetic alpha complexes and their implementation,” in 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, New Orleans, LA, United States, 2013, pp. 70–77.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2913   OA
G. Tkacik, E. Granot Atedgi, R. Segev, and E. Schneidman, “Retinal metric: a stimulus distance measure derived from population neural responses,” Physical Review Letters, vol. 110, no. 5, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2920   OA
J. Compagnon and C.-P. J. Heisenberg, “Neurulation coordinating cell polarisation and lumen formation,” EMBO Journal, vol. 32, no. 1, pp. 1–3, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2918
I. Castanon, L. Abrami, L. Holtzer, C.-P. J. Heisenberg, F. Van Der Goot, and M. González Gaitán, “Anthrax toxin receptor 2a controls mitotic spindle positioning,” Nature Cell Biology, vol. 15, no. 1, pp. 28–39, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 353
W. Li et al., “CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents,” Journal of the American Chemical Society, vol. 135, no. 19, pp. 7098–7101, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500   OA
M. Ward, S. Lycett, D. Avila, J. P. Bollback, and A. Leigh Brown, “Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza,” BMC Evolutionary Biology, vol. 13, no. 1, p. 222, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 505
K. Greimel et al., “Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins,” Green Chemistry, vol. 15, no. 2, pp. 381–388, 2013.
View | DOI
 

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 | 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 | Conference Paper | IST-REx-ID: 2305
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2944
S. Aeschbacher, A. Futschik, and M. Beaumont, “Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. ,” Molecular Ecology, vol. 22, no. 4, pp. 987–1002, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2855   OA
S. Hippenmeyer, R. Johnson, and L. Luo, “Mosaic analysis with double markers reveals cell type specific paternal growth dominance,” Cell Reports, vol. 3, no. 3, pp. 960–967, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329   OA
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: 2300   OA
A. Giuliani, É. Lieb, and R. Seiringer, “Realization of stripes and slabs in two and three dimensions,” Physical Review B, vol. 88, no. 6, p. 064401, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2259   OA
J. F. Alwen, S. Krenn, K. Z. Pietrzak, and D. Wichs, “Learning with rounding, revisited: New reduction properties and applications,” vol. 8042, no. 1. Springer, pp. 57–74, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297   OA
R. Seiringer, “Hot topics in cold gases: A mathematical physics perspective,” Japanese Journal of Mathematics, vol. 8, no. 2, pp. 185–232, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2280   OA
C. Uhler and S. Wright, “Packing ellipsoids with overlap,” SIAM Review, vol. 55, no. 4, pp. 671–706, 2013.
View | DOI | Download (ext.) | arXiv
 

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
 

2013 | Journal Article | IST-REx-ID: 2286   OA
P. Campinho and C.-P. J. Heisenberg, “The force and effect of cell proliferation,” EMBO Journal, vol. 32, no. 21, pp. 2783–2784, 2013.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed