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.

6985 Publications


2017 |Published| Journal Article | IST-REx-ID: 10418 | OA
Mciver A, Morgan C, Kaminski BL, Katoen JP. 2017. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL), 33.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 |Published| Book Chapter | IST-REx-ID: 1075 | OA
Wenzl B. 2017.An American in Allied-occupied Austria: John Dos Passos Reports on "The Vienna Frontier" In: Austria and America: 20th-Century Cross-Cultural Encounters. American Studies in Austria, vol. 15, 73–80.
View | Files available
 

2017 |Published| Conference Paper | IST-REx-ID: 1112
Paixao T, Pérez Heredia J. 2017. An application of stochastic differential equations to evolutionary algorithms. Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. FOGA: Foundations of Genetic Algorithms, 3–11.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 1175 | OA
Alwen JF, De Rezende S, Nordstrom J, Vinyals M. 2017. Cumulative space in black-white pebbling and resolution. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 67, 38:1-38-21.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 1191 | OA
Kollár R, Novak S. 2017. Existence of traveling waves for the generalized F–KPP equation. Bulletin of Mathematical Biology. 79(3), 525–559.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 1211 | OA
Budanur NB, Cvitanović P. 2017. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. 167(3–4), 636–655.
[Submitted Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 123 | OA
Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. 2017. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature Physics. 13(11), 1095–1099.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 1113 | OA
Fulek R, Pelsmajer M, Schaefer M. 2017. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 21(1), 135–154.
[Published Version] View | Files available | DOI | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 169 | OA
Browning TD, Kumaraswamy V, Steiner R. 2017. Twisted Linnik implies optimal covering exponent for S3. International Mathematics Research Notices.
View | DOI | Download None (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 172 | OA
Browning TD, Schindler D. 2017. Strong approximation and a conjecture of Harpaz and Wittenberg. International Mathematics Research Notices.
View | DOI | Download None (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 391
Xu Y, Chiu J, Miao L, He H, Alpichshev Z, Kapitulnik A, Biswas R, Wray L. 2017. Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. 8.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 393 | OA
Alpichshev Z, Sie E, Mahmood F, Cao G, Gedik N. 2017. Origin of the exciton mass in the frustrated Mott insulator Na2IrO3. Physical Review B. 96(23).
View | DOI | Download None (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 392 | OA
Vishik I, Mahmood F, Alpichshev Z, Gedik N, Higgins J, Greene R. 2017. Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate La2 xCexCuO4±δ. Physical Review B. 95(11).
View | DOI | Download None (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 443 | OA
Hardie R, Van Dam E, Cowley M, Han T, Balaban S, Pajic M, Pinese M, Iconomou M, Shearer R, Mckenna J, Miller D, Waddell N, Pearson J, Grimmond S, Sazanov LA, Biankin A, Villas Boas S, Hoy A, Turner N, Saunders D. 2017. Mitochondrial mutations and metabolic adaptation in pancreatic cancer. Cancer & Metabolism. 5(2).
[Published Version] View | Files available | DOI
 

2017 |Published| Book Chapter | IST-REx-ID: 444
Sazanov LA. 2017.Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions. In: Mechanisms of primary energy transduction in biology . , 25–59.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 445 | OA
Serbyn M, Abanin D. 2017. Loschmidt echo in many body localized phases. Physical Review B - Condensed Matter and Materials Physics. 96(1).
View | DOI | Download (ext.)
 

2017 |Published| Journal Article | IST-REx-ID: 452
Bächer M, Bickel B, Whiting E, Sorkine Hornung O. 2017. Spin it: Optimizing moment of inertia for spinnable objects. Communications of the ACM. 60(8), 92–99.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 453 | OA
Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. 2017. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 113(9), 2055–2067.
[Published Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 464 | OA
Chatterjee K, Henzinger MH, Loitzenbauer V. 2017. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 13(3), 26.
[Published Version] View | Files available | DOI | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 470 | OA
Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

supervisor%3D38DB5788-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications