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 | OA
G. Avni, S. Guha, and G. Rodríguez Navas, “Synthesizing time triggered schedules for switched networks with faulty links,” in Proceedings of the 13th International Conference on Embedded Software , Pittsburgh, PA, USA, 2016.
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1134
P. Duggirala et al., “Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP,” in 2016 IEEE Conference on Control Applications, Buenos Aires, Argentina , 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1136 | OA
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, and M. Cani, “Space-time sculpting of liquid animation,” in Proceedings of the 9th International Conference on Motion in Games , San Francisco, CA, USA, 2016.
[Submitted Version] 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1138 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Quantitative automata under probabilistic semantics,” in Proceedings of the 31st Annual ACM/IEEE Symposium, New York, NY, USA, 2016, pp. 76–85.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1140 | OA
K. Chatterjee, W. Dvoák, M. H. Henzinger, and V. Loitzenbauer, “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, New York, NY, USA, 2016, pp. 197–206.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1141
R. Łazarz, M. Idzik, K. Gądek, and E. P. Gajda-Zagorska, “Hierarchic genetic strategy with maturing as a generic tool for multiobjective optimization,” Journal of Computational Science, vol. 17, no. 1. Elsevier, pp. 249–260, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1143 | OA
P. Nam, N. Rougerie, and R. Seiringer, “Ground states of large bosonic systems: The gross Pitaevskii limit revisited,” Analysis and PDE, vol. 9, no. 2. Mathematical Sciences Publishers, pp. 459–485, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1145 | OA
T. Nodzyński, S. Vanneste, M. Zwiewka, M. Pernisová, J. Hejátko, and J. Friml, “Enquiry into the topology of plasma membrane localized PIN auxin transport components,” Molecular Plant, vol. 9, no. 11. Cell Press, pp. 1504–1519, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1147 | OA
J. Balla et al., “Auxin flow mediated competition between axillary buds to restore apical dominance,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1149
T. Miyaji, P. Pilarczyk, M. Gameiro, H. Kokubu, and K. Mischaikow, “A study of rigorous ODE integrators for multi scale set oriented computations,” Applied Numerical Mathematics, vol. 107. Elsevier, pp. 34–47, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1150
J. Renkawitz and M. K. Sixt, “A Radical Break Restraining Neutrophil Migration,” Developmental Cell, vol. 38, no. 5. Cell Press, pp. 448–450, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1151 | OA
S. Simonini 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, pp. 2286–2296, 2016.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1153 | OA
P. Žádníková et al., “A model of differential growth guided apical hook formation in plants,” Plant Cell, vol. 28, no. 10. American Society of Plant Biologists, pp. 2464–2477, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1154 | OA
J. Schwarz et al., “A microfluidic device for measuring cell migration towards substrate bound and soluble chemokine gradients,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1157 | OA
J. Lee and K. 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, pp. 3786–3839, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1170
M. Lang and J. Stelling, “Modular parameter identification of biomolecular networks,” SIAM Journal on Scientific Computing, vol. 38, no. 6. Society for Industrial and Applied Mathematics , pp. B988–B1008, 2016.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1171
G. Tkačik, “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, pp. 166–167, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1172 | OA
H. Sachdeva, M. Barma, and M. Rao, “Nonequilibrium description of de novo biogenesis and transport through Golgi-like cisternae,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1177 | OA
C. Kamath Hosdurg and S. Chatterjee, “A closer look at multiple-forking: Leveraging (in)dependence for a tighter bound,” Algorithmica, vol. 74, no. 4. Springer, pp. 1321–1362, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1179 | OA
K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules and transformations,” presented at the TCC: Theory of Cryptography Conference, Beijing, China, 2016, vol. 9985, pp. 183–203.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1181
N. Dwyer, B. Chen, S. Chou, S. Hippenmeyer, L. Nguyen, and T. Ghashghaei, “Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity,” Journal of Neuroscience, vol. 36, no. 45. Society for Neuroscience, pp. 11394–11401, 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1182 | OA
K. Chatterjee, R. Ibsen-Jensen, and J. Tkadlec, “Robust draws in balanced knockout tournaments,” presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA, 2016, vol. 2016–January, pp. 172–179.
[Preprint] View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1184 | OA
S. Metzler, J. Heinze, and A. Schrempf, “Mating and longevity in ant males,” Ecology and Evolution, vol. 6, no. 24. Wiley-Blackwell, pp. 8903–8906, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1185
M. Cucinotta et al., “Cytokinin response factors integrate auxin and cytokinin pathways for female reproductive organ development,” Development, vol. 143, no. 23. Company of Biologists, pp. 4419–4424, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1186 | OA
J. Gutierrez-Fernandez et al., “Modular architecture and unique teichoic acid recognition features of choline-binding protein L CbpL contributing to pneumococcal pathogenesis,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1188 | OA
D. De Martino and D. Masoero, “Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2016, no. 12. IOPscience, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1195 | OA
S. Franssen, N. H. Barton, and C. Schlötterer, “Reconstruction of haplotype-blocks selected during experimental evolution.,” Molecular Biology and Evolution, vol. 34, no. 1. Oxford University Press, pp. 174–184, 2016.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1200 | OA
C. Hilbe and A. 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, pp. 29–31, 2016.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1201
J. Renkawitz and M. K. Sixt, “Formin’ a nuclear protection,” Cell, vol. 167, no. 6. Cell Press, pp. 1448–1449, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1202 | OA
B. Milutinovic, R. Peuß, K. Ferro, and J. Kurtz, “Immune priming in arthropods: an update focusing on the red flour beetle,” Zoology , vol. 119, no. 4. Elsevier, pp. 254–261, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1203 | OA
F. Hu 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, pp. 3010–3017, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1204 | OA
A. Amir, M. Lemeshko, and T. Tokieda, “Surprises in numerical expressions of physical constants,” American Mathematical Monthly, vol. 123, no. 6. Mathematical Association of America, pp. 609–612, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1206 | OA
E. Redchenko and M. Lemeshko, “Libration of strongly oriented polar molecules inside a superfluid,” ChemPhysChem, vol. 17, no. 22. Wiley-Blackwell, pp. 3649–3654, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1209 | OA
J. A. Letts, G. Degliesposti, K. Fiedorczuk, M. Skehel, and L. A. Sazanov, “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, pp. 24657–24675, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Book Chapter | IST-REx-ID: 1210
Q. Zhu, P. Žádníková, D. Smet, D. Van Der Straeten, and E. Benková, “Real time analysis of the apical hook development,” in Plant Hormones, vol. 1497, Humana Press, 2016, pp. 1–8.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1212 | OA
H. Rakusová, M. Abbas, H. Han, S. Song, H. Robert, and J. Friml, “Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity,” Current Biology, vol. 26, no. 22. Cell Press, pp. 3026–3032, 2016.
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1214
G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Compliant control for soft robots: Emergent behavior of a tendon driven anthropomorphic arm,” presented at the IEEE RSJ International Conference on Intelligent Robots and Systems IROS , Daejeon, Korea, 2016, vol. 2016–November.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1216 | OA
J. Kasten et al., “Acceleration feature points of unsteady shear flows,” Archives of Mechanics, vol. 68, no. 1. Polish Academy of Sciences Publishing House, pp. 55–80, 2016.
[Published Version] View | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1217
V. Sreeramkumar 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, pp. 39–51, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1218 | OA
A. Angermayr 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, pp. 4180–4189, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1219 | OA
J. Lee, K. Schnelli, B. Stetler, and H. Yau, “Bulk universality for deformed wigner matrices,” Annals of Probability, vol. 44, no. 3. Institute of Mathematical Statistics, pp. 2349–2425, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1220 | OA
G. Mikić, A. Stoll, J. Bevirt, R. Grah, and M. Moore, “Fuselage boundary layer ingestion propulsion applied to a thin haul commuter aircraft for optimal efficiency,” presented at the AIAA: Aviation Technology, Integration, and Operations Conference, Washington, D.C., USA, 2016, pp. 1–19.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1221 | OA
J. Michalko, M. Glanc, C. Perrot Rechenmann, and J. Friml, “Strong morphological defects in conditional Arabidopsis abp1 knock-down mutants generated in absence of functional ABP1 protein,” F1000 Research , vol. 5. F1000 Research, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1222 | OA
O. Musin and A. Nikitenko, “Optimal packings of congruent circles on a square flat torus,” Discrete & Computational Geometry, vol. 55, no. 1. Springer, pp. 1–20, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1223 | OA
R. Froese, D. Lee, C. Sadel, W. Spitzer, and G. Stolz, “Localization for transversally periodic random potentials on binary trees,” Journal of Spectral Theory, vol. 6, no. 3. European Mathematical Society, pp. 557–600, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1224
Z. Teitel, M. Pickup, D. Field, and S. Barrett, “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, pp. 98–103, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1226 | OA
K. Fiedorczuk, J. A. Letts, G. Degliesposti, K. Kaszuba, M. Skehel, and L. A. Sazanov, “Atomic structure of the entire mammalian mitochondrial complex i,” Nature, vol. 538, no. 7625. Nature Publishing Group, pp. 406–410, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1227 | OA
H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications