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.




5055 Publications

2017 | Journal Article | IST-REx-ID: 800 | OA
Strüber M, Sauer J, Jonas PM, Bartos M. Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-00936-3
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 803 | OA
Samwer M, Schneider M, Hoefler R, et al. DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes. Cell. 2017;170(5):956-972. doi:10.1016/j.cell.2017.07.038
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 804 | OA
Schmalhorst PS, Deluweit F, Scherrers R, Heisenberg C-PJ, Sikora MK. Overcoming the limitations of the MARTINI force field in simulations of polysaccharides. Journal of Chemical Theory and Computation. 2017;13(10):5039-5053. doi:10.1021/acs.jctc.7b00374
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi E, Le Corf K, Dupuis J, et al. Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01191-2
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 749 | OA
Chen C, Satterfield R, Young S, Jonas PM. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 2017;21(8):2082-2089. doi:10.1016/j.celrep.2017.10.122
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil T, Chatterjee K, Nowak M. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. 2017;433:64-72. doi:10.1016/j.jtbi.2017.08.025
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 745 | OA
Xu D, Warnecke S, Song B, Ma X, Hof B. Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. 2017;831:418-432. doi:10.1017/jfm.2017.620
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu E, Mcguire M, Shuler S, et al. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 2017;365:23-32. doi:10.1016/j.neuroscience.2017.09.034
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 743
Gottlob G, Henzinger TA, Weißenbacher G. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 2017;51(2):267-269. doi:10.1007/s10703-017-0307-6
View | DOI | WoS
 
2017 | Thesis | IST-REx-ID: 961 | OA
Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. 2017. doi:10.15479/AT:ISTA:th_825
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 734 | OA
Kennedy P, Baron G, Qiu B, et al. Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. 2017;32(11):861-872. doi:10.1016/j.tree.2017.08.004
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Thesis | IST-REx-ID: 819 | OA
Pull C. Disease defence in garden ants. 2017. doi:10.15479/AT:ISTA:th_861
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 732 | OA
Pull C, Cremer S. Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. 2017;17(1). doi:10.1186/s12862-017-1062-4
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 726 | OA
Hannezo EB, Scheele C, Moad M, et al. A unifying theory of branching morphogenesis. Cell. 2017;171(1):242-255. doi:10.1016/j.cell.2017.08.026
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 727
Mueller J, Szep G, Nemethova M, et al. Load adaptation of lamellipodial actin networks. Cell. 2017;171(1):188-200. doi:10.1016/j.cell.2017.07.051
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 730
Savin C, Tkačik G. Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. 2017;46:120-126. doi:10.1016/j.conb.2017.08.001
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 728
Chan C, Heisenberg C-PJ, Hiiragi T. Coordination of morphogenesis and cell fate specification in development. Current Biology. 2017;27(18):R1024-R1035. doi:10.1016/j.cub.2017.07.010
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 729
Spiro ZP, Heisenberg C-PJ. Regeneration tensed up polyploidy takes the lead. Developmental Cell. 2017;42(6):559-560. doi:10.1016/j.devcel.2017.09.008
View | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 548 | OA
De Martino D. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 2017;96(6). doi:10.1103/PhysRevE.96.060401
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 673 | OA
Altmeyer S, Lueptow R. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. 2017;95(5). doi:10.1103/PhysRevE.95.053103
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 447 | OA
Ferrari P, Nejjar P. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 2017;9:299-325. doi:10.30757/ALEA.v14-17
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 557 | OA
Nickells R, Schmitt H, Maes ME, Schlamp C. AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. 2017;58(14):6091-6104. doi:10.1167/iovs.17-22634
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 997 | OA
Yakaboylu E, Deuchert A, Lemeshko M. Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. 2017;119(23). doi:10.1103/PhysRevLett.119.235301
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Conference Paper | IST-REx-ID: 911 | OA
Royer A, Kolesnikov A, Lampert C. Probabilistic image colorization. In: BMVA Press; 2017:85.1-85.12. doi:10.5244/c.31.85
[Published Version] View | Files available | DOI | arXiv
 
2017 | Journal Article | IST-REx-ID: 1146
Sun W, Zhai M-Z, Li D, et al. Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. 2017;36(4):1136-1142. doi:10.1016/j.clnu.2016.07.016
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 84
Edelsbrunner H, Koehl P. Computational topology for structural molecular biology. In: Toth C, O’Rourke J, Goodman J, eds. Handbook of Discrete and Computational Geometry, Third Edition. Handbook of Discrete and Computational Geometry. Taylor & Francis; 2017:1709-1735. doi:10.1201/9781315119601
View | DOI
 
2017 | Journal Article | IST-REx-ID: 627 | OA
Jiang C, Zhai M-Z, Yan D, et al. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 2017;8(43):75114-75126. doi:10.18632/oncotarget.20540
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C:46-55. doi:10.1016/j.automatica.2017.03.030
[Published Version] View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 1108 | OA
Zimin A, Lampert C. Learning theory for conditional risk minimization. In: Vol 54. ML Research Press; 2017:213-222.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 909 | OA
Akopyan A, Vysotsky V. On the lengths of curves passing through boundary points of a planar convex shape. The American Mathematical Monthly. 2017;124(7):588-596. doi:10.4169/amer.math.monthly.124.7.588
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Conference Paper | IST-REx-ID: 431 | OA
Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. QSGD: Communication-efficient SGD via gradient quantization and encoding. In: Vol 2017. Neural Information Processing Systems Foundation; 2017:1710-1721.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner B, Kupriyanov A. Causality-based model checking. In: Electronic Proceedings in Theoretical Computer Science. Vol 259. Open Publishing Association; 2017:31-38. doi:10.4204/EPTCS.259.3
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina A, Lampert C. Multi-task learning with labeled and unlabeled tasks. In: Vol 70. ML Research Press; 2017:2807-2816.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 
2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez AR, Sedlmeir F, Collodo M, et al. Single sideband microwave to optical photon conversion-an-electro-optic-realization. In: Optics InfoBase Conference Papers. Vol F54. Optica  Publishing Group; 2017. doi:10.1364/NLO.2017.NM3A.1
View | DOI
 
2017 | Journal Article | IST-REx-ID: 675
Haase J, Bagiante S, Sigg H, Van Bokhoven J. Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas. Optics Letters. 2017;42(10):1931-1934. doi:10.1364/OL.42.001931
View | DOI
 
2017 | Journal Article | IST-REx-ID: 459 | OA
Cremer S. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 2017;46:105-116.
[Published Version] View | Files available
 
2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In: Proceedings of Machine Learning Research. Vol 70. ML Research Press; 2017:4035-4043.
[Submitted Version] View | Files available
 
2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov V. A faster approximation algorithm for the Gibbs partition function. In: Proceedings of the 31st Conference On Learning Theory. Vol 75. ML Research Press; 2017:228-249.
[Published Version] View | Files available | arXiv
 
