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.




5473 Publications

2017 | Published | 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 | Published | 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 | Published | 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 | Published | 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
 
2017 | Published | Journal Article | IST-REx-ID: 715
More excitation for Rett syndrome
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 716 | OA
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Research Data | IST-REx-ID: 7163 | OA
Supplementary Files for "The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W"
C. Fraisse, (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 717 | OA
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 719
Special issue: Synthesis and SYNT 2014
K. Chatterjee, R. Ehlers, Acta Informatica 54 (2017) 543–544.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 720 | OA
Probabilistic models for neural populations that naturally capture global coupling and criticality
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 721 | OA
Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 722 | OA
Shaping 3D root system architecture
E. Morris, M. Griffiths, A. Golebiowska, S. Mairhofer, J. Burr Hersey, T. Goh, D. von Wangenheim, B. Atkinson, C. Sturrock, J. Lynch, K. Vissenberg, K. Ritz, D. Wells, S. Mooney, M. Bennett, Current Biology 27 (2017) R919–R930.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 724 | OA
Noninteracting central site model localization and logarithmic entanglement growth
D. Hetterich, M. Serbyn, F. Domínguez, F. Pollmann, B. Trauzettel, Physical Review B 96 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 725 | OA
Discrete modes of social information processing predict individual behavior of fish in a group
R. Harpaz, G. Tkačik, E. Schneidman, PNAS 114 (2017) 10149–10154.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 726 | OA
A unifying theory of branching morphogenesis
E.B. Hannezo, C. Scheele, M. Moad, N. Drogo, R. Heer, R. Sampogna, J. Van Rheenen, B. Simons, Cell 171 (2017) 242–255.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 727
Load adaptation of lamellipodial actin networks
J. Mueller, G. Szep, M. Nemethova, I. de Vries, A. Lieber, C. Winkler, K. Kruse, J. Small, C. Schmeiser, K. Keren, R. Hauschild, M.K. Sixt, Cell 171 (2017) 188–200.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 728
Coordination of morphogenesis and cell fate specification in development
C. Chan, C.-P.J. Heisenberg, T. Hiiragi, Current Biology 27 (2017) R1024–R1035.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 729
Regeneration tensed up polyploidy takes the lead
Z.P. Spiro, C.-P.J. Heisenberg, Developmental Cell 42 (2017) 559–560.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 730
Maximum entropy models as a tool for building precise neural controls
C. Savin, G. Tkačik, Current Opinion in Neurobiology 46 (2017) 120–126.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 731
The science of love in ASD and ADHD
G. Novarino, Science Translational Medicine 9 (2017).
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed