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.

8924 Publications


2003 | Published | Conference Paper | IST-REx-ID: 4462
T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided control,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 886–902.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” in Proceedings of the 15th International Conference on Computer Aided Verification, Boulder, CO, USA, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” in Proceedings of the 3rd International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 241–256.
View | DOI
 

2003 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4466
T. A. Henzinger, O. Kupferman, and R. Majumdar, “On the universal and existential fragments of the mu-calculus,” in Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Warsaw, Poland, 2003, vol. 2619, pp. 49–64.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” in Proceedings of the 10th International SPIN Workshop , Portland, OR, USA, 2003, vol. 2648, pp. 235–239.
View | DOI
 

2003 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” in Third International Conference on Embedded Software, Philadelphia, PA, USA, 2003, vol. 2855, pp. 117–133.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Discounting the future in systems theory,” in Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Eindhoven, The Netherlands, 2003, vol. 2719, pp. 1022–1037.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4630
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” in Proceedings of the 14th International Conference on Concurrency Theory, Marseille, France, 2003, vol. 2761, pp. 144–158.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 12659 | OA
P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water systems between learning and speculating looking for challenges,” Hydrology Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 859
A. Perelygin, F. Kondrashov, I. Rogozin, and M. Brinton, “Evolution of the mouse polyubiquitin C gene,” Journal of Molecular Evolution, vol. 55, no. 2. Springer, pp. 202–210, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 871 | OA
F. Kondrashov, I. Rogozin, Y. Wolf, and E. Koonin, “Selection in the evolution of gene duplications ,” Genome Biology, vol. 3, no. 2. BioMed Central, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 885 | OA
A. Kondrashov, S. Sunyaev, and F. Kondrashov, “Dobzhansky-Muller incompatibilities in protein evolution,” PNAS, vol. 99, no. 23. National Academy of Sciences, pp. 14878–14883, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 897
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, and F. Kondrashov, “Selection for short introns in highly expressed genes,” Nature Genetics, vol. 31, no. 4. Nature Publishing Group, pp. 415–418, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1737
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, and P. Falaras, “A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells,” Journal of Photochemistry and Photobiology A: Chemistry, vol. 149, no. 1–3. Elsevier, pp. 191–198, 2002.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 1738
P. Falaras et al., “Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes,” presented at the Organic Photovoltaics, 2002, vol. 4801, pp. 125–135.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 1739
T. Stergiopoulos, I. Arabatzis, G. Katsaros, and P. Falaras, “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells,” Nano Letters, vol. 2, no. 11. American Chemical Society, pp. 1259–1261, 2002.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 204
T. D. Browning, “Equal Sums of Two kth Powers,” Journal of Number Theory, vol. 96, no. 2. Academic Press, pp. 293–318, 2002.
[Published Version] View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed