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.

6224 Publications


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
 

2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Cell polarity, auxin transport and cytoskeleton mediated division planes: Who comes first?
P. Dhonukshe, J. Kleine Vehn, J. Friml, Protoplasma 226 (2005) 67–73.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Auxin inhibits endocytosis and promotes its own efflux from cells
T. Paciorek, E. Zažímalová, N. Ruthardt, J. Petrášek, Y. Stierhof, J. Kleine Vehn, D. Morris, N. Emans, G. Jürgens, N. Geldner, J. Friml, Nature 435 (2005) 1251–1256.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression
A. Vieten, S. Vanneste, J. Wiśniewska, E. Benková, R. Benjamins, T. Beeckman, C. Luschnig, J. Friml, Development 132 (2005) 4521–4531.
View | DOI
 

Search

Filter Publications