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.

12078 Publications


earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3356 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.33
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, U., Chatterjee, K., Henzinger, T. A., & Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria. https://doi.org/10.15479/AT:IST-2011-0003
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, K., & Doyen, L. (2011). Partial-observation stochastic games: How to win when belief fails. IST Austria. https://doi.org/10.15479/AT:IST-2011-0007
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2011). A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/1985342.1985345
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2011 | Published | Journal Article | IST-REx-ID: 3354
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2011). Qualitative concurrent parity games. ACM Transactions on Computational Logic. ACM. https://doi.org/10.1145/1970398.1970404
View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, P., Heisenberg, C.-P. J., & Maître, J.-L. (2011). Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. Company of Biologists. https://doi.org/10.1242/dev.071233
[Published Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3379 | OA
Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2011.03.025
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 3781
Fasy, B. T. (2011). The difference in length of curves in R^n. Acta Scientiarum Mathematicarum. Springer Nature. https://doi.org/10.1007/BF03651375
View | DOI
 

2011 | Published | Conference Abstract | IST-REx-ID: 3383 | OA
Heisenberg, C.-P. J. (2011). Invited Lectures ‐ Symposia Area. In The FEBS Journal (Vol. 278, pp. 24–24). Torino, Italy: Wiley. https://doi.org/10.1111/j.1742-4658.2011.08136.x
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3368 | OA
Krens, G., Möllmert, S., & Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1010767108
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 3373 | OA
Jahnel, M., Behrndt, M., Jannasch, A., Schaeffer, E., & Grill, S. (2011). Measuring the complete force field of an optical trap. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/OL.36.001260
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3393 | OA
Barton, N. H., & Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. University of Chicago Press. https://doi.org/10.1086/661246
[Submitted Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 22556
Fatichi, S., Ivanov, V. Y., & Caporali, E. (2011). Simulation of future climate scenarios with a weather generator. Advances in Water Resources. Elsevier. https://doi.org/10.1016/j.advwatres.2010.12.013
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, R., Henzinger, T. A., Hottelier, T., & Kovács, L. (2010). ABC: Algebraic Bound Computation for loops. In E. M. Clarke & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (Vol. 6355, pp. 103–118). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-17511-4_7
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

earlier version | 2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen, C., & Freedman, D. (2010). Hardness results for homology localization. In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1594–1604). Austin, TX, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973075.129
View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 11097
Hetzer, M. (2010). The nuclear envelope. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory. https://doi.org/10.1101/cshperspect.a000539
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11098 | OA
Hetzer, M. (2010). The role of the nuclear pore complex in aging of post-mitotic cells. Aging. Impact Journals. https://doi.org/10.18632/aging.100125
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11099
Doucet, C. M., & Hetzer, M. (2010). Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. Springer Nature. https://doi.org/10.1007/s00412-010-0289-2
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11101 | OA
Doucet, C. M., Talamas, J. A., & Hetzer, M. (2010). Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. Elsevier. https://doi.org/10.1016/j.cell.2010.04.036
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11102 | OA
Capelson, M., Liang, Y., Schulte, R., Mair, W., Wagner, U., & Hetzer, M. (2010). Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2009.12.054
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed