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.




4922 Publications

2017 | Conference Paper | IST-REx-ID: 6519 | OA
Improved set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2017.
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 6517 | OA
Embedding graphs into embedded graphs
R. Fulek, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 652 View | DOI
 
2017 | Journal Article | IST-REx-ID: 651
Fluid dynamics: Water flows out of touch
B. Hof, Nature 541 (2017) 161–162.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 653 | OA
Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer
A. Makohon Moore, M. Zhang, J. Reiter, I. Božić, B. Allen, D. Kundu, K. Chatterjee, F. Wong, Y. Jiao, Z. Kohutek, J. Hong, M. Attiyeh, B. Javier, L. Wood, R. Hruban, M. Nowak, N. Papadopoulos, K. Kinzler, B. Vogelstein, C. Iacobuzio Donahue, Nature Genetics 49 (2017) 358–366.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 6527 | OA
Practical graphs for optimal side-channel resistant memory-hard functions
J.F. Alwen, J. Blocki, B. Harsha, in:, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM Press, 2017, pp. 1001–1017.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 654 | OA
Creating to understand – developmental biology meets engineering in Paris
A. Kicheva, N. Rivron, Development 144 (2017) 733–736.
[Submitted Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 6526 | OA
On the complexity of estimating Rènyi divergences
M. Skórski, in:, 2017 IEEE International Symposium on Information Theory (ISIT), IEEE, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 655 | OA
Bacterial flagella grow through an injection diffusion mechanism
T. Renault, A. Abraham, T. Bergmiller, G. Paradis, S. Rainville, E. Charpentier, C.C. Guet, Y. Tu, K. Namba, J. Keener, T. Minamino, M. Erhardt, ELife 6 (2017).
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 657 | OA
Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo
B. Möller, C. Ten Hove, D. Xiang, N. Williams, L. López, S. Yoshida, M. Smit, R. Datla, D. Weijers, PNAS 114 (2017) E2533–E2539.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 656
Modeling Alzheimer's disease in mice with human neurons
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 658 | OA
Self organized behavior generation for musculoskeletal robots
R. Der, G.S. Martius, Frontiers in Neurorobotics 11 (2017).
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 659 | OA
FMNL formins boost lamellipodial force generation
F. Kage, M. Winterhoff, V. Dimchev, J. Müller, T. Thalheim, A. Freise, S. Brühmann, J. Kollasser, J. Block, G.A. Dimchev, M. Geyer, H. Schnittler, C. Brakebusch, T. Stradal, M. Carlier, M.K. Sixt, J. Käs, J. Faix, K. Rottner, Nature Communications 8 (2017).
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 660 | OA
Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation
J. Rickman, C.F. Düllberg, N. Cade, L. Griffin, T. Surrey, PNAS 114 (2017) 3427–3432.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 662 | OA
Hydrodynamic turbulence in quasi Keplerian rotating flows
L. Shi, B. Hof, M. Rampp, M. Avila, Physics of Fluids 29 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 663 | OA
Safety verification of nonlinear hybrid systems based on invariant clusters
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
[Submitted Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 667
The antisocial side of antibiotics
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 668 | OA
Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion
M. Horsthemke, A. Bachg, K. Groll, S. Moyzio, B. Müther, S. Hemkemeyer, R. Wedlich Söldner, M.K. Sixt, S. Tacke, M. Bähler, P. Hanley, Journal of Biological Chemistry 292 (2017) 7258–7273.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 669 | OA
EXO70C2 is a key regulatory factor for optimal tip growth of pollen
L. Synek, N. Vukašinović, I. Kulich, M. Hála, K. Aldorfová, M. Fendrych, V. Žárský, Plant Physiology 174 (2017) 223–240.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 671 | OA
Memory-n strategies of direct reciprocity
C. Hilbe, V. Martinez, K. Chatterjee, M. Nowak, PNAS 114 (2017) 4715–4720.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 670 | OA
Interactive paper tearing
C. Schreck, D. Rohmer, S. Hahmann, Computer Graphics Forum 36 (2017) 95–106.
[Published Version] View | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 672 | OA
Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia
K. Vaahtomeri, M. Brown, R. Hauschild, I. de Vries, A.F. Leithner, M. Mehling, W. Kaufmann, M.K. Sixt, Cell Reports 19 (2017) 902–909.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 674
Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 677 | OA
The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination
C. Lademann, J. Renkawitz, B. Pfander, S. Jentsch, Cell Reports 19 (2017) 1294–1303.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 678
Multiscale force sensing in development
N. Petridou, Z.P. Spiro, C.-P.J. Heisenberg, Nature Cell Biology 19 (2017) 581–588.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 681 | OA
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J. Raskin, Information and Computation 254 (2017) 296–315.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 6841 | OA
Extrapolation and learning equations
G.S. Martius, C. Lampert, in:, 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, International Conference on Learning Representations, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 684 | OA
Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 685 | OA
The physics of development 100 years after D'Arcy Thompson's “on growth and form”
J. Briscoe, A. Kicheva, Mechanisms of Development 145 (2017) 26–31.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 688 | OA
Topological data analysis with Bregman divergences
H. Edelsbrunner, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 391–3916.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 687 | OA
The critical CoHA of a quiver with potential
B. Davison, Quarterly Journal of Mathematics 68 (2017) 635–703.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 686
D'Arcy Thompson's ‘on growth and form’: From soap bubbles to tissue self organization
C.-P.J. Heisenberg, Mechanisms of Development 145 (2017) 32–37.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 689
Rett syndrome modeling goes simian
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Journal Article | IST-REx-ID: 693 | OA
Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses
T. Miki, W. Kaufmann, G. Malagon, L. Gomez, K. Tabuchi, M. Watanabe, R. Shigemoto, A. Marty, PNAS 114 (2017) E5246–E5255.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 694 | OA
A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity
A. Veß, U. Blache, L. Leitner, A. Kurz, A. Ehrenpfordt, M.K. Sixt, G. Posern, Journal of Cell Science 130 (2017) 2172–2184.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 697 | OA
Non uniform attacks against pseudoentropy
K.Z. Pietrzak, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 698 | OA
Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression
Y. Wang, M. Nagarajan, C. Uhler, G. Shivashankar, Molecular Biology of the Cell 28 (2017) 1997–2009.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 699 | OA
The red queen and king in finite populations
C. Veller, L. Hayward, M. Nowak, C. Hilbe, PNAS 114 (2017) E5396–E5405.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 700 | OA
Optomechanical proposal for monitoring microtubule mechanical vibrations
S. Barzanjeh, V. Salari, J. Tuszynski, M. Cifra, C. Simon, Physical Review E Statistical Nonlinear and Soft Matter Physics 96 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 701 | OA
On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
[Submitted Version] View | Files available
 
2017 | Journal Article | IST-REx-ID: 702
The riddle of CHD8 haploinsufficiency in autism spectrum disorder
G. Novarino, Science Translational Medicine 9 (2017) eaao0972.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 706
Roles of afadin in functional differentiations of hippocampal mossy fiber synapse
X. Geng, T. Maruo, K. Mandai, I. Supriyanto, M. Miyata, S. Sakakibara, A. Mizoguchi, Y. Takai, M. Mori, Genes to Cells 22 (2017) 715–722.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 707 | OA
A tight estimate for the waist of the ball
A. Akopyan, R. Karasev, Bulletin of the London Mathematical Society 49 (2017) 690–693.
[Preprint] View | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 708 | OA
Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum
B. Nagy, A. Hovhannisyan, R. Barzan, T. Chen, M. Kukley, PLoS Biology 15 (2017).
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 709
Gene expression changes of thermo sensitive transient receptor potential channels in obese mice
W. Sun, C. Li, Y. Zhang, C. Jiang, M.-Z. Zhai, Q. Zhou, L. Xiao, Q. Deng, Cell Biology International 41 (2017) 908–913.
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 710 | OA
Renyi entropy estimation revisited
M. Obremski, M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 713 | OA
Mapping the mouse Allelome reveals tissue specific regulation of allelic expression
D. Andergassen, C. Dotter, D. Wenzel, V. Sigl, P. Bammer, M. Muckenhuber, D. Mayer, T. Kulinski, H. Theussl, J. Penninger, C. Bock, D. Barlow, F. Pauler, Q. Hudson, ELife 6 (2017).
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 711 | OA
Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 712 | OA
Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 714 | OA
HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications