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.

12248 Publications


earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal Specifications with Accumulative Values. IST Austria; 2011. doi: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. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria; 2011. doi: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 TA, Lee E. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems. 2011;33(4). doi: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 TA. Qualitative concurrent parity games. ACM Transactions on Computational Logic. 2011;12(4). doi:10.1145/1970398.1970404
View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3396 | OA
Stockinger P, Heisenberg C-PJ, Maître J-L. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 2011;138(21):4673-4683. doi: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-PJ, Kimelman D. Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. 2011;354(1):102-110. doi: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 BT. The difference in length of curves in R^n. Acta Scientiarum Mathematicarum. 2011;77(1-2):359-367. doi:10.1007/BF03651375
View | DOI
 

2011 | Published | Conference Abstract | IST-REx-ID: 3383 | OA
Heisenberg C-PJ. Invited Lectures ‐ Symposia Area. In: The FEBS Journal. Vol 278. Wiley; 2011:24-24. doi: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-PJ. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 2011;108(3):E9-E10. doi: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. Measuring the complete force field of an optical trap. Optics Letters. 2011;36(7):1260-1262. doi: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 NH, Turelli M. Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. 2011;178(3):E48-E75. doi:10.1086/661246
[Submitted Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 22556
Fatichi S, Ivanov VY, Caporali E. Simulation of future climate scenarios with a weather generator. Advances in Water Resources. 2011;34(4):448-467. doi:10.1016/j.advwatres.2010.12.013
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3375 | OA
de Vladar H, Barton NH. The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. 2011;8(58):720-739. doi:10.1098/rsif.2010.0438
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
Blanc R, Henzinger TA, Hottelier T, Kovács L. ABC: Algebraic Bound Computation for loops. In: Clarke EM, Voronkov A, eds. Logic for Programming, Artificial Intelligence, and Reasoning. Vol 6355. LNCS. Berlin, Heidelberg: Springer Nature; 2010:103-118. doi: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. Hardness results for homology localization. In: Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2010:1594-1604. doi:10.1137/1.9781611973075.129
View | Files available | DOI
 

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

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

2010 | Published | Journal Article | IST-REx-ID: 11099
Doucet CM, Hetzer M. Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. 2010;119:469-477. doi:10.1007/s00412-010-0289-2
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 11101 | OA
Doucet CM, Talamas JA, Hetzer M. Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. 2010;141(6):1030-1041. doi: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. Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. 2010;140(3):372-383. doi: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: AMA

Export / Embed