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.

5625 Publications


2014 | Journal Article | IST-REx-ID: 468   OA
A. Cimadom et al., “Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813   OA
J. Dereziński and M. M. Napiórkowski, “Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincaré, vol. 15, no. 12, pp. 2409–2439, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6126   OA
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and M. de Bono, “GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings,” Journal of Neuroscience, vol. 34, no. 50, pp. 16726–16738, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6739   OA
M. Mondelli, H. Hassani, and R. Urbanke, “From polar to Reed-Muller codes: A technique to improve the finite-length performance,” IEEE Transactions on Communications, vol. 62, no. 9, pp. 3084–3091, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
D. Alistarh, J. Aspnes, V. King, and J. Saia, “Communication-efficient randomized consensus,” presented at the DISC: Distributed Computing, Austin, USA, 2014, vol. 8784, pp. 61–75.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
B. Dong, E. Hannezo, and S. Hayashi, “Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape,” Cell Reports, vol. 7, no. 4, pp. 941–950, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1912
J. Compagnon et al., “The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ,” Developmental Cell, vol. 31, no. 6, pp. 774–783, 2014.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Regression-free synthesis for concurrency,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 568–584.
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2213   OA
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2054
K. Chatterjee, “Qualitative concurrent parity games: Bounded rationality,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Rome, Italy, 2014, vol. 8704, pp. 544–559.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475   OA
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
A. Dunst, V. Epp, I. Hanzu, S. A. Freunberger, and M. Wilkening, “Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries,” Energy & Environmental Science, vol. 7, no. 8, pp. 2739–2752, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
J. L. Csicsvari and D. Dupret, “Sharp wave/ripple network oscillations and learning-associated hippocampal maps,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 369, no. 1635, p. 20120528, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7744
M. R. Robinson, N. R. Wray, and P. M. Visscher, “Explaining additional genetic variation in complex traits,” Trends in Genetics, vol. 30, no. 4, pp. 124–132, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
M. A. Lohr et al., “Vibrational and structural signatures of the crossover between dense glassy and sparse gel-like attractive colloidal packings,” Physical Review E, vol. 90, no. 6, p. 062305, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Contact nonlinearities and linear response in jammed particulate packings,” Physical Review E, vol. 90, no. 2, p. 022201, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, “Compositional specifications for IOCO testing,” in IEEE 7th International Conference on Software Testing, Verification and Validation, Cleveland, USA, 2014, p. 6823899.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
T. Xu et al., “Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling,” Science, vol. 343, no. 6174, pp. 1025–1028, 2014.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1312
J. L. Fischer, “Upper bounds on waiting times for the Thin-film equation: The case of weak slippage,” Archive for Rational Mechanics and Analysis, vol. 211, no. 3, pp. 771–818, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4, 2014.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
K. Muelling, O. Kroemer, C. Lampert, and B. Schölkopf, “Movement templates for learning of hitting and batting,” in Learning Motor Skills, vol. 97, J. Kober and J. Peters, Eds. Springer, 2014, pp. 69–82.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
T. Viaene et al., “Directional auxin transport mechanisms in early diverging land plants,” Current Biology, vol. 24, no. 23, pp. 2786–2791, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729, pp. 90–93, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
P. Nováková et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7, pp. 2818–2823, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
A. Ritzau Jost et al., “Ultrafast action potentials mediate kilohertz signaling at a central synapse,” Neuron, vol. 84, no. 1, pp. 152–163, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1901
H. Tian et al., “WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis,” Molecular Plant, vol. 7, no. 2, pp. 277–289, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1918   OA
J. Bellazzini, R. Frank, É. Lieb, and R. Seiringer, “Existence of ground states for negative ions at the binding threshold,” Reviews in Mathematical Physics, vol. 26, no. 1, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920   OA
W. Wang et al., “Distinct cerebellar engrams in short-term and long-term motor learning,” PNAS, vol. 111, no. 1, pp. E188–E193, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932   OA
M. Trotter, D. Weissman, G. Peterson, K. Peck, and J. Masel, “Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations,” Evolution, vol. 68, no. 12, pp. 3357–3367, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937   OA
P. Bourgade, L. Erdös, and H. Yau, “Edge universality of beta ensembles,” Communications in Mathematical Physics, vol. 332, no. 1, pp. 261–353, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2005
D. Dupret and J. L. Csicsvari, “Turning heads to remember places,” Nature Neuroscience, vol. 17, no. 5, pp. 643–644, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2012   OA
M. Iglesias Ham, M. Kerber, and C. Uhler, “Sphere packing with limited overlap,” presented at the CCCG: Canadian Conference on Computational Geometry, Halifax, Canada, 2014, pp. 155–161.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2043   OA
U. Bauer, M. Kerber, and J. Reininghaus, “Distributed computation of persistent homology,” in Proceedings of the Workshop on Algorithm Engineering and Experiments, Portland, USA, 2014, pp. 31–38.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2050   OA
J. Kühnen, M. Holzner, B. Hof, and H. Kuhlmann, “Experimental investigation of transitional flow in a toroidal pipe,” Journal of Fluid Mechanics, vol. 738, pp. 463–491, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2081
M. Skouras et al., “Designing inflatable structures,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2014, vol. 33, no. 4.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2029   OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory for the quantum Heisenberg model,” EPL, vol. 108, no. 2, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036   OA
M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 2014.
View | DOI | Download (ext.)
 

2014 | Preprint | IST-REx-ID: 2017   OA
C. Uhler, A. Lenkoski, and D. Richards, “ Exact formulas for the normalizing constants of Wishart distributions for graphical models,” ArXiv. ArXiv, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2024   OA
J. Toshima et al., “Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole,” Nature Communications, vol. 5, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2168   OA
J. Kelleher, A. Etheridge, and N. H. Barton, “Coalescent simulation in continuous space: Algorithms for large neighbourhood size,” Theoretical Population Biology, vol. 95, pp. 13–23, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2170   OA
J. Hearn, G. Stone, L. Bunnefeld, J. Nicholls, N. H. Barton, and K. Lohse, “Likelihood-based inference of population history from low-coverage de novo genome assemblies,” Molecular Ecology, vol. 23, no. 1, pp. 198–211, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2175   OA
M. P. Postiglione and S. Hippenmeyer, “Monitoring neurogenesis in the cerebral cortex: an update,” Future Neurology, vol. 9, no. 3, pp. 323–340, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219   OA
E. Kiltz, D. Masny, and K. Z. Pietrzak, “Simple chosen-ciphertext security from low noise LPN,” presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, 2014, vol. 8383, pp. 1–18.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2226   OA
L. Shi, B. Hof, and A. Tilgner, “Transient growth of Ekman-Couette flow,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 1, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2240
A. Gadeyne et al., “The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants,” Cell, vol. 156, no. 4, pp. 691–704, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2132   OA
M. Erbar and J. Maas, “Gradient flow structures for discrete porous medium equations,” Discrete and Continuous Dynamical Systems- Series A, vol. 34, no. 4, pp. 1355–1374, 2014.
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2156   OA
U. Bauer, X. Ge, and Y. Wang, “Measuring distance between Reeb graphs,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 464–473.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2086   OA
S. Wolf et al., “So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees,” PLoS One, vol. 9, no. 8, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2214   OA
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M. K. Sixt, and R. Alon, “Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects,” PLoS One, vol. 9, no. 1, 2014.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 2245
S. Simon, P. Skůpa, P. Dobrev, J. Petrášek, E. Zažímalová, and J. Friml, “Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters,” in Plant Chemical Genomics, vol. 1056, G. Hicks and S. Robert, Eds. Springer, 2014, pp. 255–264.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2252
S. Phadke, T. Paixao, T. Pham, S. Pham, and R. Zufall, “Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila,” Journal of Heredity, vol. 105, no. 1, pp. 130–135, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 248   OA
T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils of conics and quadrics with many degenerate fibres,” Annals of Mathematics, vol. 180, no. 1, pp. 381–402, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 255
T. D. Browning, R. Dietmann, and R. Heath Brown, “Rational points on intersections of cubic and quadric hypersurfaces,” Journal of the Institute of Mathematics of Jussieu, vol. 14, no. 4, pp. 703–749, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2699   OA
L. Erdös, P. Bourgade, and H. Yau, “Universality of general β-ensembles,” Duke Mathematical Journal, vol. 163, no. 6, pp. 1127–1190, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 332
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibanez, and A. Cabot, “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation,” Journal of the American Chemical Society, vol. 136, no. 26, pp. 9236–9239, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 356
X. Yu, A. Shavel, X. An, Z. Luo, M. Ibanez, and A. Cabot, “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation,” Journal of the American Chemical Society, vol. 136, no. 26, pp. 9236–9239, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 349
S. Ortega, M. Ibanez, D. Cadavid, and A. Cabot, “Bottom up processing of PbTe PbS thermoelectric nanocomposites,” International Journal of Nanotechnology, vol. 11, no. 9–11, pp. 955–970, 2014.
View | DOI
 

2014 | Technical Report | IST-REx-ID: 5427   OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
View | Files available | DOI
 

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

2014 | Journal Article | IST-REx-ID: 2257
G. Tkacik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Searching for collective behavior in a large network of sensory neurons,” PLoS Computational Biology, vol. 10, no. 1, 2014.
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 589   OA
J. Lee, G. Vrijsen, I. Teper, O. Hosten, and M. Kasevich, “Many-atom-cavity QED system with homogeneous atom-cavity coupling,” Optics Letters, vol. 39, no. 13, pp. 4005–4008, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122   OA
G. A. Linneweber et al., “Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching,” Cell, vol. 156, no. 1–2, pp. 69–83, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 774
D. Alistarh, K. Censor Hille, and N. Shavit, “Brief announcement: Are lock-free concurrent algorithms practically wait-free?,” presented at the PODC: Principles of Distributed Computing, 2014, pp. 50–52.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 856
K. Pougach et al., “Duplication of a promiscuous transcription factor drives the emergence of a new regulatory network,” Nature Communications, vol. 5, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 863
L. Moroz et al., “The ctenophore genome and the evolutionary origins of neural systems,” Nature, vol. 510, no. 7503, pp. 109–114, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 926
E. Hannezo, J. Prost, and J. Joanny, “Growth homeostatic regulation and stem cell dynamics in tissues,” Journal of the Royal Society Interface, vol. 11, no. 93, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 96   OA
A. P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, and C. Marcus, “Coherent operations and screening in multielectron spin qubits,” APS Physics, Physical Review Letters, vol. 112, no. 2, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2031   OA
I. Arai and P. M. Jonas, “Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse,” eLife, vol. 3, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1906   OA
M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, and M. Wimmer, “Large-scale point-cloud visualization through localized textured surface reconstruction,” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 9, pp. 1280–1292, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062   OA
H. Hu, J. Gan, and P. M. Jonas, “Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function,” Science, vol. 345, no. 6196, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1886   OA
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, and G. Tkacik, “Variance predicts salience in central sensory processing,” eLife, no. November, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2233   OA
U. Boker and T. A. Henzinger, “Exact and approximate determinization of discounted-sum automata,” Logical Methods in Computer Science, vol. 10, no. 1, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
K. Chatterjee and L. Doyen, “Games with a weak adversary,” in Lecture Notes in Computer Science, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 110–121.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5415
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 7303
S. A. Freunberger, Y. Chen, F. Bardé, K. Takechi, F. Mizuno, and P. G. Bruce, “Nonaqueous Electrolytes,” in The Lithium Air Battery: Fundamentals, N. Imanishi, A. C. Luntz, and P. Bruce, Eds. New York, NY: Springer Nature, 2014, pp. 23–58.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7598   OA
S. Tan and H.-W. Xue, “Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5,” Cell Reports, vol. 9, no. 5, pp. 1692–1702, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7699
L. B. J. Sweeney and D. B. Kelley, “Harnessing vocal patterns for social communication,” Current Opinion in Neurobiology, vol. 28, no. 10, pp. 34–41, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7769
C. P. Goodrich, S. Dagois-Bohy, B. P. Tighe, M. van Hecke, A. J. Liu, and S. R. Nagel, “Jamming in finite systems: Stability, anisotropy, fluctuations, and scaling,” Physical Review E, vol. 90, no. 2, p. 022138, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1999
N. Stroeymeyt, B. E. Casillas Perez, and S. Cremer, “Organisational immunity in social insects,” Current Opinion in Insect Science, vol. 5, no. 1, pp. 1–15, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2187   OA
R. Bloem et al., “Synthesizing robust systems,” Acta Informatica, vol. 51, no. 3–4, pp. 193–220, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393   OA
A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1925   OA
C. Lamprecht et al., “A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes,” Nanotechnology, vol. 25, no. 12, p. 125704, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913   OA
I. Milenković, T. Petrov, and G. Kovács, “Patterns of hippocampal tau pathology differentiate neurodegenerative dementias,” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, pp. 375–388, 2014.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 117
H. Jaeger, M. Miskin, and S. R. Waitukaitis, “From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions,” in AIP Conference Proceedings, Sydney, Australia, 2013, vol. 1542, pp. 3–6.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1469
T. Hausel, E. Letellier, and F. Rodríguez Villegas, “Arithmetic harmonic analysis on character and quiver varieties II,” Advances in Mathematics, vol. 234, pp. 85–128, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1786   OA
F. Nissen, J. M. Fink, J. Mlynek, A. Wallraff, and J. Keeling, “Collective suppression of linewidths in circuit QED,” Physical Review Letters, vol. 110, no. 20, 2013.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1988
M. Bonny, E. Fischer Friedrich, M. Loose, P. Schwille, and K. Kruse, “Membrane binding of MinE allows for a comprehensive description of Min-protein pattern formation,” PLoS Computational Biology, vol. 9, no. 12, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2107
M. Skouras, B. Thomaszewski, S. Coros, B. Bickel, and M. Groß, “Computational design of actuated deformable characters,” ACM Transactions on Graphics, vol. 32, no. 4, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2114
B. Bickel and M. Alexa, “Computational aspects of fabrication: Modeling, design and 3d printing,” IEEE Computer Graphics and Applications, vol. 33, no. 6, pp. 24–25, 2013.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2152   OA
S. Bhongale, L. Mathey, E. Zhao, S. Yelin, and M. Lemeshko, “Erratum: Quantum phases of quadrupolar fermi gases in optical lattices,” Physical Review Letters, vol. 111, no. 23, 2013.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210   OA
T. Biedl, M. Held, and S. Huber, “Reconstructing polygons from embedded straight skeletons,” in 29th European Workshop on Computational Geometry, Braunschweig, Germany, 2013, pp. 95–98.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284   OA
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies,” BMC Evolutionary Biology, vol. 13, no. 1, 2013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289   OA
T. A. Henzinger, “Quantitative reactive modeling and verification,” Computer Science Research and Development, vol. 28, no. 4, pp. 331–344, 2013.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed