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.
129 Publications
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: 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: 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: 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).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003).
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: 205
Counting rational points on cubic and quartic surfaces
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
View
| DOI
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
2003 |
Published |
Journal Article |
IST-REx-ID: 206
A note on the distribution of rational points on threefolds
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
2003 |
Published |
Journal Article |
IST-REx-ID: 207
Sums of four biquadrates
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
View
| DOI
T.D. Browning, Mathematical Proceedings of the Cambridge Philosophical Society 134 (2003) 385–395.
2003 |
Published |
Journal Article |
IST-REx-ID: 208
Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
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
| PubMed | Europe PMC
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
2003 |
Published |
Journal Article |
IST-REx-ID: 3150
Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
View
| DOI
| PubMed | Europe PMC
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
2003 |
Published |
Journal Article |
IST-REx-ID: 3151
Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development
L. Rayburn, H. Gooding, S. Choksi, D. Maloney, A. Kidd, D.E. Siekhaus, M. Bender, Genetics 163 (2003) 227–237.
View
| DOI
| PubMed | Europe PMC
L. Rayburn, H. Gooding, S. Choksi, D. Maloney, A. Kidd, D.E. Siekhaus, M. Bender, Genetics 163 (2003) 227–237.
2003 |
Published |
Conference Paper |
IST-REx-ID: 3171 |
Generalized multi camera scene reconstruction using graph cuts
V. Kolmogorov, R. Zabih, S. Gortler, in:, 4th International Workshop, Springer Nature, 2003, pp. 501–516.
[Preprint]
View
| DOI
| Download Preprint (ext.)
V. Kolmogorov, R. Zabih, S. Gortler, in:, 4th International Workshop, Springer Nature, 2003, pp. 501–516.
2003 |
Published |
Journal Article |
IST-REx-ID: 3209 |
On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems
K.Z. Pietrzak, Journal of Computer and System Sciences 67 (2003) 757–771.
[Accepted Version]
View
| DOI
| Download Accepted Version (ext.)
K.Z. Pietrzak, Journal of Computer and System Sciences 67 (2003) 757–771.
2003 |
Published |
Conference Paper |
IST-REx-ID: 3210 |
The security of many round Luby Rackoff pseudo random permutations
U. Maurer, K.Z. Pietrzak, in:, Springer Nature, 2003, pp. 544–561.
[Preprint]
View
| DOI
| Download Preprint (ext.)
U. Maurer, K.Z. Pietrzak, in:, Springer Nature, 2003, pp. 544–561.
2003 |
Published |
Conference Paper |
IST-REx-ID: 3425
3D supernova collapse calculations
M.T. Bollenbach, T. Strother, W. Bauer, in:, Springer Nature, 2003, pp. 277–288.
View
| DOI
M.T. Bollenbach, T. Strother, W. Bauer, in:, Springer Nature, 2003, pp. 277–288.
2003 |
Published |
Book Chapter |
IST-REx-ID: 3458
Molekulare und zelluläre Grundlagen des Nervensystems
P.M. Jonas, K. Unsicker, in:, R. Schmidt (Ed.), Lehrbuch Vorklinik, Deutscher Ärzteverlag, 2003, pp. 3–26.
View
P.M. Jonas, K. Unsicker, in:, R. Schmidt (Ed.), Lehrbuch Vorklinik, Deutscher Ärzteverlag, 2003, pp. 3–26.
2003 |
Published |
Journal Article |
IST-REx-ID: 3526
Organization of cell assemblies in the hippocampus
K. Harris, J.L. Csicsvari, H. Hirase, G. Dragoi, G. Buzsáki, Nature 424 (2003) 552–556.
View
| DOI
| PubMed | Europe PMC
K. Harris, J.L. Csicsvari, H. Hirase, G. Dragoi, G. Buzsáki, Nature 424 (2003) 552–556.
2003 |
Published |
Journal Article |
IST-REx-ID: 3528 |
Mechanisms of gamma oscillations in the hippocampus of the behaving rat
J.L. Csicsvari, B. Jamieson, K. Wise, G. Buzsáki, Neuron 37 (2003) 311–322.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.L. Csicsvari, B. Jamieson, K. Wise, G. Buzsáki, Neuron 37 (2003) 311–322.