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
Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:886-902. doi:10.1007/3-540-45061-0_69
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: Proceedings of the 15th International Conference on Computer Aided Verification. Vol 2725. Springer; 2003:262-274. doi:10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. Schedule-carrying code. In: Proceedings of the 3rd International Conference on Embedded Software. Vol 2855. ACM; 2003:241-256. doi:10.1007/978-3-540-45212-6_16
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. Wiley-Blackwell; 2003:123-146. doi:10.1002/047172288X.ch8
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 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 . Vol 2619. Springer; 2003:49-64. doi:10.1007/3-540-36577-X_5
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. Software verification with BLAST. In: Proceedings of the 10th International SPIN Workshop . Vol 2648. Springer; 2003:235-239. doi:10.1007/3-540-44829-2_17
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4468
Henzinger TA, Kirsch C, Sanvido M, Pree W. From control models to real-time code using Giotto. IEEE Control Systems Magazine. 2003;23(1):50-64. doi:10.1109/MCS.2003.1172829
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. 2003;91(1):84-99. doi:10.1109/JPROC.2002.805825
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces. In: Third International Conference on Embedded Software. Vol 2855. ACM; 2003:117-133. doi:10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. The element of surprise in timed games. In: Proceedings of the 14th International Conference on Concurrency Theory. Vol 2761. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2003:144-158. doi:10.1007/978-3-540-45187-7_9
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 12659 | OA
Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 2002;33(1):47-74. doi:10.2166/nh.2002.0004
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 859
Perelygin A, Kondrashov F, Rogozin I, Brinton M. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 2002;55(2):202-210. doi:10.1007/s00239-002-2318-0
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 871 | OA
Kondrashov F, Rogozin I, Wolf Y, Koonin E. Selection in the evolution of gene duplications . Genome Biology. 2002;3(2). doi:10.1186/gb-2002-3-2-research0008
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 885 | OA
Kondrashov A, Sunyaev S, Kondrashov F. Dobzhansky-Muller incompatibilities in protein evolution. PNAS. 2002;99(23):14878-14883. doi:10.1073/pnas.232565499
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 897
Castillo Davis C, Mekhedov S, Hartl D, Koonin E, Kondrashov F. Selection for short introns in highly expressed genes. Nature Genetics. 2002;31(4):415-418. doi:10.1038/ng940
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1737
Katsaros G, Stergiopoulos T, Arabatzis I, Papadokostaki K, Falaras P. A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells. Journal of Photochemistry and Photobiology A: Chemistry. 2002;149(1-3):191-198. doi:10.1016/S1010-6030(02)00027-8
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 1738
Falaras P, Chryssou K, Stergiopoulos T, et al. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. In: Vol 4801. SPIE; 2002:125-135. doi:10.1117/12.452446
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 1739
Stergiopoulos T, Arabatzis I, Katsaros G, Falaras P. Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. 2002;2(11):1259-1261. doi:10.1021/nl025798u
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 204
Browning TD. Equal Sums of Two kth Powers. Journal of Number Theory. 2002;96(2):293-318. doi:10.1006/jnth.2002.2800
[Published Version] View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed