Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9084 Publications
2016 | Conference Paper | IST-REx-ID: 8302 | 
Kokoris Kogias E, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B. 2016. Enhancing bitcoin security and performance with strong consistency via collective signing. Proceedings of the 25th USENIX Conference on Security Symposium. SEC: Security Symposium, 279–296.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 8300
Kokoris Kogias E, Voutyras O, Varvarigou T. 2016. TRM-SIoT: A scalable hybrid trust & reputation model for the social Internet of Things. 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation. ETFA: Conference on Emerging Technologies and Factory Automation, 7733612.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8455
Kurauskas V, Crublet E, Macek P, Kerfah R, Gauto DF, Boisbouvier J, Schanda P. 2016. Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit. Chemical Communications. 52(61), 9558–9561.
View
| DOI
2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View
| DOI
2016 | Journal Article | IST-REx-ID: 9140 |
Drobinski P, Alonzo B, Bastin S, Silva ND, Muller CJ. 2016. Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape? Journal of Geophysical Research: Atmospheres. 121(7), 3100–3119.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 92
Cole J, Lin T, Ashcroft C, Pérez Moreno J, Tan Y, Venkatesan P, Higginbotham AP, Pattison P, Edwards A, Piltz R, Clays K, Ilangovan A. 2016. Relating the structure of geminal Amido Esters to their molecular hyperpolarizability. Journal of Physical Chemistry C. 120(51), 29439–29448.
View
| DOI
2016 | Journal Article | IST-REx-ID: 9591 |
Krivelevich M, Kwan MA, Sudakov B. 2016. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Combinatorics, Probability and Computing. 25(6), 909–927.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 9654
Neyer S, Kunz M, Geiss C, Hantsche M, Hodirnau V-V, Seybert A, Engel C, Scheffer MP, Cramer P, Frangakis AS. 2016. Structure of RNA polymerase I transcribing ribosomal DNA genes. Nature. 540(7634), 607–610.
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1197 |
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9720 |
Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. 2016. Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees, Dryad, 10.5061/dryad.4b565.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 983 |
Potter A, Serbyn M, Vishwanath A. 2016. Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level. Physical Review X. 6(3).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 985 |
Campos L, Taychatanapat T, Serbyn M, Surakitbovorn K, Watanabe K, Taniguchi T, Abanin D, Jarillo Herrero P. 2016. Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene. Physical Review Letters. 117(6).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1158 |
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 14(12), e2000234.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1167 |
Zagórski MP, Burda Z, Wacław B. 2016. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 12(12), e1005218.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe C, Hagel K, Milinski M. 2016. Experimental game instructions, Public Library of Science, 10.1371/journal.pone.0163867.s008.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9862
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Simulation study to test the robustness of ABC in face of recent times of divergence, Public Library of Science, 10.1371/journal.pbio.2000234.s016.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9863
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Accessions of surveyed individuals, geographic locations and summary statistics, Public Library of Science, 10.1371/journal.pbio.2000234.s017.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski MP, Burda Z, Wacław B. 2016. ZIP-archived directory containing all data and computer programs, Public Library of Science, 10.1371/journal.pcbi.1005218.s009.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 8453
Kurauskas V, Weber E, Hessel A, Ayala I, Marion D, Schanda P. 2016. Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning R1ρ NMR measurements: Application to protein backbone dynamics measurements. The Journal of Physical Chemistry B. 120(34), 8905–8913.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8452
Rodrigues CDA, Henry X, Neumann E, Kurauskas V, Bellard L, Fichou Y, Schanda P, Schoehn G, Rudner DZ, Morlot C. 2016. A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. 113(41), 11585–11590.
View
| DOI
2016 | Journal Article | IST-REx-ID: 853
Rivkina E, Petrovskaya L, Vishnivetskaya T, Krivushin K, Shmakova L, Tutukina M, Meyers A, Kondrashov F. 2016. Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. 13(7), 2207–2219.
View
| DOI
2016 | Journal Article | IST-REx-ID: 9019 |
Bakail MM, Ochsenbein F. 2016. Targeting protein–protein interactions, a wide open field for drug design. Comptes Rendus Chimie. 19(1–2), 19–27.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 9051 |
Davies Wykes MS, Palacci JA, Adachi T, Ristroph L, Zhong X, Ward MD, Zhang J, Shelley MJ. 2016. Dynamic self-assembly of microscale rotors and swimmers. Soft Matter. 12(20), 4584–4589.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Journal Article | IST-REx-ID: 9052 |
Moyses H, Palacci JA, Sacanna S, Grier DG. 2016. Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam. Soft Matter. 12(30), 6357–6364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Journal Article | IST-REx-ID: 9456 |
Huff JT, Zilberman D, Roy SW. 2016. Mechanism for DNA transposons to generate introns on genomic scales. Nature. 538(7626), 533–536.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 948
Monk T, Savin C, Lücke J. 2016. Neurons equipped with intrinsic plasticity learn stimulus intensity statistics. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 4285–4293.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 9681
Cheng B, Behler J, Ceriotti M. 2016. Nuclear quantum effects in water at the triple point: Using theory as a link between experiments. The Journal of Physical Chemistry Letters. 7(12), 2210–2215.
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. 283(1833), 20160811.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9704 |
Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss, Dryad, 10.5061/dryad.cq7t1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 984 |
Serbyn M, Michailidis A, Abanin D, Papić Z. 2016. Power-law entanglement spectrum in many-body localized phases. Physical Review Letters. 117(16).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 986 |
Serbyn M, Moore J. 2016. Spectral statistics across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 93(4).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1322 |
Hilbe C, Hagel K, Milinski M. 2016. Asymmetric power boosts extortion in an economic experiment. PLoS One. 11(10), e0163867.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1270 |
Hillenbrand P, Gerland U, Tkačik G. 2016. Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. 11(9), e0163628.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1250 |
Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. 2016. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 12(4), e1005974.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 987 |
Dumitrescu P, Serbyn M, Scalettar R, Vishwanath A. 2016. Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study. Physical Review B - Condensed Matter and Materials Physics. 94(15).
View
| DOI
| Download (ext.)
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand P, Gerland U, Tkačik G. 2016. Computation of positional information in an Ising model, Public Library of Science, 10.1371/journal.pone.0163628.s002.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. 2016. Quantification of the growth rate reduction as a consequence of age-specific mortality, Public Library of Science, 10.1371/journal.pgen.1005974.s015.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand P, Gerland U, Tkačik G. 2016. Error bound on an estimator of position, Public Library of Science, 10.1371/journal.pone.0163628.s001.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand P, Gerland U, Tkačik G. 2016. Computation of positional information in a discrete morphogen field, Public Library of Science, 10.1371/journal.pone.0163628.s003.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe C, Hagel K, Milinski M. 2016. Experimental data, Public Library of Science, 10.1371/journal.pone.0163867.s009.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 12620 |
Carenzo M, Pellicciotti F, Mabillard J, Reid T, Brock BW. 2016. An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. 94, 457–469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12618 |
Ragettli S, Immerzeel WW, Pellicciotti F. 2016. Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains. PNAS. 113(33), 9222–9227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 12625 |
Kraaijenbrink P, Meijer SW, Shea JM, Pellicciotti F, De Jong SM, Immerzeel WW. 2016. Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery. Annals of Glaciology. 57(71), 103–113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12619 |
BRUN F, BURI P, MILES ES, WAGNON P, STEINER J, BERTHIER E, RAGETTLI S, KRAAIJENBRINK P, IMMERZEEL WW, Pellicciotti F. 2016. Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry. Journal of Glaciology. 62(234), 684–695.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12622 |
Heynen M, Miles E, Ragettli S, Buri P, Immerzeel WW, Pellicciotti F. 2016. Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. 57(71), 212–222.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12624 |
Miles ES, Pellicciotti F, Willis IC, Steiner JF, Buri P, Arnold NS. 2016. Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal. Annals of Glaciology. 57(71), 29–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12623 |
Buri P, Pellicciotti F, Steiner JF, Miles ES, Immerzeel WW. 2016. A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. 57(71), 199–211.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12621 |
SHAW TE, BROCK BW, FYFFE CL, Pellicciotti F, RUTTER N, DIOTRI F. 2016. Air temperature distribution and energy-balance modelling of a debris-covered glacier. Journal of Glaciology. 62(231), 185–198.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12613 |
Buri P, Miles ES, Steiner JF, Immerzeel WW, Wagnon P, Pellicciotti F. 2016. A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers. Journal of Geophysical Research: Earth Surface. 121(12), 2471–2493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12615
Ayala A, Pellicciotti F, MacDonell S, McPhee J, Vivero S, Campos C, Egli P. 2016. Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile. Hydrological Processes. 30(22), 4036–4058.
View
| DOI
2016 | Journal Article | IST-REx-ID: 12614
Kraaijenbrink PDA, Shea JM, Pellicciotti F, Jong SM de, Immerzeel WW. 2016. Object-based analysis of unmanned aerial vehicle imagery to map and characterise surface features on a debris-covered glacier. Remote Sensing of Environment. 186, 581–595.
View
| DOI
2016 | Journal Article | IST-REx-ID: 12617 |
Ragettli S, Bolch T, Pellicciotti F. 2016. Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal. The Cryosphere. 10(5), 2075–2097.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 9477 |
Park K, Kim MY, Vickers M, Park J-S, Hyun Y, Okamoto T, Zilberman D, Fischer RL, Feng X, Choi Y, Scholten S. 2016. DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. 113(52), 15138–15143.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 9473 |
Hsieh P-H, He S, Buttress T, Gao H, Couchman M, Fischer RL, Zilberman D, Feng X. 2016. Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. 113(52), 15132–15137.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Conference Abstract | IST-REx-ID: 12903 |
Schlögl A, Stadlbauer S. 2016. High performance computing at IST Austria: Modelling the human hippocampus. AHPC16 - Austrian HPC Meeting 2016. AHPC: Austrian HPC Meeting, 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 13386
Moldt T, Przyrembel D, Schulze M, Bronsch W, Boie L, Brete D, Gahl C, Klajn R, Tegeder P, Weinelt M. 2016. Differing isomerization kinetics of azobenzene-functionalized self-assembled monolayers in ambient air and in vacuum. Langmuir. 32(42), 10795–10801.
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 13385 |
Kundu PK, Das S, Ahrens J, Klajn R. 2016. Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization. Nanoscale. 8(46), 19280–19286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 13391
Amdursky N, Kundu PK, Ahrens J, Huppert D, Klajn R. 2016. Noncovalent interactions with proteins modify the physicochemical properties of a molecular switch. ChemPlusChem. 81(1), 44–48.
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 13389
Udayabhaskararao T, Kundu PK, Ahrens J, Klajn R. 2016. Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters. ChemPhysChem. 17(12), 1805–1809.
View
| DOI
| PubMed | Europe PMC
2016 | Other Publication | IST-REx-ID: 13388 |
Udayabhaskararao T, Kundu PK, Ahrens J, Klajn R. 2016. Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016), Wiley,p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 13478 |
Götberg YLL, Davies MB, Mustill AJ, Johansen A, Church RP. 2016. Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy & Astrophysics. 592, A147.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 1341 |
Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 153–166.
[Preprint]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 14010 |
Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. 2016. Attosecond delays in molecular photoionization. Physical Review Letters. 117(9), 093001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Journal Article | IST-REx-ID: 14011
Baykusheva DR, Ahsan MS, Lin N, Wörner HJ. 2016. Bicircular high-harmonic spectroscopy reveals dynamical symmetries of atoms and molecules. Physical Review Letters. 116(12), 123001.
View
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 14012 |
Rajeev R, Hellwagner J, Schumacher A, Jordan I, Huppert M, Tehlar A, Niraghatam BR, Baykusheva DR, Lin N, von Conta A, Wörner HJ. 2016. In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science & Applications. 5(11), e16170–e16170.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 5749 |
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2016. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 33(3), 770–782.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Thesis | IST-REx-ID: 1121 |
Acar H. 2016. Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Journal Article | IST-REx-ID: 1662 |
Edelsbrunner H, Pausinger F. 2016. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 287, 674–703.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1128 |
Rieckh G. 2016. Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1124 |
Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1129 |
Schwarz J. 2016. Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1126 |
Pentina A. 2016. Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1397
Chmelik M. 2016. Algorithms for partially observable markov decision processes. Institute of Science and Technology Austria.
View
2016 | Thesis | IST-REx-ID: 1123 |
Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Journal Article | IST-REx-ID: 1432 |
Mishra RK, Kim S, Guzmán J, Jonas PM. 2016. Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. 7, 11552.
[Published Version]
View
| Files available
| DOI
2016 | Thesis | IST-REx-ID: 1396 |
Mishra RK. 2016. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1125 |
Novak S. 2016. Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2016 | Thesis | IST-REx-ID: 1130 |
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1093 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 20.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1234 |
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1230 |
Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1391 |
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1243
Pleska M, Qian L, Okura R, Bergmiller T, Wakamoto Y, Kussell E, Guet CC. 2016. Bacterial autoimmunity due to a restriction-modification system. Current Biology. 26(3), 404–409.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1071 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57, 28.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1362 |
Hahn D, Wojtan C. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 104.
[Published Version]
View
| Files available
| DOI