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.

132 Publications


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
 

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
 

2003 | Published | Conference Paper | IST-REx-ID: 3897
Simple stochastic parity games
K. Chatterjee, M. Jurdziński, T.A. Henzinger, in:, Springer nature, 2003, pp. 100–113.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 3994
Area, perimeter and derivatives of a skin curve
H. Cheng, H. Edelsbrunner, Computational Geometry 26 (2003) 173–192.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 3993
Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds
H. Edelsbrunner, J. Harer, A. Zomorodian, Discrete & Computational Geometry 30 (2003) 87–107.
View | DOI
 

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:, 10th International Static Analysis Symposium, Springer nature, 2003, pp. 109–126.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 3804
Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons
C. Lien, P.M. Jonas, Journal of Neuroscience 23 (2003) 2058–68.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 3806
A large pool of releasable vesicles in a cortical glutamatergic synapse
S. Hallermann, C. Pawlu, P.M. Jonas, M. Heckmann, Proceedings of the National Acadamy of Science 100 (2003) 8975–8980.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 3917
Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
View
 

2003 | Published | Journal Article | IST-REx-ID: 3922 | OA
Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 3921
Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals
C. Anderson, S. Cremer, J. Heinze, Behavioral Ecology 14 (2003) 54–62.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 3797
Breaking atomic nuclei into little pieces: evidence for a phase transition
W. Bauer, M. Kleine Berkenbusch, M.T. Bollenbach, Revista Mexicana De Fisica 49 (2003) 1–6.
View
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Export / Embed