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.
600 Publications
2017 | Thesis | IST-REx-ID: 10663 |
Magnetic force microscopy studies of mesoscopic superconducting structures
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, Magnetic Force Microscopy Studies of Mesoscopic Superconducting Structures, University of Illinois at Urbana-Champaign, 2017.
2017 | Conference Paper | IST-REx-ID: 10745 |
Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures
H. Polshyn, T. Naibert, R. Budakian, in:, APS March Meeting 2017, American Physical Society, 2017.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, T. Naibert, R. Budakian, in:, APS March Meeting 2017, American Physical Society, 2017.
2017 | Book Chapter | IST-REx-ID: 1075 |
An American in Allied-occupied Austria: John Dos Passos Reports on "The Vienna Frontier"
B. Wenzl, in:, J. Parker, R. Poole (Eds.), Austria and America: 20th-Century Cross-Cultural Encounters, LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
View
| Files available
B. Wenzl, in:, J. Parker, R. Poole (Eds.), Austria and America: 20th-Century Cross-Cultural Encounters, LIT Verlag Berlin-Münster-Wien-Zürich-London, 2017, pp. 73–80.
2017 | Journal Article | IST-REx-ID: 11066 |
Nup98 recruits the Wdr82–Set1A/COMPASS complex to promoters to regulate H3K4 trimethylation in hematopoietic progenitor cells
T.M. Franks, A. McCloskey, M.N. Shokhirev, C. Benner, A. Rathore, M. Hetzer, Genes & Development 31 (2017) 2222–2234.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.M. Franks, A. McCloskey, M.N. Shokhirev, C. Benner, A. Rathore, M. Hetzer, Genes & Development 31 (2017) 2222–2234.
2017 | Journal Article | IST-REx-ID: 11067 |
Nup153 interacts with Sox2 to enable bimodal gene regulation and maintenance of neural progenitor cells
T. Toda, J.Y. Hsu, S.B. Linker, L. Hu, S.T. Schafer, J. Mertens, F.V. Jacinto, M. Hetzer, F.H. Gage, Cell Stem Cell 21 (2017) 618–634.e7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Toda, J.Y. Hsu, S.B. Linker, L. Hu, S.T. Schafer, J. Mertens, F.V. Jacinto, M. Hetzer, F.H. Gage, Cell Stem Cell 21 (2017) 618–634.e7.
2017 | Journal Article | IST-REx-ID: 11065 |
Nucleolar expansion and elevated protein translation in premature aging
A. Buchwalter, M. Hetzer, Nature Communications 8 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Buchwalter, M. Hetzer, Nature Communications 8 (2017).
2017 | Conference Paper | IST-REx-ID: 1112
An application of stochastic differential equations to evolutionary algorithms
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
View
| DOI
T. Paixao, J. Pérez Heredia, in:, Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11.
2017 | Journal Article | IST-REx-ID: 11518 |
ALMA reveals metals yet no dust within multiple components in CR7
J.J. Matthee, D. Sobral, F. Boone, H. Röttgering, D. Schaerer, M. Girard, A. Pallottini, L. Vallini, A. Ferrara, B. Darvish, B. Mobasher, The Astrophysical Journal 851 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, F. Boone, H. Röttgering, D. Schaerer, M. Girard, A. Pallottini, L. Vallini, A. Ferrara, B. Darvish, B. Mobasher, The Astrophysical Journal 851 (2017).
2017 | Journal Article | IST-REx-ID: 11562 |
The CALYMHA survey: Lyα luminosity function and global escape fraction of Lyα photons at z = 2.23
D. Sobral, J.J. Matthee, P. Best, A. Stroe, H. Röttgering, I. Oteo, I. Smail, L. Morabito, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 466 (2017) 1242–1258.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, J.J. Matthee, P. Best, A. Stroe, H. Röttgering, I. Oteo, I. Smail, L. Morabito, A. Paulino-Afonso, Monthly Notices of the Royal Astronomical Society 466 (2017) 1242–1258.
2017 | Journal Article | IST-REx-ID: 11566 |
A 1.4 deg2 blind survey for C II], C III] and C IV at z ∼ 0.7–1.5 – I. Nature, morphologies and equivalent widths
A. Stroe, D. Sobral, J.J. Matthee, J. Calhau, I. Oteo, Monthly Notices of the Royal Astronomical Society 471 (2017) 2558–2574.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Stroe, D. Sobral, J.J. Matthee, J. Calhau, I. Oteo, Monthly Notices of the Royal Astronomical Society 471 (2017) 2558–2574.
2017 | Journal Article | IST-REx-ID: 11564 |
The production and escape of Lyman-Continuum radiation from star-forming galaxies at z ∼ 2 and their redshift evolution
J.J. Matthee, D. Sobral, P. Best, A.A. Khostovan, I. Oteo, R. Bouwens, H. Röttgering, Monthly Notices of the Royal Astronomical Society 465 (2017) 3637–3655.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, P. Best, A.A. Khostovan, I. Oteo, R. Bouwens, H. Röttgering, Monthly Notices of the Royal Astronomical Society 465 (2017) 3637–3655.
2017 | Journal Article | IST-REx-ID: 11567 |
A 1.4 deg2 blind survey for C II], C III] and C IV at z ∼ 0.7–1.5 – II. Luminosity functions and cosmic average line ratios
A. Stroe, D. Sobral, J.J. Matthee, J. Calhau, I. Oteo, Monthly Notices of the Royal Astronomical Society 471 (2017) 2575–2586.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Stroe, D. Sobral, J.J. Matthee, J. Calhau, I. Oteo, Monthly Notices of the Royal Astronomical Society 471 (2017) 2575–2586.
2017 | Journal Article | IST-REx-ID: 11565 |
The origin of scatter in the stellar mass–halo mass relation of central galaxies in the EAGLE simulation
J.J. Matthee, J. Schaye, R.A. Crain, M. Schaller, R. Bower, T. Theuns, Monthly Notices of the Royal Astronomical Society 465 (2017) 2381–2396.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, J. Schaye, R.A. Crain, M. Schaller, R. Bower, T. Theuns, Monthly Notices of the Royal Astronomical Society 465 (2017) 2381–2396.
2017 | Journal Article | IST-REx-ID: 11561 |
Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7
J.J. Matthee, D. Sobral, P. Best, I. Smail, F. Bian, B. Darvish, H. Röttgering, X. Fan, Monthly Notices of the Royal Astronomical Society 471 (2017) 629–649.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, P. Best, I. Smail, F. Bian, B. Darvish, H. Röttgering, X. Fan, Monthly Notices of the Royal Astronomical Society 471 (2017) 629–649.
2017 | Journal Article | IST-REx-ID: 11572 |
Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
2017 | Journal Article | IST-REx-ID: 11573 |
The KMOS Deep Survey (KDS) – I. Dynamical measurements of typical star-forming galaxies at z ≃ 3.5
O.J. Turner, M. Cirasuolo, C.M. Harrison, R.J. McLure, J.S. Dunlop, A.M. Swinbank, H.L. Johnson, D. Sobral, J.J. Matthee, R.M. Sharples, Monthly Notices of the Royal Astronomical Society 471 (2017) 1280–1320.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O.J. Turner, M. Cirasuolo, C.M. Harrison, R.J. McLure, J.S. Dunlop, A.M. Swinbank, H.L. Johnson, D. Sobral, J.J. Matthee, R.M. Sharples, Monthly Notices of the Royal Astronomical Society 471 (2017) 1280–1320.
2017 | Preprint | IST-REx-ID: 11633 |
FliPer: Checking the reliability of global seismic parameters from automatic pipelines
L.A. Bugnet, R.A. Garcia, G.R. Davies, S. Mathur, E. Corsaro, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L.A. Bugnet, R.A. Garcia, G.R. Davies, S. Mathur, E. Corsaro, ArXiv (n.d.).
2017 | Conference Paper | IST-REx-ID: 11651 |
Capacity releasing diffusion for speed and locality
D. Wang, K. Fountoulakis, M.H. Henzinger, M.W. Mahoney, Satish Rao , in:, Proceedings of the 34th International Conference on Machine Learning, ML Research Press, 2017, pp. 3598–3607.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
D. Wang, K. Fountoulakis, M.H. Henzinger, M.W. Mahoney, Satish Rao , in:, Proceedings of the 34th International Conference on Machine Learning, ML Research Press, 2017, pp. 3598–3607.
2017 | Journal Article | IST-REx-ID: 11665 |
Sublinear-time maintenance of breadth-first spanning trees in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, ACM Transactions on Algorithms 13 (2017).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, ACM Transactions on Algorithms 13 (2017).
2017 | Journal Article | IST-REx-ID: 11676 |
Maximizing a submodular function with viability constraints
W. Dvořák, M.H. Henzinger, D.P. Williamson, Algorithmica 77 (2017) 152–172.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
W. Dvořák, M.H. Henzinger, D.P. Williamson, Algorithmica 77 (2017) 152–172.
2017 | Conference Paper | IST-REx-ID: 1175 |
Cumulative space in black-white pebbling and resolution
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
[Published Version]
View
| Files available
| DOI
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
2017 | Conference Paper | IST-REx-ID: 11772
The state of the art in dynamic graph algorithms
M.H. Henzinger, in:, 44th International Conference on Current Trends in Theory and Practice of Computer Science, Springer Nature, 2017, pp. 40–44.
View
| DOI
M.H. Henzinger, in:, 44th International Conference on Current Trends in Theory and Practice of Computer Science, Springer Nature, 2017, pp. 40–44.
2017 | Conference Paper | IST-REx-ID: 11829 |
Conditional hardness for sensitivity problems
M.H. Henzinger, A. Lincoln, S. Neumann, V. Vassilevska Williams, in:, 8th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.H. Henzinger, A. Lincoln, S. Neumann, V. Vassilevska Williams, in:, 8th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 11833 |
The power of vertex sparsifiers in dynamic graph algorithms
G. Goranci, M.H. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Goranci, M.H. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 11832 |
Dynamic clustering to minimize the sum of radii
M.H. Henzinger, D. Leniowski, C. Mathieu, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.H. Henzinger, D. Leniowski, C. Mathieu, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Conference Paper | IST-REx-ID: 11874 |
Fully dynamic approximate maximum matching and minimum vertex cover in o(log3 n) worst case update time
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, in:, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2017, pp. 470–489.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, in:, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2017, pp. 470–489.
2017 | Conference Paper | IST-REx-ID: 11873 |
Local flow partitioning for faster edge connectivity
M.H. Henzinger, S. Rao, D. Wang, in:, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2017, pp. 1919–1938.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Rao, D. Wang, in:, 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2017, pp. 1919–1938.
2017 | Conference Paper | IST-REx-ID: 11831 |
Improved guarantees for vertex sparsification in planar graphs
G. Goranci, M.H. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
G. Goranci, M.H. Henzinger, P. Peng, in:, 25th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 | Journal Article | IST-REx-ID: 11903 |
Welfare maximization with friends-of-friends network externalities
S. Bhattacharya, W. Dvořák, M.H. Henzinger, M. Starnberger, Theory of Computing Systems 61 (2017) 948–986.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Bhattacharya, W. Dvořák, M.H. Henzinger, M. Starnberger, Theory of Computing Systems 61 (2017) 948–986.
2017 | Journal Article | IST-REx-ID: 1191 |
Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
[Preprint]
View
| DOI
| Download Preprint (ext.)
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
2017 | Journal Article | IST-REx-ID: 11961
The Hitchhiker’s Guide to flow chemistry
M.B. Plutschack, B. Pieber, K. Gilmore, P.H. Seeberger, Chemical Reviews 117 (2017) 11796–11893.
View
| DOI
| PubMed | Europe PMC
M.B. Plutschack, B. Pieber, K. Gilmore, P.H. Seeberger, Chemical Reviews 117 (2017) 11796–11893.
2017 | Journal Article | IST-REx-ID: 11976 |
Integrated flow processing - challenges in continuous multistep synthesis
B. Pieber, K. Gilmore, P.H. Seeberger, Journal of Flow Chemistry 7 (2017) 129–136.
[Published Version]
View
| DOI
| Download Published Version (ext.)
B. Pieber, K. Gilmore, P.H. Seeberger, Journal of Flow Chemistry 7 (2017) 129–136.
2017 | Journal Article | IST-REx-ID: 1211 |
Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
[Submitted Version]
View
| Files available
| DOI
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.
2017 | Journal Article | IST-REx-ID: 123 |
Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing
S.R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, M. Van Hecke, Nature Physics 13 (2017) 1095–1099.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, A. Zuiderwijk, A. Souslov, C. Coulais, M. Van Hecke, Nature Physics 13 (2017) 1095–1099.
2017 | Conference Paper | IST-REx-ID: 12571 |
Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, in:, 19th International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2017, pp. 86–98.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, D. Chakrabarty, M.H. Henzinger, in:, 19th International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2017, pp. 86–98.
2017 | Journal Article | IST-REx-ID: 1113 |
Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.
2017 | Journal Article | IST-REx-ID: 169 |
Twisted Linnik implies optimal covering exponent for S3
T.D. Browning, V. Kumaraswamy, R. Steiner, International Mathematics Research Notices (2017).
View
| DOI
| Download None (ext.)
| arXiv
T.D. Browning, V. Kumaraswamy, R. Steiner, International Mathematics Research Notices (2017).
2017 | Journal Article | IST-REx-ID: 172 |
Strong approximation and a conjecture of Harpaz and Wittenberg
T.D. Browning, D. Schindler, International Mathematics Research Notices (2017).
View
| DOI
| Download None (ext.)
| arXiv
T.D. Browning, D. Schindler, International Mathematics Research Notices (2017).
2017 | Journal Article | IST-REx-ID: 391
Disorder enabled band structure engineering of a topological insulator surface
Y. Xu, J. Chiu, L. Miao, H. He, Z. Alpichshev, A. Kapitulnik, R. Biswas, L. Wray, Nature Communications 8 (2017).
View
| DOI
Y. Xu, J. Chiu, L. Miao, H. He, Z. Alpichshev, A. Kapitulnik, R. Biswas, L. Wray, Nature Communications 8 (2017).
2017 | Journal Article | IST-REx-ID: 393 |
Origin of the exciton mass in the frustrated Mott insulator Na2IrO3
Z. Alpichshev, E. Sie, F. Mahmood, G. Cao, N. Gedik, Physical Review B 96 (2017).
View
| DOI
| Download None (ext.)
Z. Alpichshev, E. Sie, F. Mahmood, G. Cao, N. Gedik, Physical Review B 96 (2017).
2017 | Journal Article | IST-REx-ID: 392 |
Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate La2 xCexCuO4±δ
I. Vishik, F. Mahmood, Z. Alpichshev, N. Gedik, J. Higgins, R. Greene, Physical Review B 95 (2017).
View
| DOI
| Download None (ext.)
I. Vishik, F. Mahmood, Z. Alpichshev, N. Gedik, J. Higgins, R. Greene, Physical Review B 95 (2017).
2017 | Journal Article | IST-REx-ID: 443 |
Mitochondrial mutations and metabolic adaptation in pancreatic cancer
R. Hardie, E. Van Dam, M. Cowley, T. Han, S. Balaban, M. Pajic, M. Pinese, M. Iconomou, R. Shearer, J. Mckenna, D. Miller, N. Waddell, J. Pearson, S. Grimmond, L.A. Sazanov, A. Biankin, S. Villas Boas, A. Hoy, N. Turner, D. Saunders, Cancer & Metabolism 5 (2017).
[Published Version]
View
| Files available
| DOI
R. Hardie, E. Van Dam, M. Cowley, T. Han, S. Balaban, M. Pajic, M. Pinese, M. Iconomou, R. Shearer, J. Mckenna, D. Miller, N. Waddell, J. Pearson, S. Grimmond, L.A. Sazanov, A. Biankin, S. Villas Boas, A. Hoy, N. Turner, D. Saunders, Cancer & Metabolism 5 (2017).
2017 | Book Chapter | IST-REx-ID: 444
Structure of respiratory complex I: “Minimal” bacterial and “de luxe” mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
View
| DOI
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
2017 | Journal Article | IST-REx-ID: 445 |
Loschmidt echo in many body localized phases
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
View
| DOI
| Download (ext.)
M. Serbyn, D. Abanin, Physical Review B - Condensed Matter and Materials Physics 96 (2017).
2017 | Journal Article | IST-REx-ID: 452
Spin it: Optimizing moment of inertia for spinnable objects
M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.
View
| DOI
M. Bächer, B. Bickel, E. Whiting, O. Sorkine Hornung, Communications of the ACM 60 (2017) 92–99.
2017 | Journal Article | IST-REx-ID: 453 |
Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
[Published Version]
View
| Files available
| DOI
T. Fallesen, J. Roostalu, C.F. Düllberg, G. Pruessner, T. Surrey, Biophysical Journal 113 (2017) 2055–2067.
2017 | Journal Article | IST-REx-ID: 464 |
Improved algorithms for parity and Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).
2017 | Journal Article | IST-REx-ID: 470 |
Water wave packets
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
[Published Version]
View
| Files available
| DOI
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 36 (2017).
2017 | Journal Article | IST-REx-ID: 471 |
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic (TOCL) 18 (2017).
2017 | Journal Article | IST-REx-ID: 472
Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.
View
| DOI
K. Eguchi, Z. Taoufiq, O. Thorn Seshold, D. Trauner, M. Hasegawa, T. Takahashi, European Journal of Neuroscience 37 (2017) 6043–6052.