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
2004 |Published| Conference Paper | IST-REx-ID: 3988
Local search heuristic for rigid protein docking
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
View
| DOI
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Springer, 2004, pp. 218–229.
2004 |Published| Journal Article | IST-REx-ID: 3985
Loops in Reeb graphs of 2-manifolds
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete & Computational Geometry 32 (2004) 231–244.
View
| DOI
K. Cole Mclaughlin, H. Edelsbrunner, J. Harer, V. Natarajan, V. Pascucci, Discrete & Computational Geometry 32 (2004) 231–244.
2004 |Published| Book Chapter | IST-REx-ID: 4461
Extreme model checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer, 2004, pp. 332–358.
2004 |Published| Conference Paper | IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, ACM, 2004, pp. 1–13.
2004 |Published| Conference Paper | IST-REx-ID: 4525
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
View
| DOI
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer, 2004, pp. 167–170.
2004 |Published| Conference Paper | IST-REx-ID: 4578
The BLAST query language for software verification
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2004, pp. 2–18.
2004 |Published| Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
2004 |Published| Journal Article | IST-REx-ID: 6155
Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
View
| DOI
| PubMed | Europe PMC
B.H.. Cheung, F. Arellano-Carbajal, I. Rybicki, M. de Bono, Current Biology 14 (2004) 1105–1111.
2004 |Published| Journal Article | IST-REx-ID: 7334
Fuel cell modeling and simulations
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
View
| DOI
J. Mantzaras, S.A. Freunberger, F.N. Büchi, M. Roos, W. Brandstätter, M. Prestat, L.J. Gauckler, B. Andreaus, F. Hajbolouri, S.M. Senn, D. Poulikakos, A.K. Chaniotis, D. Larrain, N. Autissier, F. Maréchal, CHIMIA International Journal for Chemistry 58 (2004) 857–868.
2004 |Published| Journal Article | IST-REx-ID: 889
Mechanisms and convergence of compensatory evolution in mammalian mitochondrial tRNAs
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
View
| DOI
A. Kern, F. Kondrashov, Nature Genetics 36 (2004) 1207–1212.
2003 |Published| Journal Article | IST-REx-ID: 11122
The conserved Nup107-160 complex is critical for nuclear pore complex assembly
T.C. Walther, A. Alves, H. Pickersgill, I. Loı̈odice, M. Hetzer, V. Galy, B.B. Hülsmann, T. Köcher, M. Wilm, T. Allen, I.W. Mattaj, V. Doye, Cell 113 (2003) 195–206.
[Published Version]
View
| DOI
| PubMed | Europe PMC
T.C. Walther, A. Alves, H. Pickersgill, I. Loı̈odice, M. Hetzer, V. Galy, B.B. Hülsmann, T. Köcher, M. Wilm, T. Allen, I.W. Mattaj, V. Doye, Cell 113 (2003) 195–206.
2003 |Published| Journal Article | IST-REx-ID: 11766 | 
Scheduling multicasts on unit-capacity trees and meshes
M.H. Henzinger, S. Leonardi, Journal of Computer and System Sciences 66 (2003) 567–611.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.H. Henzinger, S. Leonardi, Journal of Computer and System Sciences 66 (2003) 567–611.
2003 |Published| Journal Article | IST-REx-ID: 11764
Scheduling data transfers in a network and the set scheduling problem
A. Goel, M.H. Henzinger, S. Plotkin, E. Tardos, Journal of Algorithms 48 (2003) 314–332.
View
| DOI
A. Goel, M.H. Henzinger, S. Plotkin, E. Tardos, Journal of Algorithms 48 (2003) 314–332.
2003 |Published| Journal Article | IST-REx-ID: 205
Counting rational points on cubic and quartic surfaces
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
View
| DOI
T.D. Browning, Acta Arithmetica 108 (2003) 275–295.
2003 |Published| Journal Article | IST-REx-ID: 206
A note on the distribution of rational points on threefolds
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 33–39.
2003 |Published| Journal Article | IST-REx-ID: 208
Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
2003 |Published| Journal Article | IST-REx-ID: 2628
The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.
View
| DOI
A. Momiyama, R. Silver, M. Häusser, T. Notomi, Y. Wu, R. Shigemoto, S. Cull Candy, Journal of Physiology 549 (2003) 75–92.
2003 |Published| Journal Article | IST-REx-ID: 2631
Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells
H. Higashida, J. Zhang, S. Mochida, X. Chen, Y. Shin, M. Noda, K. Hossain, N. Hoshi, M. Hashii, R. Shigemoto, S. Nakanishi, Y. Fukuda, S. Yokoyama, Journal of Neurochemistry 85 (2003) 1148–1158.
View
| DOI
H. Higashida, J. Zhang, S. Mochida, X. Chen, Y. Shin, M. Noda, K. Hossain, N. Hoshi, M. Hashii, R. Shigemoto, S. Nakanishi, Y. Fukuda, S. Yokoyama, Journal of Neurochemistry 85 (2003) 1148–1158.
2003 |Published| Journal Article | IST-REx-ID: 2996
Local, efflux-dependent auxin gradients as a common module for plant organ formation
E. Benková, M. Michniewicz, M. Sauer, T. Teichmann, D. Seifertová, G. Jürgens, J. Friml, Cell 115 (2003) 591–602.
View
| DOI
E. Benková, M. Michniewicz, M. Sauer, T. Teichmann, D. Seifertová, G. Jürgens, J. Friml, Cell 115 (2003) 591–602.
2003 |Published| Journal Article | IST-REx-ID: 3150
Spontaneous receptor-independent heterotrimeric G-protein signalling in an RGS mutant
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.
View
| DOI
D.E. Siekhaus, D. Drubin, Nature Cell Biology 5 (2003) 231–235.