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
Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_36
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2824
Chatterjee, K., & Prabhu, V. (2013). Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems. Information and Computation, 228229, 83–119. https://doi.org/10.1016/j.ic.2013.04.003
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2829   OA
Shi, L., Avila, M., & Hof, B. (2013). Scale invariance at the onset of turbulence in couette flow. Physical Review Letters, 110(20). https://doi.org/10.1103/PhysRevLett.110.204502
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee, K., Henzinger, M., Joglekar, M., & Shah, N. (2013). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design, 42(3), 301–327. https://doi.org/10.1007/s10703-012-0180-2
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2836   OA
Chatterjee, K., & Raman, V. (2013). Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing, 26(4), 825–859. https://doi.org/10.1007/s00165-013-0283-6
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2780   OA
Erdös, L., Knowles, A., & Yau, H. (2013). Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare, 14(8), 1837–1926. https://doi.org/10.1007/s00023-013-0235-y
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2805
Holzner, M., Song, B., Avila, M., & Hof, B. (2013). Lagrangian approach to laminar-turbulent interfaces in transitional pipe flow. Journal of Fluid Mechanics, 723, 140–162. https://doi.org/10.1017/jfm.2013.127
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2850   OA
Tkacik, G., Marre, O., Mora, T., Amodei, D., Berry, M., & Bialek, W. (2013). The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment, 2013(3). https://doi.org/10.1088/1742-5468/2013/03/P03011
View | DOI | Download (ext.) | arXiv
 

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

2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, H., & Pausinger, F. (2013). Stable length estimates of tube-like shapes. In 17th IAPR International Conference on Discrete Geometry for Computer Imagery (Vol. 7749, pp. XV–XIX). Seville, Spain: Springer. https://doi.org/10.1007/978-3-642-37067-0
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2817   OA
Novak, S., Chatterjee, K., & Nowak, M. (2013). Density games. Journal of Theoretical Biology, 334, 26–34. https://doi.org/10.1016/j.jtbi.2013.05.029
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2862   OA
Tay, H., Schulze, S., Compagnon, J., Foley, F., Heisenberg, C.-P. J., Yost, H. J., … Amack, J. (2013). Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development, 140(7), 1550–1559. https://doi.org/10.1242/dev.087130
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2881   OA
Li, H., Xu, T., Lin, D., Wen, M., Xie, M., Duclercq, J., … Yang, Z. (2013). Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research, 23(2), 290–299. https://doi.org/10.1038/cr.2012.146
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
Chmelik, M., & Řehák, V. (2013). Controllable-choice message sequence graphs. Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-36046-6_12
View | DOI | Download (ext.)
 

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

2013 | Conference Paper | IST-REx-ID: 2906   OA
Kerber, M., & Edelsbrunner, H. (2013). 3D kinetic alpha complexes and their implementation. In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments (pp. 70–77). New Orleans, LA, United States: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611972931.6
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2913   OA
Tkacik, G., Granot Atedgi, E., Segev, R., & Schneidman, E. (2013). Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters, 110(5). https://doi.org/10.1103/PhysRevLett.110.058104
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2920   OA
Compagnon, J., & Heisenberg, C.-P. J. (2013). Neurulation coordinating cell polarisation and lumen formation. EMBO Journal, 32(1), 1–3. https://doi.org/10.1038/emboj.2012.325
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2918
Castanon, I., Abrami, L., Holtzer, L., Heisenberg, C.-P. J., Van Der Goot, F., & González Gaitán, M. (2013). Anthrax toxin receptor 2a controls mitotic spindle positioning. Nature Cell Biology, 15(1), 28–39. https://doi.org/10.1038/ncb2632
View | DOI
 

2013 | Journal Article | IST-REx-ID: 353
Li, W., Zamani, R., Rivera Gil, P., Pelaz, B., Ibanez, M., Cadavid, D., … Cabot, A. (2013). CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents. Journal of the American Chemical Society, 135(19), 7098–7101. https://doi.org/10.1021/ja401428e
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500   OA
Ward, M., Lycett, S., Avila, D., Bollback, J. P., & Leigh Brown, A. (2013). Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology, 13(1), 222. https://doi.org/10.1186/1471-2148-13-222
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 505
Greimel, K., Perz, V., Koren, K., Feola, R., Temel, A., Sohar, C., … Guebitz, G. (2013). Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins. Green Chemistry, 15(2), 381–388. https://doi.org/10.1039/c2gc36666e
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5400   OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2013). What is decidable about partially observable Markov decision processes with ω-regular objectives. IST Austria. https://doi.org/10.15479/AT:IST-2013-109-v1-1
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405   OA
Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (2013). Perfect-information stochastic mean-payoff parity games. IST Austria. https://doi.org/10.15479/AT:IST-2013-128-v1-1
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 810
Schur, F., Hagen, W., De Marco, A., & Briggs, J. (2013). Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging. Journal of Structural Biology, 184(3), 394–400. https://doi.org/10.1016/j.jsb.2013.10.015
View | DOI
 

2013 | Journal Article | IST-REx-ID: 827   OA
O’Brien, J., & Benková, E. (2013). Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science, 4. https://doi.org/10.3389/fpls.2013.00451
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 973   OA
Serbyn, M., Papić, Z., & Abanin, D. (2013). Local conservation laws and the structure of the many body localized states. Physical Review Letters, 111(12). https://doi.org/10.1103/PhysRevLett.111.127201
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 6768   OA
Mondelli, M. (2013). A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line, 3, 68–111. https://doi.org/10.5201/ipol.2013.53
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, S., Futschik, A., & Beaumont, M. (2013). Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology, 22(4), 987–1002. https://doi.org/10.1111/mec.12165
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2855   OA
Hippenmeyer, S., Johnson, R., & Luo, L. (2013). Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports, 3(3), 960–967. https://doi.org/10.1016/j.celrep.2013.02.002
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329   OA
Chatterjee, K., & Velner, Y. (2013). Hyperplane separation technique for multidimensional mean-payoff games. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentinia: Springer. https://doi.org/10.1007/978-3-642-40184-8_35
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2300   OA
Giuliani, A., Lieb, É., & Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B, 88(6), 064401. https://doi.org/10.1103/PhysRevB.88.064401
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2259   OA
Alwen, J. F., Krenn, S., Pietrzak, K. Z., & Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_4
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297   OA
Seiringer, R. (2013). Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics, 8(2), 185–232. https://doi.org/10.1007/s11537-013-1264-5
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2280   OA
Uhler, C., & Wright, S. (2013). Packing ellipsoids with overlap. SIAM Review, 55(4), 671–706. https://doi.org/10.1137/120872309
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 1310
Fischer, J. L. (2013). Optimal lower bounds on asymptotic support propagation rates for the thin-film equation. Journal of Differential Equations, 255(10), 3127–3149. https://doi.org/10.1016/j.jde.2013.07.028
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1308
Fischer, J. L. (2013). Advection-driven support shrinking in a chemotaxis model with degenerate mobility. SIAM Journal on Mathematical Analysis, 45(3), 1585–1615. https://doi.org/10.1137/120874291
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1442   OA
Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2013). Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics, 177(3), 1147–1168. https://doi.org/10.4007/annals.2013.177.3.8
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1790
Novarino, G., Baek, S., & Gleeson, J. (2013). The sacred disease: The puzzling genetics of epileptic disorders. Neuron, 80(1), 9–11. https://doi.org/10.1016/j.neuron.2013.09.019
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1726
Kahane, N., Ribes, V., Kicheva, A., Briscoe, J., & Kalcheim, C. (2013). The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling. Development, 140(8), 1740–1750. https://doi.org/10.1242/dev.092726
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1978
Baradaran, R., Berrisford, J., Minhas, G., & Sazanov, L. A. (2013). Crystal structure of the entire respiratory complex i. Nature, 494(7438), 443–448. https://doi.org/10.1038/nature11871
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2010   OA
Uhler, C., Raskutti, G., Bühlmann, P., & Yu, B. (2013). Geometry of the faithfulness assumption in causal inference. The Annals of Statistics, 41(2), 436–463. https://doi.org/10.1214/12-AOS1080
View | DOI | Download (ext.) | arXiv
 

2013 | Book Review | IST-REx-ID: 2205   OA
Lemeshko, M., Krems, R., Doyle, J., & Kais, S. (2013). Manipulation of molecules with electromagnetic fields. Molecular Physics. Taylor & Francis. https://doi.org/10.1080/00268976.2013.813595
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2109
Hildebrand, K., Bickel, B., & Alexa, M. (2013). Orthogonal slicing for additive manufacturing. Computers and Graphics (Pergamon), 37(6), 669–675. https://doi.org/10.1016/j.cag.2013.05.011
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2111
Bermano, A., Bruschweiler, P., Grundhöfer, A., Iwai, D., Bickel, B., & Groß, M. (2013). Augmenting physical avatars using projector-based illumination. ACM Transactions on Graphics, 32(6). https://doi.org/10.1145/2508363.2508416
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2130
Clément, P., & Maas, J. (2013). Erratum: A Trotter product formula for gradient flows in metric spaces. Journal of Evolution Equations, 13(1), 251–252. https://doi.org/10.1007/s00028-012-0173-z
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn, J., & Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.563
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2286   OA
Campinho, P., & Heisenberg, C.-P. J. (2013). The force and effect of cell proliferation. EMBO Journal, 32(21), 2783–2784. https://doi.org/10.1038/emboj.2013.225
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed