Please note that IST 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.

5867 Publications


2014 | Journal Article | IST-REx-ID: 2222
Naramoto, S., Nodzyński, T., Dainobu, T., Takatsuka, H., Okada, T., Friml, J., & Fukuda, H. (2014). VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology, 55(4), 750–763. https://doi.org/10.1093/pcp/pcu012
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2223 | OA
Tanaka, H., Nodzyński, T., Kitakura, S., Feraru, M., Sasabe, M., Ishikawa, T., … Friml, J. (2014). BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology, 55(4), 737–749. https://doi.org/10.1093/pcp/pct196
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2224
Altmeyer, S. (2014). On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research, 46(2). https://doi.org/10.1088/0169-5983/46/2/025503
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2225 | OA
Bloemendal, A., Erdös, L., Knowles, A., Yau, H., & Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability, 19. https://doi.org/10.1214/EJP.v19-3054
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2226 | OA
Shi, L., Hof, B., & Tilgner, A. (2014). Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics, 89(1). https://doi.org/10.1103/PhysRevE.89.013001
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2227
Cires Rodriguez, E., Baltisberger, M., Cuesta, C., Vargas, P., & Prieto, J. (2014). Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution, 14(1), 1–10. https://doi.org/10.1007/s13127-013-0150-6
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2228 | OA
Hu, H., & Jonas, P. M. (2014). A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience, 17(5), 686–693. https://doi.org/10.1038/nn.3678
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229 | OA
Vyleta, N., & Jonas, P. M. (2014). Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science, 343(6171), 665–670. https://doi.org/10.1126/science.1244811
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2230 | OA
Guzmán, J., Schlögl, A., & Schmidt Hieber, C. (2014). Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics, 8(FEB). https://doi.org/10.3389/fninf.2014.00016
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2231 | OA
Rieckh, G., & Tkacik, G. (2014). Noise and information transmission in promoters with multiple internal states. Biophysical Journal, 106(5), 1194–1204. https://doi.org/10.1016/j.bpj.2014.01.014
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2232 | OA
Song, B., & Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment, 2014(2). https://doi.org/10.1088/1742-5468/2014/02/P02001
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2233 | OA
Boker, U., & Henzinger, T. A. (2014). Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science, 10(1). https://doi.org/10.2168/LMCS-10(1:10)2014
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2234 | OA
Brázdil, T., Brožek, V., Chatterjee, K., Forejt, V., & Kučera, A. (2014). Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science, 10(1). https://doi.org/10.2168/LMCS-10(1:13)2014
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2235 | OA
Fürst, M., Mcmahon, D., Osborne, J., Paxton, R., & Brown, M. (2014). Disease associations between honeybees and bumblebees as a threat to wild pollinators. Nature, 506(7488), 364–366. https://doi.org/10.1038/nature12977
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2236 | OA
Jetchev, D., & Pietrzak, K. Z. (2014). How to fake auxiliary input. In Y. Lindell (Ed.) (Vol. 8349, pp. 566–590). Presented at the TCC: Theory of Cryptography Conference, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54242-8_24
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2239
Boker, U., Henzinger, T. A., & Radhakrishna, A. (2014). Battery transition systems (Vol. 49, pp. 595–606). Presented at the POPL: Principles of Programming Languages, San Diego, USA: ACM. https://doi.org/10.1145/2535838.2535875
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2240
Gadeyne, A., Sánchez Rodríguez, C., Vanneste, S., Di Rubbo, S., Zauber, H., Vanneste, K., … Van Damme, D. (2014). The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell, 156(4), 691–704. https://doi.org/10.1016/j.cell.2014.01.039
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2241
Beppu, K., Sasaki, T., Tanaka, K., Yamanaka, A., Fukazawa, Y., Shigemoto, R., & Matsui, K. (2014). Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron, 81(2), 314–320. https://doi.org/10.1016/j.neuron.2013.11.011
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2242
Dueck, A., Eichner, A., Sixt, M. K., & Meister, G. (2014). A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters, 588(4), 632–640. https://doi.org/10.1016/j.febslet.2014.01.009
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 2245
Simon, S., Skůpa, P., Dobrev, P., Petrášek, J., Zažímalová, E., & Friml, J. (2014). Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In G. Hicks & S. Robert (Eds.), Plant Chemical Genomics (Vol. 1056, pp. 255–264). Springer. https://doi.org/10.1007/978-1-62703-592-7_23
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun, A., Phalitnonkiat, P., Rubin, S., & Tarfulea, A. (2014). Alternating traps in Muller and parity games. Theoretical Computer Science, 521, 73–91. https://doi.org/10.1016/j.tcs.2013.11.032
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2248
Capek, D., Metscher, B., & Müller, G. (2014). Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, 322(1), 1–12. https://doi.org/10.1002/jez.b.22545
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2249 | OA
Chen, Y., Aung, K., Rolčík, J., Walicki, K., Friml, J., & Brandizzí, F. (2014). Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal, 77(1), 97–107. https://doi.org/10.1111/tpj.12373
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2250 | OA
Kuchibhatla, D., Sherman, W., Chung, B., Cook, S., Schneider, G., Eisenhaber, B., & Karlin, D. (2014). Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently “orphan” viral proteins. Journal of Virology, 88(1), 10–20. https://doi.org/10.1128/JVI.02595-13
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari, J. L., & Dupret, D. (2014). Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 369(1635). https://doi.org/10.1098/rstb.2012.0528
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2252
Phadke, S., Paixao, T., Pham, T., Pham, S., & Zufall, R. (2014). Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity, 105(1), 130–135. https://doi.org/10.1093/jhered/est063
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2253 | OA
Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H., … Geisler, M. (2014). Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal, 77(1), 108–118. https://doi.org/10.1111/tpj.12369
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade, A., & Jonas, P. M. (2014). Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron, 81(1), 140–152. https://doi.org/10.1016/j.neuron.2013.09.046
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner, H., & Pausinger, F. (2014). Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision, 50(1), 164–177. https://doi.org/10.1007/s10851-013-0468-x
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2257 | OA
Tkačik, G., Marre, O., Amodei, D., Schneidman, E., Bialek, W., & Berry, M. (2014). Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology, 10(1). https://doi.org/10.1371/journal.pcbi.1003408
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu, F., Gamboa, M., Farruggio, A., Hippenmeyer, S., Tasic, B., Schüle, B., … Calos, M. (2014). DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research, 42(5). https://doi.org/10.1093/nar/gkt1290
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer, S. (2014). Molecular pathways controlling the sequential steps of cortical projection neuron migration. In L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration (Vol. 800, pp. 1–24). Springer. https://doi.org/10.1007/978-94-007-7687-6_1
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2275 | OA
Olsson, C., Ulen, J., Boykov, Y., & Kolmogorov, V. (2014). Partial enumeration and curvature regularization (pp. 2936–2943). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.365
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2281 | OA
Guo, Y., & Seiringer, R. (2014). On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics, 104(2), 141–156. https://doi.org/10.1007/s11005-013-0667-9
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp, J., Strüber, M., Yanagawa, Y., Obata, K., Vida, I., Jonas, P. M., & Bartos, M. (2014). Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus, 23(2), 189–203. https://doi.org/10.1002/hipo.22214
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2407 | OA
Lieb, É., & Seiringer, R. (2014). Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics, 154(1–2), 51–57. https://doi.org/10.1007/s10955-013-0791-z
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 248 | OA
Browning, T. D., Matthiesen, L., & Skorobogatov, A. (2014). Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics, 180(1), 381–402. https://doi.org/10.4007/annals.2014.180.1.8
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 249
Browning, T. D., & Vishe, P. (2014). Cubic hypersurfaces and a version of the circle method for number fields. Duke Mathematical Journal, 163(10), 1825–1883. https://doi.org/10.1215/00127094-2738530
View | DOI
 

2014 | Journal Article | IST-REx-ID: 252
Browning, T. D., & Jones, M. (2014). Counting rational points on del Pezzo surfaces with a conic bundle structure. Acta Arithmetica, 163(3), 271–298. https://doi.org/10.4064/aa163-3-6
View | DOI
 

2014 | Journal Article | IST-REx-ID: 254
Browning, T. D. (2014). The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices, 2015(7), 1987–2019. https://doi.org/10.1093/imrn/rnt350
View | DOI
 

2014 | Journal Article | IST-REx-ID: 255
Browning, T. D., Dietmann, R., & Heath Brown, R. (2014). Rational points on intersections of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of Jussieu, 14(4), 703–749. https://doi.org/10.1017/S1474748014000127
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7300
Aigner, D., Freunberger, S. A., Wilkening, M., Saf, R., Borisov, S. M., & Klimant, I. (2014). Enhancing photoinduced electron transfer efficiency of fluorescent pH-probes with halogenated phenols. Analytical Chemistry, 86(18), 9293–9300. https://doi.org/10.1021/ac502513g
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7301
Li, C., Fontaine, O., Freunberger, S. A., Johnson, L., Grugeon, S., Laruelle, S., … Armand, M. (2014). Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent. The Journal of Physical Chemistry C, 118(7), 3393–3401. https://doi.org/10.1021/jp4093805
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., Epp, V., Hanzu, I., Freunberger, S. A., & Wilkening, M. (2014). Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries. Energy & Environmental Science, 7(8), 2739–2752. https://doi.org/10.1039/c4ee00496e
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
Freunberger, S. A., Chen, Y., Bardé, F., Takechi, K., Mizuno, F., & Bruce, P. G. (2014). Nonaqueous Electrolytes. In N. Imanishi, A. C. Luntz, & P. Bruce (Eds.), The Lithium Air Battery: Fundamentals (pp. 23–58). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-4899-8062-5_2
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D. G., Ortiz-Vitoriano, N., Freunberger, S. A., Chen, Y., Imanishi, N., Bruce, P. G., & Shao-Horn, Y. (2014). Materials challenges in rechargeable lithium-air batteries. MRS Bulletin, 39(5), 443–452. https://doi.org/10.1557/mrs.2014.87
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7305
Johnson, L., Li, C., Liu, Z., Chen, Y., Freunberger, S. A., Ashok, P. C., … Bruce, P. G. (2014). The role of LiO2 solubility in O2 reduction in aprotic solvents and its consequences for Li–O2 batteries. Nature Chemistry, 6(12), 1091–1099. https://doi.org/10.1038/nchem.2101
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7361
Lebar, T., Bezeljak, U., Golob, A., Jerala, M., Kadunc, L., Pirš, B., … Jerala, R. (2014). A bistable genetic switch based on designable DNA-binding domains. Nature Communications, 5(1), 5007. https://doi.org/10.1038/ncomms6007
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7455
Costanzo, T., Benzi, F., Ghigna, P., Pin, S., Spinolo, G., & d’Acapito, F. (2014). Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS). Journal of Synchrotron Radiation, 21(2), 395–400. https://doi.org/10.1107/s1600577513031299
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598 | OA
Tan, S., & Xue, H.-W. (2014). Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports, 9(5), 1692–1702. https://doi.org/10.1016/j.celrep.2014.10.047
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 768
Alistarh, D., Aspnes, J., Bender, M., Gelashvili, R., & Gilbert, S. (2014). Dynamic task allocation in asynchronous shared memory (pp. 416–435). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973402.31
View | DOI
 

2014 | Journal Article | IST-REx-ID: 769
Alistarh, D., Aspnes, J., Censor Hillel, K., Gilbert, S., & Guerraoui, R. (2014). Tight bounds for asynchronous renaming. Journal of the ACM, 61(3). https://doi.org/10.1145/2597630
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7699
Sweeney, L. B. J., & Kelley, D. B. (2014). Harnessing vocal patterns for social communication. Current Opinion in Neurobiology, 28(10), 34–41. https://doi.org/10.1016/j.conb.2014.06.006
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 770
Alistarh, D., Eugster, P., Herlihy, M., Matveev, A., & Shavit, N. (2014). StackTrack: An automated transactional approach to concurrent memory reclamation. Presented at the EuroSys: European Conference on Computer Systems, ACM. https://doi.org/10.1145/2592798.2592808
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 771
Alistarh, D., Denysyuk, O., Rodrígues, L., & Shavit, N. (2014). Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems (pp. 232–241). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2611462.2611499
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 772 | OA
Alistarh, D., Censor Hillel, K., & Shavit, N. (2014). Are lock-free concurrent algorithms practically wait-free? (pp. 714–723). Presented at the STOC: Symposium on Theory of Computing, ACM. https://doi.org/10.1145/2591796.2591836
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 773
Alistarh, D., Aspnes, J., King, V., & Saia, J. (2014). Communication-efficient randomized consensus. In F. Kuhn (Ed.) (Vol. 8784, pp. 61–75). Presented at the DISC: Distributed Computing, Austin, USA: Springer. https://doi.org/10.1007/978-3-662-45174-8_5
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 774
Alistarh, D., Censor Hille, K., & Shavit, N. (2014). Brief announcement: Are lock-free concurrent algorithms practically wait-free? (pp. 50–52). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2611462.2611502
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 7743
Robinson, M. R., & Qvarnström, A. (2014). Influence of the environment on the genetic architecture of traits involved in sexual selection within wild populations. In J. Hunt & D. Hosken (Eds.), Genotype-by-Environment Interactions and Sexual Selection (pp. 137–168). Chichester, UK: Wiley. https://doi.org/10.1002/9781118912591.ch6
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7744
Robinson, M. R., Wray, N. R., & Visscher, P. M. (2014). Explaining additional genetic variation in complex traits. Trends in Genetics, 30(4), 124–132. https://doi.org/10.1016/j.tig.2014.02.003
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 775 | OA
Alistarh, D., Kopinsky, J., Matveev, A., & Shavit, N. (2014). The levelarray: A fast, practical long-lived renaming algorithm (pp. 348–357). Presented at the ICDCS: International Conference on Distributed Computing Systems, IEEE. https://doi.org/10.1109/ICDCS.2014.43
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7768
Lohr, M. A., Still, T., Ganti, R., Gratale, M. D., Davidson, Z. S., Aptowicz, K. B., … Yodh, A. G. (2014). Vibrational and structural signatures of the crossover between dense glassy and sparse gel-like attractive colloidal packings. Physical Review E, 90(6), 062305. https://doi.org/10.1103/physreve.90.062305
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7769
Goodrich, C. P., Dagois-Bohy, S., Tighe, B. P., van Hecke, M., Liu, A. J., & Nagel, S. R. (2014). Jamming in finite systems: Stability, anisotropy, fluctuations, and scaling. Physical Review E, 90(2), 022138. https://doi.org/10.1103/physreve.90.022138
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2014). Contact nonlinearities and linear response in jammed particulate packings. Physical Review E, 90(2), 022201. https://doi.org/10.1103/physreve.90.022201
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7771 | OA
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2014). Comment on “Repulsive contact interactions make jammed particulate systems inherently nonharmonic.” Physical Review Letters, 112(4), 049801. https://doi.org/10.1103/physrevlett.112.049801
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 7772
Still, T., Goodrich, C. P., Chen, K., Yunker, P. J., Schoenholz, S., Liu, A. J., & Yodh, A. G. (2014). Phonon dispersion and elastic moduli of two-dimensional disordered colloidal packings of soft particles with frictional interactions. Physical Review E, 89(1), 012301. https://doi.org/10.1103/physreve.89.012301
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7773
Goodrich, C. P., Liu, A. J., & Nagel, S. R. (2014). Solids between the mechanical extremes of order and disorder. Nature Physics, 10(8), 578–581. https://doi.org/10.1038/nphys3006
View | DOI
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Pilarczyk, P., & Real, P. (2014). Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics, 41(1), 253–275. https://doi.org/10.1007/s10444-014-9356-1
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B., … Tebbich, S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One, 9(9). https://doi.org/10.1371/journal.pone.0107518
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof, B., & Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association. https://doi.org/10.4204/EPTCS.146.11
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, K., Henzinger, M., Krinninger, S., & Nanongkai, D. (2014). Polynomial time algorithms for energy games with special weight structures. Algorithmica, 70(3), 457–492. https://doi.org/10.1007/s00453-013-9843-7
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, R., Ezard, T., & Hoyle, R. (2014). Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution, 4(15), 3139–3145. https://doi.org/10.1002/ece3.1150
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v2-2
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, K., Daca, P., & Chmelik, M. (2014). CEGAR for qualitative analysis of probabilistic systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-153-v3-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2014). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2014-170-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, T. A., & Otop, J. (2014). From model checking to model measuring. IST Austria. https://doi.org/10.15479/AT:IST-2014-172-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. IST Austria. https://doi.org/10.15479/AT:IST-2014-176-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2014). Optimal cost almost-sure reachability in POMDPs. IST Austria.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2014). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria. https://doi.org/10.15479/AT:IST-2014-305-v2-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2014). Quantitative fair simulation games. IST Austria. https://doi.org/10.15479/AT:IST-2014-315-v1-1
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 5810
Biswas, R., & Bhowmick, P. (2014). On Finding Spherical Geodesic Paths and Circles in ℤ3. Presented at the DGCI: International Conference on Discrete Geometry for Computer Imagery, Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-319-09955-2_33
View | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński, J., & Napiórkowski, M. M. (2014). Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré, 15(12), 2409–2439. https://doi.org/10.1007/s00023-013-0302-4
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee, J., Vrijsen, G., Teper, I., Hosten, O., & Kasevich, M. (2014). Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters, 39(13), 4005–4008. https://doi.org/10.1364/OL.39.004005
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber, G. A., Jacobson, J., Busch, K. E., Hudry, B., Christov, C. P., Dormann, D., … Miguel-Aliaga, I. (2014). Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell, 156(1–2), 69–83. https://doi.org/10.1016/j.cell.2013.12.008
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen, C., Itakura, E., Weber, K. P., Hegde, R. S., & de Bono, M. (2014). An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics, 10(3). https://doi.org/10.1371/journal.pgen.1004082
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross, E., Soltesz, Z., Oda, S., Zelmanovich, V., Abergel, Z., & de Bono, M. (2014). GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience, 34(50), 16726–16738. https://doi.org/10.1523/jneurosci.5368-13.2014
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Book Chapter | IST-REx-ID: 6178
Smutny, M., Behrndt, M., Campinho, P., Ruprecht, V., & Heisenberg, C.-P. J. (2014). UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In C. Nelson (Ed.), Tissue Morphogenesis (Vol. 1189, pp. 219–235). New York, NY: Springer. https://doi.org/10.1007/978-1-4939-1164-6_15
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal, 163(6), 1127–1190. https://doi.org/10.1215/00127094-2649752
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica, 51(3–4), 129–163. https://doi.org/10.1007/s00236-013-0182-6
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2852
Fischlin, M., Lehmann, A., & Pietrzak, K. Z. (2014). Robust multi-property combiners for hash functions. Journal of Cryptology, 27(3), 397–428. https://doi.org/10.1007/s00145-013-9148-7
View | Files available | DOI
 

Search

Filter Publications