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. Resource interfaces. In: Third International Conference on Embedded Software. Vol 2855. ACM; 2003:117-133. doi:10.1007/978-3-540-45212-6_9
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. The element of surprise in timed games. In: Proceedings of the 14th International Conference on Concurrency Theory. Vol 2761. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2003:144-158. doi:10.1007/978-3-540-45187-7_9
View | DOI
 

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

2003 | Published | Journal Article | IST-REx-ID: 6156
Rogers C, Reale V, Kim K, et al. Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1. Nature Neuroscience. 2003;6(11):1178-1185. doi:10.1038/nn1140
View | DOI | PubMed | Europe PMC
 

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

2003 | Published | Journal Article | IST-REx-ID: 205
Browning TD. Counting rational points on cubic and quartic surfaces. Acta Arithmetica. 2003;108:275-295. doi:10.4064/aa108-3-7
View | DOI
 

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

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

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

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

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

2003 | Published | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, et al. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 2003;163(1):227-237. doi:10.1093/genetics/163.1.227
View | DOI | PubMed | Europe PMC
 

2003 | Published | Conference Paper | IST-REx-ID: 3171 | OA
Kolmogorov V, Zabih R, Gortler S. Generalized multi camera scene reconstruction using graph cuts. In: 4th International Workshop. Vol 2683. Springer Nature; 2003:501-516. doi:10.1007/978-3-540-45063-4_32
[Preprint] View | DOI | Download Preprint (ext.)
 

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

2003 | Published | Conference Paper | IST-REx-ID: 3210 | OA
Maurer U, Pietrzak KZ. The security of many round Luby Rackoff pseudo random permutations. In: Vol 2656. Springer Nature; 2003:544-561. doi:10.1007/3-540-39200-9_34
[Preprint] View | DOI | Download Preprint (ext.)
 

2003 | Published | Conference Paper | IST-REx-ID: 3425
Bollenbach MT, Strother T, Bauer W. 3D supernova collapse calculations. In: Vol 166. Springer Nature; 2003:277-288. doi:10.1007/978-1-4020-2705-5_21
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 3458
Jonas PM, Unsicker K. Molekulare und zelluläre Grundlagen des Nervensystems. In: Schmidt R, ed. Lehrbuch Vorklinik. Vol B. Deutscher Ärzteverlag; 2003:3-26.
View
 

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

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

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed