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.
5046 Publications
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.)
2016 | Journal Article | IST-REx-ID: 1170
Lang, Moritz, and Jörg Stelling. “Modular Parameter Identification of Biomolecular Networks.” SIAM Journal on Scientific Computing, vol. 38, no. 6, Society for Industrial and Applied Mathematics , 2016, pp. B988–1008, doi:10.1137/15M103306X.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1171
Tkačik, Gašper. “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, vol. 17, Elsevier, 2016, pp. 166–67, doi:10.1016/j.plrev.2016.06.005.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1172 |
Sachdeva, Himani, et al. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” Scientific Reports, vol. 6, 38840, Nature Publishing Group, 2016, doi:10.1038/srep38840.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1177 |
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica, vol. 74, no. 4, Springer, 2016, pp. 1321–62, doi:10.1007/s00453-015-9997-6.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1179 |
Pietrzak, Krzysztof Z., and Skorski Maciej. Pseudoentropy: Lower-Bounds for Chain Rules and Transformations. Vol. 9985, Springer, 2016, pp. 183–203, doi:10.1007/978-3-662-53641-4_8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1181
Dwyer, Noelle, et al. “Neural Stem Cells to Cerebral Cortex: Emerging Mechanisms Regulating Progenitor Behavior and Productivity.” Journal of Neuroscience, vol. 36, no. 45, Society for Neuroscience, 2016, pp. 11394–401, doi:10.1523/JNEUROSCI.2359-16.2016.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1182 |
Chatterjee, Krishnendu, et al. Robust Draws in Balanced Knockout Tournaments. Vol. 2016–January, AAAI Press, 2016, pp. 172–79.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1184 |
Metzler, Sina, et al. “Mating and Longevity in Ant Males.” Ecology and Evolution, vol. 6, no. 24, Wiley-Blackwell, 2016, pp. 8903–06, doi:10.1002/ece3.2474.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1185
Cucinotta, Mara, et al. “Cytokinin Response Factors Integrate Auxin and Cytokinin Pathways for Female Reproductive Organ Development.” Development, vol. 143, no. 23, Company of Biologists, 2016, pp. 4419–24, doi:10.1242/dev.143545.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1186 |
Gutierrez-Fernandez, Javier, et al. “Modular Architecture and Unique Teichoic Acid Recognition Features of Choline-Binding Protein L CbpL Contributing to Pneumococcal Pathogenesis.” Scientific Reports, vol. 6, 38094, Nature Publishing Group, 2016, doi:10.1038/srep38094.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1188 |
De Martino, Daniele, and Davide Masoero. “Asymptotic Analysis of Noisy Fitness Maximization, Applied to Metabolism & Growth.” Journal of Statistical Mechanics: Theory and Experiment, vol. 2016, no. 12, 123502, IOPscience, 2016, doi:10.1088/1742-5468/aa4e8f.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1195 |
Franssen, Susan, et al. “Reconstruction of Haplotype-Blocks Selected during Experimental Evolution.” Molecular Biology and Evolution, vol. 34, no. 1, Oxford University Press, 2016, pp. 174–84, doi:10.1093/molbev/msw210.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1200 |
Hilbe, Christian, and Arne Traulsen. “Only the Combination of Mathematics and Agent Based Simulations Can Leverage the Full Potential of Evolutionary Modeling: Comment on ‘Evolutionary Game Theory Using Agent-Based Methods’ by C. Adami, J. Schossau and A. Hintze.” Physics of Life Reviews, vol. 19, Elsevier, 2016, pp. 29–31, doi:10.1016/j.plrev.2016.10.004.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1201
Renkawitz, Jörg, and Michael K. Sixt. “Formin’ a Nuclear Protection.” Cell, vol. 167, no. 6, Cell Press, 2016, pp. 1448–49, doi:10.1016/j.cell.2016.11.024.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1202 |
Milutinovic, Barbara, et al. “Immune Priming in Arthropods: An Update Focusing on the Red Flour Beetle.” Zoology , vol. 119, no. 4, Elsevier, 2016, pp. 254–61, doi:10.1016/j.zool.2016.03.006.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1203 |
Hu, Fang, et al. “Comparative Genomic Analysis of Haemophilus Haemolyticus and Nontypeable Haemophilus Influenzae and a New Testing Scheme for Their Discrimination.” Journal of Clinical Microbiology, vol. 54, no. 12, American Society for Microbiology, 2016, pp. 3010–17, doi:10.1128/JCM.01511-16.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1204 |
Amir, Ariel, et al. “Surprises in Numerical Expressions of Physical Constants.” American Mathematical Monthly, vol. 123, no. 6, Mathematical Association of America, 2016, pp. 609–12, doi:10.4169/amer.math.monthly.123.6.609.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1206 |
Redchenko, Elena, and Mikhail Lemeshko. “Libration of Strongly Oriented Polar Molecules inside a Superfluid.” ChemPhysChem, vol. 17, no. 22, Wiley-Blackwell, 2016, pp. 3649–54, doi:10.1002/cphc.201601042.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1209 |
Letts, James A., et al. “Purification of Ovine Respiratory Complex i Results in a Highly Active and Stable Preparation.” Journal of Biological Chemistry, vol. 291, no. 47, American Society for Biochemistry and Molecular Biology, 2016, pp. 24657–75, doi:10.1074/jbc.M116.735142.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Book Chapter | IST-REx-ID: 1210
Zhu, Qiang, et al. “Real Time Analysis of the Apical Hook Development.” Plant Hormones, vol. 1497, Humana Press, 2016, pp. 1–8, doi:10.1007/978-1-4939-6469-7_1.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1212 |
Rakusová, Hana, et al. “Termination of Shoot Gravitropic Responses by Auxin Feedback on PIN3 Polarity.” Current Biology, vol. 26, no. 22, Cell Press, 2016, pp. 3026–32, doi:10.1016/j.cub.2016.08.067.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1214
Martius, Georg S., et al. Compliant Control for Soft Robots: Emergent Behavior of a Tendon Driven Anthropomorphic Arm. Vol. 2016–November, 7759138, IEEE, 2016, doi:10.1109/IROS.2016.7759138.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1216 |
Kasten, Jens, et al. “Acceleration Feature Points of Unsteady Shear Flows.” Archives of Mechanics, vol. 68, no. 1, Polish Academy of Sciences Publishing House, 2016, pp. 55–80.
[Published Version]
View
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1217
Sreeramkumar, Vinatha, et al. “Efficient T-Cell Priming and Activation Requires Signaling through Prostaglandin E2 (EP) Receptors.” Immunology and Cell Biology, vol. 94, no. 1, Nature Publishing Group, 2016, pp. 39–51, doi:10.1038/icb.2015.62.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1218 |
Angermayr, Andreas, et al. “Culturing Synechocystis Sp. Strain Pcc 6803 with N2 and CO2 in a Diel Regime Reveals Multiphase Glycogen Dynamics with Low Maintenance Costs.” Applied and Environmental Microbiology, vol. 82, no. 14, American Society for Microbiology, 2016, pp. 4180–89, doi:10.1128/AEM.00256-16.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1219 |
Lee, Jioon, et al. “Bulk Universality for Deformed Wigner Matrices.” Annals of Probability, vol. 44, no. 3, Institute of Mathematical Statistics, 2016, pp. 2349–425, doi:10.1214/15-AOP1023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1220 |
Mikić, Gregor, et al. Fuselage Boundary Layer Ingestion Propulsion Applied to a Thin Haul Commuter Aircraft for Optimal Efficiency. AIAA, 2016, pp. 1–19, doi:10.2514/6.2016-3764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1221 |
Michalko, Jaroslav, et al. “Strong Morphological Defects in Conditional Arabidopsis Abp1 Knock-down Mutants Generated in Absence of Functional ABP1 Protein.” F1000 Research , vol. 5, 86, F1000 Research, 2016, doi:10.12688/f1000research.7654.1.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1222 |
Musin, Oleg, and Anton Nikitenko. “Optimal Packings of Congruent Circles on a Square Flat Torus.” Discrete & Computational Geometry, vol. 55, no. 1, Springer, 2016, pp. 1–20, doi:10.1007/s00454-015-9742-6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1223 |
Froese, Richard, et al. “Localization for Transversally Periodic Random Potentials on Binary Trees.” Journal of Spectral Theory, vol. 6, no. 3, European Mathematical Society, 2016, pp. 557–600, doi:10.4171/JST/132.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1224
Teitel, Zachary, et al. “The Dynamics of Resource Allocation and Costs of Reproduction in a Sexually Dimorphic, Wind-Pollinated Dioecious Plant.” Plant Biology, vol. 18, no. 1, Wiley-Blackwell, 2016, pp. 98–103, doi:10.1111/plb.12336.
View
| DOI
2016 | Journal Article | IST-REx-ID: 1226 |
Fiedorczuk, Karol, et al. “Atomic Structure of the Entire Mammalian Mitochondrial Complex I.” Nature, vol. 538, no. 7625, Nature Publishing Group, 2016, pp. 406–10, doi:10.1038/nature19794.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1227 |
Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.
[Submitted Version]
View
| Files available
| DOI