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.
4949 Publications
2016 | Conference Paper | IST-REx-ID: 1103 | 
Gurung, Amit, et al. Parallel Reachability Analysis for Hybrid Systems. 7797741, IEEE, 2016, doi:10.1109/MEMCOD.2016.7797741.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1105
Savin, Cristina, and Gašper Tkačik. Estimating Nonlinear Neural Response Functions Using GP Priors and Kronecker Methods. Vol. 29, Neural Information Processing Systems, 2016, pp. 3610–18.
View
| Download None (ext.)
2016 | Conference Paper | IST-REx-ID: 1115 |
Rueda, Alfredo, et al. Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO₃ WGM-Resonator. 7788479, IEEE, 2016, doi:10.1364/CLEO_SI.2016.SF2G.3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1135 |
Avni, Guy, et al. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” Proceedings of the 13th International Conference on Embedded Software , 26, ACM, 2016, doi:10.1145/2968478.2968499.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1134
Duggirala, Parasara, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesis C2E2 HyST and TuLiP.” 2016 IEEE Conference on Control Applications, 7587948, IEEE, 2016, doi:10.1109/CCA.2016.7587948.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1136 |
Manteaux, Pierre, et al. “Space-Time Sculpting of Liquid Animation.” Proceedings of the 9th International Conference on Motion in Games , 2994261, ACM, 2016, doi:10.1145/2994258.2994261.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1137 |
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
2016 | Conference Paper | IST-REx-ID: 1138 |
Chatterjee, Krishnendu, et al. “Quantitative Automata under Probabilistic Semantics.” Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85, doi:10.1145/2933575.2933588.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1140 |
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1142 |
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.)
2016 | Journal Article | IST-REx-ID: 1141
Łazarz, Radosław, et al. “Hierarchic Genetic Strategy with Maturing as a Generic Tool for Multiobjective Optimization.” Journal of Computational Science, vol. 17, no. 1, Elsevier, 2016, pp. 249–60, doi:10.1016/j.jocs.2016.03.004.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1143 |
Nam, Phan, et al. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE, vol. 9, no. 2, Mathematical Sciences Publishers, 2016, pp. 459–85, doi:10.2140/apde.2016.9.459.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1145 |
Nodzyński, Tomasz, et al. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant, vol. 9, no. 11, Cell Press, 2016, pp. 1504–19, doi:10.1016/j.molp.2016.08.010.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1147 |
Balla, Jozef, et al. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports, vol. 6, 35955, Nature Publishing Group, 2016, doi:10.1038/srep35955.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1149
Miyaji, Tomoyuki, et al. “A Study of Rigorous ODE Integrators for Multi Scale Set Oriented Computations.” Applied Numerical Mathematics, vol. 107, Elsevier, 2016, pp. 34–47, doi:10.1016/j.apnum.2016.04.005.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1150
Renkawitz, Jörg, and Michael K. Sixt. “A Radical Break Restraining Neutrophil Migration.” Developmental Cell, vol. 38, no. 5, Cell Press, 2016, pp. 448–50, doi:10.1016/j.devcel.2016.08.017.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1151 |
Simonini, Sara, et al. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development, vol. 30, no. 20, Cold Spring Harbor Laboratory Press, 2016, pp. 2286–96, doi:10.1101/gad.285361.116.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1153 |
Žádníková, Petra, et al. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell, vol. 28, no. 10, American Society of Plant Biologists, 2016, pp. 2464–77, doi:10.1105/tpc.15.00569.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1154 |
Schwarz, Jan, et al. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports, vol. 6, 36440, Nature Publishing Group, 2016, doi:10.1038/srep36440.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1157 |
Lee, Ji, and Kevin Schnelli. “Tracy-Widom Distribution for the Largest Eigenvalue of Real Sample Covariance Matrices with General Population.” Annals of Applied Probability, vol. 26, no. 6, Institute of Mathematical Statistics, 2016, pp. 3786–839, doi:10.1214/16-AAP1193.
[Preprint]
View
| DOI
| Download Preprint (ext.)