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.
5138 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
K.T. Wabnik, H. Robert, R. Smith, J. Friml, Current Biology 23 (2013) 2513–2518.
2013 | Technical Report | IST-REx-ID: 5399 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
J. Reiter, I. Bozic, K. Chatterjee, M. Nowak, TTP: Tool for Tumor Progression, IST Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 2295 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
What is decidable about partially observable Markov decision processes with omega-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, M. Tracol, 23 (2013) 165–180.
2013 | Technical Report | IST-REx-ID: 5403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5402 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5400 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Chatterjee, M. Chmelik, M. Tracol, What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5404 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The complexity of ergodic games
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, The Complexity of Ergodic Games, IST Austria, 2013.
2013 | Report | IST-REx-ID: 5401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Initiatives and projects related to RD
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
[Published Version]
View
| Files available
J. Porsche, Initiatives and Projects Related to RD, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, Perfect-Information Stochastic Mean-Payoff Parity Games, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 1376
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
2013 | Technical Report | IST-REx-ID: 5406 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, Distributed Synthesis for LTL Fragments, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5408 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies, IST Austria, 2013.
2013 | Report | IST-REx-ID: 5407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
[Published Version]
View
| Files available
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
2013 | Technical Report | IST-REx-ID: 5410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
U. Ahmed, K. Chatterjee, S. Gulwani, Automatic Generation of Alternative Starting Positions for Traditional Board Games, IST Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 2327 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
From model checking to model measuring
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, J. Otop, 8052 (2013) 273–287.
2013 | Technical Report | IST-REx-ID: 6440 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Replacing competition with cooperation to achieve scalable lock-free FIFO queues
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, H. Payer, A. Sezgin, Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues , IST Austria, 2013.
2013 | Conference Paper | IST-REx-ID: 2329 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, 8052 (2013) 500–515.
2013 | Journal Article | IST-REx-ID: 827 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
J. O’Brien, E. Benková, Frontiers in Plant Science 4 (2013).
2013 | Journal Article | IST-REx-ID: 828 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
C. Cuesta, K.T. Wabnik, E. Benková, Frontiers in Plant Science 4 (2013).