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.
8998 Publications
2013 | Report | IST-REx-ID: 5401 |
Porsche J. 2013. Initiatives and projects related to RD, IST Austria,p.
[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, 22p.
[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, 12p.
[Published Version]
View
| Files available
| DOI
2013 | 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 | Technical Report | IST-REx-ID: 5406 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. 2013. Distributed synthesis for LTL Fragments, IST Austria, 11p.
[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, 17p.
[Published Version]
View
| Files available
| DOI
2013 | Report | IST-REx-ID: 5407 |
Porsche J. 2013. Technical requirements and features, IST Austria,p.
[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, 13p.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2327 |
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. 2013. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 50, 314–334.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 595 |
Bernecky C, Cramer P. 2013. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 32(6), 771–772.
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 6128 |
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. 2013. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 9(12), e1004011.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6130 |
Chen C, Fenk LA, de Bono M. 2013. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 41(20), e193.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 6133 |
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. 2013. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 110(35), E3301–E3310.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Book Chapter | IST-REx-ID: 6132
de Bono M, Schafer WR, Gottschalk A. 2013.Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Optogenetics. , 61–78.
View
2013 | Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J, Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 117(18), 9416–9430.
View
| DOI
2013 | Technical Report | IST-REx-ID: 6440 |
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 | Journal Article | IST-REx-ID: 6768 |
Mondelli M. 2013. A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. 3, 68–111.
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2329 |
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 | Journal Article | IST-REx-ID: 7596
Tan S, Dai C, Liu H-T, Xue H-W. 2013. Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. 25(7), 2618–2632.
View
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 7595
Tang Y, Tan S, Xue H. 2013. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 45(7), 549–560.
View
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 8030 |
Vogels TP, Froemke RC, Doyon N, Gilson M, Haas JS, Liu R, Maffei A, Miller P, Wierenga CJ, Woodin MA, Zenke F, Sprekeler H. 2013. Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. 7, 119.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 811
Steffen A, Ladwein M, Dimchev GA, Hein A, Schwenkmezger L, Arens S, Ladwein K, Holleboom J, Schur FK, Small J, Schwarz J, Gerhard R, Faix J, Stradal T, Brakebusch C, Rottner K. 2013. Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science. 126(20), 4572–4588.
View
| DOI
2013 | Journal Article | IST-REx-ID: 812
Koestler S, Steffen A, Nemethova M, Winterhoff M, Luo N, Holleboom J, Krupp J, Jacob S, Vinzenz M, Schur FK, Schlüter K, Gunning P, Winkler C, Schmeiser C, Faix J, Stradal T, Small J, Rottner K. 2013. Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. 24(18), 2861–2875.
View
| DOI
2013 | Journal Article | IST-REx-ID: 8245 |
Petricevic B, Laengle J, Singer J, Sachet M, Singer J, Steger G, Bartsch R, Jensen-Jarolim E, Bergmann M. 2013. 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. 11, 307.
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 827 |
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
2013 | Journal Article | IST-REx-ID: 828 |
Cuesta C, Wabnik KT, Benková E. 2013. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 4, 537.
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 830
Galbiati F, Sinha Roy D, Simonini S, Cucinotta M, Ceccato L, Cuesta C, Šimášková M, Benková E, Kamiuchi Y, Aida M, Weijers D, Simon R, Masiero S, Colombo L. 2013. An integrative model of the control of ovule primordia formation. The Plant journal for cell and molecular biology. 76(3), 446–455.
View
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 831
Péret B, Middleton A, French A, Larrieu A, Bishopp A, Njo M, Wells D, Porco S, Mellor N, Band L, Casimiro I, Kleine Vehn J, Vanneste S, Sairanen I, Mallet R, Sandberg G, Ljung K, Beeckman T, Benková E, Friml J, Kramer E, King J, De Smet I, Pridmore T, Owen M, Bennett M. 2013. Sequential induction of auxin efflux and influx carriers regulates lateral root emergence. Molecular Systems Biology. 9.
View
| DOI
2013 | Journal Article | IST-REx-ID: 8461
Haller JD, Schanda P. 2013. Amplitudes and time scales of picosecond-to-microsecond motion in proteins studied by solid-state NMR: a critical evaluation of experimental approaches and application to crystalline ubiquitin. Journal of Biomolecular NMR. 57(3), 263–280.
View
| DOI
2013 | Journal Article | IST-REx-ID: 8462
Rennella E, Cutuil T, Schanda P, Ayala I, Gabel F, Forge V, Corazza A, Esposito G, Brutscher B. 2013. Oligomeric states along the folding pathways of β2-microglobulin: Kinetics, thermodynamics, and structure. Journal of Molecular Biology. 425(15), 2722–2736.
View
| DOI
2013 | Journal Article | IST-REx-ID: 971 |
Serbyn M, Skvortsov M. 2013. Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. 87(2).
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 972 |
Okada Y, Serbyn M, Lin H, Walkup D, Zhou W, Dhital C, Neupane M, Xu S, Wang Y, Sankar R, Chou F, Bansil A, Hasan M, Wilson S, Fu L, Madhavan V. 2013. Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. 341(6153), 1496–1499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 975 |
Serbyn M, Papić Z, Abanin D. 2013. Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. 110(26).
View
| DOI
| Download (ext.)
2013 | Research Data Reference | IST-REx-ID: 9749
Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma , Public Library of Science, 10.1371/journal.pone.0080814.s001.
[Published Version]
View
| Files available
| DOI