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.

10718 Publications


2005 | Published | Journal Article | IST-REx-ID: 3003
A. Vieten et al., “Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression,” Development, vol. 132, no. 20. Company of Biologists, pp. 4521–4531, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 3004
D. Weijers et al., “Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis,” Plant Cell, vol. 17, no. 9. American Society of Plant Biologists, pp. 2517–2526, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4249
J. Polechova and N. H. Barton, “Speciation through competition: A critical review,” Evolution; International Journal of Organic Evolution, vol. 59, no. 6. Wiley-Blackwell, pp. 1194–1210, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4251
N. H. Barton and S. Otto, “Evolution of recombination due to random drift,” Genetics, vol. 169, no. 4. Genetics Society of America, pp. 2353–2370, 2005.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4252 | OA
T. Johnson and N. H. Barton, “Theoretical models of selection and mutationon quantitative traits,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 360, no. 1459. Royal Society, The, pp. 1411–1425, 2005.
View | DOI | Download (ext.)
 

2005 | Published | Conference Paper | IST-REx-ID: 4412
S. Matic and T. A. Henzinger, “Trading end-to-end latency for composability,” presented at the RTSS: Real-Time Systems Symposium, 2005, pp. 99–110.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4418
C. Kirsch, M. Sanvido, and T. A. Henzinger, “A programmable microkernel for real-time systems,” presented at the VEE: Virtual Execution Environments, 2005, pp. 35–45.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4454
T. A. Henzinger, R. Majumdar, and J. Raskin, “A classification of symbolic transition systems,” ACM Transactions on Computational Logic (TOCL), vol. 6, no. 1. ACM, pp. 1–32, 2005.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4455
T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between timed systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 226–241.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4456
T. A. Henzinger, R. Jhala, and R. Majumdar, “Permissive interfaces,” presented at the FSE: Foundations of Software Engineering, 2005, pp. 31–40.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4457
T. A. Henzinger, C. Kirsch, and S. Matic, “Composable code generation for distributed Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2005, pp. 21–30.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4536
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2005, vol. 3829, pp. 144–161.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4541
K. Chatterjee and T. A. Henzinger, “Semiperfect-information games,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, 2005, vol. 3821, pp. 1–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4553
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of stochastic Rabin and Streett games,” presented at the ICALP: Automata, Languages and Programming, 2005, vol. 3580, pp. 878–890.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4554
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Mean-payoff parity games,” presented at the LICS: Logic in Computer Science, 2005, pp. 178–187.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4557
K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed