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.
252 Publications
2014 | Journal Article | IST-REx-ID: 2022 |
P. Gao et al., “Deterministic progenitor behavior and unitary production of neurons in the neocortex,” Cell, vol. 159, no. 4. Cell Press, pp. 775–788, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2153 |
U. Bauer and M. Lesnick, “Induced matchings of barcodes and the algebraic stability of persistence,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 355–364.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Book | IST-REx-ID: 6853
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed. Cham: Springer Nature, 2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 7302
A. Dunst, V. Epp, I. Hanzu, S. A. Freunberger, and M. Wilkening, “Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries,” Energy & Environmental Science, vol. 7, no. 8. RSC, pp. 2739–2752, 2014.
[Published Version]
View
| DOI
2014 | Journal Article | IST-REx-ID: 2281 |
Y. Guo and R. Seiringer, “On the mass concentration for Bose-Einstein condensates with attractive interactions,” Letters in Mathematical Physics, vol. 104, no. 2. Springer, pp. 141–156, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 11793 |
M. H. Henzinger, S. Krinninger, and D. Nanongkai, “Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks,” in 40th International Colloquium on Automata, Languages, and Programming, Riga, Latvia, 2013, vol. 7966, pp. 607–619.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2299 |
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 | Book | IST-REx-ID: 2306 |
P. Danowski and A. Pohl, (Open) Linked Data in Bibliotheken, vol. 50. De Gruyter, 2013.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2400 |
R. Frank, É. Lieb, and R. Seiringer, “Binding of polarons and atoms at threshold,” Communications in Mathematical Physics, vol. 313, no. 2. Springer, pp. 405–424, 2012.
View
| DOI
| Download (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
V. Kolmogorov and T. Schoenemann, “Generalized sequential tree-reweighted message passing,” arXiv. ArXiv, 2012.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 3120 |
G. Brown, M. Kerber, and M. Reid, “Fano 3 folds in codimension 4 Tom and Jerry Part I,” Compositio Mathematica, vol. 148, no. 4. Cambridge University Press, pp. 1171–1194, 2012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 8463
S. Asami, K. Szekely, P. Schanda, B. H. Meier, and B. Reif, “Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency,” Journal of Biomolecular NMR, vol. 54, no. 2. Springer Nature, pp. 155–168, 2012.
View
| DOI
2012 | Journal Article | IST-REx-ID: 966 |
S. Bieri, M. Serbyn, T. Senthil, and P. Lee, “Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice,” Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22. American Physical Society, 2012.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3157 |
L. Diaz Jr et al., “The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers,” Nature, vol. 486, no. 7404. Nature Publishing Group, pp. 537–540, 2012.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 518 |
D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20. Wiley-Blackwell, pp. 4309–4322, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3336
C. Chen, D. Freedman, and C. Lampert, “Enforcing topological constraints in random field image segmentation,” in CVPR: Computer Vision and Pattern Recognition, Colorado Springs, CO, United States, 2011, pp. 2089–2096.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 9483 |
T.-F. Hsieh et al., “Regulation of imprinted gene expression in Arabidopsis endosperm,” Proceedings of the National Academy of Sciences, vol. 108, no. 5. National Academy of Sciences, pp. 1755–1762, 2011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Conference (Editor) | IST-REx-ID: 3859
K. Chatterjee and T. A. Henzinger, Eds., Formal modeling and analysis of timed systems, vol. 6246. Springer, 2010.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–27, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Book (Editor) | IST-REx-ID: 4346 |
P. Danowski and J. Bergmann, Eds., Handbuch Bibliothek 2.0, vol. 41. De Gruyter, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 3498
M. Sabeti Aschraf, C. Gonano, E. Nemecek, L. Cichocki, and C. Schueller Weidekamm, “Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis,” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12. Springer, pp. 1792–1794, 2010.
View
| DOI
2009 | Book Chapter | IST-REx-ID: 164 |
T. D. Browning and R. Heath Brown, “Integral points on cubic hypersurfaces,” in Analytic Number Theory: Essays in honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 8479
M. Gal, T. Kern, P. Schanda, L. Frydman, and B. Brutscher, “An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates,” Journal of Biomolecular NMR, vol. 43. Springer Nature, pp. 1–10, 2009.
View
| DOI
2008 | Journal Article | IST-REx-ID: 1765 |
M. Göppl et al., “Coplanar waveguide resonators for circuit quantum electrodynamics,” Journal of Applied Physics, vol. 104, no. 11. American Institute of Physics, 2008.
View
| DOI
| Download (ext.)
2008 | Conference Paper | IST-REx-ID: 2331 |
C. Hainzl and R. Seiringer, “ Spectral properties of the BCS gap equation of superfluidity,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 117–136.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2678
X. Li et al., “Connexin45-containing neuronal gap junctions in rodent retina also contain connexin36 in both apposing hemiplaques, forming bihomotypic gap junctions, with scaffolding contributed by zonula occludens-1,” Journal of Neuroscience, vol. 28, no. 39. Society for Neuroscience, pp. 9769–9789, 2008.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3880
D. Berwanger, K. Chatterjee, L. Doyen, T. A. Henzinger, and S. Raje, “Strategy construction for parity games with imperfect information,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 325–339.
View
| Files available
| DOI
2008 | Conference Paper | IST-REx-ID: 584
O. Hosten and P. Kwiat, “Spin hall effect of light via weak measurements: Sharp and smooth index variations,” presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States, 2008.
View
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 3187
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, and C. Rother, “Fusion of stereo colour and contrast,” Springer Tracts in Advanced Robotics, vol. 28. Springer, pp. 295–304, 2007.
View
| DOI
| Download (ext.)