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.
8920 Publications
2004 |
Published |
Journal Article |
IST-REx-ID: 3990
Agarwal P, Edelsbrunner H, Wang Y. Computing the writhing number of a polygonal knot. Discrete & Computational Geometry. 2004;32(1):37-53. doi:10.1007/s00454-004-2864-x
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4172
Montero J, Heisenberg C-PJ. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 2004;14(11):620-627. doi:10.1016/j.tcb.2004.09.008
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4224
Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 2004;131(19):4843-4856. doi:10.1242/dev.01335
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4230
de Vladar H, Cipriani R, Scharifker B, Bubis J. A mechanism for the prebiotic emergence of proteins. In: Hanslmeier A, Kempe S, Seckbach J, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Springer; 2004:83-87.
View
2004 |
Published |
Book Chapter |
IST-REx-ID: 4239
de Vladar H, Cipriani R, Scharifker B, Bubis J. A Mechanism for the Prebiotic Emergence of Proteins. In: Seckbach J, Chela Flores J, Owen T, Raulin F, eds. Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Vol 7. Springer; 2004:83-87. doi:3807
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals of Applied Probability. 2004;14(2):754-785.
View
| Download (ext.)
2004 |
Published |
Thesis |
IST-REx-ID: 4424
Jhala R. Program verification by lazy abstraction. 2004:1-165.
View
2004 |
Published |
Conference Paper |
IST-REx-ID: 4445
Henzinger TA, Kirsch C. A typed assembly language for real-time programs. In: ACM; 2004:104-113. doi:10.1145/1017753.1017774
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. Abstractions from proofs. In: ACM; 2004:232-244. doi:10.1145/964001.964021
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. Race checking by context inference. In: ACM; 2004:1-13. doi:10.1145/996841.996844
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. Extreme model checking. In: Verification: Theory and Practice. Vol 2772. Springer; 2004:332-358. doi:10.1007/978-3-540-39910-0_16
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525
Ghosal A, Henzinger TA, Kirsch C, Sanvido M. Event-driven programming with logical execution times. In: Vol 2993. Springer; 2004:167-170. doi:10.1007/978-3-540-24743-2_24
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. Trading memory for randomness. In: IEEE; 2004:206-217. doi:10.1109/QEST.2004.10051
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs. Information and Computation. 2004;194(2):144-174. doi:10.1016/j.ic.2004.06.001
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. Quantitative stochastic parity games. In: SIAM; 2004:121-130.
View
2003 |
Published |
Journal Article |
IST-REx-ID: 2623
Coesmans M, Sillevis Smitt P, Linden D, et al. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 2003;53(3):325-336. doi:10.1002/ana.10451
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2625
Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 2003;17(5):1023-1032. doi:10.1046/j.1460-9568.2003.02499.x
View
| DOI