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 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4578
Beyer, D., Chlipala, A., Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). The BLAST query language for software verification (Vol. 3148, pp. 2–18). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI
2004 | Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2004.06.027
View
| DOI
| PubMed | Europe PMC
2004 | Journal Article | IST-REx-ID: 7334
Mantzaras, J., Freunberger, S. A., Büchi, F. N., Roos, M., Brandstätter, W., Prestat, M., … Maréchal, F. (2004). Fuel cell modeling and simulations. CHIMIA International Journal for Chemistry. Swiss Chemical Society. https://doi.org/10.2533/000942904777677029
View
| DOI
2004 | Journal Article | IST-REx-ID: 889
Kern, A., & Kondrashov, F. (2004). Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng1451
View
| DOI
2003 | Journal Article | IST-REx-ID: 11764
Goel, A., Henzinger, M. H., Plotkin, S., & Tardos, E. (2003). Scheduling data transfers in a network and the set scheduling problem. Journal of Algorithms. Elsevier. https://doi.org/10.1016/s0196-6774(03)00054-3
View
| DOI
2003 | Journal Article | IST-REx-ID: 205
Browning, T. D. (2003). Counting rational points on cubic and quartic surfaces. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa108-3-7
View
| DOI
2003 | Journal Article | IST-REx-ID: 206
Browning, T. D. (2003). A note on the distribution of rational points on threefolds. Quarterly Journal of Mathematics. Unknown. https://doi.org/10.1093/qjmath/54.1.33
View
| DOI
2003 | Journal Article | IST-REx-ID: 208
Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qjmath/54.1.11
View
| DOI
2003 | Journal Article | IST-REx-ID: 2628
Momiyama, A., Silver, R., Häusser, M., Notomi, T., Wu, Y., Shigemoto, R., & Cull Candy, S. (2003). 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. https://doi.org/10.1113/jphysiol.2002.033472
View
| DOI
2003 | Journal Article | IST-REx-ID: 2631
Higashida, H., Zhang, J., Mochida, S., Chen, X., Shin, Y., Noda, M., … Yokoyama, S. (2003). 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. https://doi.org/10.1046/j.1471-4159.2003.01751.x
View
| DOI
2003 | Journal Article | IST-REx-ID: 2996
Benková, E., Michniewicz, M., Sauer, M., Teichmann, T., Seifertová, D., Jürgens, G., & Friml, J. (2003). Local, efflux-dependent auxin gradients as a common module for plant organ formation. Cell. Cell Press. https://doi.org/10.1016/S0092-8674(03)00924-3
View
| DOI
2003 | Journal Article | IST-REx-ID: 3209
Pietrzak, K. Z. (2003). On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/S0022-0000(03)00078-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3210
Maurer, U., & Pietrzak, K. Z. (2003). The security of many round Luby Rackoff pseudo random permutations (Vol. 2656, pp. 544–561). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/3-540-39200-9_34
View
| DOI
2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, G., Buhl, D., Harris, K., Csicsvari, J. L., Czéh, B., & Morozov, A. (2003). Hippocampal network patterns of activity in the mouse. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(02)00669-3
View
| DOI
2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2003). Morse-Smale complexes for piecewise linear 3-manifolds (pp. 361–370). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/777792.777846
View
| DOI
| Download (ext.)
2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, H. (2003). Surface reconstruction by wrapping finite sets in space. In Discrete & Computational Geometry (pp. 379–404). Springer. https://doi.org/10.1007/978-3-642-55566-4_17
View
| DOI
| Download (ext.)