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.
1621 Publications
2004 |Published| Book Chapter | IST-REx-ID: 4461
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.” In Verification: Theory and Practice, 2772:332–58. Springer, 2004. https://doi.org/10.1007/978-3-540-39910-0_16.
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4525
Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,” 2993:167–70. Springer, 2004. https://doi.org/10.1007/978-3-540-24743-2_24.
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4578
Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,” 3148:2–18. Springer, 2004. https://doi.org/10.1007/978-3-540-27864-1_2.
View
| DOI
2004 |Published| Conference Paper | IST-REx-ID: 4629
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,” 2988:77–92. Springer, 2004. https://doi.org/10.1007/978-3-540-24730-2_6.
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 6155
Cheung, Benny H.H, Fausto Arellano-Carbajal, Irene Rybicki, and Mario de Bono. “Soluble Guanylate Cyclases Act in Neurons Exposed to the Body Fluid to Promote C. Elegans Aggregation Behavior.” Current Biology. Elsevier, 2004. https://doi.org/10.1016/j.cub.2004.06.027.
View
| DOI
| PubMed | Europe PMC
2004 |Published| Journal Article | IST-REx-ID: 7334
Mantzaras, John, Stefan Alexander Freunberger, Felix N. Büchi, Markus Roos, Wilhelm Brandstätter, Michel Prestat, Ludwig J. Gauckler, et al. “Fuel Cell Modeling and Simulations.” CHIMIA International Journal for Chemistry. Swiss Chemical Society, 2004. https://doi.org/10.2533/000942904777677029.
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 889
Kern, Andrew, and Fyodor Kondrashov. “Mechanisms and Convergence of Compensatory Evolution in Mammalian Mitochondrial TRNAs.” Nature Genetics. Nature Publishing Group, 2004. https://doi.org/10.1038/ng1451.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 11764
Goel, Ashish, Monika H Henzinger, Serge Plotkin, and Eva Tardos. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Journal of Algorithms. Elsevier, 2003. https://doi.org/10.1016/s0196-6774(03)00054-3.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 205
Browning, Timothy D. “Counting Rational Points on Cubic and Quartic Surfaces.” Acta Arithmetica. Instytut Matematyczny, 2003. https://doi.org/10.4064/aa108-3-7.
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 206
Browning, Timothy D. “A Note on the Distribution of Rational Points on Threefolds.” Quarterly Journal of Mathematics. Unknown, 2003. https://doi.org/10.1093/qjmath/54.1.33.
View
| DOI
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: 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.)