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 |
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 |
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 |
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 |
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 |
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 |
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 |
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5405 |
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 |
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 |
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 |
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 |
Porsche, J. (2013). Technical requirements and features. IST Austria.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5410 |
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 |
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