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.

6425 Publications


2001 | Conference (Editor) | IST-REx-ID: 4449
T. A. Henzinger and C. Kirsch, EMSOFT: Embedded Software, vol. 2211. ACM, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
T. A. Henzinger, J. Preussig, and H. Wong Toi, “Some lessons from the HYTECH experience,” presented at the CDC: Decision and Control, 2001, vol. 3, pp. 2887–2892.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
T. A. Henzinger, M. Minea, and V. Prabhu, “Assume-guarantee reasoning for hierarchical hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2001, vol. 2034, pp. 275–290.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
T. Brown, A. Pasetti, W. Pree, T. A. Henzinger, and C. Kirsch, “A reusable and platform-independent framework for distributed control systems,” presented at the DASC: Digital Avionics Systems Conference, 2001, pp. 1–11.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2. Springer, pp. 97–116, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
A. Molendijk et al., “Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth,” EMBO Journal, vol. 20, no. 11. Wiley-Blackwell, pp. 2779–2788, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
P. Gil et al., “BIG: A calossin-like protein required for polar auxin transport in Arabidopsis,” Genes and Development, vol. 15, no. 15. Cold Spring Harbor Laboratory Press, pp. 1985–1997, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, and K. Palme, “Auxin transport inhibitors block PIN1 cycling and vesicle trafficking,” Nature, vol. 413, no. 6854. Nature Publishing Group, pp. 425–428, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
R. Swarup et al., “Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex,” Genes and Development, vol. 15, no. 20. Cold Spring Harbor Laboratory Press, pp. 2648–2653, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
L. Trnková, J. Friml, and O. Dračka, “Elimination voltammetry of adenine and cytosine mixtures,” Bioelectrochemistry, vol. 54, no. 2. Elsevier, pp. 131–136, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
V. Kolmogorov and R. Zabih, “Computing visual correspondence with occlusions using graph cuts,” presented at the ICCV: International Conference on Computer Vision, 2001, vol. 2, pp. 508–515.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
J. Huelsenbeck and J. P. Bollback, “Application of the likelihood function in phylogenetic analysis,” in Handbook of Statistical Genetics, D. Balding, M. Bishop, and C. Cannings, Eds. Wiley-Blackwell, 2001, pp. 415–439.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
J. Huelsenbeck, F. Ronquist, R. Nielsen, and J. P. Bollback, “Bayesian inference of phylogeny and its impact on evolutionary biology,” Science, vol. 294, no. 5550. American Association for the Advancement of Science, pp. 2310–2314, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
J. Conn, J. P. Bollback, D. Onyabe, T. Robinson, R. Wilkerson, and M. Povoa, “Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi,” Molecular Ecology Notes, vol. 1, no. 4. Wiley-Blackwell, pp. 223–225, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
J. Huelsenbeck and J. P. Bollback, “Empirical and hierarchical Bayesian estimation of ancestral states,” Systematic Biology, vol. 50, no. 3. Oxford University Press, pp. 351–366, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
M. . Jones, P. M. Jonas, Y. Sahara, and G. Westbrook, “Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists,” Biophysical Journal, vol. 81, no. 5. Biophysical Society, pp. 2660–2670, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
M. Bartos, I. Vida, M. Frotscher, J. Geiger, and P. M. Jonas, “Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.,” Journal of Neuroscience, vol. 21, no. 8. Society for Neuroscience, pp. 2687–2698, 2001.
View
 

Search

Filter Publications