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.

136 Publications


2005 | Journal Article | IST-REx-ID: 3983
Experimental validation of the docking orientation of Cdc25 with its Cdk2-CycA protein substrate
J. Sohn, J. Parks, G. Buhrman, P. Brown, K. Kristjánsdóttir, A. Safi, H. Edelsbrunner, W. Yang, J. Rudolph, Biochemistry 44 (2005) 16563–16573.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4138
The limitations of adaptive dynamics as a model of evolution
N.H. Barton, J. Polechova, Journal of Evolutionary Biology 18 (2005) 1186–1190.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4249
Speciation through competition: A critical review
J. Polechova, N.H. Barton, Evolution; International Journal of Organic Evolution 59 (2005) 1194–1210.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 4251
Evolution of recombination due to random drift
N.H. Barton, S. Otto, Genetics 169 (2005) 2353–2370.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4367
Boolean Heaps
A. Podelski, T. Wies, in:, Springer, 2005, pp. 267–282.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4404
Synthesis of interface specifications for Java classes
R. Alur, P. Cerny, P. Madhusudan, W. Nam, in:, ACM, 2005, pp. 98–109.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4412
Trading end-to-end latency for composability
S. Matic, T.A. Henzinger, in:, IEEE, 2005, pp. 99–110.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4418
A programmable microkernel for real-time systems
C. Kirsch, M. Sanvido, T.A. Henzinger, in:, ACM, 2005, pp. 35–45.
View | DOI
 

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

2005 | Conference Paper | IST-REx-ID: 4455
Quantifying similarities between timed systems
T.A. Henzinger, R. Majumdar, V. Prabhu, in:, Springer, 2005, pp. 226–241.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4456
Permissive interfaces
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2005, pp. 31–40.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View | DOI
 

Filters and Search Terms

year=2005

Search

Filter Publications