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.
1850 Publications
2018 |Published| Conference Paper | IST-REx-ID: 433 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
2018 |Published| Technical Report | IST-REx-ID: 5457 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, 6 Anonymous, Cost Analysis of Nondeterministic Probabilistic Programs, IST Austria, 2018.
2018 |Published| Book Chapter | IST-REx-ID: 10864 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
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.
2018 |Published| Conference Paper | IST-REx-ID: 184 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
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.
2018 |Published| Conference Paper | IST-REx-ID: 285 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |Published| Journal Article | IST-REx-ID: 692 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
[Published Version]
View
| Files available
| DOI
| WoS
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
2018 |Published| Journal Article | IST-REx-ID: 77 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
H. Watzinger, J. Kukucka, L. Vukušić, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
2018 |Published| Journal Article | IST-REx-ID: 410 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 299 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
2018 |Published| Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View
| DOI
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 |Published| Conference Paper | IST-REx-ID: 5791 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
2018 |Published| Journal Article | IST-REx-ID: 58 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
2018 |Published| Journal Article | IST-REx-ID: 407
Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
View
| DOI
| WoS
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husičková, L. Spíchal, Z. Pěkná, O. Šamajová, K. Doležal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
2018 |Published| Journal Article | IST-REx-ID: 425 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Embeddability in the 3-Sphere is decidable
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
2018 |Published| Journal Article | IST-REx-ID: 62 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Flexible learning-free segmentation and reconstruction of neural volumes
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
A. Shabazi, J. Kinnison, R. Vescovi, M. Du, R. Hill, M.A. Jösch, M. Takeno, H. Zeng, N. Da Costa, J. Grutzendler, N. Kasthuri, W. Scheirer, Scientific Reports 8 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 397
Harnessing epoch-based reclamation for efficient range queries
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
View
| DOI
| WoS
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
2018 |Published| Journal Article | IST-REx-ID: 5672 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
IgM's exit route
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
[Published Version]
View
| Files available
| DOI
| WoS
A. Reversat, M.K. Sixt, Journal of Experimental Medicine 215 (2018) 2959–2961.
2018 |Published| Journal Article | IST-REx-ID: 398
Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
View
| DOI
| WoS
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
2018 | Conference Paper | IST-REx-ID: 5788 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Infinite-duration poorman-bidding games
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, R. Ibsen-Jensen, in:, Springer, 2018, pp. 21–36.
2018 |Published| Conference Paper | IST-REx-ID: 160 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.