ISTA Research Explorer

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.

7110 Publications

Search / Filter

2012 | Published | Journal Article | IST-REx-ID: 2769

The local relaxation flow approach to universality of the local statistics for random matrices
L. Erdös, B. Schlein, H. Yau, J. Yin, Annales de l’institut Henri Poincare (B) Probability and Statistics 48 (2012) 1–46.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 2770

Rigidity of eigenvalues of generalized Wigner matrices
L. Erdös, H. Yau, J. Yin, Advances in Mathematics 229 (2012) 1435–1515.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 2771

Anderson localization at band edges for random magnetic fields
L. Erdös, D. Hasler, Journal of Statistical Physics 146 (2012) 900–923.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 492 |

GiA Roots: Software for the high throughput analysis of plant root system architecture
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 493 |

Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 494

Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 495 |

A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.

[Published Version] View | Files available | DOI

2012 | Published | Conference Paper | IST-REx-ID: 496 |

Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.

[Preprint] View | DOI | Download Preprint (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 497 |

Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 498 |

Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 506 |

Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.

[Published Version] View | Files available | DOI

2012 | Published | Technical Report | IST-REx-ID: 5377 |

Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.

[Published Version] View | Files available | DOI

2012 | Published | Technical Report | IST-REx-ID: 5378 |

Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.

[Published Version] View | Files available | DOI

2012 | Published | Technical Report | IST-REx-ID: 5396 |

Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.

[Published Version] View | Files available | DOI

2012 | Published | Report | IST-REx-ID: 5398 |

Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.

[Published Version] View | Files available

2012 | Published | Journal Article | IST-REx-ID: 5839 |

An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 596 |

Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, D. Taatjes, Journal of Molecular Biology 417 (2012) 387–394.

View | DOI | Download None (ext.)

2012 | Published | Journal Article | IST-REx-ID: 171 |

Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.

View | DOI | Download (ext.)

2012 | Published | Journal Article | IST-REx-ID: 1725

Developmental pattern formation: Insights from physics and biology
A. Kicheva, M. Cohen, J. Briscoe, Science 338 (2012) 210–212.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 1756 |

Multifunctional devices and logic gates with undoped silicon nanowires
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079.

View | DOI | Download (ext.)