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.




6767 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, K., Dvoák, W., Henzinger, M., & Loitzenbauer, V. (2016). Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 197–206). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2935304
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1141
Łazarz, R., Idzik, M., Gądek, K., & Gajda-Zagorska, E. P. (2016). Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization. Journal of Computational Science. Elsevier. https://doi.org/10.1016/j.jocs.2016.03.004
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1142 | OA
Martins R, Maier J, Gorki A, Huber K, Sharif O, Starkl P, Saluzzo S, Quattrone F, Gawish R, Lakovits K, Aichinger M, Radic Sarikas B, Lardeau C, Hladik A, Korosec A, Brown M, Vaahtomeri K, Duggan M, Kerjaschki D, Esterbauer H, Colinge J, Eisenbarth S, Decker T, Bennett K, Kubicek S, Sixt MK, Superti Furga G, Knapp S. 2016. Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions. Nature Immunology. 17(12), 1361–1372.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1143 | OA
Nam, P., Rougerie, N., & Seiringer, R. (2016). Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. Mathematical Sciences Publishers. https://doi.org/10.2140/apde.2016.9.459
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, T., Vanneste, S., Zwiewka, M., Pernisová, M., Hejátko, J., & Friml, J. (2016). Enquiry into the topology of plasma membrane localized PIN auxin transport components. Molecular Plant. Cell Press. https://doi.org/10.1016/j.molp.2016.08.010
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1147 | OA
Balla, J., Medved’Ová, Z., Kalousek, P., Matiješčuková, N., Friml, J., Reinöhl, V., & Procházka, S. (2016). Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep35955
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1148
Schilling, C., Bogomolov, S., Henzinger, T. A., Podelski, A., & Ruess, J. (2016). Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2016.07.005
View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1149
Miyaji, T., Pilarczyk, P., Gameiro, M., Kokubu, H., & Mischaikow, K. (2016). A study of rigorous ODE integrators for multi scale set oriented computations. Applied Numerical Mathematics. Elsevier. https://doi.org/10.1016/j.apnum.2016.04.005
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1150
Renkawitz, J., & Sixt, M. K. (2016). A Radical Break Restraining Neutrophil Migration. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2016.08.017
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1151 | OA
Simonini, S., Deb, J., Moubayidin, L., Stephenson, P., Valluru, M., Freire Rios, A., … Östergaard, L. (2016). A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.285361.116
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2016 | Published | Journal Article | IST-REx-ID: 1153 | OA
Žádníková, P., Wabnik, K. T., Abuzeineh, A., Gallemí, M., Van Der Straeten, D., Smith, R., … Benková, E. (2016). A model of differential growth guided apical hook formation in plants. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.15.00569
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1154 | OA
Schwarz, J., Bierbaum, V., Merrin, J., Frank, T., Hauschild, R., Bollenbach, M. T., … Mehling, M. (2016). A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep36440
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1157 | OA
Lee, J., & Schnelli, K. (2016). Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AAP1193
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1158 | OA
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2016 | Published | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2016). Hanani-Tutte for radial planarity II (Vol. 9801, pp. 468–481). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_36
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
earlier version | 2016 | Published | Conference Paper | IST-REx-ID: 1165 | OA
Fulek, R. (2016). C-planarity of embedded cyclic c-graphs (Vol. 9801, pp. 94–106). Presented at the GD: Graph Drawing and Network Visualization, Athens, Greece: Springer. https://doi.org/10.1007/978-3-319-50106-2_8
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1166 | OA
Chatterjee, K., Chmelik, M., & Davies, J. (2016). A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (Vol. 2016, pp. 3225–3232). Phoenix, AZ, United States: AAAI Press. https://doi.org/10.1609/aaai.v30i1.10422
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1167 | OA
Zagórski, M. P., Burda, Z., & Wacław, B. (2016). Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005218
[Published Version] View | Files available | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1171
Tkačik, G. (2016). Understanding regulatory networks requires more than computing a multitude of graph statistics: Comment on "Drivers of structural features in gene regulatory networks: From biophysical constraints to biological function" by O. C. Martin et al. Physics of Life Reviews. Elsevier. https://doi.org/10.1016/j.plrev.2016.06.005
View | DOI | WoS
 
2016 | Published | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva, H., Barma, M., & Rao, M. (2016). Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep38840
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed