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
LibreCat: https://research-explorer.ista.ac.at/record/12633
DOI: 10.1002/hyp.10055

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
LibreCat: https://research-explorer.ista.ac.at/record/9520
DOI: 10.1016/j.devcel.2013.01.014
PMID: 23410937

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
LibreCat: https://research-explorer.ista.ac.at/record/13405
DOI: 10.1055/s-0033-1340087

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
LibreCat: https://research-explorer.ista.ac.at/record/13406
DOI: 10.1002/adma.201201734
PMID: 22933327

Stephens G, Mora T, Tkadik G, Bialek W. Statistical thermodynamics of natural images. Physical Review Letters. 2013;110(1). doi:10.1103/PhysRevLett.110.018701
LibreCat: https://research-explorer.ista.ac.at/record/2914
DOI: 10.1103/PhysRevLett.110.018701
arXiv: 0806.2694

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
LibreCat: https://research-explorer.ista.ac.at/record/10900
DOI: 10.1007/978-1-62703-426-5_14
PMID: 23625502

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
LibreCat: https://research-explorer.ista.ac.at/record/5747
DOI: 10.1007/978-3-642-39799-8_11

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
LibreCat: https://research-explorer.ista.ac.at/record/10902
DOI: 10.1007/978-3-642-37064-9_20

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
LibreCat: https://research-explorer.ista.ac.at/record/10897
DOI: 10.1007/978-3-642-38221-5_19

Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

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
LibreCat: https://research-explorer.ista.ac.at/record/2847
DOI: 10.1007/978-3-642-36742-7_5

Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1406

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
LibreCat: https://research-explorer.ista.ac.at/record/2247
DOI: 10.1371/journal.pone.0080814

Reiter J, Boei 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
LibreCat: https://research-explorer.ista.ac.at/record/2858
DOI: 10.1111/eva.12020

Boei 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
LibreCat: https://research-explorer.ista.ac.at/record/2816
DOI: 10.7554/eLife.00747

Reiter J, Boei 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
LibreCat: https://research-explorer.ista.ac.at/record/2000
DOI: 10.1007/978-3-642-39799-8_6
arXiv: 1303.5251

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
LibreCat: https://research-explorer.ista.ac.at/record/2445
DOI: 10.1007/978-3-642-39799-8_68

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
LibreCat: https://research-explorer.ista.ac.at/record/2926
DOI: 10.1016/j.cub.2012.11.034

Brázdil T, Chatterjee K, Forejt V, Kudera 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
LibreCat: https://research-explorer.ista.ac.at/record/2305
DOI: 10.1109/LICS.2013.39
arXiv: 1305.4103

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
LibreCat: https://research-explorer.ista.ac.at/record/2820
DOI: 10.1145/2461328.2461356

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.
LibreCat: https://research-explorer.ista.ac.at/record/2272

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
LibreCat: https://research-explorer.ista.ac.at/record/2448
DOI: 10.4161/psb.25688
PMID: 23857365

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
LibreCat: https://research-explorer.ista.ac.at/record/2853
DOI: 10.1098/rspb.2012.3035
PMID: 23516238

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
LibreCat: https://research-explorer.ista.ac.at/record/9751
DOI: 10.5061/dryad.b1q2n

Joo WJ, Sweeney LB, Liang L, Luo L. Linking cell fate, trajectory choice, and target selection: Genetic analysis of sema-2b in olfactory axon targeting. Neuron. 2013;78(4):673-686. doi:10.1016/j.neuron.2013.03.022
LibreCat: https://research-explorer.ista.ac.at/record/7785
DOI: 10.1016/j.neuron.2013.03.022

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of Space. IST Austria; 2013.
LibreCat: https://research-explorer.ista.ac.at/record/2274

Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11). doi:10.1039/c3mb70245f
LibreCat: https://research-explorer.ista.ac.at/record/15162
DOI: 10.1039/c3mb70245f

Sari A, Cacciuto A. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 2012;109(18). doi:10.1103/physrevlett.109.188101
LibreCat: https://research-explorer.ista.ac.at/record/10387
DOI: 10.1103/physrevlett.109.188101
PMID: 23215334
arXiv: 1206.3528

Sari A, Cacciuto A. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 2012;108(11). doi:10.1103/physrevlett.108.118101
LibreCat: https://research-explorer.ista.ac.at/record/10388
DOI: 10.1103/physrevlett.108.118101
PMID: 22540513
arXiv: 1201.0036

Erne B, Graff M, Klemm W, Danzl JG, Leschber G. Bulla in the lung. The Lancet. 2012;380(9849). doi:10.1016/S0140-6736(12)60690-4
LibreCat: https://research-explorer.ista.ac.at/record/1055
DOI: 10.1016/S0140-6736(12)60690-4

Mark M, Haller E, Lauber K, et al. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 2012;108(21). doi:10.1103/PhysRevLett.108.215302
LibreCat: https://research-explorer.ista.ac.at/record/1056
DOI: 10.1103/PhysRevLett.108.215302
arXiv: 1201.1008

Polshyn H, Budakian R. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. In: APS March Meeting 2012. Vol 57. American Physical Society; 2012.
LibreCat: https://research-explorer.ista.ac.at/record/10750

zur Nedden S, Doney AS, Frenguelli BG. The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Masino S, Boison D, eds. Adenosine. 1st ed. New York: Springer; 2012:109-129. doi:10.1007/978-1-4614-3903-5_6
LibreCat: https://research-explorer.ista.ac.at/record/10896
DOI: 10.1007/978-1-4614-3903-5_6

Gomez-Cavazos JS, Hetzer M. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 2012;24(6):775-783. doi:10.1016/j.ceb.2012.08.008
LibreCat: https://research-explorer.ista.ac.at/record/11089
DOI: 10.1016/j.ceb.2012.08.008
PMID: 22995343

Vargas JD, Hatch EM, Anderson DJ, Hetzer M. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 2012;3(1):88-100. doi:10.4161/nucl.18954
LibreCat: https://research-explorer.ista.ac.at/record/11091
DOI: 10.4161/nucl.18954
PMID: 22567193

D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi:10.1016/j.devcel.2011.11.021
LibreCat: https://research-explorer.ista.ac.at/record/11093
DOI: 10.1016/j.devcel.2011.11.021
PMID: 22264802

Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. Extremely long-lived nuclear pore proteins in the rat brain. Science. 2012;335(6071):942-942. doi:10.1126/science.1217421
LibreCat: https://research-explorer.ista.ac.at/record/11092
DOI: 10.1126/science.1217421
PMID: 22300851

Hatch EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi:10.1016/j.cell.2012.04.018
LibreCat: https://research-explorer.ista.ac.at/record/11090
DOI: 10.1016/j.cell.2012.04.018
PMID: 22579277

Waitukaitis SR, Jaeger H. Impact-activated solidification of dense suspensions via dynamic jamming fronts. Nature. 2012;487(7406):205-209. doi:10.1038/nature11187
LibreCat: https://research-explorer.ista.ac.at/record/113
DOI: 10.1038/nature11187

Waitukaitis SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1-1.
LibreCat: https://research-explorer.ista.ac.at/record/114

Dütting P, Henzinger MH, Weber I. Maximizing revenue from strategic recommendations under decaying trust. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management. Association for Computing Machinery; 2012:2268-2286. doi:10.1145/2396761.2398621
LibreCat: https://research-explorer.ista.ac.at/record/11656
DOI: 10.1145/2396761.2398621

Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
LibreCat: https://research-explorer.ista.ac.at/record/11751
DOI: 10.1007/s10853-012-6463-6
arXiv: 1201.6304

Dütting P, Henzinger MH, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi:10.1007/978-3-642-35311-6_4
LibreCat: https://research-explorer.ista.ac.at/record/11794
DOI: 10.1007/978-3-642-35311-6_4
arXiv: 1209.6448

Colini-Baldeschi R, Henzinger MH, Leonardi S, Starnberger M. On multiple keyword sponsored search auctions with budgets. In: 39th International Colloquium on Automata, Languages, and Programming. Vol 7392. Springer Nature; 2012:1–12. doi:10.1007/978-3-642-31585-5_1
LibreCat: https://research-explorer.ista.ac.at/record/11795
DOI: 10.1007/978-3-642-31585-5_1

Pieber B, Cantillo D, Kappe CO. Direct arylation of benzene with aryl bromides using hightemperature/highpressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 2012;18(16):5047-5055. doi:10.1002/chem.201103748
LibreCat: https://research-explorer.ista.ac.at/record/11964
DOI: 10.1002/chem.201103748
PMID: 22396386

Kumar GS, Pieber B, Reddy KR, Kappe CO. Copper-catalyzed formation of C-O bonds by direct ;1-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 2012;18(20):6124-6128. doi:10.1002/chem.201200815
LibreCat: https://research-explorer.ista.ac.at/record/11963
DOI: 10.1002/chem.201200815
PMID: 22492535

Ragettli S, Pellicciotti F. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 2012;48(3). doi:10.1029/2011wr010559
LibreCat: https://research-explorer.ista.ac.at/record/12644
DOI: 10.1029/2011wr010559

Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 2012;32(1):39-50. doi:10.1659/mrd-journal-d-11-00092.1
LibreCat: https://research-explorer.ista.ac.at/record/12646
DOI: 10.1659/mrd-journal-d-11-00092.1

Immerzeel WW, Pellicciotti F, Shrestha AB. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 2012;32(1):30-38. doi:10.1659/mrd-journal-d-11-00097.1
LibreCat: https://research-explorer.ista.ac.at/record/12647
DOI: 10.1659/mrd-journal-d-11-00097.1

Reid TD, Carenzo M, Pellicciotti F, Brock BW. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 2012;117(). doi:10.1029/2012jd017795
LibreCat: https://research-explorer.ista.ac.at/record/12648
DOI: 10.1029/2012jd017795