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.




6436 Publications

2014 | Published | Conference Paper | IST-REx-ID: 1869
Hofferek, G., & Gupta, A. (2014). Suraq - a controller synthesis tool using uninterpreted functions. In E. Yahav (Ed.), HVC 2014 (Vol. 8855, pp. 68–74). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-13338-6_6
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2014). Lipschitz robustness of finite-state transducers. In Leibniz International Proceedings in Informatics, LIPIcs (Vol. 29, pp. 431–443). Delhi, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431
[Published Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, A., Kovács, L., Kragl, B., & Voronkov, A. (2014). Extensional crisis and proving identity. In F. Cassez & J.-F. Raskin (Eds.), ATVA 2014 (Vol. 8837, pp. 185–200). Sydney, Australia: Springer. https://doi.org/10.1007/978-3-319-11936-6_14
[Submitted Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 1994
Viaene, T., Landberg, K., Thelander, M., Medvecka, E., Pederson, E., Feraru, E., … Friml, J. (2014). Directional auxin transport mechanisms in early diverging land plants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2014.09.056
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1995 | OA
Fratini, F., Mascarenhas, E., Safari, L., Poizat, J., Valente, D., Auffèves, A., … Santos, M. (2014). Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.113.243601
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1996 | OA
Hazak, O., Obolski, U., Prat, T., Friml, J., Hadany, L., & Yalovsky, S. (2014). Bimodal regulation of ICR1 levels generates self-organizing auxin distribution. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1413918111
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | 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 | WoS
 
2014 | Published | Book Chapter | IST-REx-ID: 19994
Dupret, D., & Csicsvari, J. L. (2014). Reorganization of Hippocampal Place-Selective Patterns During Goal-Directed Learning and Their Reactivation During Sleep. In Analysis and Modeling of Coordinated Multi-neuronal Activity (Vol. 12). Springer Nature. https://doi.org/10.1007/978-1-4939-1969-7_6
View | DOI
 
2014 | Published | 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 | WoS
 
2014 | Published | 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
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | 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 | WoS
 
2014 | Published | 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
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | 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 | WoS
 
2014 | Research Data Reference | IST-REx-ID: 2007 | OA
Klimova, A., & Rudas, T. (2014). gIPFrm: Generalized iterative proportional fitting for relational models. The Comprehensive R Archive Network.
[Published Version] View | Download Published Version (ext.)
 
2014 | Published | Journal Article | IST-REx-ID: 2011 | OA
Yu, F., Fienberg, S., Slaković, A., & Uhler, C. (2014). Scalable privacy-preserving data sharing methodology for genome-wide association studies. Journal of Biomedical Informatics. Elsevier. https://doi.org/10.1016/j.jbi.2014.01.008
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 2012 | OA
Iglesias Ham, M., Kerber, M., & Uhler, C. (2014). Sphere packing with limited overlap. In 26th Canadian Conference on Computational Geometry (pp. 155–161). Halifax, Canada: Canadian Conference on Computational Geometry.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2013 | OA
Lin, S., Uhler, C., Sturmfels, B., & Bühlmann, P. (2014). Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-014-9205-0
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2018 | OA
Matsukawa, H., Akiyoshi Nishimura, S., Zhang, Q., Luján, R., Yamaguchi, K., Goto, H., … Itohara, S. (2014). Netrin-G/NGL complexes encode functional synaptic diversification. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1141-14.2014
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2014 | Published | Journal Article | IST-REx-ID: 2019 | OA
Erdös, L., & Schröder, D. J. (2014). Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-014-9164-3
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2020
Ali, S., Hippenmeyer, S., Saadat, L., Luo, L., Weissman, I., & Ardehali, R. (2014). Existing cardiomyocytes generate cardiomyocytes at a low rate after birth in mice. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1408233111
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed