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.

5185 Publications


2013 | Journal Article | IST-REx-ID: 972   OA
Observation of dirac node formation and mass acquisition in a topological crystalline insulator
Y. Okada, M. Serbyn, H. Lin, D. Walkup, W. Zhou, C. Dhital, M. Neupane, S. Xu, Y. Wang, R. Sankar, F. Chou, A. Bansil, M. Hasan, S. Wilson, L. Fu, V. Madhavan, Science 341 (2013) 1496–1499.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 1307
Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models
J.L. Fischer, Communications in Partial Differential Equations 38 (2013) 2004–2047.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1787
Correlations, indistinguishability and entanglement in Hong-Ou-Mandel experiments at microwave frequencies
C. Lang, C. Eichler, L. Steffen, J.M. Fink, M. Woolley, A. Blais, A. Wallraff, Nature Physics 9 (2013) 345–348.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1977
A long road towards the structure of respiratory complex I, a giant molecular proton pump
L.A. Sazanov, R. Baradaran, R. Efremov, J. Berrisford, G. Minhas, Biochemical Society Transactions 41 (2013) 1265–1271.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1991
Reversal of an ancient sex chromosome to an autosome in Drosophila
B. Vicoso, D. Bachtrog, Nature 499 (2013) 332–335.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2076
Comparative sex chromosome genomics in snakes: Differentiation evolutionary strata and lack of global dosage compensation
B. Vicoso, J. Emerson, Y. Zektser, S. Mahajan, D. Bachtrog, PLoS Biology 11 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2204   OA
Quantum phases of quadrupolar fermi gases in optical lattices
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, M. Lemeshko, Physical Review Letters 110 (2013).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2108
Computational design of mechanical characters
S. Coros, B. Thomaszewski, G. Noris, S. Sueda, M. Forberg, R. Sumner, W. Matusik, B. Bickel, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2110
Fabricating translucent materials using continuous pigment mixtures
M. Papas, C. Regg, W. Jarosz, B. Bickel, P. Jackson, W. Matusik, S. Marschner, M. Groß, ACM Transactions on Graphics 32 (2013).
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2139   OA View | DOI | Download (ext.)
 

2013 | Report | IST-REx-ID: 2273   OA
Reweighted message passing revisited
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, 2013.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2691 View | DOI
 

2013 | Journal Article | IST-REx-ID: 2406
Condensation of interacting bosons in a random potential
R. Seiringer, J. Yngvason, V. Zagrebnov, European Physical Journal: Special Topics 217 (2013) 103–107.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 245   OA
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
S. Baier, T.D. Browning, Journal Fur Die Reine Und Angewandte Mathematik (2013) 69–151.
View | DOI | Download (ext.)
 

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

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

2013 | Journal Article | IST-REx-ID: 2881   OA
Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis
H. Li, T. Xu, D. Lin, M. Wen, M. Xie, J. Duclercq, A. Bielach, J. Kim, G.V. Reddy, J. Zuo, E. Benková, J. Friml, H. Guo, Z. Yang, Cell Research 23 (2013) 290–299.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 353
CuTe nanocrystals: Shape and size control, plasmonic properties, and use as SERS probes and photothermal agents
W. Li, R. Zamani, P. Rivera Gil, B. Pelaz, M. Ibanez, D. Cadavid, A. Shavel, R. Alvarez Puebla, W. Parak, J. Arbiol, A. Cabot, Journal of the American Chemical Society 135 (2013) 7098–7101.
View | DOI
 

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

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

2013 | Conference Paper | IST-REx-ID: 2209
Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.
View | DOI
 

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

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

2013 | Journal Article | IST-REx-ID: 2247   OA
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, PLoS One 8 (2013).
View | Files available | DOI
 

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

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

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

2013 | Conference (Editor) | IST-REx-ID: 2292
Mathematical Foundations of Computer Science 2013
K. Chatterjee, J. Sgall, eds., Mathematical Foundations of Computer Science 2013, Springer, 2013.
View | DOI
 

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

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

2013 | Conference Paper | IST-REx-ID: 2305   OA
Trading performance for stability in Markov decision processes
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, in:, 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–340.
View | Files available | DOI | Download (ext.) | arXiv
 

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

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

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

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

2013 | Journal Article | IST-REx-ID: 2449
Retromer subunits VPS35A and VPS29 mediate prevacuolar compartment (PVC) function in Arabidopsis
T. Nodzyński, M. Feraru, S. Hirsch, R. De Rycke, C. Nicuales, J. Van Leene, G. De Jaeger, S. Vanneste, J. Friml, Molecular Plant 6 (2013) 1849–1862.
View | DOI
 

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

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

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

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

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

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

2013 | Conference Paper | IST-REx-ID: 2901   OA
Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
View | Download (ext.)
 

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

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

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

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

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

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

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

Search

Filter Publications

Display / Sort

Export / Embed