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.

367 Publications

Search / Filter

2013 | Published | Report | IST-REx-ID: 5401 |

Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.

[Published Version] View | Files available

2013 | Published | Technical Report | IST-REx-ID: 5402 |

How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5403 |

Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5404 |

The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5405 |

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5406 |

Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Report | IST-REx-ID: 5407 |

Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.

[Published Version] View | Files available

2013 | Published | Technical Report | IST-REx-ID: 5408 |

The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5409 |

Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Technical Report | IST-REx-ID: 5410 |

Automatic generation of alternative starting positions for traditional board games
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.

[Published Version] View | Files available | DOI

2013 | Published | Book Chapter | IST-REx-ID: 5747 |

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.

View | Files available | DOI

2013 | Published | Conference Paper | IST-REx-ID: 590

Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 591

Adjustable and robust methods for polarization-dependent focusing
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 5920

Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
C.J. Hillar, A. Martin del Campo Sanchez, Journal of Symbolic Computation 50 (2013) 314–334.

View | Files available | DOI

2013 | Published | Journal Article | IST-REx-ID: 595 |

Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.

View | DOI | Download None (ext.)

2013 | Published | Journal Article | IST-REx-ID: 7595

Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development
Y. Tang, S. Tan, H. Xue, Acta Biochimica et Biophysica Sinica 45 (2013) 549–560.

View | DOI | PubMed | Europe PMC

2013 | Published | Journal Article | IST-REx-ID: 7596

Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling
S. Tan, C. Dai, H.-T. Liu, H.-W. Xue, The Plant Cell 25 (2013) 2618–2632.

View | DOI | PubMed | Europe PMC

2013 | Published | Conference Paper | IST-REx-ID: 765

Randomized loose renaming in O(loglogn) time
D.-A. Alistarh, J. Aspnes, G. Giakkoupis, P. Woelfel, in:, ACM, 2013, pp. 200–209.

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 7745

Partitioning of genetic variation across the genome using multimarker methods in a wild bird population
M.R. Robinson, A.W. Santure, I. DeCauwer, B.C. Sheldon, J. Slate, Molecular Ecology 22 (2013) 3963–3980.

View | DOI

2013 | Published | Journal Article | IST-REx-ID: 7746

Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population
A.W. Santure, I. De Cauwer, M.R. Robinson, J. Poissant, B.C. Sheldon, J. Slate, Molecular Ecology 22 (2013) 3949–3962.

View | DOI