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 | OA
Fulek R, Kynčl J. 2018. Hanani-Tutte for approximating maps of graphs. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 39.
[Published Version] View | Files available | DOI
 

2018 |Published| Book | IST-REx-ID: 3300
Clarke EM, Henzinger TA, Veith H, Bloem R. 2018. Handbook of Model Checking 1st ed., Cham: Springer Nature, XLVIII, 1212p.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 37 | OA
Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods in Molecular Biology, vol. 1863, 47–63.
[Submitted Version] View | Files available | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 59
Bloem R, Chatterjee K, Jobstmann B. 2018.Graph games and reactive synthesis. In: Handbook of Model Checking. , 921–962.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 60
Clarke E, Henzinger TA, Veith H. 2018.Introduction to model checking. In: Handbook of Model Checking. , 1–26.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 61 | OA
Bondarenko A, Mellit A, Prymak A, Radchenko D, Viazovska M. 2018.There is no strongly regular graph with parameters (460; 153; 32; 60). In: Contemporary Computational Mathematics. , 131–134.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 6164
Koshti G, Biswas R, Largeteau-Skapin G, Zrour R, Andres E, Bhowmick P. 2018. Sphere construction on the FCC grid interpreted as layered hexagonal grids in 3D. 19th International Workshop. IWCIA: International Workshop on Combinatorial Image Analysis, LNCS, vol. 11255, 82–96.
View | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 690 | OA
Lee J, Schnelli K. 2018. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 171(1–2), 543–616.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 7407 | OA
Pietrzak KZ. 2018. Proofs of catalytic space. 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019). ITCS: Innovations in theoretical Computer Science Conference, LIPIcs, vol. 124, 59:1-59:25.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2018 |Published| Journal Article | IST-REx-ID: 7715
Yengo L, Robinson MR, Keller MC, Kemper KE, Yang Y, Trzaskowski M, Gratten J, Turley P, Cesarini D, Benjamin DJ, Wray NR, Goddard ME, Yang J, Visscher PM. 2018. Imprint of assortative mating on the human genome. Nature Human Behaviour. 2(12), 948–954.
View | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 8232 | OA
Nagaya T, Okuyama S, Ogata F, Maruoka Y, Knapp DW, Karagiannis SN, Singer J, Choyke PL, LeBlanc AK, Jensen-Jarolim E, Kobayashi H. 2018. Near infrared photoimmunotherapy targeting bladder cancer with a canine anti-epidermal growth factor receptor (EGFR) antibody. Oncotarget. 9, 19026–19038.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 |Published| Journal Article | IST-REx-ID: 8262 | OA
Bochkareva O, Moroz EV, Davydov II, Gelfand MS. 2018. Genome rearrangements and selection in multi-chromosome bacteria Burkholderia spp. BMC Genomics. 19, 965.
[Published Version] View | DOI | Download Published Version (ext.)
 

2018 |Published| Conference Paper | IST-REx-ID: 8298
Androulaki E, Cachin C, De Caro A, Kokoris Kogias E. 2018. Channels: Horizontal scaling and confidentiality on permissioned blockchains. Computer Security. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 11098, 111–131.
View | DOI
 

2018 |Published| Book Chapter | IST-REx-ID: 86 | OA
Chatterjee K, Henzinger TA, Otop J. 2018.Computing average response time. In: Principles of Modeling. LNCS, vol. 10760, 143–161.
[Submitted Version] View | Files available | DOI
 

2018 |Published| Journal Article | IST-REx-ID: 13473 | OA
Schootemeijer A, Götberg YLL, de Mink SE, Gies D, Zapartas E. 2018. Clues about the scarcity of stripped-envelope stars from the evolutionary state of the sdO+Be binary system φ Persei. Astronomy & Astrophysics. 615, A30.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2018 |Published| Conference Paper | IST-REx-ID: 433 | OA
Fulek R, Pach J. 2018. Thrackles: An improved upper bound. GD 2017: Graph Drawing and Network Visualization, LNCS, vol. 10692, 160–166.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

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

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

2018 |Published| Conference Paper | IST-REx-ID: 184 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2018. Shellability is NP-complete. SoCG: Symposium on Computational Geometry, Leibniz International Proceedings in Information, LIPIcs, vol. 99, 41:1-41:16.
[Published Version] View | Files available | DOI
 

2018 |Published| Conference Paper | IST-REx-ID: 285 | OA
Huszár K, Spreer J, Wagner U. 2018. On the treewidth of triangulated 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 46.
[Submitted Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications