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.

8978 Publications


2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with omega-regular objectives. 2013;23:165-180. doi: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. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-126-v1-1
[Published Version] View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5402 | OA
Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi: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. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria; 2013. doi: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. The Complexity of Ergodic Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-127-v1-1
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
Porsche J. Initiatives and Projects Related to RD. IST Austria; 2013.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria; 2013. doi: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. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1
[Published Version] View | Files available | DOI
 

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

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed Synthesis for LTL Fragments. IST Austria; 2013. doi: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. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria; 2013. doi:10.15479/AT:IST-2013-141-v1-1
[Published Version] View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5407 | OA
Porsche J. Technical Requirements and Features. IST Austria; 2013.
[Published Version] View | Files available
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
Ahmed U, Chatterjee K, Gulwani S. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-146-v1-1
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger TA, Otop J. From model checking to model measuring. 2013;8052:273-287. doi: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. Polarization dependent focusing. In: OSA; 2013. doi:10.1364/QIM.2013.W6.23
View | DOI
 

2013 | Journal Article | IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 2013;50:314-334. doi:10.1016/j.jsc.2012.06.006
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 591
Schmid D, Huang T, Hazrat S, et al. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 2013;21(13):15538-15552. doi:10.1364/OE.21.015538
View | DOI
 

2013 | Journal Article | IST-REx-ID: 595 | OA
Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 6128 | OA
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6130 | OA
Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20). doi:10.1093/nar/gkt805
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6133 | OA
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 2013;110(35):E3301-E3310. doi:10.1073/pnas.1217428110
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 6135
Rodriguez M, Snoek LB, de Bono M, Kammenga JE. Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. 2013;29(6):367-374. doi:10.1016/j.tig.2013.01.010
View | DOI
 

2013 | Book Chapter | IST-REx-ID: 6132
de Bono M, Schafer WR, Gottschalk A. Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Hegemann P, Sigrist S, eds. Optogenetics. Walter de Gruyter; 2013:61-78.
View
 

2013 | Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, et al. 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. 2013;117(18):9416-9430. doi:10.1021/jp400648q
View | DOI
 

2013 | Technical Report | IST-REx-ID: 6440 | OA
Henzinger TA, Payer H, Sezgin A. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria; 2013. doi:10.15479/AT:IST-2013-124-v1-1
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 6768 | OA
Mondelli M. A finite difference scheme for the stack filter simulating the MCM. Image Processing On Line. 2013;3:68-111. doi:10.5201/ipol.2013.53
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. 2013;8052:500-515. doi:10.1007/978-3-642-40184-8_35
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 7306
Ottakam Thotiyl MM, Freunberger SA, Peng Z, Chen Y, Liu Z, Bruce PG. A stable cathode for the aprotic Li–O2 battery. Nature Materials. 2013;12(11):1050-1056. doi:10.1038/nmat3737
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7307
Chen Y, Freunberger SA, Peng Z, Fontaine O, Bruce PG. Charging a Li–O2 battery using a redox mediator. Nature Chemistry. 2013;5(6):489-494. doi:10.1038/nchem.1646
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7596
Tan S, Dai C, Liu H-T, Xue H-W. Arabidopsis casein kinase1 proteins CK1.3 and CK1.4 phosphorylate cryptochrome2 to regulate blue light signaling. The Plant Cell. 2013;25(7):2618-2632. doi:10.1105/tpc.113.114322
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 7595
Tang Y, Tan S, Xue H. Arabidopsis inositol 1,3,4-trisphosphate 5/6 kinase 2 is required for seed coat development. Acta Biochimica et Biophysica Sinica. 2013;45(7):549-560. doi:10.1093/abbs/gmt039
View | DOI | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 765
Alistarh D-A, Aspnes J, Giakkoupis G, Woelfel P. Randomized loose renaming in O(loglogn) time. In: ACM; 2013:200-209. doi:10.1145/2484239.2484240
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7745
Robinson MR, Santure AW, DeCauwer I, Sheldon BC, Slate J. Partitioning of genetic variation across the genome using multimarker methods in a wild bird population. Molecular Ecology. 2013;22(15):3963-3980. doi:10.1111/mec.12375
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7746
Santure AW, De Cauwer I, Robinson MR, Poissant J, Sheldon BC, Slate J. Genomic dissection of variation in clutch size and egg mass in a wild great tit (Parus major) population. Molecular Ecology. 2013;22(15):3949-3962. doi:10.1111/mec.12376
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7747
Robinson MR, Beckerman AP. Quantifying multivariate plasticity: Genetic variation in resource acquisition drives plasticity in resource allocation to components of life history. Ecology Letters. 2013;16(3):281-290. doi:10.1111/ele.12047
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7775
Schoenholz SS, Goodrich CP, Kogan O, Liu AJ, Nagel SR. Stability of jammed packings II: The transverse length scale. Soft Matter. 2013;9(46). doi:10.1039/c3sm51096d
View | DOI
 

