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.

6613 Publications

Search / Filter

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5413 |

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5414 |

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, M. Chmelik, CEGAR for Qualitative Analysis of Probabilistic Systems, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 |

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5416 |

Model measuring for hybrid systems
T.A. Henzinger, J. Otop, Model Measuring for Hybrid Systems, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5417 |

From model checking to model measuring
T.A. Henzinger, J. Otop, From Model Checking to Model Measuring, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5418 |

Games with a weak adversary
K. Chatterjee, L. Doyen, Games with a Weak Adversary, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5419 |

Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5420 |

The value 1 problem for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, The Value 1 Problem for Concurrent Mean-Payoff Games, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5421 |

The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolution on Graphs, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Report | IST-REx-ID: 5422 |

Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland, none, 2014.

View | Files available

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5423 |

A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Kössler, A. Pavlogiannis, U. Schmid, A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5424 |

Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5426 |

Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Technical Report | IST-REx-ID: 5427 |

Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs, IST Austria, 2014.

[Published Version] View | Files available | DOI

earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5428 |

Quantitative fair simulation games
K. Chatterjee, T.A. Henzinger, J. Otop, Y. Velner, Quantitative Fair Simulation Games, IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 | Published | Book Chapter | IST-REx-ID: 6178

UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, C.-P.J. Heisenberg, in:, C. Nelson (Ed.), Tissue Morphogenesis, Springer, New York, 2014, pp. 219–235.

View | DOI | PubMed | Europe PMC

2014 | Published | Journal Article | IST-REx-ID: 1994

Directional auxin transport mechanisms in early diverging land plants
T. Viaene, K. Landberg, M. Thelander, E. Medvecka, E. Pederson, E. Feraru, E. Cooper, M. Karimi, C. Delwiche, K. Ljung, M. Geisler, E. Sundberg, J. Friml, Current Biology 24 (2014) 2786–2791.

View | DOI | WoS

2014 | Published | Journal Article | IST-REx-ID: 1995 |

Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification
F. Fratini, E. Mascarenhas, L. Safari, J. Poizat, D. Valente, A. Auffèves, D. Gerace, M. Santos, Physical Review Letters 113 (2014).

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

2014 | Published | Journal Article | IST-REx-ID: 1996 |

Bimodal regulation of ICR1 levels generates self-organizing auxin distribution
O. Hazak, U. Obolski, T. Prat, J. Friml, L. Hadany, S. Yalovsky, PNAS 111 (2014) E5471–E5479.

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

2014 | Published | Journal Article | IST-REx-ID: 1998

Individual and social immunisation in insects
L. El Masri, S. Cremer, Trends in Immunology 35 (2014) 471–482.

View | DOI | WoS