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.
121 Publications
2003 |Published| Journal Article | IST-REx-ID: 9455
ARGONAUTE4 control of locus-specific siRNA accumulation and DNA and histone methylation
D. Zilberman, Xiaofeng Cao, S.E. Jacobsen, Science 299 (2003) 716–719.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, Xiaofeng Cao, S.E. Jacobsen, Science 299 (2003) 716–719.
2003 |Published| Conference Paper | IST-REx-ID: 4628
Discounting the future in systems theory
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 1022–1037.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 1022–1037.
2003 |Published| Journal Article | IST-REx-ID: 13436
Cross-metathesis reaction of vinyl sulfones and sulfoxides
A. Michrowska, M. Bieniek, M. Kim, R. Klajn, K. Grela, Tetrahedron 59 (2003) 4525–4531.
View
| DOI
A. Michrowska, M. Bieniek, M. Kim, R. Klajn, K. Grela, Tetrahedron 59 (2003) 4525–4531.
2003 |Published| Conference Paper | IST-REx-ID: 4561
Resource interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Third International Conference on Embedded Software, ACM, 2003, pp. 117–133.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Third International Conference on Embedded Software, ACM, 2003, pp. 117–133.
2003 |Published| Conference Paper | IST-REx-ID: 4630
The element of surprise in timed games
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Proceedings of the 14th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–158.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Proceedings of the 14th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–158.
2003 |Published| Journal Article | IST-REx-ID: 4468
From control models to real-time code using Giotto
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.
View
| DOI
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.
2003 |Published| Book Chapter | IST-REx-ID: 4465
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
2003 |Published| Conference Paper | IST-REx-ID: 4466
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer, 2003, pp. 49–64.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer, 2003, pp. 49–64.
2003 |Published| Conference Paper | IST-REx-ID: 4467
Software verification with BLAST
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 10th International SPIN Workshop , Springer, 2003, pp. 235–239.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 10th International SPIN Workshop , Springer, 2003, pp. 235–239.
2003 |Published| Conference Paper | IST-REx-ID: 4463
Thread-modular abstraction refinement
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Proceedings of the 15th International Conference on Computer Aided Verification, Springer, 2003, pp. 262–274.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Proceedings of the 15th International Conference on Computer Aided Verification, Springer, 2003, pp. 262–274.
2003 |Published| Conference Paper | IST-REx-ID: 4462
Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 886–902.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 886–902.
2003 |Published| Conference Paper | IST-REx-ID: 4464
Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, Proceedings of the 3rd International Conference on Embedded Software, ACM, 2003, pp. 241–256.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, Proceedings of the 3rd International Conference on Embedded Software, ACM, 2003, pp. 241–256.
2003 |Published| Journal Article | IST-REx-ID: 4460
From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
View
| DOI
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
2003 |Published| Journal Article | IST-REx-ID: 4469
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
2003 |Published| Journal Article | IST-REx-ID: 4338
On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution 57 (2003) 1876–1888.
View
| DOI
T. Vines, S.C. Kohler, M. Thiel, I. Ghira, T.R. Sands, C. Maccallum, N.H. Barton, B. Nürnberger, Evolution 57 (2003) 1876–1888.
2003 |Published| Journal Article | IST-REx-ID: 4350
True and false gharials: A nuclear gene phylogeny of crocodylia
J. Harshman, C. Huddleston, J.P. Bollback, T. Parsons, M. Braun, Systematic Biology 52 (2003) 386–402.
View
| DOI
| PubMed | Europe PMC
J. Harshman, C. Huddleston, J.P. Bollback, T. Parsons, M. Braun, Systematic Biology 52 (2003) 386–402.
2003 |Published| Journal Article | IST-REx-ID: 4348
Stochastic mapping of morphological characters
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–158.
View
| DOI
| PubMed | Europe PMC
J. Huelsenbeck, R. Nielsen, J.P. Bollback, Systematic Biology 52 (2003) 131–158.
2003 |Published| Journal Article | IST-REx-ID: 4254
Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation
A. Navarro, N.H. Barton, Evolution; International Journal of Organic Evolution 57 (2003) 447–459.
View
| DOI
| PubMed | Europe PMC
A. Navarro, N.H. Barton, Evolution; International Journal of Organic Evolution 57 (2003) 447–459.
2003 |Published| Journal Article | IST-REx-ID: 4257
The effects of genetic and geographic structure on neutral variation
B. Charlesworth, D. Charlesworth, N.H. Barton, Annual Review of Ecology and Systematics 34 (2003) 99–125.
View
| DOI
B. Charlesworth, D. Charlesworth, N.H. Barton, Annual Review of Ecology and Systematics 34 (2003) 99–125.
2003 |Published| Journal Article | IST-REx-ID: 4256
The erratic path towards complexity
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.
[Published Version]
View
| DOI
N.H. Barton, W. Zuidema, Current Biology 13 (2003) R649–R651.