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.

3239 Publications


2009 | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
S. Cremer and M. K. Sixt, “Analogies in the evolution of individual and social immunity,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513. Royal Society, The, pp. 129–142, 2009.
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
H. Edelsbrunner and J. Harer, “The persistent Morse complex segmentation of a 3-manifold,” presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland, 2009, vol. 5903, pp. 36–50.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
J. Polechova, N. H. Barton, and G. Marion, “Species’ range: Adaptation in space and time,” American Naturalist, vol. 174, no. 5. University of Chicago Press, pp. E186–E204, 2009.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
N. H. Barton and M. De Cara, “The evolution of strong reproductive isolation,” Evolution; International Journal of Organic Evolution, vol. 63, no. 5. Wiley, pp. 1171–1190, 2009.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
D. Weijers and J. Friml, “SnapShot: Auxin signaling and transport,” Cell, vol. 136, no. 6. Cell Press, pp. 1172–1172, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
S. Vanneste and J. Friml, “Auxin: A trigger for change in plant development,” Cell, vol. 136, no. 6. Cell Press, pp. 1005–1016, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
J. Petrášek and J. Friml, “Auxin transport routes in plant development,” Development, vol. 136, no. 16. Company of Biologists, pp. 2675–2688, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
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 | Conference Paper | IST-REx-ID: 2332 | OA
R. Seiringer, “Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 241–254.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
C. Hainzl and R. Seiringer, “Critical temperature and energy gap for the BCS equation,” Physical Review B - Condensed Matter and Materials Physics, vol. 77, no. 18. American Physical Society, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
C. Hainzl and R. Seiringer, “The BCS critical temperature for potentials with negative scattering length,” Letters in Mathematical Physics, vol. 84, no. 2–3. Springer, pp. 99–107, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
R. Seiringer and J. Yin, “Ground state energy of the low density hubbard model,” Journal of Statistical Physics, vol. 131, no. 6. Springer, pp. 1139–1154, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
R. Frank, É. Lieb, and R. Seiringer, “Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators,” Journal of the American Mathematical Society, vol. 21, no. 4. American Mathematical Society, pp. 925–950, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
C. Hainzl, E. Hamza, R. Seiringer, and J. Solovej, “The BCS functional for general pair interactions,” Communications in Mathematical Physics, vol. 281, no. 2. Springer, pp. 349–367, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
R. Frank and R. Seiringer, “Non-linear ground state representations and sharp Hardy inequalities,” Journal of Functional Analysis, vol. 255, no. 12. Academic Press, pp. 3407–3430, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
R. Seiringer and J. Yin, “The Lieb-Liniger model as a limit of dilute bosons in three dimensions,” Communications in Mathematical Physics, vol. 284, no. 2. Springer, pp. 459–479, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383 | OA
C. Hainzl, M. Lewin, and R. Seiringer, “A nonlinear model for relativistic electrons at positive temperature,” Reviews in Mathematical Physics, vol. 20, no. 10. World Scientific Publishing, pp. 1283–1307, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
L. Erdös, M. Salmhofer, and H. Yau, “Feynman graphs and renormalization in quantum diffusion,” presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, 2008, pp. 167–182.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
J. M. Fink et al., “Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system,” Nature, vol. 454, no. 7202. Nature Publishing Group, pp. 315–318, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
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 | Journal Article | IST-REx-ID: 2120 | OA
J. Maas and J. Van Neerven, “On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces,” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 11, no. 4. World Scientific Publishing, pp. 603–626, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
J. Van Neerven and J. Maas, “A Clark-Ocone formula in UMD Banach spaces,” Electronic Communications in Probability, vol. 13. Institute of Mathematical Statistics, pp. 151–164, 2008.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
M. Lemeshko and B. Friedrich, “An analytic model of rotationally inelastic collisions of polar molecules in electric fields,” Journal of Chemical Physics, vol. 129, no. 2. American Institute of Physics, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
A. J. Bretscher, K. E. Busch, and M. de Bono, “A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 105, no. 23. Proceedings of the National Academy of Sciences, pp. 8044–8049, 2008.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
T. Hausel and F. Rodríguez Villegas, “Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz,” Inventiones Mathematicae, vol. 174, no. 3. Springer, pp. 555–624, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
M. Gustavsson, E. Haller, M. Mark, J. G. Danzl, G. Rojas Kopeinig, and H. Nägerl, “Control of interaction-induced dephasing of bloch oscillations,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
S. Knoop et al., “Metastable feshbach molecules in high rotational states,” Physical Review Letters, vol. 100, no. 8. American Physical Society, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
J. G. Danzl et al., “Quantum gas of deeply bound ground state molecules,” Science, vol. 321, no. 5892. American Association for the Advancement of Science, pp. 1062–1066, 2008.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 965 | OA
A. Morozov and M. Serbyn, “Nonlinear algebra and Bogoliubov’s recursion,” Theoretical and Mathematical Physics, vol. 154, no. 2. Elsevier, pp. 270–293, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
G. Tkačik, T. Gregor, and W. Bialek, “The role of input noise in transcriptional regulation,” PLoS One, vol. 3, no. 7. Public Library of Science, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
G. Tkačik, C. Callan, and W. Bialek, “Information flow and optimization in transcriptional regulation,” PNAS, vol. 105, no. 34. National Academy of Sciences, pp. 12265–12270, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
G. Tkačik and M. Magnasco, “Decoding spike timing: The differential reverse-correlation method,” Biosystems, vol. 93, no. 1–2. Elsevier, pp. 90–100, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
A. Kinkhabwala and C. C. Guet, “Uncovering cis regulatory codes using synthetic promoter shuffling,” PLoS One, vol. 3, no. 4. Public Library of Science, 2008.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
C. Schmidt Hieber, P. M. Jonas, and J. Bischofberger, “Action potential initiation and propagation in hippocampal mossy fibre axons,” Journal of Physiology, vol. 586, no. 7. Wiley-Blackwell, pp. 1849–57, 2008.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Y. Aponte, J. Bischofberger, and P. M. Jonas, “Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus,” Journal of Physiology, vol. 586, no. 8. Wiley-Blackwell, pp. 2061–75, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications