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
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. 2003. Resource interfaces. Third International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2855, 117–133.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2003. The element of surprise in timed games. Proceedings of the 14th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2761, 144–158.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 576 | OA
Hosten O, Vignolo P, Minguzzi A, Tanatar B, Tosi M. 2003. Free expansion of two-dimensional condensates with a vortex. Journal of Physics B: Atomic, Molecular and Optical Physics. 36(12), 2455.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2003 | Published | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, Chatwin H, Li C, Evans P, de Bono M. 2003. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 6(11), 1178–1185.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 6157
de Bono M. 2003. Molecular approaches to aggregation behavior and social attachment. Journal of Neurobiology. 54(1), 78–92.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 205
Browning TD. 2003. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 108, 275–295.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 206
Browning TD. 2003. A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. 54(1), 33–39.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 207
Browning TD. 2003. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 134(3), 385–395.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 208
Browning TD. 2003. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 54(1), 11–31.
View | DOI
 

2003 | Published | Book Review | IST-REx-ID: 3139
Chen H, Hippenmeyer S, Arber S, Frank E. 2003. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 13(1), 96–102.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 3150
Siekhaus DE, Drubin D. 2003. Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant. Nature Cell Biology. 5(3), 231–235.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, Maloney D, Kidd A, Siekhaus DE, Bender M. 2003. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 163(1), 227–237.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Conference Paper | IST-REx-ID: 3171 | OA
Kolmogorov V, Zabih R, Gortler S. 2003. Generalized multi camera scene reconstruction using graph cuts. 4th International Workshop. EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, Energy Minimization Methods in Computer Vision and Pattern Recognition, vol. 2683, 501–516.
[Preprint] View | DOI | Download Preprint (ext.)
 

2003 | Published | Journal Article | IST-REx-ID: 3209 | OA
Pietrzak KZ. 2003. On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences. 67(4), 757–771.
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2003 | Published | Conference Paper | IST-REx-ID: 3210 | OA
Maurer U, Pietrzak KZ. 2003. The security of many round Luby Rackoff pseudo random permutations. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 2656, 544–561.
[Preprint] View | DOI | Download Preprint (ext.)
 

2003 | Published | Conference Paper | IST-REx-ID: 3425
Bollenbach MT, Strother T, Bauer W. 2003. 3D supernova collapse calculations. NATO ASI on Structure and Dynamics of Elementary Matter, Nato Science Series II, vol. 166, 277–288.
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 3458
Jonas PM, Unsicker K. 2003.Molekulare und zelluläre Grundlagen des Nervensystems. In: Lehrbuch Vorklinik. vol. B, 3–26.
View
 

2003 | Published | Journal Article | IST-REx-ID: 3526
Harris K, Csicsvari JL, Hirase H, Dragoi G, Buzsáki G. 2003. Organization of cell assemblies in the hippocampus. Nature. 424(6948), 552–556.
View | DOI | PubMed | Europe PMC
 

2003 | Published | Journal Article | IST-REx-ID: 3528 | OA
Csicsvari JL, Jamieson B, Wise K, Buzsáki G. 2003. Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. 37(2), 311–322.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed