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.
540 Publications
2008 | Journal Article | IST-REx-ID: 3435 | 
Bollback, J. P., York, T., & Nielsen, R. (2008). Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085019
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 219
De La Bretèche, R., Browning, T. D., & Derenthal, U. (2007). On Manin’s conjecture for a certain singular cubic surface. Annales Scientifiques de l’Ecole Normale Superieure. Societe Mathematique de France. https://doi.org/10.1016/j.ansens.2006.12.002
View
| DOI
2007 | Journal Article | IST-REx-ID: 223 |
Browning, T. D. (2007). Density of integer solutions to diagonal quadratic forms. Monatshefte Fur Mathematik. Springer. https://doi.org/10.1007/s00605-007-0457-5
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2370 |
Lieb, É., Seiringer, R., & Yngvason, J. (2007). Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. Elsevier. https://doi.org/10.1016/S0034-4877(07)80074-7
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2373 |
Frank, R., Hainzl, C., Naboko, S., & Seiringer, R. (2007). The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. Springer. https://doi.org/10.1007/BF02937429
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 2750
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-0158-2
View
| DOI
2007 | Journal Article | IST-REx-ID: 2751
Erdös, L., Salmhofer, M., & Yau, H. (2007). Quantum diffusion for the Anderson model in the scaling limit. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-006-0318-0
View
| DOI
2007 | Journal Article | IST-REx-ID: 2752
Erdös, L., & Salmhofer, M. (2007). Decay of the Fourier transform of surfaces with vanishing curvature. Mathematische Zeitschrift. Springer. https://doi.org/10.1007/s00209-007-0125-4
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro, L., Chatterjee, K., Faella, M., & Legay, A. (2007). Qualitative logics and equivalences for probabilistic systems (pp. 237–248). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2007.15
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee, K. (2007). Markov decision processes with multiple long-run average objectives (Vol. 4855, pp. 473–484). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-77050-3_39
View
| DOI
2007 | Thesis | IST-REx-ID: 4559
Chatterjee, K. (2007). Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View
| DOI
2007 | Journal Article | IST-REx-ID: 8512
Kaloshin, V., & Hunt, B. (2007). Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2007.165.89
View
| DOI
2006 | Journal Article | IST-REx-ID: 1745
Katsaros, G., Rastelli, A., Stoffel, M., Isella, G., Von Känel, H., Bittner, A., … Kern, K. (2006). Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. Elsevier. https://doi.org/10.1016/j.susc.2006.04.027
View
| DOI
2006 | Journal Article | IST-REx-ID: 1747
Rastelli, A., Stoffel, M., Katsaros, G., Tersoff, J., Denker, U., Merdzhanova, T., … Schmidt, O. (2006). Reading the footprints of strained islands. Microelectronics Journal. Elsevier. https://doi.org/10.1016/j.mejo.2006.05.029
View
| DOI
2006 | Journal Article | IST-REx-ID: 213
Browning, T. D., Heath Brown, R., & Starr, J. (2006). The density of rational points on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/S0024611506015784
View
| DOI
2006 | Journal Article | IST-REx-ID: 2142
Ehresmann, A., Werner, L., Klumpp, S., Lucht, S., Schmoranzer, H., Mickat, S., … Sukhorukov, V. (2006). Studying the N+2(C2Σ+u → X2Σ+g) fluorescence excited via the 1s−1π* resonance. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/39/2/006
View
| DOI
2006 | Journal Article | IST-REx-ID: 215
Browning, T. D., & Heath Brown, R. (2006). The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. Wiley-Blackwell. https://doi.org/10.1112/S0024609305018412
View
| DOI
2006 | Journal Article | IST-REx-ID: 216
Browning, T. D., Heath Brown, R., & Salberger, P. (2006). Counting rational points on algebraic varieties. Duke Mathematical Journal. Unknown. https://doi.org/10.1215/S0012-7094-06-13236-2
View
| DOI
2006 | Conference Paper | IST-REx-ID: 2431
Wagner, U. (2006). On a geometric generalization of the Upper Bound Theorem (pp. 635–645). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2006.53
View
| DOI
2006 | Journal Article | IST-REx-ID: 2747
Erdös, L., Schlein, B., & Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/10.1002/cpa.20123
View
| DOI
2006 | Journal Article | IST-REx-ID: 2745
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2006). Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-005-0388-z
View
| DOI
2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov, V., & Zabih, R. (2006). Graph cut algorithms for binocular stereo with occlusions. In Handbook of Mathematical Models in Computer Vision (pp. 423–427). Springer. https://doi.org/10.1007/0-387-28831-7_26
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, K. (2006). Nash equilibrium for upward-closed objectives (Vol. 4207, pp. 271–286). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_18
View
| DOI
2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). The complexity of quantitative concurrent parity games (pp. 678–687). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1145/1109557.1109631
View
| DOI
2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View
| DOI
2006 | Journal Article | IST-REx-ID: 8514
OTT, W., HUNT, B., & Kaloshin, V. (2006). The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/s0143385705000714
View
| DOI
2005 | Book Chapter | IST-REx-ID: 1444 |
Hausel, T. (2005). Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In Geometric Methods in Algebra and Number Theory (Vol. 235, pp. 193–217). Springer. https://doi.org/10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 1740
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Katsaros, G., Songmuang, R., … Kern, K. (2005). Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems. Journal of Crystal Growth. Elsevier. https://doi.org/10.1016/j.jcrysgro.2004.12.047
View
| DOI
2005 | Journal Article | IST-REx-ID: 212 |
Browning, T. D., & Heath Brown, R. (2005). Counting rational points on hypersurfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter and Co . https://doi.org/10.1515/crll.2005.2005.584.83
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 214 |
Browning, T. D., & Heath Brown, R. (2005). Plane curves in boxes and equal sums of two powers. Mathematische Zeitschrift. Unknown. https://doi.org/10.1007/s00209-004-0719-z
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 2359 |
Lieb, É., Seiringer, R., & Yngvason, J. (2005). Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.94.080401
View
| DOI
| Download (ext.)
2005 | Journal Article | IST-REx-ID: 2743
Erdös, L., Hasler, D., & Solovej, J. (2005). Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-005-0205-0
View
| DOI
2005 | Journal Article | IST-REx-ID: 3763
Shi, L., Yu, Y., Wojtan, C., & Chenney, S. (2005). Controllable motion synthesis in a gaseous medium. The Visual Computer. Springer. https://doi.org/10.1007/s00371-005-0296-0
View
| DOI
2005 | Conference Paper | IST-REx-ID: 3893
Chatterjee, K. (2005). Two-player nonzero-sum ω-regular games (Vol. 3653, pp. 413–427). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/11539452_32
View
| DOI
2005 | Book Chapter | IST-REx-ID: 3433
Bollback, J. P. (2005). Posterior mapping and posterior predictive distributions. In R. Nielsen (Ed.), Statistical methods in Molecular Evolution (pp. 439–462). Springer. https://doi.org/10.1007/0-387-27733-1
View
| DOI
2005 | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View
| DOI
2004 | Journal Article | IST-REx-ID: 1464 |
Hausel, T., & Thaddeus, M. (2004). Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/S0024611503014618
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2356 |
Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 | Journal Article | IST-REx-ID: 2355 |
Lieb, É., & Seiringer, R. (2004). Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. Springer. https://doi.org/10.1023/B:JOSS.0000019811.15510.27
View
| DOI
| Download (ext.)
2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, K., Majumdar, R., & Jurdziński, M. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View
| DOI
2004 | Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View
| Download (ext.)
2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2003 | Journal Article | IST-REx-ID: 208
Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qjmath/54.1.11
View
| DOI
2003 | Journal Article | IST-REx-ID: 2357 |
Lieb, É., Seiringer, R., & Yngvason, J. (2003). Poincaré inequalities in punctured domains. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2003.158.1067
View
| DOI
| Download (ext.)
2003 | Book Review | IST-REx-ID: 3139
Chen, H., Hippenmeyer, S., Arber, S., & Frank, E. (2003). Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/S0959-4388(03)00006-0
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_79
View
| DOI
2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View
| DOI