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.
8032 Publications
2018 | Journal Article | IST-REx-ID: 7286
Long-chain Li and Na alkyl carbonates as solid electrolyte interphase components: Structure, ion transport, and mechanical properties
L. Schafzahl, H. Ehmann, M. Kriechbaum, J. Sattelkow, T. Ganner, H. Plank, M. Wilkening, S.A. Freunberger, Chemistry of Materials 30 (2018) 3338–3345.
View
| DOI
L. Schafzahl, H. Ehmann, M. Kriechbaum, J. Sattelkow, T. Ganner, H. Plank, M. Wilkening, S.A. Freunberger, Chemistry of Materials 30 (2018) 3338–3345.
2018 | Journal Article | IST-REx-ID: 738 | 
Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
2018 | Conference Paper | IST-REx-ID: 7407 |
Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
View
| Files available
| DOI
| Download Published Version (ext.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
2018 | Thesis | IST-REx-ID: 52 |
Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
View
| Files available
| DOI
T. Moser, Point Interactions in Systems of Fermions, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 742 |
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
View
| Files available
| DOI
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
2018 | Journal Article | IST-REx-ID: 7458
Tutorial: Product properties in multiferroic nanocomposites
D. Viehland, J.F. Li, Y. Yang, T. Costanzo, A. Yourdkhani, G. Caruntu, P. Zhou, T. Zhang, T. Li, A. Gupta, M. Popov, G. Srinivasan, Journal of Applied Physics 124 (2018).
View
| DOI
D. Viehland, J.F. Li, Y. Yang, T. Costanzo, A. Yourdkhani, G. Caruntu, P. Zhou, T. Zhang, T. Li, A. Gupta, M. Popov, G. Srinivasan, Journal of Applied Physics 124 (2018).
2018 | Thesis | IST-REx-ID: 324 |
Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, IST Austria, 2018.
View
| Files available
| DOI
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 76 |
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
View
| Files available
| DOI
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 | Journal Article | IST-REx-ID: 7698
Origin and segmental diversity of spinal inhibitory interneurons
L.B.J. Sweeney, J.B. Bikoff, M.I. Gabitto, S. Brenner-Morton, M. Baek, J.H. Yang, E.G. Tabak, J.S. Dasen, C.R. Kintner, T.M. Jessell, Neuron 97 (2018) 341–355.e3.
View
| DOI
L.B.J. Sweeney, J.B. Bikoff, M.I. Gabitto, S. Brenner-Morton, M. Baek, J.H. Yang, E.G. Tabak, J.S. Dasen, C.R. Kintner, T.M. Jessell, Neuron 97 (2018) 341–355.e3.
2018 | Journal Article | IST-REx-ID: 7717 |
Genotype effects contribute to variation in longitudinal methylome patterns in older people
Q. Zhang, R.E. Marioni, M.R. Robinson, J. Higham, D. Sproul, N.R. Wray, I.J. Deary, A.F. McRae, P.M. Visscher, Genome Medicine 10 (2018).
View
| DOI
| Download Published Version (ext.)
Q. Zhang, R.E. Marioni, M.R. Robinson, J. Higham, D. Sproul, N.R. Wray, I.J. Deary, A.F. McRae, P.M. Visscher, Genome Medicine 10 (2018).
2018 | Journal Article | IST-REx-ID: 7718
Evolutionary history and adaptation of a human pygmy population of Flores Island, Indonesia
S. Tucci, S.H. Vohr, R.C. McCoy, B. Vernot, M.R. Robinson, C. Barbieri, B.J. Nelson, W. Fu, G.A. Purnomo, H. Sudoyo, E.E. Eichler, G. Barbujani, P.M. Visscher, J.M. Akey, R.E. Green, Science 361 (2018) 511–516.
View
| DOI
| PubMed | Europe PMC
S. Tucci, S.H. Vohr, R.C. McCoy, B. Vernot, M.R. Robinson, C. Barbieri, B.J. Nelson, W. Fu, G.A. Purnomo, H. Sudoyo, E.E. Eichler, G. Barbujani, P.M. Visscher, J.M. Akey, R.E. Green, Science 361 (2018) 511–516.
2018 | Journal Article | IST-REx-ID: 7712 |
Dissection of genetic variation and evidence for pleiotropy in male pattern baldness
C.X. Yap, J. Sidorenko, Y. Wu, K.E. Kemper, J. Yang, N.R. Wray, M.R. Robinson, P.M. Visscher, Nature Communications 9 (2018).
View
| DOI
| Download Published Version (ext.)
C.X. Yap, J. Sidorenko, Y. Wu, K.E. Kemper, J. Yang, N.R. Wray, M.R. Robinson, P.M. Visscher, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 7716 |
Improving genetic prediction by leveraging genetic correlations among human diseases and traits
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
View
| DOI
| Download Published Version (ext.)
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 7715
Imprint of assortative mating on the human genome
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
View
| DOI
L. Yengo, M.R. Robinson, M.C. Keller, K.E. Kemper, Y. Yang, M. Trzaskowski, J. Gratten, P. Turley, D. Cesarini, D.J. Benjamin, N.R. Wray, M.E. Goddard, J. Yang, P.M. Visscher, Nature Human Behaviour 2 (2018) 948–954.
2018 | Journal Article | IST-REx-ID: 7714 |
Causal associations between risk factors and common diseases inferred from GWAS summary data
Z. Zhu, Z. Zheng, F. Zhang, Y. Wu, M. Trzaskowski, R. Maier, M.R. Robinson, J.J. McGrath, P.M. Visscher, N.R. Wray, J. Yang, Nature Communications 9 (2018).
View
| DOI
| Download Published Version (ext.)
Z. Zhu, Z. Zheng, F. Zhang, Y. Wu, M. Trzaskowski, R. Maier, M.R. Robinson, J.J. McGrath, P.M. Visscher, N.R. Wray, J. Yang, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 7713 |
Global genetic differentiation of complex traits shaped by natural selection in humans
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
View
| DOI
| Download Published Version (ext.)
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 7721 |
Embracing polygenicity: A review of methods and tools for psychiatric genetics research
R.M. Maier, P.M. Visscher, M.R. Robinson, N.R. Wray, Psychological Medicine 48 (2018) 1055–1067.
View
| DOI
| Download Published Version (ext.)
R.M. Maier, P.M. Visscher, M.R. Robinson, N.R. Wray, Psychological Medicine 48 (2018) 1055–1067.
2018 | Journal Article | IST-REx-ID: 7723
Transformation of summary statistics from linear mixed model association on all-or-none traits to odds ratio
L.R. Lloyd-Jones, M.R. Robinson, J. Yang, P.M. Visscher, Genetics 208 (2018) 1397–1408.
View
| DOI
L.R. Lloyd-Jones, M.R. Robinson, J. Yang, P.M. Visscher, Genetics 208 (2018) 1397–1408.
2018 | Journal Article | IST-REx-ID: 7722
Signatures of negative selection in the genetic architecture of human complex traits
J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.
View
| DOI
J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.
2018 | Journal Article | IST-REx-ID: 7724
Evidence of directional and stabilizing selection in contemporary humans
J.S. Sanjak, J. Sidorenko, M.R. Robinson, K.R. Thornton, P.M. Visscher, Proceedings of the National Academy of Sciences 115 (2018) 151–156.
View
| Files available
| DOI
J.S. Sanjak, J. Sidorenko, M.R. Robinson, K.R. Thornton, P.M. Visscher, Proceedings of the National Academy of Sciences 115 (2018) 151–156.
2018 | Journal Article | IST-REx-ID: 7754 |
Enhanced diffusion by binding to the crosslinks of a polymer gel
C.P. Goodrich, M.P. Brenner, K. Ribbeck, Nature Communications 9 (2018).
View
| DOI
| Download Published Version (ext.)
C.P. Goodrich, M.P. Brenner, K. Ribbeck, Nature Communications 9 (2018).
2018 | Preprint | IST-REx-ID: 7783 |
Extensive mitochondrial population structure and haplotype-specific phenotypic variation in the Drosophila Genetic Reference Panel
R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).
View
| Download Preprint (ext.)
R.P.J. Bevers, M. Litovchenko, A. Kapopoulou, V.S. Braman, M.R. Robinson, J. Auwerx, B. Hollis, B. Deplancke, BioRxiv (2018).
2018 | Conference Paper | IST-REx-ID: 78 |
Online timed pattern matching using automata
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
View
| Files available
| DOI
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, E. Asarin, in:, Springer, 2018, pp. 215–232.
2018 | Journal Article | IST-REx-ID: 6001
ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
View
| Files available
| DOI
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
2018 | Conference Paper | IST-REx-ID: 7812 |
Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
View
| Files available
| arXiv
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
2018 | Conference Paper | IST-REx-ID: 79 |
Parameter-independent strategies for pMDPs via POMDPs
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Arming, E. Bartocci, K. Chatterjee, J.P. Katoen, A. Sokolova, in:, Springer, 2018, pp. 53–70.
2018 | Journal Article | IST-REx-ID: 7983 |
Elektrochemische Oxidation von Lithiumcarbonat generiert Singulett-Sauerstoff
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631.
View
| Files available
| DOI
N. Mahne, S.E. Renfrew, B.D. McCloskey, S.A. Freunberger, Angewandte Chemie 130 (2018) 5627–5631.
2018 | Journal Article | IST-REx-ID: 23 |
Single-shot readout of hole spins in Ge
L. Vukušić, J. Kukucka, H. Watzinger, J.M. Milem, F. Schäffler, G. Katsaros, Nano Letters 18 (2018) 7141–7145.
View
| Files available
| DOI
| PubMed | Europe PMC
L. Vukušić, J. Kukucka, H. Watzinger, J.M. Milem, F. Schäffler, G. Katsaros, Nano Letters 18 (2018) 7141–7145.
2018 | Journal Article | IST-REx-ID: 77 |
A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
View
| Files available
| DOI
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 | Journal Article | IST-REx-ID: 8015 |
Cortical signal propagation: Balance, amplify, transmit
J.P. Stroud, T.P. Vogels, Neuron 98 (2018) 8–9.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.P. Stroud, T.P. Vogels, Neuron 98 (2018) 8–9.
2018 | Journal Article | IST-REx-ID: 8073 |
Motor primitives in space and time via targeted gain modulation in cortical networks
J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience 21 (2018) 1774–1783.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J.P. Stroud, M.A. Porter, G. Hennequin, T.P. Vogels, Nature Neuroscience 21 (2018) 1774–1783.
2018 | Conference Paper | IST-REx-ID: 81 |
Monitoring temporal logic with clock variables
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
View
| Files available
| DOI
A. Elgyütt, T. Ferrere, T.A. Henzinger, in:, Springer, 2018, pp. 53–70.
2018 | Journal Article | IST-REx-ID: 6355 |
Any cyclic quadrilateral can be inscribed in any closed convex smooth curve
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
View
| Files available
| DOI
| arXiv
A. Akopyan, S. Avvakumov, Forum of Mathematics, Sigma 6 (2018).
2018 | Preprint | IST-REx-ID: 75 |
Convex fair partitions into arbitrary number of pieces
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
View
| Files available
| Download Preprint (ext.)
| arXiv
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
2018 | Journal Article | IST-REx-ID: 616 |
Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
View
| Files available
| DOI
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
2018 | Journal Article | IST-REx-ID: 806
Social immunity: Emergence and evolution of colony-level disease protection
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
View
| Files available
| DOI
S. Cremer, C. Pull, M. Fürst, Annual Review of Entomology 63 (2018) 105–123.
2018 | Journal Article | IST-REx-ID: 8231 |
AllergoOncology: Generating a canine anticancer IgE against the epidermal growth factor receptor
J. Singer, J. Singer, K.M. Ilieva, M. Matz, I. Herrmann, E. Spillner, S.N. Karagiannis, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 142 (2018) 973–976.e11.
View
| DOI
| Download Published Version (ext.)
J. Singer, J. Singer, K.M. Ilieva, M. Matz, I. Herrmann, E. Spillner, S.N. Karagiannis, E. Jensen-Jarolim, Journal of Allergy and Clinical Immunology 142 (2018) 973–976.e11.
2018 | Journal Article | IST-REx-ID: 8234 |
Preclinical in vitro and in vivo evaluation of [18F]FE@SUPPY for cancer PET imaging: Limitations of a xenograft model for colorectal cancer
T. Balber, J. Singer, N. Berroterán-Infante, M. Dumanic, L. Fetty, J. Fazekas-Singer, C. Vraka, L. Nics, M. Bergmann, K. Pallitsch, H. Spreitzer, W. Wadsak, M. Hacker, E. Jensen-Jarolim, H. Viernstein, M. Mitterhauser, Contrast Media & Molecular Imaging 2018 (2018).
View
| DOI
| Download Published Version (ext.)
T. Balber, J. Singer, N. Berroterán-Infante, M. Dumanic, L. Fetty, J. Fazekas-Singer, C. Vraka, L. Nics, M. Bergmann, K. Pallitsch, H. Spreitzer, W. Wadsak, M. Hacker, E. Jensen-Jarolim, H. Viernstein, M. Mitterhauser, Contrast Media & Molecular Imaging 2018 (2018).
2018 | Journal Article | IST-REx-ID: 8232 |
Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody
T. Nagaya, S. Okuyama, F. Ogata, Y. Maruoka, D.W. Knapp, S.N. Karagiannis, J. Singer, P.L. Choyke, A.K. LeBlanc, E. Jensen-Jarolim, H. Kobayashi, Oncotarget 9 (2018) 19026–19038.
View
| DOI
| Download Published Version (ext.)
T. Nagaya, S. Okuyama, F. Ogata, Y. Maruoka, D.W. Knapp, S.N. Karagiannis, J. Singer, P.L. Choyke, A.K. LeBlanc, E. Jensen-Jarolim, H. Kobayashi, Oncotarget 9 (2018) 19026–19038.
2018 | Journal Article | IST-REx-ID: 8233 |
Canine macrophages can like human macrophages be in vitro activated toward the M2a subtype relevant in allergy
I. Herrmann, J. Gotovina, J. Singer, M.B. Fischer, K. Hufnagl, R. Bianchini, E. Jensen-Jarolim, Developmental & Comparative Immunology 82 (2018) 118–127.
View
| DOI
| Download Published Version (ext.)
I. Herrmann, J. Gotovina, J. Singer, M.B. Fischer, K. Hufnagl, R. Bianchini, E. Jensen-Jarolim, Developmental & Comparative Immunology 82 (2018) 118–127.
2018 | Journal Article | IST-REx-ID: 8262 |
Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp.
O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
View
| DOI
| Download Published Version (ext.)
O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
2018 | Journal Article | IST-REx-ID: 8265 |
Genome rearrangements and phylogeny reconstruction in Yersinia pestis
O. Bochkareva, N.O. Dranenko, E.S. Ocheredko, G.M. Kanevsky, Y.N. Lozinsky, V.A. Khalaycheva, I.I. Artamonova, M.S. Gelfand, PeerJ 6 (2018).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
O. Bochkareva, N.O. Dranenko, E.S. Ocheredko, G.M. Kanevsky, Y.N. Lozinsky, V.A. Khalaycheva, I.I. Artamonova, M.S. Gelfand, PeerJ 6 (2018).
2018 | Journal Article | IST-REx-ID: 8274
Bidirectional regulation of COX-2 expression between cancer cells and macrophages
M.I. Carvalho, R. Bianchini, J. Singer, I. Herrmann, I. Flickinger, J.G. Thalhammer, I. Pires, E. Jensen-Jarolim, F.L. Queiroga, Anticancer Research 38 (2018) 2811–2817.
View
| DOI
M.I. Carvalho, R. Bianchini, J. Singer, I. Herrmann, I. Flickinger, J.G. Thalhammer, I. Pires, E. Jensen-Jarolim, F.L. Queiroga, Anticancer Research 38 (2018) 2811–2817.
2018 | Thesis | IST-REx-ID: 83 |
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
View
| Files available
| DOI
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, IST Austria, 2018.
2018 | Conference Paper | IST-REx-ID: 8298
Channels: Horizontal scaling and confidentiality on permissioned blockchains
E. Androulaki, C. Cachin, A. De Caro, E. Kokoris Kogias, in:, Computer Security, Springer Nature, 2018, pp. 111–131.
View
| DOI
E. Androulaki, C. Cachin, A. De Caro, E. Kokoris Kogias, in:, Computer Security, Springer Nature, 2018, pp. 111–131.
2018 | Conference Paper | IST-REx-ID: 8297 |
OmniLedger: A secure, scale-out, decentralized ledger via sharding
E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, B. Ford, in:, 2018 IEEE Symposium on Security and Privacy, IEEE, 2018, pp. 583–598.
View
| DOI
| Download Preprint (ext.)
E. Kokoris Kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta, B. Ford, in:, 2018 IEEE Symposium on Security and Privacy, IEEE, 2018, pp. 583–598.
2018 | Conference Paper | IST-REx-ID: 133 |
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 | Conference Paper | IST-REx-ID: 160 |
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
2018 | Thesis | IST-REx-ID: 69 |
Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, IST Austria, 2018.
View
| Files available
| DOI
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, IST Austria, 2018.
2018 | Journal Article | IST-REx-ID: 8443
How detergent impacts membrane proteins: Atomic-level views of mitochondrial carriers in dodecylphosphocholine
V. Kurauskas, A. Hessel, P. Ma, P. Lunetti, K. Weinhäupl, L. Imbert, B. Brutscher, M.S. King, R. Sounier, V. Dolce, E.R.S. Kunji, L. Capobianco, C. Chipot, F. Dehez, B. Bersch, P. Schanda, The Journal of Physical Chemistry Letters 9 (2018) 933–938.
View
| DOI
V. Kurauskas, A. Hessel, P. Ma, P. Lunetti, K. Weinhäupl, L. Imbert, B. Brutscher, M.S. King, R. Sounier, V. Dolce, E.R.S. Kunji, L. Capobianco, C. Chipot, F. Dehez, B. Bersch, P. Schanda, The Journal of Physical Chemistry Letters 9 (2018) 933–938.