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.
5767 Publications
2013 | Technical Report | IST-REx-ID: 5409 | 
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5406 |
K. Chatterjee, T. A. Henzinger, J. Otop, and A. Pavlogiannis, Distributed synthesis for LTL Fragments. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5408 |
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, The complexity of partial-observation stochastic parity games with finite-memory strategies. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407 |
J. Porsche, Technical requirements and features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Technical Report | IST-REx-ID: 5410 |
U. Ahmed, K. Chatterjee, and S. Gulwani, Automatic generation of alternative starting positions for traditional board games. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |
T. A. Henzinger and J. Otop, “From model checking to model measuring,” vol. 8052. Springer, pp. 273–287, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 595 |
C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 6128 |
E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library of Science (PLoS), 2013.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6130 |
C. Chen, L. A. Fenk, and M. de Bono, “Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination,” Nucleic Acids Research, vol. 41, no. 20. Oxford University Press, 2013.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6133 |
A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,” Proceedings of the National Academy of Sciences, vol. 110, no. 35. Proceedings of the National Academy of Sciences, pp. E3301–E3310, 2013.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Technical Report | IST-REx-ID: 6440 |
T. A. Henzinger, H. Payer, and A. Sezgin, Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 6768 |
M. Mondelli, “A finite difference scheme for the stack filter simulating the MCM,” Image Processing On Line, vol. 3. Image Processing On Line, pp. 68–111, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |
K. Chatterjee and Y. Velner, “Hyperplane separation technique for multidimensional mean-payoff games,” vol. 8052. Springer, pp. 500–515, 2013.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 8030 |
T. P. Vogels et al., “Inhibitory synaptic plasticity: Spike timing-dependence and putative network function,” Frontiers in Neural Circuits, vol. 7. Frontiers Media, 2013.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 8245 |
B. Petricevic et al., “Trastuzumab mediates antibody-dependent cell-mediated cytotoxicity and phagocytosis to the same extent in both adjuvant and metastatic HER2/neu breast cancer patients,” Journal of Translational Medicine, vol. 11. Springer Nature, 2013.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 827 |
J. O’Brien and E. Benková, “Cytokinin cross talking during biotic and abiotic stress responses,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 828 |
C. Cuesta, K. T. Wabnik, and E. Benková, “Systems approaches to study root architecture dynamics,” Frontiers in Plant Science, vol. 4. Frontiers Research Foundation, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 971 |
M. Serbyn and M. Skvortsov, “Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge,” Physical Review B - Condensed Matter and Materials Physics, vol. 87, no. 2. American Physical Society, 2013.
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 972 |
Y. Okada et al., “Observation of dirac node formation and mass acquisition in a topological crystalline insulator,” Science, vol. 341, no. 6153. American Association for the Advancement of Science, pp. 1496–1499, 2013.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 975 |
M. Serbyn, Z. Papić, and D. Abanin, “Universal slow growth of entanglement in interacting strongly disordered systems,” Physical Review Letters, vol. 110, no. 26. American Physical Society, 2013.
View
| DOI
| Download (ext.)