2013 | Journal Article | IST-REx-ID: 7774
Goodrich CP, Ellenbroek WG, Liu AJ. Stability of jammed packings I: The rigidity length scale. Soft Matter. 2013;9(46). doi:10.1039/c3sm51095f
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8030 | OA
Vogels TP, Froemke RC, Doyon N, et al. Inhibitory synaptic plasticity: Spike timing-dependence and putative network function. Frontiers in Neural Circuits. 2013;7. doi:10.3389/fncir.2013.00119
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 811
Steffen A, Ladwein M, Dimchev GA, et al. Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science. 2013;126(20):4572-4588. doi:10.1242/jcs.118232
View | DOI
 

2013 | Journal Article | IST-REx-ID: 812
Koestler S, Steffen A, Nemethova M, et al. Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. 2013;24(18):2861-2875. doi:10.1091/mbc.E12-12-0857
View | DOI
 

2013 | Journal Article | IST-REx-ID: 810
Schur FK, Hagen W, De Marco A, Briggs J. Determination of protein structure at 8.5Å resolution using cryo-electron tomography and sub-tomogram averaging. Journal of Structural Biology. 2013;184(3):394-400. doi:10.1016/j.jsb.2013.10.015
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8245 | OA
Petricevic B, Laengle J, Singer J, 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. 2013;11. doi:10.1186/1479-5876-11-307
View | Files available | DOI | PubMed | Europe PMC
 

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

2013 | Journal Article | IST-REx-ID: 828 | OA
Cuesta C, Wabnik KT, Benková E. Systems approaches to study root architecture dynamics. Frontiers in Plant Science. 2013;4. doi:10.3389/fpls.2013.00537
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 830
Galbiati F, Sinha Roy D, Simonini S, et al. An integrative model of the control of ovule primordia formation. The Plant journal for cell and molecular biology. 2013;76(3):446-455. doi:10.1111/tpj.12309
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. 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. 2013;57(3):263-280. doi:10.1007/s10858-013-9787-x
View | DOI
 

2013 | Journal Article | IST-REx-ID: 8462
Rennella E, Cutuil T, Schanda P, et al. Oligomeric states along the folding pathways of β2-microglobulin: Kinetics, thermodynamics, and structure. Journal of Molecular Biology. 2013;425(15):2722-2736. doi:10.1016/j.jmb.2013.04.028
View | DOI
 

2013 | Journal Article | IST-REx-ID: 899
Breen M, Kemena C, Vlasov P, Notredame C, Kondrashov F. Breen et al. reply. Nature. 2013;497(7451):E2-E3. doi:10.1038/nature12220
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9674
Cheng B, Ngan AHW. The crystal structures of sintered copper nanoparticles: A molecular dynamics study. International Journal of Plasticity. 2013;47:65-79. doi:10.1016/j.ijplas.2013.01.006
View | DOI
 

Search

Filter Publications