2017 | Journal Article | IST-REx-ID: 558
Futo M, Sell M, Kutzer M, Kurtz J. Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0632
View | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi M. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 2017;3(1). doi:10.11588/ip.2017.1.35227
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 12193 | OA
Walker J, Gao H, Zhang J, et al. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 2017;50(1):130-137. doi:10.1038/s41588-017-0008-5
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee K, Novotný P, Zikelic D. Stochastic invariants for probabilistic termination. In: Vol 52. ACM; 2017:145-160. doi:10.1145/3009837.3009873
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Book Chapter | IST-REx-ID: 545 | OA
Mazur E, Friml J. Vascular tissue development and regeneration in the model plant arabidopsis. In: Jurić S, ed. Plant Engineering. Plant Engineering. InTech; 2017:113-140. doi:10.5772/intechopen.69712
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie RJ, Hippenmeyer S. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 2017;591(24):3993-4008. doi:10.1002/1873-3468.12906
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Research Data | IST-REx-ID: 5562 | OA
Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. Multi-electrode array recording from salamander retinal ganglion cells. 2017. doi:10.15479/AT:ISTA:61
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller D, Jug F, Rother C, Meyers G. Graph matching problems for annotating C. Elegans. 2017. doi:10.15479/AT:ISTA:57
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5563 | OA
Lukacisin M. MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” 2017. doi:10.15479/AT:ISTA:64
[Published Version] View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 839 | OA
Hahn D. Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:th_855
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse C, Picard MAL, Vicoso B. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01663-5
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Research Data | IST-REx-ID: 5564 | OA
Steinrück M, Guet CC. Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” 2017. doi:10.15479/AT:ISTA:65
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5568 | OA
Hahn D. Source codes: Brittle fracture simulation with boundary elements for computer graphics. 2017. doi:10.15479/AT:ISTA:73
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 7163 | OA
Fraisse C. Supplementary Files for “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.” 2017. doi:10.15479/AT:ISTA:7163
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild R. Forward migration indexes. 2017. doi:10.15479/AT:ISTA:75
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5567 | OA
Leithner AF. Immunological synapse DC-Tcells. 2017. doi:10.15479/AT:ISTA:71
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5560 | OA
Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. 2017. doi:10.15479/AT:ISTA:53
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 665
Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science. 2017;356(6335):311-315. doi:10.1126/science.aaf4762
View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5571 | OA
Vicoso B. Data for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:78
[Submitted Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong amplifiers of natural selection. 2017. doi:10.15479/AT:ISTA:51
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5572 | OA
Vicoso B. Code for “The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology.” 2017. doi:10.15479/AT:ISTA:79
[Submitted Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 946 | OA
von Wangenheim D, Hauschild R, Fendrych M, Barone V, Benková E, Friml J. Live tracking of moving samples in confocal microscopy for vertically grown roots. eLife. 2017;6. doi:10.7554/eLife.26792
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim D, Hauschild R, Friml J. Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of visualized experiments JoVE. 2017;2017(119). doi:10.3791/55044
[Published Version] View | Files available | DOI | WoS
 
2017 | Research Data | IST-REx-ID: 5565 | OA
von Wangenheim D, Hauschild R, Friml J. Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel. 2017. doi:10.15479/AT:ISTA:66
[Published Version] View | Files available | DOI
 
2017 | Research Data | IST-REx-ID: 5566 | OA
Hauschild R. Live tracking of moving samples in confocal microscopy for vertically grown roots. 2017. doi:10.15479/AT:ISTA:69
[Published Version] View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding helly numbers via betti numbers. In: Loebl M, Nešetřil J, Thomas R, eds. A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. A Journey Through Discrete Mathematics. Springer; 2017:407-447. doi:10.1007/978-3-319-44479-6_17
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 463 | OA
Altmeyer S, Do Y, Ryu S. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 2017;27(11). doi:10.1063/1.5002771
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 996 | OA
Shepperson B, Chatterley A, Søndergaard A, Christiansen L, Lemeshko M, Stapelfeldt H. Strongly aligned molecules inside helium droplets in the near-adiabatic regime. The Journal of Chemical Physics. 2017;147(1). doi:10.1063/1.4983703
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 912 | OA
Deuchert A. A lower bound for the BCS functional with boundary conditions at infinity. Journal of Mathematical Physics. 2017;58(8). doi:10.1063/1.4996580
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin M, Landon M, Jajoo R. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 2017;12(3). doi:10.1371/journal.pone.0174066
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 664
Assen FP, Sixt MK. The dynamic cytokine niche. Immunity. 2017;46(4):519-520. doi:10.1016/j.immuni.2017.04.006
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai H, Kawahara A, Hirayama K, et al. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 2017;12(6). doi:10.1371/journal.pone.0179377
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1028 | OA
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 2017;56(16):4608-4611. doi:10.1002/anie.201611998
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny A, Benková E. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 2017;1569:1-29. doi:10.1007/978-1-4939-6831-2_1
[Submitted Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner F, Sedlyarov V, Tasciyan S, et al. The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation. 2017;127(6):2051-2065. doi:10.1172/JCI80631
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 676 | OA
Krens G, Veldhuis J, Barone V, et al. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 2017;144(10):1798-1806. doi:10.1242/dev.144964
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück M, Guet CC. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 2017;6. doi:10.7554/eLife.25100
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova M, Novak S, Paixao T. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 2017;13(7). doi:10.1371/journal.pcbi.1005609
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova M, Bollenbach MT. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 2017;46:90-97. doi:10.1016/j.copbio.2017.02.013
[Published Version] View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst case analysis of recursive programs. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:41-63. doi:10.1007/978-3-319-63390-9_3
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:10.1007/978-3-319-68167-2_4
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny M, Ákos Z, Grigolon S, et al. Friction forces position the neural anlage. Nature Cell Biology. 2017;19:306-317. doi:10.1038/ncb3492
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, et al. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 2017;43(2):198-211. doi:10.1016/j.devcel.2017.09.014
View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 960 | OA
Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 2017;11. doi:10.3389/fncel.2017.00176
[Published Version] View | Files available | DOI | WoS
 
2016 | Journal Article | IST-REx-ID: 1008
Gnügge R, Dharmarajan L, Lang M, Stelling J. An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. 2016;5(10):1098-1107. doi:10.1021/acssynbio.6b00013
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. Conditionally optimal algorithms for generalized Büchi Games. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.25
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev VK, Ouaknine J, Worrell J. On the skolem problem for continuous linear dynamical systems. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.100
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee K, Doyen L. Computation tree logic for synchronization properties. In: Vol 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik; 2016. doi:10.4230/LIPIcs.ICALP.2016.98
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski Ł, Wabnik KT, Li H, et al. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2016;2. doi:10.1038/celldisc.2016.18
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 10810 | OA
Rubel P, Pani D, Schlögl A, et al. SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography. In: 2016 Computing in Cardiology Conference. Vol 43. Computing in Cardiology; 2016:309-312. doi:10.22489/cinc.2016.090-500
[Published Version] View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk MJ, Marre O, Tkačik G. Relevant sparse codes with variational information bottleneck. In: Vol 29. Neural Information Processing Systems; 2016:1965-1973.
[Preprint] View | Files available | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, et al. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 2016;27(3):2318-2334. doi:10.1093/cercor/bhw090
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas A, Henzinger TA, Holzer A, et al. Local linearizability for concurrent container-type data structures. In: Leibniz International Proceedings in Informatics. Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.6
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du T, Schulz A, Zhu B, Bickel B, Matusik W. Computational multicopter design. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982427
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina A, Urner R. Lifelong learning with weighted majority votes. In: Vol 29. Neural Information Processing Systems; 2016:3619-3627.
[Published Version] View | Files available
 
2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo L, Pietroni N, Bickel B, Cignoni P. FlexMolds: Automatic design of flexible shells for molding. In: Vol 35. ACM; 2016. doi:10.1145/2980179.2982397
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov A, Lampert C. Improving weakly-supervised object localization by micro-annotation. In: Proceedings of the British Machine Vision Conference 2016. Vol 2016-September. BMVA Press; 2016:92.1-92.12. doi:10.5244/C.30.92
[Published Version] View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. Parallel reachability analysis for hybrid systems. In: IEEE; 2016. doi:10.1109/MEMCOD.2016.7797741
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1105
Savin C, Tkačik G. Estimating nonlinear neural response functions using GP priors and Kronecker methods. In: Vol 29. Neural Information Processing Systems; 2016:3610-3618.
View | Download None (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda A, Sedlmeir F, Collodo M, et al. Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. In: IEEE; 2016. doi:10.1364/CLEO_SI.2016.SF2G.3
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni G, Guha S, Rodríguez Navas G. Synthesizing time triggered schedules for switched networks with faulty links. In: Proceedings of the 13th International Conference on Embedded Software . ACM; 2016. doi:10.1145/2968478.2968499
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications