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


2003 | Thesis | IST-REx-ID: 4416
R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 4425
B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 4460
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” Formal Methods in System Design, vol. 23, no. 3. Springer, pp. 303–327, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” presented at the ICALP: Automata, Languages and Programming, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” presented at the CAV: Computer Aided Verification, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” in Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” presented at the SPIN: Model Checking Software, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
T. A. Henzinger, C. Kirsch, M. Sanvido, and W. Pree, “From control models to real-time code using Giotto,” IEEE Control Systems Magazine, vol. 23, no. 1. IEEE, pp. 50–64, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” Proceedings of the IEEE, vol. 91, no. 1. IEEE, pp. 84–99, 2003.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 117–133.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
J. Friml, “Auxin transport - Shaping the plant,” Current Opinion in Plant Biology, vol. 6, no. 1. Elsevier, pp. 7–12, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
V. Willemsen, J. Friml, M. Grebe, A. Van Den Toorn, K. Palme, and B. Scheres, “Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function,” Plant Cell, vol. 15, no. 3. American Society of Plant Biologists, pp. 612–625, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
J. Friml, E. Benková, U. Mayer, K. Palme, and G. Muster, “Automated whole mount localisation techniques for plant seedlings,” Plant Journal, vol. 34, no. 1. Wiley-Blackwell, pp. 115–124, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
D. Reinhardt et al., “Regulation of phyllotaxis by polar auxin transport,” Nature, vol. 426, no. 6964. Nature Publishing Group, pp. 255–260, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
J. Friml et al., “Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis,” Nature, vol. 426, no. 6963. Nature Publishing Group, pp. 147–153, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
E. Benková et al., “Local, efflux-dependent auxin gradients as a common module for plant organ formation,” Cell, vol. 115, no. 5. Cell Press, pp. 591–602, 2003.
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
H. Chen, S. Hippenmeyer, S. Arber, and E. Frank, “Development of the monosynaptic stretch reflex circuit,” Current Opinion in Neurobiology, vol. 13, no. 1. Elsevier, pp. 96–102, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3150
D. E. Siekhaus and D. Drubin, “Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant,” Nature Cell Biology, vol. 5, no. 3. Nature Publishing Group, pp. 231–235, 2003.
View | DOI
 

Search

Filter Publications