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.




4634 Publications

2017 | Journal Article | IST-REx-ID: 740 | OA
R. Shigemoto and M. A. Jösch, “The genetic encoded toolbox for electron microscopy and connectomics,” WIREs Developmental Biology, vol. 6, no. 6. Wiley-Blackwell, 2017.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 741 | OA
T. Moser and R. Seiringer, “Stability of a fermionic N+1 particle system with point interactions,” Communications in Mathematical Physics, vol. 356, no. 1. Springer, pp. 329–355, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 739 | OA
P. Nam and M. M. Napiórkowski, “A note on the validity of Bogoliubov correction to mean field dynamics,” Journal de Mathématiques Pures et Appliquées, vol. 108, no. 5. Elsevier, pp. 662–688, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 737
Z. Virk and A. Zastrow, “A new topology on the universal path space,” Topology and its Applications, vol. 231. Elsevier, pp. 186–196, 2017.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 733 | OA
Z. Bao, L. Erdös, and K. Schnelli, “Convergence rate for spectral distribution of addition of random matrices,” Advances in Mathematics, vol. 319. Academic Press, pp. 251–291, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 840 | OA
L. Vukušić, J. Kukucka, H. Watzinger, and G. Katsaros, “Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry,” Nano Letters, vol. 17, no. 9. American Chemical Society, pp. 5706–5710, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 914 | OA
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Ant queens increase their reproductive efforts after pathogen infection,” Royal Society Open Science, vol. 4, no. 7. Royal Society, The, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 910 | OA
S. Novak and N. H. Barton, “When does frequency-independent selection maintain genetic variation?,” Genetics, vol. 207, no. 2. Genetics Society of America, pp. 653–668, 2017.
View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 836
M. Ethier, G. Jablonski, and M. Mrozek, “Finding eigenvalues of self-maps with the Kronecker canonical form,” in Special Sessions in Applications of Computer Algebra, Kalamata, Greece, 2017, vol. 198, pp. 119–136.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 909 | OA
A. Akopyan and V. Vysotsky, “On the lengths of curves passing through boundary points of a planar convex shape,” The American Mathematical Monthly, vol. 124, no. 7. Mathematical Association of America, pp. 588–596, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 912 | OA
A. Deuchert, “A lower bound for the BCS functional with boundary conditions at infinity,” Journal of Mathematical Physics, vol. 58, no. 8. AIP, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Conference Paper | IST-REx-ID: 916 | OA
P. Swoboda, C. Rother, C. Abu Alhaija, D. Kainmueller, and B. Savchynskyy, “A study of lagrangean decompositions and dual ascent solvers for graph matching,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 7062–7071.
View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 915 | OA
P. Swoboda and B. Andres, “A message passing algorithm for the minimum cost multicut problem,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4990–4999.
View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 917 | OA
P. Swoboda, J. Kuske, and B. Savchynskyy, “A dual ascent framework for Lagrangean decomposition of combinatorial problems,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4950–4960.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 943 | OA
M. P. Zagórski et al., “Decoding of position in the developing neural tube from antiparallel morphogen gradients,” Science, vol. 356, no. 6345. American Association for the Advancement of Science, pp. 1379–1383, 2017.
View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 944
R. J. Beattie et al., “Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells,” Neuron, vol. 94, no. 3. Cell Press, p. 517–533.e3, 2017.
View | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 942
X. Le, D. H. Chu, D. Lo, C. Le Goues, and W. Visser, “S3: Syntax- and semantic-guided repair synthesis via programming by examples,” presented at the FSE: Foundations of Software Engineering, Paderborn, Germany, 2017, vol. F130154, pp. 593–604.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 939 | OA
B. Midya and V. Konotop, “Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons,” Physical Review Letters, vol. 119, no. 3. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Research Data Reference | IST-REx-ID: 9853 | OA
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Raw data from ant queens increase their reproductive efforts after pathogen infection.” The Royal Society, 2017.
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 822 | OA
M. de Vos, M. P. Zagórski, A. Mcnally, and M. T. Bollenbach, “Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections,” PNAS, vol. 114, no. 40. National Academy of Sciences, pp. 10666–10671, 2017.
View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 833 | OA
T. Heiss and H. Wagner, “Streaming algorithm for Euler characteristic curves of multidimensional images,” presented at the CAIP: Computer Analysis of Images and Patterns, Ystad, Sweden, 2017, vol. 10424, pp. 397–409.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 805
S. Pfurr et al., “The E2A splice variant E47 regulates the differentiation of projection neurons via p57(KIP2) during cortical development,” Development, vol. 144. Company of Biologists, pp. 3917–3931, 2017.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 834 | OA
M. Serbyn, P. Zlatko, and D. Abanin, “Thouless energy and multifractality across the many-body localization transition,” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 10. American Physical Society, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 823 | OA
S. Colabrese, D. De Martino, L. Leuzzi, and E. Marinari, “Phase transitions in integer linear problems,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2017, no. 9. IOPscience, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 824 | OA
N. B. Budanur and B. Hof, “Heteroclinic path to spatially localized chaos in pipe flow,” Journal of Fluid Mechanics, vol. 827. Cambridge University Press, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 799 | OA
S. Kitakura et al., “BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana,” Plant and Cell Physiology, vol. 58, no. 10. Oxford University Press, 2017.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 800 | OA
M. Strüber, J. Sauer, P. M. Jonas, and M. Bartos, “Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 803 | OA
M. Samwer et al., “DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes,” Cell, vol. 170, no. 5. Cell Press, pp. 956–972, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 804 | OA
P. S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P. J. Heisenberg, and M. K. Sikora, “Overcoming the limitations of the MARTINI force field in simulations of polysaccharides,” Journal of Chemical Theory and Computation, vol. 13, no. 10. American Chemical Society, pp. 5039–5053, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 746 | OA
E. Aloisi et al., “Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 749 | OA
C. Chen, R. Satterfield, S. Young, and P. M. Jonas, “Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses,” Cell Reports, vol. 21, no. 8. Cell Press, pp. 2082–2089, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 744 | OA
T. Priklopil, K. Chatterjee, and M. Nowak, “Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma,” Journal of Theoretical Biology, vol. 433. Elsevier, pp. 64–72, 2017.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
D. Xu, S. Warnecke, B. Song, X. Ma, and B. Hof, “Transition to turbulence in pulsating pipe flow,” Journal of Fluid Mechanics, vol. 831. Cambridge University Press, pp. 418–432, 2017.
View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 747 | OA
E. Brǎiloiu et al., “Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus,” Neuroscience, vol. 365. Elsevier, pp. 23–32, 2017.
View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 743
G. Gottlob, T. A. Henzinger, and G. Weißenbacher, “Preface of the special issue in memoriam Helmut Veith,” Formal Methods in System Design, vol. 51, no. 2. Springer, pp. 267–269, 2017.
View | DOI | WoS
 
