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
 

2013 | Journal Article | IST-REx-ID: 9676
Cheng B, Ngan AHW. The sintering and densification behaviour of many copper nanoparticles: A molecular dynamics study. Computational Materials Science. 2013;74:1-11. doi:10.1016/j.commatsci.2013.03.014
View | DOI
 

2013 | Journal Article | IST-REx-ID: 971 | OA
Serbyn M, Skvortsov M. Onset of superconductivity in a voltage-biased normal-superconducting-normal microbridge. Physical Review B - Condensed Matter and Materials Physics. 2013;87(2). doi:10.1103/PhysRevB.87.020501
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 972 | OA
Okada Y, Serbyn M, Lin H, et al. Observation of dirac node formation and mass acquisition in a topological crystalline insulator. Science. 2013;341(6153):1496-1499. doi:10.1126/science.1239451
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 975 | OA
Serbyn M, Papić Z, Abanin D. Universal slow growth of entanglement in interacting strongly disordered systems. Physical Review Letters. 2013;110(26). doi:10.1103/PhysRevLett.110.260601
View | DOI | Download (ext.)
 

2013 | Research Data Reference | IST-REx-ID: 9749
Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . 2013. doi:10.1371/journal.pone.0080814.s001
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher S, Futschik A, Beaumont M. Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. . Molecular Ecology. 2013;22(4):987-1002. doi:10.1111/mec.12165
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 894
Derelle R, Kondrashov F, Arkhipov V, et al. Color differences among feral pigeons (Columba livia) are not attributable to sequence variation in the coding region of the melanocortin-1 receptor gene MC1R. BMC Research Notes. 2013;6(1). doi:10.1186/1756-0500-6-310
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9055
Palacci JA, Sacanna S, Steinberg AP, Pine DJ, Chaikin PM. Living crystals of light-activated colloidal surfers. Science. 2013;339(6122):936-940. doi:10.1126/science.1230020
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov V, Noah T, Koschkar S, Kondrashov F. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. 2013;(29):25-30.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet A, Nikurashin M, Muller CJ, et al. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 2013;118(11):6303-6318. doi:10.1002/2013jc009212
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
Muller CJ. Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. 2013;26(14):5028-5043. doi:10.1175/jcli-d-12-00655.1
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. 2013;135(43):15978-15981. doi:10.1021/ja406090s
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 921
Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. 2013;110(7):2452-2459. doi:10.1073/pnas.1219937110
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9459 | OA
Zemach A, Kim MY, Hsieh P-H, et al. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. 2013;153(1):193-205. doi:10.1016/j.cell.2013.02.033
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9481 | OA
Rodrigues JA, Ruan R, Nishimura T, et al. Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. 2013;110(19):7934-7939. doi:10.1073/pnas.1306164110
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9663 | OA
Cheng B, Ngan AHW. Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. 2013;138(16). doi:10.1063/1.4802025
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9682
Cheng B, Ngan AHW. Crystal plasticity of Cu nanocrystals during collision. Materials Science and Engineering: A. 2013;585:326-334. doi:10.1016/j.msea.2013.07.065
View | DOI
 

2013 | Journal Article | IST-REx-ID: 970 | OA
Serbyn M, Abanin D. New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. 2013;87(11). doi:10.1103/PhysRevB.87.115422
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn M, Papić Z, Abanin D. Local conservation laws and the structure of the many body localized states. Physical Review Letters. 2013;111(12). doi:10.1103/PhysRevLett.111.127201
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
Serbyn M, Senthil T, Lee P. Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. 2013;88(2). doi:10.1103/PhysRevB.88.024419
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-225
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons K, Prentice J, Tkačik G, et al. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 2013;9(12). doi:10.1371/journal.pcbi.1003344
[Published Version] View | Files available | DOI
 

2013 | Research Data Reference | IST-REx-ID: 9754 | OA
Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies. 2013. doi:10.5061/dryad.r3r60
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 976 | OA
Serbyn M, Lee P. Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. 2013;87(17). doi:10.1103/PhysRevB.87.174424
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 12638 | OA
Lutz AF, Immerzeel WW, Gobiet A, Pellicciotti F, Bierkens MFP. Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. 2013;17(9):3661-3677. doi:10.5194/hess-17-3661-2013
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12639 | OA
Ragettli S, Pellicciotti F, Bordoy R, Immerzeel WW. Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. 2013;49(9):6048-6066. doi:10.1002/wrcr.20450
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12633
Ragettli S, Cortés G, McPhee J, Pellicciotti F. An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. 2013;28(23):5674-5695. doi:10.1002/hyp.10055
View | DOI
 

2013 | Journal Article | IST-REx-ID: 9520 | OA
Feng X, Zilberman D, Dickinson H. A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. 2013;24(3):215-225. doi:10.1016/j.devcel.2013.01.014
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 13405
Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087
View | DOI
 

2013 | Journal Article | IST-REx-ID: 13406
Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
View | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens G, Mora T, Tkačik G, Bialek W. Statistical thermodynamics of natural images. Physical Review Letters. 2013;110(1). doi:10.1103/PhysRevLett.110.018701
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 10900
Weber M, Sixt MK. Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Cardona A, Ubogu E, eds. Chemokines. Vol 1013. MIMB. Totowa, NJ: Humana Press; 2013:215-226. doi:10.1007/978-1-62703-426-5_14
View | DOI | PubMed | Europe PMC
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 10902
Chatterjee K, Chaubal S, Rubin S. How to travel between languages. In: 7th International Conference on Language and Automata Theory and Applications. Vol 7810. LNCS. Berlin, Heidelberg: Springer Nature; 2013:214-225. doi:10.1007/978-3-642-37064-9_20
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 10897
Edelsbrunner H. Persistent homology in image processing. In: Graph-Based Representations in Pattern Recognition. Vol 7877. LNCS. Berlin, Heidelberg: Springer Nature; 2013:182-183. doi:10.1007/978-3-642-38221-5_19
View | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Thesis | IST-REx-ID: 1406
Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.
View
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky B, Reiter J, Chatterjee K, Nowak M. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 2013;8(12). doi:10.1371/journal.pone.0080814
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 2013;6(1):34-45. doi:10.1111/eva.12020
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić I, Reiter J, Allen B, et al. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2013;2. doi:10.7554/eLife.00747
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. Efficient synthesis for concurrency by semantics-preserving transformations. In: Vol 8044. Springer; 2013:951-967. doi:10.1007/978-3-642-39799-8_68
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. In: 28th Annual ACM/IEEE Symposium. IEEE; 2013:331-340. doi:10.1109/LICS.2013.39
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee K, Kößler A, Schmid U. Automated analysis of real-time scheduling using graph games. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ACM; 2013:163-172. doi:10.1145/2461328.2461356
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov R, Kolmogorov V. Inference algorithms for pattern-based CRFs on sequence data. In: ICML’13 Proceedings of the 30th International Conference on International. Vol 28. ML Research Press; 2013:145-153.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy E, Baster P, Friml J, Duque P. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 2013;8(10). doi:10.4161/psb.25688
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 2013;280(1759). doi:10.1098/rspb.2012.3035
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt D, Bergmiller T, Kümmerli R. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection. 2013. doi:10.5061/dryad.b1q2n
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications