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.
133 Publications
2004 |
Published |
Journal Article |
IST-REx-ID: 3809
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2004). Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus. Nature. Nature Publishing Group. https://doi.org/10.1038/nature02553
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3810
Oliver, D., Lien, C., Soom, M., Baukrowitz, T., Jonas, P. M., & Fakler, B. (2004). Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1094113
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 3894
Chatterjee, K., Majumdar, R., & Jurdziński, M. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 3895
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2004). Games with secure equilibria (pp. 160–169). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2004.1319610
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3918
Heinze, J., Böttcher, A., & Cremer, S. (2004). Production of winged and wingless males in the ant, Cardiocondyla minutior. Insectes Sociaux. Springer. https://doi.org/10.1007/s00040-004-0740-6
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3929
Witte, V., Laffert, B., Rosorius, O., Lischka, P., Blume, K., Galler, G., … Baur, A. (2004). HIV-1 Nef mimics an integrin receptor signal that recruits the polycomb group protein Eed to the plasma membrane. Molecular Cell. Cell Press. https://doi.org/10.1016/S1097-2765(04)00004-8
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3931
Zhang, H., Baader, S., Sixt, M. K., Kappler, J., & Rauch, U. (2004). Neurocan-GFP fusion protein: a new approach to detect hyaluronan on tissue sections and living cells. Journal of Histochemistry and Cytochemistry. Histochemical Society. https://doi.org/10.1369/jhc.3A6221.2004
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3984
Bremer, P., Edelsbrunner, H., Hamann, B., & Pascucci, V. (2004). A topological hierarchy for functions on triangulated surfaces. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.3
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3985
Cole Mclaughlin, K., Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Loops in Reeb graphs of 2-manifolds. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1122-6
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3986
Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-004-1099-1
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 3987
Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2004.32
View
| DOI
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. Springer. https://doi.org/10.1007/s00454-004-2864-x
View
| DOI
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
earlier version | 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. Elsevier. https://doi.org/10.1016/j.jtbi.2003.11.012
View
| Files available
| 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 J. Seckbach, J. Chela Flores, T. Owen, & F. Raulin (Eds.), Life in the Universe. From the Miller Experiment to the Search for Life on Other Worlds (Vol. 7, pp. 83–87). Springer. https://doi.org/10.1007/978-94-007-1003-0_12
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-30206-3_12
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: 4558 |
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games. In Proceedings of the 15th annual ACM-SIAM symposium on Discrete algorithms (pp. 121–130). New Orleans, LA, United States: Association for Computing Machinery. https://doi.org/10.5555/982792.982808
[Preprint]
View
| DOI
| Download Preprint (ext.)
2004 |
Published |
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, Barcelona, Spain: Springer Nature. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2004 |
Published |
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, Verona, Italy: Springer. https://doi.org/10.1007/978-3-540-27864-1_2
View
| DOI