2017 | Thesis | IST-REx-ID: 961 | OA
V. Barone, “Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation,” Institute of Science and Technology Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 734 | OA
P. Kennedy et al., “Deconstructing superorganisms and societies to address big questions in biology,” Trends in Ecology and Evolution, vol. 32, no. 11. Cell Press, pp. 861–872, 2017.
View | Files available | DOI | WoS
 
2017 | Thesis | IST-REx-ID: 819 | OA
C. Pull, “Disease defence in garden ants,” Institute of Science and Technology Austria, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
C. Pull and S. Cremer, “Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour,” BMC Evolutionary Biology, vol. 17, no. 1. BioMed Central, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 726 | OA
E. B. Hannezo et al., “A unifying theory of branching morphogenesis,” Cell, vol. 171, no. 1. Cell Press, pp. 242–255, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 727
J. Mueller et al., “Load adaptation of lamellipodial actin networks,” Cell, vol. 171, no. 1. Cell Press, pp. 188–200, 2017.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 730
C. Savin and G. Tkačik, “Maximum entropy models as a tool for building precise neural controls,” Current Opinion in Neurobiology, vol. 46. Elsevier, pp. 120–126, 2017.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 728
C. Chan, C.-P. J. Heisenberg, and T. Hiiragi, “Coordination of morphogenesis and cell fate specification in development,” Current Biology, vol. 27, no. 18. Cell Press, pp. R1024–R1035, 2017.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 729
Z. P. Spiro and C.-P. J. Heisenberg, “Regeneration tensed up polyploidy takes the lead,” Developmental Cell, vol. 42, no. 6. Cell Press, pp. 559–560, 2017.
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 676 | OA
G. Krens et al., “Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation,” Development, vol. 144, no. 10. Company of Biologists, pp. 1798–1806, 2017.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 682 | OA
H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1024 | OA
A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” Auxins and Cytokinins in Plant Biology, vol. 1569. Springer, pp. 1–29, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 704 | OA
M. Steinrück and C. C. Guet, “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection,” eLife, vol. 6. eLife Sciences Publications, 2017.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 949 | OA
K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 664
F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1029 | OA
M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” PLoS One, vol. 12, no. 3. Public Library of Science, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1028 | OA
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 696 | OA
M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1027 | OA
M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” Current Opinion in Biotechnology, vol. 46. Elsevier, pp. 90–97, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 661 | OA
M. Smutny et al., “Friction forces position the neural anlage,” Nature Cell Biology, vol. 19. Nature Publishing Group, pp. 306–317, 2017.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 735
V. Barone et al., “An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate,” Developmental Cell, vol. 43, no. 2. Cell Press, pp. 198–211, 2017.
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 960 | OA
A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.
View | Files available | DOI | WoS
 
2016 | Journal Article | IST-REx-ID: 1008
R. Gnügge, L. Dharmarajan, M. Lang, and J. Stelling, “An orthogonal permease–inducer–repressor feedback loop shows bistability,” ACS Synthetic Biology, vol. 5, no. 10. American Chemical Society, pp. 1098–1107, 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1068 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1069 | OA
V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1070 | OA
K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1081 | OA
Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 10810 | OA
P. Rubel et al., “SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1082 | OA
M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1083
S. Booker et al., “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1090 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1098 | OA
A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1099 | OA
L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1102 | OA
A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1103 | OA
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1105
C. Savin and G. Tkačik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
View | Download None (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1115 | OA
A. Rueda et al., “Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA, 2016.
View | Files available | DOI | Download Preprint (ext.)
 
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.
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.
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
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
View | Files available | DOI
 

Search

Filter Publications