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.

12189 Publications


2011 | Published | Journal Article | IST-REx-ID: 18411
Bronstein, M. M., & Bronstein, A. M. (2011). Shape recognition with spectral distances. IEEE Transactions on Pattern Analysis and Machine Intelligence. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/tpami.2010.210
View | DOI | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 18433
Bronstein, A. M., Bronstein, M. M., Guibas, L. J., & Ovsjanikov, M. (2011). Shape google: Geometric words and expressions for invariant shape retrieval. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/1899404.1899405
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 22061 | OA
Killip, R., & Vişan, M. (2011). The radial defocusing energy-supercritical nonlinear wave equation in all space dimensions. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s0002-9939-2010-10615-9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation for Computational Logic. https://doi.org/10.2168/LMCS-7(4:8)2011
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3302 | OA
Henzinger, T. A., Singh, A., Singh, V., Wies, T., & Zufferey, D. (2011). Static scheduling in clouds. In 3rd USENIX Workshop on Hot Topics in Cloud Computing (pp. 1–6). Portland, OR, United States: Usenix Association.
[Submitted Version] View | Files available
 

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
 

2011 | Published | Journal Article | IST-REx-ID: 3375 | OA
de Vladar, H., & Barton, N. H. (2011). The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. Royal Society. https://doi.org/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, 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
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed