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.
5320 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1134
Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
View
| DOI
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
2016 |Published| Conference Paper | IST-REx-ID: 1136 |
Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
2016 |Published| Journal Article | IST-REx-ID: 1137 |
RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
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.
2016 |Published| Conference Paper | IST-REx-ID: 1138 |
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
2016 |Published| Conference Paper | IST-REx-ID: 1140 |
Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
K. Chatterjee, W. Dvoák, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, W. Dvoák, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206.
2016 |Published| Journal Article | IST-REx-ID: 1142 |
Heme drives hemolysis-induced susceptibility to infection via disruption of phagocyte functions
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.)
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.
2016 |Published| Journal Article | IST-REx-ID: 1141
Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization
R. Łazarz, M. Idzik, K. Gądek, E.P. Gajda-Zagorska, Journal of Computational Science 17 (2016) 249–260.
View
| DOI
R. Łazarz, M. Idzik, K. Gądek, E.P. Gajda-Zagorska, Journal of Computational Science 17 (2016) 249–260.
2016 |Published| Journal Article | IST-REx-ID: 1143 |
Ground states of large bosonic systems: The gross Pitaevskii limit revisited
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
[Preprint]
View
| DOI
| Download Preprint (ext.)
P. Nam, N. Rougerie, R. Seiringer, Analysis and PDE 9 (2016) 459–485.
2016 |Published| Journal Article | IST-REx-ID: 1145 |
Enquiry into the topology of plasma membrane localized PIN auxin transport components
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
[Published Version]
View
| Files available
| DOI
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, J. Friml, Molecular Plant 9 (2016) 1504–1519.
2016 |Published| Journal Article | IST-REx-ID: 1147 |
Auxin flow mediated competition between axillary buds to restore apical dominance
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).
[Published Version]
View
| Files available
| DOI
J. Balla, Z. Medved’Ová, P. Kalousek, N. Matiješčuková, J. Friml, V. Reinöhl, S. Procházka, Scientific Reports 6 (2016).
2016 |Published| Journal Article | IST-REx-ID: 1149
A study of rigorous ODE integrators for multi scale set oriented computations
T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, K. Mischaikow, Applied Numerical Mathematics 107 (2016) 34–47.
View
| DOI
T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, K. Mischaikow, Applied Numerical Mathematics 107 (2016) 34–47.
2016 |Published| Journal Article | IST-REx-ID: 1150
A Radical Break Restraining Neutrophil Migration
J. Renkawitz, M.K. Sixt, Developmental Cell 38 (2016) 448–450.
View
| DOI
J. Renkawitz, M.K. Sixt, Developmental Cell 38 (2016) 448–450.
2016 |Published| Journal Article | IST-REx-ID: 1151 |
A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
2016 |Published| Journal Article | IST-REx-ID: 1153 |
A model of differential growth guided apical hook formation in plants
P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Žádníková, K.T. Wabnik, A. Abuzeineh, M. Gallemí, D. Van Der Straeten, R. Smith, D. Inze, J. Friml, P. Prusinkiewicz, E. Benková, Plant Cell 28 (2016) 2464–2477.
2016 |Published| Journal Article | IST-REx-ID: 1154 |
A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).
[Published Version]
View
| Files available
| DOI
J. Schwarz, V. Bierbaum, J. Merrin, T. Frank, R. Hauschild, M.T. Bollenbach, S. Tay, M.K. Sixt, M. Mehling, Scientific Reports 6 (2016).
2016 |Published| Journal Article | IST-REx-ID: 1157 |
Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Annals of Applied Probability 26 (2016) 3786–3839.
2016 |Published| Journal Article | IST-REx-ID: 1170
Modular parameter identification of biomolecular networks
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
[Submitted Version]
View
| Files available
| DOI
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
2016 |Published| Journal Article | IST-REx-ID: 1171
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.
G. Tkačik, Physics of Life Reviews 17 (2016) 166–167.
View
| DOI
G. Tkačik, Physics of Life Reviews 17 (2016) 166–167.
2016 |Published| Journal Article | IST-REx-ID: 1172 |
Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
[Published Version]
View
| Files available
| DOI
H. Sachdeva, M. Barma, M. Rao, Scientific Reports 6 (2016).
2016 |Published| Journal Article | IST-REx-ID: 1177 |
A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Kamath Hosdurg, S. Chatterjee, Algorithmica 74 (2016) 1321–1362.