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.
6978 Publications
2003 |Published| Thesis | IST-REx-ID: 3678
The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
View
| Download (ext.)
C. Lampert, The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric , Universität Bonn, Fachbibliothek Mathematik, 2003.
2003 |Published| Journal Article | IST-REx-ID: 3725 | 
Unfolding pathways of native bacteriorhodopsin depend on temperature
H.L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, D. Mueller, EMBO Journal 22 (2003) 5220–5229.
View
| DOI
| Download (ext.)
H.L. Janovjak, M. Kessler, D. Oesterhelt, H. Gaub, D. Mueller, EMBO Journal 22 (2003) 5220–5229.
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
C. Lien, P.M. Jonas, Journal of Neuroscience 23 (2003) 2058–68.
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, PNAS 100 (2003) 8975–80.
View
| DOI
S. Hallermann, C. Pawlu, P.M. Jonas, M. Heckmann, PNAS 100 (2003) 8975–80.
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
C. Anderson, S. Cremer, J. Heinze, Behavioral Ecology 14 (2003) 54–62.
2003 |Published| Journal Article | IST-REx-ID: 3922
Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
View
| DOI
S. Cremer, J. Heinze, Current Biology 13 (2003) 219–223.
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
S. Cremer, J. Heinze, Blick in Die Wissenschaft 12 (2003) 32–36.
2003 |Published| Thesis | IST-REx-ID: 4416
Symbolic algorithms for verification and control
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
View
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
2003 |Published| Thesis | IST-REx-ID: 4425
Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
View
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
2003 |Published| Journal Article | IST-REx-ID: 576
Free expansion of two-dimensional condensates with a vortex
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003) 2455–2463.
View
| DOI
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003) 2455–2463.
2003 |Published| Journal Article | IST-REx-ID: 6156
Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
View
| DOI
| PubMed | Europe PMC
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
2003 |Published| Journal Article | IST-REx-ID: 6157
Molecular approaches to aggregation behavior and social attachment
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
View
| DOI
| PubMed | Europe PMC
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
2003 |Published| Journal Article | IST-REx-ID: 847
Impact of selection, mutation rate and genetic drift on human genetic variation
S. Sunyaev, F. Kondrashov, P. Bork, V. Ramensky, Human Molecular Genetics 12 (2003) 3325–3330.
View
| DOI
S. Sunyaev, F. Kondrashov, P. Bork, V. Ramensky, Human Molecular Genetics 12 (2003) 3325–3330.
2003 |Published| Journal Article | IST-REx-ID: 876
Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences
F. Kondrashov, E. Koonin, Trends in Genetics 19 (2003) 115–119.
View
| DOI
F. Kondrashov, E. Koonin, Trends in Genetics 19 (2003) 115–119.
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| 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.