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.
1621 Publications
2018 |Published| Conference Paper | IST-REx-ID: 185 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hanani-Tutte for approximating maps of graphs
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
[Published Version]
View
| Files available
| DOI
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
2018 |Published| Book | IST-REx-ID: 3300
Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
View
| DOI
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
2018 |Published| Book Chapter | IST-REx-ID: 37 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
[Submitted Version]
View
| Files available
| DOI
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
2018 |Published| Book Chapter | IST-REx-ID: 59
Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
View
| DOI
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
2018 |Published| Book Chapter | IST-REx-ID: 60
Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
View
| DOI
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
2018 |Published| Book Chapter | IST-REx-ID: 61 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
2018 |Published| Conference Paper | IST-REx-ID: 6164
Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, 19th International Workshop, Springer, Cham, 2018, pp. 82–96.
View
| DOI
G. Koshti, R. Biswas, G. Largeteau-Skapin, R. Zrour, E. Andres, P. Bhowmick, in:, 19th International Workshop, Springer, Cham, 2018, pp. 82–96.
2018 |Published| Journal Article | IST-REx-ID: 690 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
2018 |Published| Conference Paper | IST-REx-ID: 7407 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
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 |Published| 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 |Published| Journal Article | IST-REx-ID: 8232 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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.
[Published Version]
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 |Published| Journal Article | IST-REx-ID: 8262 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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).
[Published Version]
View
| DOI
| Download Published Version (ext.)
O. Bochkareva, E.V. Moroz, I.I. Davydov, M.S. Gelfand, BMC Genomics 19 (2018).
2018 |Published| 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 |Published| Book Chapter | IST-REx-ID: 86 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
2018 |Published| Journal Article | IST-REx-ID: 13473 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Clues about the scarcity of stripped-envelope stars from the evolutionary state of the sdO+Be binary system φ Persei
A. Schootemeijer, Y.L.L. Götberg, S.E. de Mink, D. Gies, E. Zapartas, Astronomy & Astrophysics 615 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Schootemeijer, Y.L.L. Götberg, S.E. de Mink, D. Gies, E. Zapartas, Astronomy & Astrophysics 615 (2018).
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.