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.
1621 Publications
2003 |Published| Conference Paper | IST-REx-ID: 3897
Simple stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.
View
| DOI
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, Springer, 2003, pp. 100–113.
2003 |Published| Conference Paper | IST-REx-ID: 3898
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, in:, Springer, 2003, pp. 109–126.
View
| DOI
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, in:, Springer, 2003, pp. 109–126.
2003 |Published| Book Review | IST-REx-ID: 3139
Development of the monosynaptic stretch reflex circuit
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
View
| DOI
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
2003 |Published| Conference Paper | IST-REx-ID: 3171
Generalized multi camera scene reconstruction using graph cuts
V. Kolmogorov, R. Zabih, S. Gortler, in:, Springer, 2003, pp. 501–516.
View
| DOI
V. Kolmogorov, R. Zabih, S. Gortler, in:, Springer, 2003, pp. 501–516.
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| 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: 4169
Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
View
| DOI
| PubMed | Europe PMC
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
2003 |Published| Conference Paper | IST-REx-ID: 3999
Relaxed scheduling in dynamic skin triangulation
H. Edelsbrunner, A. Üngör, in:, Proceedings of the Japanese Conference on Discrete and Computational Geometry , Springer, 2003, pp. 135–151.
View
| DOI
H. Edelsbrunner, A. Üngör, in:, Proceedings of the Japanese Conference on Discrete and Computational Geometry , Springer, 2003, pp. 135–151.
2003 |Published| Book Chapter | IST-REx-ID: 3991
Area and perimeter derivatives of a union of disks
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
View
| DOI
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
2002 |Published| Journal Article | IST-REx-ID: 11124 | 
Ran binds to chromatin by two distinct mechanisms
D. Bilbao-Cortés, M. Hetzer, G. Längst, P.B. Becker, I.W. Mattaj, Current Biology 12 (2002) 1151–1156.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Bilbao-Cortés, M. Hetzer, G. Längst, P.B. Becker, I.W. Mattaj, Current Biology 12 (2002) 1151–1156.
2002 |Published| Journal Article | IST-REx-ID: 6159
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
2002 |Published| Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
View
| DOI
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
2002 |Published| Conference Paper | IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.