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.

6318 Publications


2005 | Conference Paper | IST-REx-ID: 4553
Chatterjee, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View | Download (ext.)
 

2005 | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View | DOI
 

2005 | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3000
Dhonukshe, Pankaj, et al. “Cell Polarity, Auxin Transport and Cytoskeleton Mediated Division Planes: Who Comes First?” Protoplasma, vol. 226, no. 1–2, Springer, 2005, pp. 67–73, doi:10.1007/s00709-005-0104-8.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3001
Paciorek, Tomasz, et al. “Auxin Inhibits Endocytosis and Promotes Its Own Efflux from Cells.” Nature, vol. 435, no. 7046, Nature Publishing Group, 2005, pp. 1251–56, doi:10.1038/nature03633.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3003
Vieten, Anne, 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, 2005, pp. 4521–31, doi:10.1242/dev.02027.
View | DOI
 

2005 | Journal Article | IST-REx-ID: 3004
Weijers, Dolf, 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, 2005, pp. 2517–26, doi:10.1105/tpc.105.034637.
View | DOI
 

Search

Filter Publications