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.

5041 Publications


2013 |Published| Journal Article | IST-REx-ID: 528
Robert H, Grones P, Stepanova A, Robles L, Lokerse A, Alonso J, Weijers D, Friml J. 2013. Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. 23(24), 2506–2512.
View | DOI
 

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

2013 |Published| Technical Report | IST-REx-ID: 5399 | OA
Reiter J, Bozic I, Chatterjee K, Nowak M. 2013. TTP: Tool for Tumor Progression, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2013 |Published| Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.
[Published Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5403 | OA
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
[Published Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5402 | OA
Henzinger TA, Sezgin A. 2013. How free is your linearizable concurrent data structure?, IST Austria, 16p.
[Published Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5400 | OA
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with ω-regular objectives, IST Austria, 41p.
[Published Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5404 | OA
Chatterjee K, Ibsen-Jensen R. 2013. The complexity of ergodic games, IST Austria, 29p.
[Published Version] View | Files available | DOI
 

2013 |Published| Report | IST-REx-ID: 5401 | OA
Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.
[Published Version] View | Files available
 

2013 |Published| Technical Report | IST-REx-ID: 5405 | OA
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2013. Perfect-information stochastic mean-payoff parity games, IST Austria, 22p.
[Published Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5409 | OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. 2013. Edit distance for timed automata, IST Austria, 12p.
[Published Version] View | Files available | DOI
 

2013 |Published| Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL fragments. 13th International Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 18–25.
View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5406 | OA
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
[Published Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 5408 | OA
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2013 |Published| Report | IST-REx-ID: 5407 | OA
Porsche J. 2013. Technical requirements and features, IST Austria,p.
[Published Version] View | Files available
 

2013 |Published| Technical Report | IST-REx-ID: 5410 | OA
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
[Published Version] View | Files available | DOI
 

2013 |Published| Conference Paper | IST-REx-ID: 2327 | OA
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
[Submitted Version] View | Files available | DOI
 

2013 |Published| Technical Report | IST-REx-ID: 6440 | OA
Henzinger TA, Payer H, Sezgin A. 2013. Replacing competition with cooperation to achieve scalable lock-free FIFO queues , IST Austria, 23p.
[Published Version] View | Files available | DOI
 

2013 |Published| Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee K, Velner Y. 2013. Hyperplane separation technique for multidimensional mean-payoff games. 8052, 500–515.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 |Published| Journal Article | IST-REx-ID: 827 | OA
O’Brien J, Benková E. 2013. Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science. 4, 451.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications