ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5405 Publications

Search / Filter

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

Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.

View | DOI

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

TTP: Tool for Tumor Progression
J. Reiter, I. Bozic, K. Chatterjee, M. Nowak, TTP: Tool for Tumor Progression, IST Austria, 2013.

[Published Version] View | Files available | DOI

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

What is decidable about partially observable Markov decision processes with ω-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.

[Published Version] View | Files available | DOI

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 | Journal Article | IST-REx-ID: 827 |

Cytokinin cross talking during biotic and abiotic stress responses
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).

[Published Version] View | Files available | DOI

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

Systems approaches to study root architecture dynamics
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).

[Published Version] View | Files available | DOI

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

Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality 5 (2013) 137–166.

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

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

Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.

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

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

Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.

[Submitted Version] View | Files available | DOI

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

Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.

View | DOI