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.
1850 Publications
2003 |Published| Journal Article | IST-REx-ID: 208
Browning, Timothy D. “Counting Rational Points on Diagonal Quadratic Surfaces.” Quarterly Journal of Mathematics. Oxford University Press, 2003. https://doi.org/10.1093/qjmath/54.1.11.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2628
Momiyama, Akiko, Rachel Silver, Michael Häusser, Takuya Notomi, Yue Wu, Ryuichi Shigemoto, and Stuart Cull Candy. “The Density of AMPA Receptors Activated by a Transmitter Quantum at the Climbing Fibre - Purkinje Cell Synapse in Immature Rats.” Journal of Physiology. Wiley-Blackwell, 2003. https://doi.org/10.1113/jphysiol.2002.033472.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2631
Higashida, Haruhiro, Jia Zhang, Sumiko Mochida, Xiao Chen, Yeonsook Shin, Mami Noda, Kazi Hossain, et al. “Subtype-Specific Coupling with ADP-Ribosyl Cyclase of Metabotropic Glutamate Receptors in Retina, Cervical Superior Ganglion and NG108-15 Cells.” Journal of Neurochemistry. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1471-4159.2003.01751.x.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2996
Benková, Eva, Marta Michniewicz, Michael Sauer, Thomas Teichmann, Daniela Seifertová, Gerd Jürgens, and Jiří Friml. “Local, Efflux-Dependent Auxin Gradients as a Common Module for Plant Organ Formation.” Cell. Cell Press, 2003. https://doi.org/10.1016/S0092-8674(03)00924-3.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 3150
Siekhaus, Daria E, and David Drubin. “Spontaneous Receptor-Independent Heterotrimeric G-Protein Signalling in an RGS Mutant.” Nature Cell Biology. Nature Publishing Group, 2003. https://doi.org/10.1038/ncb941.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 3209
Pietrzak, Krzysztof Z. “On the Parameterized Complexity of the Fixed Alphabet Shortest Common Supersequence and Longest Common Subsequence Problems.” Journal of Computer and System Sciences. Elsevier, 2003. https://doi.org/10.1016/S0022-0000(03)00078-3.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 3210
Maurer, Ueli, and Krzysztof Z Pietrzak. “The Security of Many Round Luby Rackoff Pseudo Random Permutations,” 2656:544–61. Springer, 2003. https://doi.org/10.1007/3-540-39200-9_34.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 3536
Buzsáki, György, Derek Buhl, Kenneth Harris, Jozsef L Csicsvari, Boldizsár Czéh, and Alexei Morozov. “Hippocampal Network Patterns of Activity in the Mouse.” Neuroscience. Elsevier, 2003. https://doi.org/10.1016/S0306-4522(02)00669-3.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 3556
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Morse-Smale Complexes for Piecewise Linear 3-Manifolds,” 361–70. ACM, 2003. https://doi.org/10.1145/777792.777846.
View
| DOI
| Download (ext.)
2003 |Published| Book Chapter | IST-REx-ID: 3573
Edelsbrunner, Herbert. “Surface Reconstruction by Wrapping Finite Sets in Space.” In Discrete & Computational Geometry, 379–404. Springer, 2003. https://doi.org/10.1007/978-3-642-55566-4_17.
View
| DOI
| Download (ext.)
2003 |Published| Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Simple Stochastic Parity Games,” 2803:100–113. Springer, 2003. https://doi.org/10.1007/978-3-540-45220-1_11.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs,” 2694:109–26. Springer, 2003. https://doi.org/10.1007/3-540-44898-5_7.
View
| DOI
2003 |Published| Book Review | IST-REx-ID: 3139
Chen, Hsiao, Simon Hippenmeyer, Silvia Arber, and Eric Frank. “Development of the Monosynaptic Stretch Reflex Circuit.” Current Opinion in Neurobiology. Elsevier, 2003. https://doi.org/10.1016/S0959-4388(03)00006-0.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 3171
Kolmogorov, Vladimir, Ramin Zabih, and Steven Gortler. “Generalized Multi Camera Scene Reconstruction Using Graph Cuts,” 2683:501–16. Springer, 2003. https://doi.org/10.1007/978-3-540-45063-4_32.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 13436
Michrowska, Anna, Michał Bieniek, Mikhail Kim, Rafal Klajn, and Karol Grela. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.” Tetrahedron. Elsevier, 2003. https://doi.org/10.1016/s0040-4020(03)00682-3.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces.” In Third International Conference on Embedded Software, 2855:117–33. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_9.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games.” In Proceedings of the 14th International Conference on Concurrency Theory, 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003. https://doi.org/10.1007/978-3-540-45187-7_9.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.” In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View
| DOI