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. 2003. Counterexample-guided control. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. Proceedings of the 15th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. Proceedings of the 3rd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 4465
Henzinger TA, Horowitz B, Kirsch C. 2003.Embedded control systems development with Giotto. In: Software-Enabled Control: Information Technology for Dynamical Systems. , 123–146.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2003. Software verification with BLAST. Proceedings of the 10th International SPIN Workshop . SPIN: Model Checking Software, LNCS, vol. 2648, 235–239.
View | DOI
 

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

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

2003 | Published | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. 2003. Resource interfaces. Third International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 117–133.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View | DOI
 

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

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

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

2002 | Published | Journal Article | IST-REx-ID: 871 | OA
Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).
[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. 2002. Dobzhansky-Muller incompatibilities in protein evolution. PNAS. 99(23), 14878–14883.
[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. 2002. Selection for short introns in highly expressed genes. Nature Genetics. 31(4), 415–418.
View | DOI | PubMed | Europe PMC
 

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

2002 | Published | Conference Paper | IST-REx-ID: 1738
Falaras P, Chryssou K, Stergiopoulos T, Arabatzis I, Katsaros G, Catalano V, Kurtaran R, Hugot Le Goff A, Bernard M. 2002. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. Organic Photovoltaics vol. 4801, 125–135.
View | DOI
 

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

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed