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.

9096 Publications


2013 | Journal Article | IST-REx-ID: 528
Robert, H., Grones, P., Stepanova, A., Robles, L., Lokerse, A., Alonso, J., … Friml, J. (2013). Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.09.039
View | DOI
 

2013 | Journal Article | IST-REx-ID: 527
Wabnik, K. T., Robert, H., Smith, R., & Friml, J. (2013). Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.10.038
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
Reiter, J., Bozic, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for Tumor Progression. IST Austria. https://doi.org/10.15479/AT:IST-2013-104-v1-1
[Published Version] View | Files available | DOI
 

2013 | 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. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.165
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
Henzinger, T. A., & Sezgin, A. (2013). How free is your linearizable concurrent data structure? IST Austria. https://doi.org/10.15479/AT:IST-2013-123-v1-1
[Published Version] View | Files available | DOI
 

2013 | 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. https://doi.org/10.15479/AT:IST-2013-109-v1-1
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1
[Published Version] View | Files available | DOI
 

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

2013 | 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. https://doi.org/10.15479/AT:IST-2013-128-v1-1
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1376
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL fragments. In 13th International Conference on Formal Methods in Computer-Aided Design (pp. 18–25). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679386
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
[Published Version] View | Files available | DOI
 

2013 | 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. https://doi.org/10.15479/AT:IST-2013-141-v1-1
[Published Version] View | Files available | DOI
 

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

2013 | 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. https://doi.org/10.15479/AT:IST-2013-146-v1-1
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, T. A., & Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-40184-8_20
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 590
Schmid, D., Huang, T., Dirks, R., Hosten, O., & Kwiat, P. (2013). Polarization dependent focusing. Presented at the QIM: Quantum Information and Measurement, OSA. https://doi.org/10.1364/QIM.2013.W6.23
View | DOI
 

2013 | Journal Article | IST-REx-ID: 5920
Hillar, C. J., & Martin del Campo Sanchez, A. (2013). Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. Elsevier. https://doi.org/10.1016/j.jsc.2012.06.006
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 591
Schmid, D., Huang, T., Hazrat, S., Dirks, R., Hosten, O., Quint, S., … Kwiat, P. (2013). Adjustable and robust methods for polarization-dependent focusing. Optics Express. Optical Society of America. https://doi.org/10.1364/OE.21.015538
View | DOI
 

Search

Filter Publications