Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021

Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
LibreCat: https://research-explorer.ista.ac.at/record/6774
DOI: 10.1007/s41468-018-0021-5

Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/187
DOI: 10.4230/LIPIcs.SoCG.2018.34

3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
LibreCat: https://research-explorer.ista.ac.at/record/692
DOI: 10.1007/s10711-017-0265-6
WoS: 000431418800004

A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukusi, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/77
DOI: 10.1038/s41467-018-06418-4
WoS: 000445560800010

A biochemical network controlling basal myosin oscillation
X. Qin, E.B. Hannezo, T. Mangeat, C. Liu, P. Majumder, J. Liu, V. Choesmel Cadamuro, J. Mcdonald, Y. Liu, B. Yi, X. Wang, Nature Communications 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/401
DOI: 10.1038/s41467-018-03574-5
WoS: 000428165400009

A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
LibreCat: https://research-explorer.ista.ac.at/record/318
DOI: 10.1016/j.devcel.2018.02.009
WoS: 000426150700002
PMID: 29486189

A micro-CT-based method for quantitative brain lesion characterization and electrode localization
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/410
DOI: 10.1038/s41598-018-23247-z
WoS: 000428234100005

An armadillo-domain protein participates in a telomerase interaction network
L. Dokládal, E. Benková, D. Honys, N. Dupláková, L. Lee, S. Gelvin, E. Sýkorová, Plant Molecular Biology 97 (2018) 407–420.
LibreCat: https://research-explorer.ista.ac.at/record/277
DOI: 10.1007/s11103-018-0747-4
WoS: 000438981700009

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018

Ants avoid superinfections by performing risk-adjusted sanitary care
M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S. Cremer, PNAS 115 (2018) 2782–2787.
LibreCat: https://research-explorer.ista.ac.at/record/413
DOI: 10.1073/pnas.1713501115
WoS: 000427245400069
PMID: 29463746

Anyonic statistics of quantum impurities in two dimensions
E. Yakaboylu, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 98 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/195
DOI: 10.1103/PhysRevB.98.045402
WoS: 000436939100007
arXiv: 1712.00308

A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
LibreCat: https://research-explorer.ista.ac.at/record/144
DOI: 10.1145/3209108.3209194
WoS: 000545262800041

Auxin methylation is required for differential growth in Arabidopsis
M. Abbas, G.J. Hernández, S. Pollmann, S.L. Samodelov, M. Kolb, J. Friml, U.Z. Hammes, M.D. Zurbriggen, M. Blázquez, D. Alabadí, PNAS 115 (2018) 6864–6869.
LibreCat: https://research-explorer.ista.ac.at/record/203
DOI: 10.1073/pnas.1806565115
WoS: 000436245000096

Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation
M.M. Napiórkowski, R. Reuvers, J. Solovej, EPL 121 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/399
DOI: 10.1209/0295-5075/121/10007
WoS: 000460003000003
arXiv: 1706.01822

CL peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana
L. Zhang, X. Shi, Y. Zhang, J. Wang, J. Yang, T. Ishida, W. Jiang, X. Han, J. Kang, X. Wang, L. Pan, S. Lv, B. Cao, Y. Zhang, J. Wu, H. Han, Z. Hu, L. Cui, S. Sawa, J. He, G. Wang, Plant Cell and Environment (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5830
DOI: 10.1111/pce.13475
WoS: 000459014800021
PMID: 30378140

Clonal analysis of Notc-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland
A. Lilja, V. Rodilla, M. Huyghe, E.B. Hannezo, C. Landragin, O. Renaud, O. Leroy, S. Rulands, B. Simons, S. Fré, Nature Cell Biology 20 (2018) 677–687.
LibreCat: https://research-explorer.ista.ac.at/record/288
DOI: 10.1038/s41556-018-0108-1
WoS: 000433237300003
PMID: 29784917

Computational design of nanostructural color for additive manufacturing
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/304
DOI: 10.1145/3197517.3201376
WoS: 000448185000120