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.

4262 Publications


2014 |Published| Conference Paper | IST-REx-ID: 2190 | OA
Esparza, J., & Kretinsky, J. (2014). From LTL to deterministic automata: A safraless compositional approach (Vol. 8559, pp. 192–208). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-319-08867-9_13
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| Journal Article | IST-REx-ID: 2214 | OA
Stoler Barak, L., Moussion, C., Shezen, E., Hatzav, M., Sixt, M. K., & Alon, R. (2014). Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085699
[Published Version] View | Files available | DOI
 

2014 |Published| 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. Oxford University Press. https://doi.org/10.1093/pcp/pct196
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 |Published| 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. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v19-3054
[Published Version] View | Files available | DOI
 

2014 |Published| Conference Paper | IST-REx-ID: 2219 | OA
Kiltz, E., Masny, D., & Pietrzak, K. Z. (2014). Simple chosen-ciphertext security from low noise LPN (Vol. 8383, pp. 1–18). Presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, Springer. https://doi.org/10.1007/978-3-642-54631-0_1
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| Journal Article | IST-REx-ID: 2220 | OA
de Vos, M., & Bollenbach, M. T. (2014). Suppressive drug interactions between antifungals. Chemistry and Biology. Cell Press. https://doi.org/10.1016/j.chembiol.2014.04.004
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 |Published| 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. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-10(1:10)2014
[Published Version] View | Files available | DOI
 

2014 |Published| 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. Frontiers Research Foundation. https://doi.org/10.3389/fninf.2014.00016
[Published Version] View | Files available | DOI
 

2014 |Published| 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. Nature Publishing Group. https://doi.org/10.1038/nn.3678
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| 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. American Association for the Advancement of Science. https://doi.org/10.1126/science.1244811
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| 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. IOP Publishing. https://doi.org/10.1088/1742-5468/2014/02/P02001
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 |Published| Journal Article | IST-REx-ID: 2231 | OA
Rieckh, G., & Tkačik, G. (2014). Noise and information transmission in promoters with multiple internal states. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2014.01.014
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 |Published| 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. American Institute of Physics. https://doi.org/10.1103/PhysRevE.89.013001
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| 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. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-10(1:13)2014
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 |Published| 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
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 |Published| 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. Nature Publishing Group. https://doi.org/10.1038/nature12977
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| 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. Elsevier. https://doi.org/10.1016/j.tcs.2013.11.032
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 |Published| 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. ASM. https://doi.org/10.1128/JVI.02595-13
[Published Version] View | Files available | DOI
 

2014 |Published| 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. Elsevier. https://doi.org/10.1016/j.neuron.2013.09.046
[Published Version] View | Files available | DOI
 

2014 |Published| 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. Royal Society, The. https://doi.org/10.1098/rstb.2012.0528
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

oa=1

Search

Filter Publications