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.

6504 Publications


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

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control (Vol. 2719, pp. 886–902). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement (Vol. 2725, pp. 262–274). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code (Vol. 2855, pp. 241–256). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell. https://doi.org/10.1002/047172288X.ch8
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2003). On the universal and existential fragments of the mu-calculus (Vol. 2619, pp. 49–64). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-36577-X_5
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST (Vol. 2648, pp. 235–239). Presented at the SPIN: Model Checking Software, Springer. https://doi.org/10.1007/3-540-44829-2_17
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE. https://doi.org/10.1109/MCS.2003.1172829
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/JPROC.2002.805825
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2003). Resource interfaces (Vol. 2855, pp. 117–133). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2990
Friml, J. (2003). Auxin transport - Shaping the plant. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/S1369526602000031
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2992
Willemsen, V., Friml, J., Grebe, M., Van Den Toorn, A., Palme, K., & Scheres, B. (2003). Cell polarity and PIN protein positioning in Arabidopsis require STEROL METHYLTRANSFERASE1 function. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.008433
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2993
Friml, J., Benková, E., Mayer, U., Palme, K., & Muster, G. (2003). Automated whole mount localisation techniques for plant seedlings. Plant Journal. Wiley-Blackwell. https://doi.org/10.1046/j.1365-313X.2003.01705.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, D., Pesce, E., Stieger, P., Mandel, T., Baltensperger, K., Bennett, M., … Kuhlemeier, C. (2003). Regulation of phyllotaxis by polar auxin transport. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02081
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
Friml, J., Vieten, A., Sauer, M., Weijers, D., Schwarz, H., Hamann, T., … Jürgens, G. (2003). Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02085
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2996
Benková, E., Michniewicz, M., Sauer, M., Teichmann, T., Seifertová, D., Jürgens, G., & Friml, J. (2003). Local, efflux-dependent auxin gradients as a common module for plant organ formation. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(03)00924-3
View | DOI
 

2003 | Book Review | IST-REx-ID: 3139
Chen, H., Hippenmeyer, S., Arber, S., & Frank, E. (2003). Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/S0959-4388(03)00006-0
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3150
Siekhaus, D. E., & Drubin, D. (2003). Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb941
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn, L., Gooding, H., Choksi, S., Maloney, D., Kidd, A., Siekhaus, D. E., & Bender, M. (2003). Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. Genetics Society of America.
View
 

Search

Filter Publications