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.

4133 Publications


2018 | Technical Report | IST-REx-ID: 5457 | OA
Cost analysis of nondeterministic probabilistic programs
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
[Published Version] View | Files available
 

2018 | Book Chapter | IST-REx-ID: 10864 | OA
Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 | Conference Paper | IST-REx-ID: 184 | OA
Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 285 | OA
On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Submitted Version] View | Files available | DOI | arXiv
 

2018 | Research Data Reference | IST-REx-ID: 13059 | OA
Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 | Thesis | IST-REx-ID: 49 | OA
Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 201 | OA
Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 68 | OA
Learning from dependent data
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 83 | OA
Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 

2018 | Thesis | IST-REx-ID: 197 | OA
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.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 6774 | OA
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.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 133 | OA
Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI
 

2018 | Conference Paper | IST-REx-ID: 187 | OA
The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version] View | Files available | DOI
 

2018 | Journal Article | IST-REx-ID: 692 | OA
3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 77 | OA
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).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 401 | OA
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).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 318 | OA
A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2018 | Journal Article | IST-REx-ID: 410 | OA
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).
[Published Version] View | Files available | DOI | WoS
 

2018 | Journal Article | IST-REx-ID: 277 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 

2018 | Conference Paper | IST-REx-ID: 299 | OA
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.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications