Please note that ISTA 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.

5784 Publications


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

2013 | Conference Paper | IST-REx-ID: 2276 | OA
I. Gridchyn and V. Kolmogorov, “Potts model, parametric maxflow and k-submodular functions,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013, pp. 2320–2327.
[Preprint] View | DOI | Download Preprint (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. Society for Industrial and Applied Mathematics , pp. 671–706, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
M. Pickup and S. Barrett, “The influence of demography and local mating environment on sex ratios in a wind-pollinated dioecious plant,” Ecology and Evolution, vol. 3, no. 3. Wiley-Blackwell, pp. 629–639, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2282 | OA
P. Campinho, M. Behrndt, J. Ranft, T. Risler, N. Minc, and C.-P. J. Heisenberg, “Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading during zebrafish epiboly,” Nature Cell Biology, vol. 15. Nature Publishing Group, pp. 1405–1414, 2013.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

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. Wiley-Blackwell, pp. 2783–2784, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
T. A. Henzinger, “Quantitative reactive modeling and verification,” Computer Science Research and Development, vol. 28, no. 4. Springer, pp. 331–344, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2290 | OA
Y. Boutté et al., “ECHIDNA mediated post Golgi trafficking of auxin carriers for differential cell elongation,” PNAS, vol. 110, no. 40. National Academy of Sciences, pp. 16259–16264, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
T. Kazmar, E. Kvon, A. Stark, and C. Lampert, “Drosophila Embryo Stage Annotation using Label Propagation,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
V. Sharmanska, N. Quadrianto, and C. Lampert, “Learning to rank using privileged information,” presented at the ICCV: International Conference on Computer Vision, Sydney, Australia, 2013, pp. 825–832.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
A. Ferrara, G. Fuchsbauer, and B. Warinschi, “Cryptographically enforced RBAC,” presented at the CSF: Computer Security Foundations, New Orleans, LA, United States, 2013, pp. 115–129.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
C. Dragoi, C. Enea, and M. Sighireanu, “Local shape analysis for overlaid data structures,” presented at the SAS: Static Analysis Symposium, Seattle, WA, United States, 2013, vol. 7935, pp. 150–171.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Y. Godhal, K. Chatterjee, and T. A. Henzinger, “Synthesis of AMBA AHB from formal specification: A case study,” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6. Springer, pp. 585–601, 2013.
[Submitted Version] 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. Springer, pp. 185–232, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book | IST-REx-ID: 2306 | OA
P. Danowski and A. Pohl, (Open) Linked Data in Bibliotheken, vol. 50. De Gruyter, 2013.
[Published Version] View | Files available | DOI
 

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. American Physical Society, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2315 | OA
R. Seiringer, J. Yngvason, and V. Zagrebnov, “Disordered Bose-Einstein condensates with interaction,” presented at the ICMP: International Congress on Mathematical Physics, 2013, pp. 610–619.
View | DOI | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2319 | OA
R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “ Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction,” presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, 2013, pp. 57–88.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” vol. 8052. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 242–256, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2404 | OA
R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “A positive density analogue of the Lieb-Thirring inequality,” Duke Mathematical Journal, vol. 162, no. 3. Duke University Press, pp. 435–495, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2405 | OA
R. Frank, É. Lieb, and R. Seiringer, “Symmetry of bipolaron bound states for small Coulomb repulsion,” Communications in Mathematical Physics, vol. 319, no. 2. Springer, pp. 557–573, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2408 | OA
P. Grech and R. Seiringer, “The excitation spectrum for weakly interacting Bosons in a trap,” Communications in Mathematical Physics, vol. 322, no. 2. Springer, pp. 559–591, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
A. Kupczok and J. P. Bollback, “Probabilistic models for CRISPR spacer content evolution ,” BMC Evolutionary Biology, vol. 13, no. 1. BioMed Central, pp. 54–54, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3. American Society for Microbiology, 2013.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,” vol. 8044. Springer, pp. 773–789, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2443 | OA
S. Simon et al., “Defining the selectivity of processes along the auxin response chain: A study using auxin analogues,” New Phytologist, vol. 200, no. 4. Wiley, pp. 1034–1048, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
K. Chatterjee, A. Gaiser, and J. Kretinsky, “Automata with generalized Rabin pairs for probabilistic model checking and LTL synthesis,” vol. 8044. Springer, pp. 559–575, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 245 | OA
S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, no. 680. Walter de Gruyter, pp. 69–151, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
I. Sanchez-Romero et al., “Mechanism of protein kinetic stabilization by engineered disulfide crosslinks,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
C. Cazzonelli et al., “Role of the Arabidopsis PIN6 auxin transporter in auxin homeostasis and auxin-mediated development,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
M. Čovanová, M. Sauer, J. Rychtář, J. Friml, J. Petrášek, and E. Zažímalová, “Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells,” PLoS One, vol. 8, no. 7. Public Library of Science, 2013.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2466 | OA
R. Ando, N. Thuerey, and C. Wojtan, “Highly adaptive liquid simulations on tetrahedral meshes,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2467 | OA
G. Bernstein and C. Wojtan, “Putting holes in holey geometry: Topology change for arbitrary surfaces,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
M. Bojsen-Hansen and C. Wojtan, “Liquid surface tracking with error compensation,” ACM Transactions on Graphics, vol. 32, no. 4. ACM, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
J.-L. Maître and C.-P. J. Heisenberg, “Three functions of cadherins in cell adhesion,” Current Biology, vol. 23, no. 14. Cell Press, pp. R626–R633, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2473 | OA
N. H. Barton, A. Etheridge, J. Kelleher, and A. Véber, “Genetic hitch-hiking in spatially extended populations,” Theoretical Population Biology, vol. 87, no. 8. Elsevier, pp. 75–89, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 250 | OA
R. De La Bretèche and T. D. Browning, “Density of Châtelet surfaces failing the Hasse principle,” Proceedings of the London Mathematical Society, vol. 108, no. 4. Oxford University Press, pp. 1030–1078, 2013.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
S. Almagor, U. Boker, and O. Kupferman, “Formalizing and reasoning about quality,” vol. 7966, no. Part 2. Springer, pp. 15–27, 2013.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
V. Kolmogorov, “The power of linear programming for finite-valued CSPs: A constructive characterization,” presented at the ICALP: Automata, Languages and Programming, Riga, Latvia, 2013, vol. 7965, no. 1, pp. 625–636.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
N. Quadrianto, V. Sharmanska, D. Knowles, and Z. Ghahramani, “The supervised IBP: Neighbourhood preserving infinite latent feature models,” in Proceedings of the 29th conference uncertainty in Artificial Intelligence, Bellevue, WA, United States, 2013, pp. 527–536.
[Submitted Version] View | Files available
 

2013 | Journal Article | IST-REx-ID: 2698 | OA
L. Erdös, S. Fournais, and J. Solovej, “Stability and semiclassics in self-generated fields,” Journal of the European Mathematical Society, vol. 15, no. 6. European Mathematical Society, pp. 2093–2113, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2697 | OA
L. Erdös, A. Knowles, H. Yau, and J. Yin, “Delocalization and diffusion profile for random band matrices,” Communications in Mathematical Physics, vol. 323, no. 1. Springer, pp. 367–416, 2013.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
N. H. Barton and T. Paixao, “Can quantitative and population genetics help us understand evolutionary computation?,” in Proceedings of the 15th annual conference on Genetic and evolutionary computation, Amsterdam, Netherlands, 2013, pp. 1573–1580.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2720 | OA
H. Long, T. Paixao, R. Azevedo, and R. Zufall, “Accumulation of spontaneous mutations in the ciliate Tetrahymena thermophila,” Genetics, vol. 195, no. 2. Genetics Society of America, pp. 527–540, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
L. Erdös and B. Farrell, “Local eigenvalue density for general MANOVA matrices,” Journal of Statistical Physics, vol. 152, no. 6. Springer, pp. 1003–1032, 2013.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2781 | OA
L. Erdös, A. Knowles, H. Yau, and J. Yin, “Spectral statistics of Erdős-Rényi graphs I: Local semicircle law,” Annals of Probability, vol. 41, no. 3 B. Institute of Mathematical Statistics, pp. 2279–2375, 2013.
View | DOI | Download (ext.)
 

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. Birkhäuser, pp. 1837–1926, 2013.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, and U. Wagner, “Extending continuous maps: Polynomiality and undecidability,” in 45th Annual ACM Symposium on theory of computing, Palo Alto, CA, United States, 2013, pp. 595–604.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2808 | OA
K. Landberg et al., “The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain,” Plant Physiology, vol. 162, no. 3. American Society of Plant Biologists, pp. 1406–1419, 2013.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications