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.




4628 Publications

2017 | Journal Article | IST-REx-ID: 736 | OA
Rubio M, Matsui K, Fukazawa Y, et al. The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. 2017;222(8):3375-3393. doi:10.1007/s00429-017-1408-0
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 7360 | OA
Smole A, Lainšček D, Bezeljak U, Horvat S, Jerala R. A synthetic mammalian therapeutic gene circuit for sensing and suppressing inflammation. Molecular Therapy. 2017;25(1):102-119. doi:10.1016/j.ymthe.2016.10.005
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 737
Virk Z, Zastrow A. A new topology on the universal path space. Topology and its Applications. 2017;231:186-196. doi:10.1016/j.topol.2017.09.015
View | DOI
 
2017 | Journal Article | IST-REx-ID: 739 | OA
Nam P, Napiórkowski MM. A note on the validity of Bogoliubov correction to mean field dynamics. Journal de Mathématiques Pures et Appliquées. 2017;108(5):662-688. doi:10.1016/j.matpur.2017.05.013
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 740 | OA
Shigemoto R, Jösch MA. The genetic encoded toolbox for electron microscopy and connectomics. WIREs Developmental Biology. 2017;6(6). doi:10.1002/wdev.288
View | Files available | DOI | PubMed | Europe PMC
 
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
View | Files available | DOI | 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
View | DOI | Download Submitted Version (ext.)
 
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
 
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
View | Files available | DOI
 
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. Optimal geospatial volunteer allocation needs realistic distances. In: 2017 IEEE International Conference on Big Data. IEEE; 2017:3760-3763. doi:10.1109/BigData.2017.8258375
View | DOI
 
2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi Y, Louani A, Dragu A, et al. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 2017;27(22):3526-3534e.4. doi:10.1016/j.cub.2017.10.001
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 791 | OA
Alistarh D-A, Kopinsky J, Li J, Nadiradze G. The power of choice in priority scheduling. In: Proceedings of the ACM Symposium on Principles of Distributed Computing. Vol Part F129314. ACM; 2017:283-292. doi:10.1145/3087801.3087810
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 792 | OA
Budanur NB, Short K, Farazmand M, Willis A, Cvitanović P. Relative periodic orbits form the backbone of turbulent pipe flow. Journal of Fluid Mechanics. 2017;833:274-301. doi:10.1017/jfm.2017.699
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 793 | OA
Fulek R, Mojarrad H, Naszódi M, Solymosi J, Stich S, Szedlák M. On the existence of ordinary triangles. Computational Geometry: Theory and Applications. 2017;66:28-31. doi:10.1016/j.comgeo.2017.07.002
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 794 | OA
Fulek R. C-planarity of embedded cyclic c-graphs. Computational Geometry: Theory and Applications. 2017;66:1-13. doi:10.1016/j.comgeo.2017.06.016
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 795 | OA
Fulek R, Kynčl J, Pálvölgyi D. Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. 2017;24(3). doi:10.37236/6663
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 796 | OA
Keller AJ, Dieterle P, Fang M, Berger B, Fink JM, Painter O. Al transmon qubits on silicon on insulator for quantum device integration. Applied Physics Letters. 2017;111(4). doi:10.1063/1.4994661
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 798 | OA
Barzanjeh S, Wulf M, Peruzzo M, et al. Mechanical on chip microwave circulator. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-01304-x
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 797
Fink JM. Photonenblockade aufgelöst. Physik in unserer Zeit. 2017;48(3):111-113. doi:10.1002/piuz.201770305
View | DOI
 
2017 | Journal Article | IST-REx-ID: 799 | OA
Kitakura S, Adamowski M, Matsuura Y, 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. 2017;58(10). doi:10.1093/pcp/pcx118
View | Files available | DOI | PubMed | Europe PMC
 
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
View | Files available | DOI
 
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
View | Files available | DOI
 
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
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 805
Pfurr S, Chu Y, Bohrer C, et al. The E2A splice variant E47 regulates the differentiation of projection neurons via p57(KIP2) during cortical development. Development. 2017;144:3917-3931. doi:10.1242/dev.145698
View | DOI
 
2017 | Journal Article | IST-REx-ID: 807 | OA
Andrae M, Villányi M. Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. 2017;70(2):274-280. doi:10.31263/voebm.v70i2.1898
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 822 | OA
de Vos M, Zagórski MP, Mcnally A, Bollenbach MT. Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections. PNAS. 2017;114(40):10666-10671. doi:10.1073/pnas.1713372114
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 823 | OA
Colabrese S, De Martino D, Leuzzi L, Marinari E. Phase transitions in integer linear problems. Journal of Statistical Mechanics: Theory and Experiment. 2017;2017(9). doi:10.1088/1742-5468/aa85c3
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 824 | OA
Budanur NB, Hof B. Heteroclinic path to spatially localized chaos in pipe flow. Journal of Fluid Mechanics. 2017;827. doi:10.1017/jfm.2017.516
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 825 | OA
Petritsch B. Metadata for research data in practice. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 2017;70(2):200-207. doi:10.31263/voebm.v70i2.1678
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 833 | OA
Heiss T, Wagner H. Streaming algorithm for Euler characteristic curves of multidimensional images. In: Felsberg M, Heyden A, Krüger N, eds. Vol 10424. Springer; 2017:397-409. doi:10.1007/978-3-319-64689-3_32
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 834 | OA
Serbyn M, Zlatko P, Abanin D. Thouless energy and multifractality across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 2017;96(10). doi:10.1103/PhysRevB.96.104201
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 836
Ethier M, Jablonski G, Mrozek M. Finding eigenvalues of self-maps with the Kronecker canonical form. In: Special Sessions in Applications of Computer Algebra. Vol 198. Springer; 2017:119-136. doi:10.1007/978-3-319-56932-1_8
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. CRC Press; 2017:1709-1735. doi:10.1201/9781315119601
View | DOI
 
2017 | Journal Article | IST-REx-ID: 910 | OA
Novak S, Barton NH. When does frequency-independent selection maintain genetic variation? Genetics. 2017;207(2):653-668. doi:10.1534/genetics.117.300129
View | Files available | DOI
 
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
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 916 | OA
Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. A study of lagrangean decompositions and dual ascent solvers for graph matching. In: Vol 2017. IEEE; 2017:7062-7071. doi:10.1109/CVPR.2017.747
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. S3: Syntax- and semantic-guided repair synthesis via programming by examples. In: Vol F130154. ACM; 2017:593-604. doi:10.1145/3106237.3106309
View | DOI
 
2017 | Journal Article | IST-REx-ID: 945 | OA
Huylmans AK, Macon A, Vicoso B. Global dosage compensation is ubiquitous in Lepidoptera, but counteracted by the masculinization of the Z chromosome. Molecular Biology and Evolution. 2017;34(10):2637-2649. doi:10.1093/molbev/msx190
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 9445 | OA
Lyons DB, Zilberman D. DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes. eLife. 2017;6. doi:10.7554/elife.30674
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 944
Beattie RJ, Postiglione MP, Burnett L, et al. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 2017;94(3):517-533.e3. doi:10.1016/j.neuron.2017.04.012
View | DOI
 
2017 | Book Chapter | IST-REx-ID: 957
Clifton B, Whitfield J, Sanchez-Romero I, et al. Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:71-87. doi:10.1007/978-1-4939-6940-1_5
View | DOI
 
2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni G, Guha S, Kupferman O. Timed network games with clocks. In: Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.37
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. Data from: Error-robust modes of the retinal population code. 2017. doi:10.5061/dryad.1f1rc
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 541 | OA
Nikolic N, Schreiber F, Dal Co A, et al. Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. 2017;13(12). doi:10.1371/journal.pgen.1007122
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska M, Guet CC. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. 2017. doi:10.6084/m9.figshare.5633917.v1
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic N, Schreiber F, Dal Co A, et al. Mathematical model. 2017. doi:10.1371/journal.pgen.1007122.s017
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova M, Novak S, Paixao T. Modelling and simulation details. 2017. doi:10.1371/journal.pcbi.1005609.s001
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova M, Novak S, Paixao T. Extensions of the model. 2017. doi:10.1371/journal.pcbi.1005609.s002
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic N, Schreiber F, Dal Co A, et al. Supplementary methods. 2017. doi:10.1371/journal.pgen.1007122.s016
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 914 | OA
Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. Ant queens increase their reproductive efforts after pathogen infection. Royal Society Open Science. 2017;4(7). doi:10.1098/rsos.170547
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 680 | OA
Chalk MJ, Masset P, Gutkin B, Denève S. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 2017;13(6). doi:10.1371/journal.pcbi.1005582
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9853 | OA
Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. Raw data from ant queens increase their reproductive efforts after pathogen infection. 2017. doi:10.6084/m9.figshare.5117788.v1
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova M, Novak S, Paixao T. Heuristic prediction for multiple stresses. 2017. doi:10.1371/journal.pcbi.1005609.s003
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova M, Novak S, Paixao T. Resistance frequencies for different combination strategies. 2017. doi:10.1371/journal.pcbi.1005609.s004
View | Files available | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9855
Chalk MJ, Masset P, Gutkin B, Denève S. Supplementary appendix. 2017. doi:10.1371/journal.pcbi.1005582.s001
View | Files available | DOI
 
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
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 915 | OA
Swoboda P, Andres B. A message passing algorithm for the minimum cost multicut problem. In: Vol 2017. IEEE; 2017:4990-4999. doi:10.1109/CVPR.2017.530
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 917 | OA
Swoboda P, Kuske J, Savchynskyy B. A dual ascent framework for Lagrangean decomposition of combinatorial problems. In: Vol 2017. IEEE; 2017:4950-4960. doi:10.1109/CVPR.2017.526
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 939 | OA
Midya B, Konotop V. Waveguides with absorbing boundaries: Nonlinearity controlled by an exceptional point and solitons. Physical Review Letters. 2017;119(3). doi:10.1103/PhysRevLett.119.033905
View | DOI | Download Submitted Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 941
Le X, Chu DH, Lo D, Le Goues C, Visser W. JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM; 2017:376-379. doi:10.1145/3092703.3098225
View | DOI
 
2017 | Journal Article | IST-REx-ID: 943 | OA
Zagórski MP, Tabata Y, Brandenberg N, et al. Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science. 2017;356(6345):1379-1383. doi:10.1126/science.aam5887
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 9506 | OA
Zilberman D. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 2017;18(1). doi:10.1186/s13059-017-1230-2
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Book Chapter | IST-REx-ID: 958
Mitchell J, Zhang W, Herde M, et al. Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment. In: Stein V, ed. Synthetic Protein Switches. Vol 1596. Synthetic Protein Switches. Springer; 2017:89-99. doi:10.1007/978-1-4939-6940-1_6
View | DOI
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. 2017. doi:10.5061/dryad.pk16b
View | Files available | DOI | Download Published Version (ext.)
 
2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic N, Schreiber F, Dal Co A, et al. Source data for figures and tables. 2017. doi:10.1371/journal.pgen.1007122.s018
View | Files available | DOI
 
2017 | Conference Abstract | IST-REx-ID: 12905 | OA
Schlögl A, Kiss J. Scientific Computing at IST Austria. In: AHPC17 – Austrian HPC Meeting 2017. FSP Scientific Computing; 2017:28.
View | Files available | Download Published Version (ext.)
 
2017 | Conference Paper | IST-REx-ID: 13160 | OA
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 950 | OA
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. In: Vol 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.CONCUR.2017.21
View | Files available | DOI | arXiv
 
2017 | Conference Paper | IST-REx-ID: 683 | OA
Lubiw A, Masárová Z, Wagner U. A proof of the orbit conjecture for flipping edge labelled triangulations. In: Vol 77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.SoCG.2017.49
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 | Thesis | IST-REx-ID: 1155 | OA
Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 6291 | OA
Payne P. Bacterial herd and social immunity to phages. 2017.
View | Files available
 
2017 | Journal Article | IST-REx-ID: 561 | OA
Pleska M, Guet CC. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 2017;13(12). doi:10.1098/rsbl.2017.0646
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Thesis | IST-REx-ID: 818 | OA
Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
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
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 666 | OA
Mitosch K, Rieckh G, Bollenbach MT. Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. 2017;4(4):393-403. doi:10.1016/j.cels.2017.03.001
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
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 820 | OA
Jesse F. The lac operon in the wild. 2017. doi:10.15479/AT:ISTA:th_857
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
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 838 | OA
Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 6196 | OA
Gazi P, Pietrzak KZ, Rybar M. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2017;2016(2):145-161. doi:10.13154/TOSC.V2016.I2.145-161
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
View | Files available | DOI
 
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
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 837 | OA
Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 938 | OA
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
View | Files available | DOI
 
2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner H, Nikitenko A, Reitzner M. Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. 2017;49(3):745-767. doi:10.1017/apr.2017.20
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 559 | OA
Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. In: Vol 10625. Springer; 2017:357-379. doi:10.1007/978-3-319-70697-9_13
View | Files available | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 741 | OA
Moser T, Seiringer R. Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. 2017;356(1):329-355. doi:10.1007/s00220-017-2980-0
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 550 | OA
Alt J. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 2017;22. doi:10.1214/17-ECP97
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös L, Schröder DJ. Fluctuations of functions of Wigner matrices. Electronic Communications in Probability. 2017;21. doi:10.1214/16-ECP38
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 486 | OA
Elek O, Sumin D, Zhang R, et al. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 2017;36(6). doi:10.1145/3130800.3130890
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 840 | OA
Vukušić L, Kukucka J, Watzinger H, Katsaros G. Fast hole tunneling times in germanium hut wires probed by single-shot reflectometry. Nano Letters. 2017;17(9):5706-5710. doi:10.1021/acs.nanolett.7b02627
View | Files available | DOI
 
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
View | Files available | DOI | arXiv
 
2017 | Conference Paper | IST-REx-ID: 637 | OA
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
View | Files available | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications