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.

1790 Publications


2004 |Published| Conference Paper | IST-REx-ID: 4459
T. A. Henzinger, R. Jhala, and R. Majumdar, “Race checking by context inference,” presented at the PLDI: Programming Languages Design and Implementation, 2004, pp. 1–13.
View | DOI
 

2004 |Published| Conference Paper | IST-REx-ID: 4525
A. Ghosal, T. A. Henzinger, C. Kirsch, and M. Sanvido, “Event-driven programming with logical execution times,” presented at the HSCC: Hybrid Systems - Computation and Control, 2004, vol. 2993, pp. 167–170.
View | DOI
 

2004 |Published| Conference Paper | IST-REx-ID: 4578
D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, “The BLAST query language for software verification,” presented at the SAS: Static Analysis Symposium, 2004, vol. 3148, pp. 2–18.
View | DOI
 

2004 |Published| Conference Paper | IST-REx-ID: 4629
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2004, vol. 2988, pp. 77–92.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 6155
B. H. . Cheung, F. Arellano-Carbajal, I. Rybicki, and M. de Bono, “Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior,” Current Biology, vol. 14, no. 12. Elsevier, pp. 1105–1111, 2004.
View | DOI | PubMed | Europe PMC
 

2004 |Published| Journal Article | IST-REx-ID: 7334
J. Mantzaras et al., “Fuel cell modeling and simulations,” CHIMIA International Journal for Chemistry, vol. 58, no. 12. Swiss Chemical Society, pp. 857–868, 2004.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 889
A. Kern and F. Kondrashov, “Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs,” Nature Genetics, vol. 36, no. 11. Nature Publishing Group, pp. 1207–1212, 2004.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 11764
A. Goel, M. H. Henzinger, S. Plotkin, and E. Tardos, “Scheduling data transfers in a network and the set scheduling problem,” Journal of Algorithms, vol. 48, no. 2. Elsevier, pp. 314–332, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 205
T. D. Browning, “Counting rational points on cubic and quartic surfaces,” Acta Arithmetica, vol. 108, no. 3. Instytut Matematyczny, pp. 275–295, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 206
T. D. Browning, “A note on the distribution of rational points on threefolds,” Quarterly Journal of Mathematics, vol. 54, no. 1. Unknown, pp. 33–39, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 208
T. D. Browning, “Counting rational points on diagonal quadratic surfaces,” Quarterly Journal of Mathematics, vol. 54, no. 1. Oxford University Press, pp. 11–31, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 2628
A. Momiyama et al., “The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats,” Journal of Physiology, vol. 549, no. 1. Wiley-Blackwell, pp. 75–92, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 2631
H. Higashida 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, vol. 85, no. 5. Wiley-Blackwell, pp. 1148–1158, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 2996
E. Benková et al., “Local, efflux-dependent auxin gradients as a common module for plant organ formation,” Cell, vol. 115, no. 5. Cell Press, pp. 591–602, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 3150
D. E. Siekhaus and D. Drubin, “Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant,” Nature Cell Biology, vol. 5, no. 3. Nature Publishing Group, pp. 231–235, 2003.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 3209
K. Z. Pietrzak, “On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems,” Journal of Computer and System Sciences, vol. 67, no. 4. Elsevier, pp. 757–771, 2003.
View | DOI
 

2003 |Published| Conference Paper | IST-REx-ID: 3210
U. Maurer and K. Z. Pietrzak, “The security of many round Luby Rackoff pseudo random permutations,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2003, vol. 2656, pp. 544–561.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 3536
G. Buzsáki, D. Buhl, K. Harris, J. L. Csicsvari, B. Czéh, and A. Morozov, “Hippocampal network patterns of activity in the mouse,” Neuroscience, vol. 116, no. 1. Elsevier, pp. 201–211, 2003.
View | DOI
 

2003 |Published| Conference Paper | IST-REx-ID: 3556
H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Morse-Smale complexes for piecewise linear 3-manifolds,” presented at the SCG: Symposium on Computational Geometry, 2003, pp. 361–370.
View | DOI | Download (ext.)
 

2003 |Published| Book Chapter | IST-REx-ID: 3573
H. Edelsbrunner, “Surface reconstruction by wrapping finite sets in space,” in Discrete & Computational Geometry, Springer, 2003, pp. 379–404.
View | DOI | Download (ext.)
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications