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.

334 Publications

Search / Filter

2011 | Published | Conference Paper | IST-REx-ID: 9648 |

Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.

[Published Version] View | DOI | Download Published Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 967 |

Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 84 (2011).

View | DOI | Download (ext.)

2011 | Published | Journal Article | IST-REx-ID: 968

Serbyn et al. Reply:
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, Physical Review Letters 106 (2011).

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 969 |

Isotope effect on the superfluid density in conventional and high-temperature superconductors
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 83 (2011).

View | DOI | Download (ext.)

2011 | Research Data Reference | IST-REx-ID: 9762 |

Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas)
F. Palero, P. Abello, E. Macpherson, M. Beaumont, M. Pascual, (2011).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 469 |

Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2011 | Published | Journal Article | IST-REx-ID: 490 |

BioSig: The free and open source software library for biomedical signal processing
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).

[Published Version] View | Files available | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 491

Setting the clock for recirculating lymphocytes
A. Eichner, M.K. Sixt, Science Signaling 4 (2011).

View | DOI | WoS

2011 | Published | Journal Article | IST-REx-ID: 518 |

CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
D. Schraivogel, L. Weinmann, D. Beier, G. Tabatabai, A. Eichner, J. Zhu, M. Anton, M.K. Sixt, M. Weller, C. Beier, G. Meister, EMBO Journal 30 (2011) 4309–4322.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC

2011 | Published | Journal Article | IST-REx-ID: 531 |

Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2011 | Published | Technical Report | IST-REx-ID: 5379 |

An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5380 |

Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5381 |

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 | Technical Report | IST-REx-ID: 5382 |

Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5383 |

On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5384 |

Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5385 |

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

2011 | Published | Technical Report | IST-REx-ID: 5386 |

Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Technical Report | IST-REx-ID: 5387 |

Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.

[Published Version] View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 580

Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.

View | DOI