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.
10738 Publications
2005 | Published | Journal Article | IST-REx-ID: 3003
Vieten A, Vanneste S, Wiśniewska J, et al. Functional redundancy of PIN proteins is accompanied by auxin-dependent cross-regulation of PIN expression. Development. 2005;132(20):4521-4531. doi:10.1242/dev.02027
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 3004
Weijers D, Sauer M, Meurette O, et al. Maintenance of embryonic auxin distribution for apical basal patterning by PIN FORMED dependent auxin transport in Arabidopsis. Plant Cell. 2005;17(9):2517-2526. doi:10.1105/tpc.105.034637
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4249
Polechova J, Barton NH. Speciation through competition: A critical review. Evolution; International Journal of Organic Evolution. 2005;59(6):1194-1210. doi:10.1111/j.0014-3820.2005.tb01771.x
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4251
Barton NH, Otto S. Evolution of recombination due to random drift. Genetics. 2005;169(4):2353-2370. doi:10.1534/genetics.104.032821
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4252 | 
Johnson T, Barton NH. Theoretical models of selection and mutationon quantitative traits. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2005;360(1459):1411-1425. doi:10.1098/rstb.2005.1667
View
| DOI
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4412
Matic S, Henzinger TA. Trading end-to-end latency for composability. In: IEEE; 2005:99-110. doi:10.1109/RTSS.2005.43
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4418
Kirsch C, Sanvido M, Henzinger TA. A programmable microkernel for real-time systems. In: ACM; 2005:35-45. doi:10.1145/1064979.1064986
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4454
Henzinger TA, Majumdar R, Raskin J. A classification of symbolic transition systems. ACM Transactions on Computational Logic (TOCL). 2005;6(1):1-32. doi:10.1145/1042038.1042039
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4455
Henzinger TA, Majumdar R, Prabhu V. Quantifying similarities between timed systems. In: Vol 3829. Springer; 2005:226-241. doi:10.1007/11603009_18
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4456
Henzinger TA, Jhala R, Majumdar R. Permissive interfaces. In: ACM; 2005:31-40. doi:10.1145/1081706.1081713
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4457
Henzinger TA, Kirsch C, Matic S. Composable code generation for distributed Giotto. In: ACM; 2005:21-30. doi:10.1145/1065910.1065914
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4536
Doyen L, Henzinger TA, Raskin J. Automatic rectangular refinement of affine hybrid systems. In: Vol 3829. Springer; 2005:144-161. doi:DOI: 10.1007/11603009_13
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4541
Chatterjee K, Henzinger TA. Semiperfect-information games. In: Vol 3821. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2005:1-18. doi:10.1007/11590156_1
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
View
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View
| DOI