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.
5796 Publications
2016 | Journal Article | IST-REx-ID: 9591 |
Cycles and matchings in randomly perturbed digraphs and hypergraphs
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Krivelevich, M.A. Kwan, B. Sudakov, Combinatorics, Probability and Computing 25 (2016) 909–927.
2016 | Journal Article | IST-REx-ID: 1197 |
Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, PLoS Computational Biology 12 (2016).
2016 | Research Data Reference | IST-REx-ID: 9720 |
Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).
2016 | Journal Article | IST-REx-ID: 983 |
Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level
A. Potter, M. Serbyn, A. Vishwanath, Physical Review X 6 (2016).
View
| DOI
| Download (ext.)
A. Potter, M. Serbyn, A. Vishwanath, Physical Review X 6 (2016).
2016 | Journal Article | IST-REx-ID: 985 |
Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene
L. Campos, T. Taychatanapat, M. Serbyn, K. Surakitbovorn, K. Watanabe, T. Taniguchi, D. Abanin, P. Jarillo Herrero, Physical Review Letters 117 (2016).
View
| DOI
| Download (ext.)
L. Campos, T. Taychatanapat, M. Serbyn, K. Surakitbovorn, K. Watanabe, T. Taniguchi, D. Abanin, P. Jarillo Herrero, Physical Review Letters 117 (2016).
2016 | Journal Article | IST-REx-ID: 1158 |
Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
[Published Version]
View
| Files available
| DOI
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
2016 | Journal Article | IST-REx-ID: 1167 |
Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
[Published Version]
View
| Files available
| DOI
M.P. Zagórski, Z. Burda, B. Wacław, PLoS Computational Biology 12 (2016).
2016 | Journal Article | IST-REx-ID: 9019 |
Targeting protein–protein interactions, a wide open field for drug design
M.M. Bakail, F. Ochsenbein, Comptes Rendus Chimie 19 (2016) 19–27.
[Published Version]
View
| Files available
| DOI
M.M. Bakail, F. Ochsenbein, Comptes Rendus Chimie 19 (2016) 19–27.
2016 | Journal Article | IST-REx-ID: 9051 |
Dynamic self-assembly of microscale rotors and swimmers
M.S. Davies Wykes, J.A. Palacci, T. Adachi, L. Ristroph, X. Zhong, M.D. Ward, J. Zhang, M.J. Shelley, Soft Matter 12 (2016) 4584–4589.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
M.S. Davies Wykes, J.A. Palacci, T. Adachi, L. Ristroph, X. Zhong, M.D. Ward, J. Zhang, M.J. Shelley, Soft Matter 12 (2016) 4584–4589.
2016 | Journal Article | IST-REx-ID: 9052 |
Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam
H. Moyses, J.A. Palacci, S. Sacanna, D.G. Grier, Soft Matter 12 (2016) 6357–6364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
H. Moyses, J.A. Palacci, S. Sacanna, D.G. Grier, Soft Matter 12 (2016) 6357–6364.
2016 | Journal Article | IST-REx-ID: 9456 |
Mechanism for DNA transposons to generate introns on genomic scales
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
2016 | Journal Article | IST-REx-ID: 1262 |
Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
[Published Version]
View
| Files available
| DOI
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
2016 | Research Data Reference | IST-REx-ID: 9704 |
Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
2016 | Journal Article | IST-REx-ID: 984 |
Power-law entanglement spectrum in many-body localized phases
M. Serbyn, A. Michailidis, D. Abanin, Z. Papić, Physical Review Letters 117 (2016).
View
| DOI
| Download (ext.)
M. Serbyn, A. Michailidis, D. Abanin, Z. Papić, Physical Review Letters 117 (2016).
2016 | Journal Article | IST-REx-ID: 986 |
Spectral statistics across the many-body localization transition
M. Serbyn, J. Moore, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
View
| DOI
| Download (ext.)
M. Serbyn, J. Moore, Physical Review B - Condensed Matter and Materials Physics 93 (2016).
2016 | Journal Article | IST-REx-ID: 1322 |
Asymmetric power boosts extortion in an economic experiment
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
[Published Version]
View
| Files available
| DOI
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1270 |
Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
[Published Version]
View
| Files available
| DOI
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1250 |
Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
[Published Version]
View
| Files available
| DOI
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
2016 | Journal Article | IST-REx-ID: 987 |
Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study
P. Dumitrescu, M. Serbyn, R. Scalettar, A. Vishwanath, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
View
| DOI
| Download (ext.)
P. Dumitrescu, M. Serbyn, R. Scalettar, A. Vishwanath, Physical Review B - Condensed Matter and Materials Physics 94 (2016).
2016 | Journal Article | IST-REx-ID: 12620 |
An enhanced temperature index model for debris-covered glaciers accounting for thickness effect
M. Carenzo, F. Pellicciotti, J. Mabillard, T. Reid, B.W. Brock, Advances in Water Resources 94 (2016) 457–469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Carenzo, F. Pellicciotti, J. Mabillard, T. Reid, B.W. Brock, Advances in Water Resources 94 (2016) 457–469.
2016 | Journal Article | IST-REx-ID: 12618 |
Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains
S. Ragettli, W.W. Immerzeel, F. Pellicciotti, PNAS 113 (2016) 9222–9227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Ragettli, W.W. Immerzeel, F. Pellicciotti, PNAS 113 (2016) 9222–9227.
2016 | Journal Article | IST-REx-ID: 12625 |
Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Kraaijenbrink, S.W. Meijer, J.M. Shea, F. Pellicciotti, S.M. De Jong, W.W. Immerzeel, Annals of Glaciology 57 (2016) 103–113.
2016 | Journal Article | IST-REx-ID: 12619 |
Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry
F. BRUN, P. BURI, E.S. MILES, P. WAGNON, J. STEINER, E. BERTHIER, S. RAGETTLI, P. KRAAIJENBRINK, W.W. IMMERZEEL, F. Pellicciotti, Journal of Glaciology 62 (2016) 684–695.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. BRUN, P. BURI, E.S. MILES, P. WAGNON, J. STEINER, E. BERTHIER, S. RAGETTLI, P. KRAAIJENBRINK, W.W. IMMERZEEL, F. Pellicciotti, Journal of Glaciology 62 (2016) 684–695.
2016 | Journal Article | IST-REx-ID: 12622 |
Air temperature variability in a high-elevation Himalayan catchment
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, E. Miles, S. Ragettli, P. Buri, W.W. Immerzeel, F. Pellicciotti, Annals of Glaciology 57 (2016) 212–222.
2016 | Journal Article | IST-REx-ID: 12624 |
Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal
E.S. Miles, F. Pellicciotti, I.C. Willis, J.F. Steiner, P. Buri, N.S. Arnold, Annals of Glaciology 57 (2016) 29–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, F. Pellicciotti, I.C. Willis, J.F. Steiner, P. Buri, N.S. Arnold, Annals of Glaciology 57 (2016) 29–40.
2016 | Journal Article | IST-REx-ID: 12623 |
A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, F. Pellicciotti, J.F. Steiner, E.S. Miles, W.W. Immerzeel, Annals of Glaciology 57 (2016) 199–211.
2016 | Journal Article | IST-REx-ID: 12621 |
Air temperature distribution and energy-balance modelling of a debris-covered glacier
T.E. SHAW, B.W. BROCK, C.L. FYFFE, F. Pellicciotti, N. RUTTER, F. DIOTRI, Journal of Glaciology 62 (2016) 185–198.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.E. SHAW, B.W. BROCK, C.L. FYFFE, F. Pellicciotti, N. RUTTER, F. DIOTRI, Journal of Glaciology 62 (2016) 185–198.
2016 | Journal Article | IST-REx-ID: 12613 |
A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Buri, E.S. Miles, J.F. Steiner, W.W. Immerzeel, P. Wagnon, F. Pellicciotti, Journal of Geophysical Research: Earth Surface 121 (2016) 2471–2493.
2016 | Journal Article | IST-REx-ID: 12617 |
Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal
S. Ragettli, T. Bolch, F. Pellicciotti, The Cryosphere 10 (2016) 2075–2097.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ragettli, T. Bolch, F. Pellicciotti, The Cryosphere 10 (2016) 2075–2097.
2016 | Journal Article | IST-REx-ID: 9477 |
DNA demethylation is initiated in the central cells of Arabidopsis and rice
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
2016 | Journal Article | IST-REx-ID: 9473 |
Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
2016 | Conference Abstract | IST-REx-ID: 12903 |
High performance computing at IST Austria: Modelling the human hippocampus
A. Schlögl, S. Stadlbauer, in:, AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)
A. Schlögl, S. Stadlbauer, in:, AHPC16 - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
2016 | Journal Article | IST-REx-ID: 13385 |
Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization
P.K. Kundu, S. Das, J. Ahrens, R. Klajn, Nanoscale 8 (2016) 19280–19286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.K. Kundu, S. Das, J. Ahrens, R. Klajn, Nanoscale 8 (2016) 19280–19286.
2016 | Other Publication | IST-REx-ID: 13388 |
Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016)
T. Udayabhaskararao, P.K. Kundu, J. Ahrens, R. Klajn, Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016), Wiley, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Udayabhaskararao, P.K. Kundu, J. Ahrens, R. Klajn, Inside Cover: Reversible Photoisomerization of Spiropyran on the Surfaces of Au25 Nanoclusters (ChemPhysChem 12/2016), Wiley, 2016.
2016 | Journal Article | IST-REx-ID: 13478 |
Long-term stability of the HR 8799 planetary system without resonant lock
Y.L.L. Götberg, M.B. Davies, A.J. Mustill, A. Johansen, R.P. Church, Astronomy & Astrophysics 592 (2016).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Y.L.L. Götberg, M.B. Davies, A.J. Mustill, A. Johansen, R.P. Church, Astronomy & Astrophysics 592 (2016).
2016 | Conference Paper | IST-REx-ID: 1341 |
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
[Preprint]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
2016 | Journal Article | IST-REx-ID: 14010 |
Attosecond delays in molecular photoionization
M. Huppert, I. Jordan, D.R. Baykusheva, A. von Conta, H.J. Wörner, Physical Review Letters 117 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
M. Huppert, I. Jordan, D.R. Baykusheva, A. von Conta, H.J. Wörner, Physical Review Letters 117 (2016).
2016 | Journal Article | IST-REx-ID: 14012 |
In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses
R. Rajeev, J. Hellwagner, A. Schumacher, I. Jordan, M. Huppert, A. Tehlar, B.R. Niraghatam, D.R. Baykusheva, N. Lin, A. von Conta, H.J. Wörner, Light: Science & Applications 5 (2016) e16170–e16170.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Rajeev, J. Hellwagner, A. Schumacher, I. Jordan, M. Huppert, A. Tehlar, B.R. Niraghatam, D.R. Baykusheva, N. Lin, A. von Conta, H.J. Wörner, Light: Science & Applications 5 (2016) e16170–e16170.
2016 | Journal Article | IST-REx-ID: 5749 |
Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2016) 770–782.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2016) 770–782.
2016 | Thesis | IST-REx-ID: 1121 |
Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
2016 | Journal Article | IST-REx-ID: 1662 |
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
[Published Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
2016 | Thesis | IST-REx-ID: 1128 |
Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1124 |
Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1129 |
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1126 |
Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1123 |
Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
2016 | Journal Article | IST-REx-ID: 1432 |
Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
[Published Version]
View
| Files available
| DOI
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
2016 | Thesis | IST-REx-ID: 1396 |
Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
R.K. Mishra, Synaptic Plasticity Rules at CA3-CA3 Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1125 |
Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
2016 | Thesis | IST-REx-ID: 1130 |
Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.