Please note that IST 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.

6502 Publications


2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, P., Fan, C., Potok, M., Qi, B., Mitra, S., Viswanathan, M., … Xiang, W. (2016). Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. In 2016 IEEE Conference on Control Applications. Buenos Aires, Argentina : IEEE. https://doi.org/10.1109/CCA.2016.7587948
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, G., Guha, S., & Rodríguez Navas, G. (2016). Synthesizing time triggered schedules for switched networks with faulty links. In Proceedings of the 13th International Conference on Embedded Software . Pittsburgh, PA, USA: ACM. https://doi.org/10.1145/2968478.2968499
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, P., Vimont, U., Wojtan, C. J., Rohmer, D., & Cani, M. (2016). Space-time sculpting of liquid animation. In Proceedings of the 9th International Conference on Motion in Games . San Francisco, CA, USA: ACM. https://doi.org/10.1145/2994258.2994261
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2016). Quantitative automata under probabilistic semantics. In Proceedings of the 31st Annual ACM/IEEE Symposium (pp. 76–85). New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2933588
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1139
Düllberg, C. F., Cade, N., & Surrey, T. (2016). Microtubule aging probed by microfluidics assisted tubulin washout. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1091/mbc.E16-07-0548
View | DOI
 

2016 | 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
View | DOI | Download Preprint (ext.)
 

2016 | 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
 

2016 | 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.
View | DOI | Download Submitted Version (ext.)
 

2016 | 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
View | DOI | Download Preprint (ext.)
 

2016 | 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
View | Files available | DOI
 

2016 | 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
View | Files available | DOI
 

2016 | 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
 

2016 | 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
 

2016 | 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
 

2016 | 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
View | Files available | DOI | PubMed | Europe PMC
 

2016 | 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
View | DOI | Download Submitted Version (ext.)
 

2016 | 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
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1156
Hibi, T., & Solus, L. T. (2016). Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. Springer. https://doi.org/10.1007/s00026-016-0325-x
View | DOI
 

2016 | 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
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications