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.

5186 Publications


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 | Conference Paper | IST-REx-ID: 2209
Biedl, T., Held, M., & Huber, S. (2013). Recognizing straight skeletons and Voronoi diagrams and reconstructing their input (pp. 37–46). Presented at the ISVD: Voronoi Diagrams in Science and Engineering, St. Petersburg, Russia: IEEE. https://doi.org/10.1109/ISVD.2013.11
View | DOI
 

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: 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: 2247   OA
Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One, 8(12). https://doi.org/10.1371/journal.pone.0080814
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, R., Slovakova, J., Rives Quinto, N., Krejčí, A., & Carmena, A. (2013). A serrate-notch-canoe complex mediates essential interactions between glia and neuroepithelial cells during Drosophila optic lobe development. Journal of Cell Science, 126(21), 4873–4884. https://doi.org/10.1242/jcs.125617
View | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, M., Botella Soler, V., & Le Van Quyen, M. (2013). Neuronal oscillations scale up and scale down the brain dynamics . In M. Meyer & Z. Pesenson (Eds.), Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain. Wiley-VCH. https://doi.org/10.1002/9783527671632.ch08
View | DOI
 

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 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, K., & Sgall, J. (Eds.). (2013). Mathematical Foundations of Computer Science 2013 (Vol. 8087, p. VI-854). Presented at the MFCS: Mathematical Foundations of Computer Science, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40313-2
View | 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: 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: 2305   OA
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: 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: 2449
Nodzyński, T., Feraru, M., Hirsch, S., De Rycke, R., Nicuales, C., Van Leene, J., … Friml, J. (2013). Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis. Molecular Plant, 6(6), 1849–1862. https://doi.org/10.1093/mp/sst044
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2468   OA
Bojsen-Hansen, M., & Wojtan, C. J. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461991
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2470   OA
Čovanová, M., Sauer, M., Rychtář, J., Friml, J., Petrášek, J., & Zažímalová, E. (2013). Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070050
View | Files available | DOI
 

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.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed