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.




2684 Publications

2013 | Journal Article | IST-REx-ID: 2834   OA
Avila, M., Mellibovsky, F., Roland, N., & Hof, B. (2013). Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters, 110(22). https://doi.org/10.1103/PhysRevLett.110.224502
View | DOI | Download (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2841
Morita, H., & Heisenberg, C.-P. J. (2013). Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell, 24(6), 567–569. https://doi.org/10.1016/j.devcel.2013.03.007
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2810   OA
De Vos, M., Poelwijk, F., Battich, N., Ndika, J., & Tans, S. (2013). Environmental dependence of genetic constraint. PLoS Genetics, 9(6). https://doi.org/10.1371/journal.pgen.1003580
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2860   OA
Dupret, D., O’Neill, J., & Csicsvari, J. L. (2013). Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron, 78(1), 166–180. https://doi.org/10.1016/j.neuron.2013.01.033
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2909   OA
Barton, N. H., Etheridge, A., & Véber, A. (2013). Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment, 2013(1). https://doi.org/10.1088/1742-5468/2013/01/P01002
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2853   OA
Refardt, D., Bergmiller, T., & Kümmerli, R. (2013). Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1759). https://doi.org/10.1098/rspb.2012.3035
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, K., De Alfaro, L., Faella, M., Majumdar, R., & Raman, V. (2013). Code aware resource management. Formal Methods in System Design, 42(2), 142–174. https://doi.org/10.1007/s10703-012-0170-4
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, H., Fasy, B. T., & Rote, G. (2013). Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete & Computational Geometry, 49(4), 797–822. https://doi.org/10.1007/s00454-013-9517-x
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 476   OA
Dickerson, D., & Bilkey, D. (2013). Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience, 7(DEC). https://doi.org/10.3389/fnbeh.2013.00217
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 508   OA
Tarazona Santos, E., Machado, M., Magalhães, W., Chen, R., Lyon, F., Burdett, L., … Chanock, S. (2013). Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution, 30(9), 2157–2167. https://doi.org/10.1093/molbev/mst119
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 527
Wabnik, K. T., Robert, H., Smith, R., & Friml, J. (2013). Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology, 23(24), 2513–2518. https://doi.org/10.1016/j.cub.2013.10.038
View | DOI
 
2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, E., Zaujec, J., Uhrin, P., Raab, I., Weber, M., Schachner, H., … Stockinger, H. (2013). Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters, 154(1–2), 31–41. https://doi.org/10.1016/j.imlet.2013.07.007
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2327
Henzinger, T. A., & Otop, J. (2013). From model checking to model measuring. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-40184-8_20
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee, K., & Fijalkow, N. (2013). Infinite-state games with finitary conditions. In 22nd EACSL Annual Conference on Computer Science Logic (Vol. 23, pp. 181–196). Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.181
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2000   OA
Reiter, J., Božić, I., Chatterjee, K., & Nowak, M. (2013). TTP: Tool for tumor progression. In Proceedings of 25th Int. Conf. on Computer Aided Verification (Vol. 8044, pp. 101–106). St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_6
View | Files available | DOI | Download (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter, J., Božić, I., Allen, B., Chatterjee, K., & Nowak, M. (2013). The effect of one additional driver mutation on tumor progression. Evolutionary Applications, 6(1), 34–45. https://doi.org/10.1111/eva.12020
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2884
Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., & Heisenberg, C.-P. J. (2013). Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences, 29(2), 147–150. https://doi.org/10.1051/medsci/2013292011
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2295   OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2013). What is decidable about partially observable Markov decision processes with omega-regular objectives. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.165
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2013). Quantitative abstraction refinement. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 115–128). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429085
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed