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.
5779 Publications
2014 | Published | Journal Article | IST-REx-ID: 2168 |

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

M. Arbilly, D. Weissman, M. Feldman, and U. Grodzinski, “An arms race between producers and scroungers can drive the evolution of social cognition,” Behavioral Ecology, vol. 25, no. 3. Oxford University Press, pp. 487–495, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2175 |

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

S. Kim, “Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus,” PLoS One, vol. 9, no. 11. Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2062 |

H. Hu, J. Gan, and P. M. Jonas, “Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function,” Science, vol. 345, no. 6196. American Association for the Advancement of Science, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2254 |

A. Pernia-Andrade and P. M. Jonas, “Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations,” Neuron, vol. 81, no. 1. Elsevier, pp. 140–152, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2031 |

itaru Arai and P. M. Jonas, “Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse,” eLife, vol. 3. eLife Sciences Publications, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1821 |

R. Seiringer, “Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation,” Journal of Mathematical Physics, vol. 55, no. 7. American Institute of Physics, 2014.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1926 |

C. Sadel, “Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips,” Mathematical Physics, Analysis and Geometry, vol. 17, no. 3–4. Springer, pp. 409–440, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 1862 |

X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729. Nature Publishing Group, pp. 90–93, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1893 |

P. Marhavá et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7. National Academy of Sciences, pp. 2818–2823, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1921 |

R. Tejos et al., “Bipolar plasma membrane distribution of phosphoinositides and their requirement for auxin-mediated cell polarity and patterning in Arabidopsis,” Plant Cell, vol. 26, no. 5. American Society of Plant Biologists, pp. 2114–2128, 2014.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1915
X. Chen and J. Friml, “Rho-GTPase-regulated vesicle trafficking in plant cell polarity,” Biochemical Society Transactions, vol. 42, no. 1. Portland Press, pp. 212–218, 2014.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Conference Paper | IST-REx-ID: 1643 |

G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2045 |

D. Dachman Soled, G. Fuchsbauer, P. Mohassel, and A. O’Neill, “Enhanced chosen-ciphertext security and applications,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Buenos Aires, Argentina, 2014, vol. 8383, pp. 329–344.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2046 |

M. Bellare and G. Fuchsbauer, “Policy-based signatures,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Buenos Aires, Argentina, 2014, vol. 8383, pp. 520–537.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2082 |

P. Gazi, K. Z. Pietrzak, and M. Rybar, “The exact PRF-security of NMAC and HMAC,” presented at the CRYPTO: International Cryptology Conference, Santa Barbara, USA, 2014, vol. 8616, no. 1, pp. 113–130.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10884 |

B. Aminof, S. Jacobs, A. Khalimov, and S. Rubin, “Parameterized model checking of token-passing systems,” in Verification, Model Checking, and Abstract Interpretation, San Diego, CA, United States, 2014, vol. 8318, pp. 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | 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.
[Published Version]
View
| Files available
| DOI