Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3559 Publications

2014 | Journal Article | IST-REx-ID: 1998
El Masri, L., & Cremer, S. (2014). Individual and social immunisation in insects. Trends in Immunology. Elsevier. https://doi.org/10.1016/j.it.2014.08.005
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2001
Mitosch, K., & Bollenbach, M. T. (2014). Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. Wiley. https://doi.org/10.1111/1758-2229.12190
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2002 | OA
Kim, S. (2014). Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0113124
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2003
O’Neill, J., & Csicsvari, J. L. (2014). Learning by example in the hippocampus. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2014.06.013
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2004 | OA
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H., Dinnyés, A., & Kovács, K. (2014). Boolean modelling reveals new regulatory connections between transcription factors orchestrating the development of the ventral spinal cord. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0111430
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2005
Dupret, D., & Csicsvari, J. L. (2014). Turning heads to remember places. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3700
View | DOI
 
2014 | Other Publication | IST-REx-ID: 2007 | OA
Klimova, A., & Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.
View | Download (ext.)
 
2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, K., Henzinger, M., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900
View | DOI | Download Published Version (ext.)
 

Search

Filter Publications