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.

12224 Publications


2011 | Published | Journal Article | IST-REx-ID: 18411
Shape recognition with spectral distances
M.M. Bronstein, A.M. Bronstein, IEEE Transactions on Pattern Analysis and Machine Intelligence 33 (2011) 1065–1071.
View | DOI | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 18433
Shape google: Geometric words and expressions for invariant shape retrieval
A.M. Bronstein, M.M. Bronstein, L.J. Guibas, M. Ovsjanikov, ACM Transactions on Graphics 30 (2011) 1–20.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 22061 | OA
The radial defocusing energy-supercritical nonlinear wave equation in all space dimensions
R. Killip, M. Vişan, Proceedings of the American Mathematical Society 139 (2011) 1805–1817.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 3315 | OA
Timed parity games: Complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, Logical Methods in Computer Science 7 (2011).
[Published Version] View | Files available | DOI
 

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

earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3356 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, in:, IEEE, 2011.
[Submitted Version] View | Files available | DOI | WoS
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

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

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

2011 | Published | Journal Article | IST-REx-ID: 3396 | OA
Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube
P. Stockinger, C.-P.J. Heisenberg, J.-L. Maître, Development 138 (2011) 4673–4683.
[Published Version] View | Files available | DOI | WoS
 

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

2011 | Published | Journal Article | IST-REx-ID: 3781
The difference in length of curves in R^n
B.T. Fasy, Acta Scientiarum Mathematicarum 77 (2011) 359–367.
View | DOI
 

2011 | Published | Conference Abstract | IST-REx-ID: 3383 | OA
Invited Lectures ‐ Symposia Area
C.-P.J. Heisenberg, in:, The FEBS Journal, Wiley, 2011, pp. 24–24.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3368 | OA
Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
G. Krens, S. Möllmert, C.-P.J. Heisenberg, PNAS 108 (2011) E9–E10.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 3373 | OA
Measuring the complete force field of an optical trap
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, S. Grill, Optics Letters 36 (2011) 1260–1262.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3393 | OA
Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects
N.H. Barton, M. Turelli, American Naturalist 178 (2011) E48–E75.
[Submitted Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 22556
Simulation of future climate scenarios with a weather generator
S. Fatichi, V.Y. Ivanov, E. Caporali, Advances in Water Resources 34 (2011) 448–467.
View | DOI
 

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

2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed