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. 2004. Computing the writhing number of a polygonal knot. Discrete & Computational Geometry. 32(1), 37–53.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4172
Montero J, Heisenberg C-PJ. 2004. Gastrulation dynamics: cells move into focus. Trends in Cell Biology. 14(11), 620–627.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4224
Kruse K, Pantazis P, Bollenbach MT, Julicher F, Gonzalez Gaitan M. 2004. Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development. 131(19), 4843–4856.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4230
de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A mechanism for the prebiotic emergence of proteins. In: Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Cellular Origin and Life in Extreme Habitats and Astrobiology, , 83–87.
View
 

2004 | Published | Thesis | IST-REx-ID: 4236
de Vladar H. 2004. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4238
de Vladar H, González J. 2004. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology. 227(3), 335–348.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4239
de Vladar H, Cipriani R, Scharifker B, Bubis J. 2004.A Mechanism for the Prebiotic Emergence of Proteins. In: Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds. Cellular Origin, Life in Extreme Habitats and Astrobiology, vol. 7, 83–87.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background. Annals of Applied Probability. 14(2), 754–785.
View | Download (ext.)
 

2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler O, Nickovic D. 2004. Monitoring Temporal Properties of Continuous Signals. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 152–166.
View | DOI
 

2004 | Published | Thesis | IST-REx-ID: 4424
Jhala R. 2004. Program verification by lazy abstraction. University of California, Berkeley.
View
 

2004 | Published | Conference Paper | IST-REx-ID: 4445
Henzinger TA, Kirsch C. 2004. A typed assembly language for real-time programs. EMSOFT: Embedded Software , 104–113.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4458
Henzinger TA, Jhala R, Majumdar R, Mcmillan K. 2004. Abstractions from proofs. POPL: Principles of Programming Languages, 232–244.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4459
Henzinger TA, Jhala R, Majumdar R. 2004. Race checking by context inference. PLDI: Programming Languages Design and Implementation, 1–13.
View | DOI
 

2004 | Published | Book Chapter | IST-REx-ID: 4461
Henzinger TA, Jhala R, Majumdar R, Sanvido M. 2004.Extreme model checking. In: Verification: Theory and Practice. LNCS, vol. 2772, 332–358.
View | DOI
 

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

2004 | Published | Conference Paper | IST-REx-ID: 4555
Chatterjee K, De Alfaro L, Henzinger TA. 2004. Trading memory for randomness. QEST: Quantitative Evaluation of Systems, 206–217.
View | DOI
 

2004 | Published | Journal Article | IST-REx-ID: 4556
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2004. Stack size analysis for interrupt-driven programs. Information and Computation. 194(2), 144–174.
View | DOI
 

2004 | Published | Conference Paper | IST-REx-ID: 4558
Chatterjee K, Jurdziński M, Henzinger TA. 2004. Quantitative stochastic parity games. SODA: Symposium on Discrete Algorithms, 121–130.
View
 

2003 | Published | Journal Article | IST-REx-ID: 2623
Coesmans M, Sillevis Smitt P, Linden D, Shigemoto R, Hirano T, Yamakawa Y, Van Alphen A, Luo C, Van Der Geest J, Kros J, Gaillard C, Frens M, De Zeeuw C. 2003. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 53(3), 325–336.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 2625
Minami I, Kengaku M, Smitt S, Shigemoto R, Hirano T. 2003. Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. 17(5), 1023–1032.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed