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.

2481 Publications


2010 | Journal Article | IST-REx-ID: 3868   OA
K. Chatterjee, L. De Alfaro, R. Majumdar, and V. Raman, “Algorithms for game metrics,” Logical Methods in Computer Science, vol. 6, no. 3, pp. 1–27, 2010.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 4157   OA
E. Papusheva and C.-P. J. Heisenberg, “Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis,” EMBO Journal, vol. 29, no. 16, pp. 2753–2768, 2010.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 4378   OA
V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380   OA
T. A. Henzinger, A. Tomar, V. Singh, T. Wies, and D. Zufferey, “A marketplace for cloud resources,” presented at the EMSOFT: Embedded Software , Arizona, USA, 2010, pp. 1–8.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 488   OA
R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390   OA
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3793   OA
S. Nowozin, P. Gehler, and C. Lampert, “On parameter learning in CRF-based approaches to object class image segmentation,” presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece, 2010, vol. 6316, pp. 98–111.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 1041   OA
J. Danzl et al., “Deeply bound ultracold molecules in an optical lattice,” New Journal of Physics, vol. 11, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1767   OA
M. Baur et al., “Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit,” Physical Review Letters, vol. 102, no. 24, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 1825   OA
T. Friedlander and N. Brenner, “Adaptive response by state-dependent inactivation,” PNAS, vol. 106, no. 52, pp. 22558–22563, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2119   OA
J. Maas and J. Van Neerven, “Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces,” Journal of Functional Analysis, vol. 257, no. 8, pp. 2410–2475, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385   OA
É. Lieb, R. Seiringer, and J. Yngvason, “Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 6, 2009.
View | DOI | Download (ext.)
 

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, 2009.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2009 | Preprint | IST-REx-ID: 3732   OA
G. Tkacik, E. Schneidman, M. Berry, and W. Bialek, “Spin glass models for a network of real neurons,” ArXiv, vol. q-NC. ArXiv, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3775   OA
N. H. Barton and J. Coe, “On the application of statistical physics to evolutionary biology,” Journal of Theoretical Biology, vol. 259, no. 2, pp. 317–324, 2009.
View | DOI | Download (ext.)
 

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, pp. 129–142, 2009.
View | DOI | Download (ext.)
 

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, pp. 1171–1190, 2009.
View | Files available | DOI
 

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 (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed