Please note that IST 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.

2973 Publications


2013 | Journal Article | IST-REx-ID: 527
Modeling framework for the establishment of the apical-basal embryonic axis in plants
K.T. Wabnik, H. Robert, R. Smith, J. Friml, Current Biology 23 (2013) 2513–2518.
View | DOI
 

2013 | 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 | Technical Report | IST-REx-ID: 5399 | OA
TTP: Tool for Tumor Progression
J. Reiter, I. Bozic, K. Chatterjee, M. Nowak, TTP: Tool for Tumor Progression, IST Austria, 2013.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5400 | OA
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.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
View | Files available
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
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.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Distributed synthesis for LTL Fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications