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.
452 Publications
2014 | Published | Conference Paper | IST-REx-ID: 10884 | 
Parameterized model checking of token-passing systems
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
2014 | Published | Conference Paper | IST-REx-ID: 10885
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| arXiv
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
2014 | Published | Conference Paper | IST-REx-ID: 10886
Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
View
| DOI
V. Zobel, J. Reininghaus, I. Hotz, in:, Topological Methods in Data Analysis and Visualization III , Springer, 2014, pp. 249–262.
2014 | Published | Conference Paper | IST-REx-ID: 10892
Planar matchings for weighted straight skeletons
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.
View
| Files available
| DOI
T. Biedl, S. Huber, P. Palfrader, in:, 25th International Symposium, ISAAC 2014, Springer Nature, 2014, pp. 117–127.
2014 | Published | Book Chapter | IST-REx-ID: 10893
Toward the extraction of saddle periodic orbits
J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.
View
| DOI
J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.
2014 | Published | Conference Paper | IST-REx-ID: 10894
PHAT – Persistent Homology Algorithms Toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
View
| Files available
| DOI
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, in:, ICMS 2014: International Congress on Mathematical Software, Springer Berlin Heidelberg, Berlin, Heidelberg, 2014, pp. 137–143.
2014 | Published | Journal Article | IST-REx-ID: 11080 |
Nuclear pores set the speed limit for mitosis
A. Buchwalter, M. Hetzer, Cell 156 (2014) 868–869.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Buchwalter, M. Hetzer, Cell 156 (2014) 868–869.
2014 | Published | Journal Article | IST-REx-ID: 11081 |
Breaching the nuclear envelope in development and disease
E. Hatch, M. Hetzer, Journal of Cell Biology 205 (2014) 133–141.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Hatch, M. Hetzer, Journal of Cell Biology 205 (2014) 133–141.
2014 | Published | Journal Article | IST-REx-ID: 11082 |
Nup50 is required for cell differentiation and exhibits transcription-dependent dynamics
A.L. Buchwalter, Y. Liang, M. Hetzer, Molecular Biology of the Cell 25 (2014) 2472–2484.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.L. Buchwalter, Y. Liang, M. Hetzer, Molecular Biology of the Cell 25 (2014) 2472–2484.
2014 | Published | Journal Article | IST-REx-ID: 11582 |
A relationship between specific star formation rate and metallicity gradient within z ∼ 1 galaxies from KMOS-HiZELS
J.P. Stott, D. Sobral, A.M. Swinbank, I. Smail, R. Bower, P.N. Best, R.M. Sharples, J.E. Geach, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 443 (2014) 2695–2704.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.P. Stott, D. Sobral, A.M. Swinbank, I. Smail, R. Bower, P.N. Best, R.M. Sharples, J.E. Geach, J.J. Matthee, Monthly Notices of the Royal Astronomical Society 443 (2014) 2695–2704.
2014 | Published | Journal Article | IST-REx-ID: 11583 |
A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.
2014 | Published | Journal Article | IST-REx-ID: 11750
Magnetic properties of hot-pressed FeSb2
M. Pokharel, H. Zhao, K.A. Modic, Z. Ren, C. Opeil, IEEE Transactions on Magnetics 50 (2014).
View
| DOI
M. Pokharel, H. Zhao, K.A. Modic, Z. Ren, C. Opeil, IEEE Transactions on Magnetics 50 (2014).
2014 | Published | Conference Paper | IST-REx-ID: 11789 |
Online bipartite matching with decomposable weights
M. Charikar, M. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Charikar, M. Henzinger, H.L. Nguyễn, in:, 22nd Annual European Symposium on Algorithms, Springer Nature, 2014, pp. 260–271.
2014 | Published | Conference Paper | IST-REx-ID: 11790
Limiting price discrimination when selling products with positive network externalities
L. Cigler, W. Dvořák, M. Henzinger, M. Starnberger, in:, 10th International Conference of Web and Internet Economics, Springer Nature, 2014, pp. 44–57.
View
| DOI
L. Cigler, W. Dvořák, M. Henzinger, M. Starnberger, in:, 10th International Conference of Web and Internet Economics, Springer Nature, 2014, pp. 44–57.
2014 | Published | Journal Article | IST-REx-ID: 118
Settling into dry granular media in different gravities
E. Altshuler, H. Torres, A. González_Pita, C.G. Sánchez, C. Pérez Penichet, S.R. Waitukaitis, R. Hidalgo, Geophysical Research Letters 41 (2014) 3032–3037.
View
| DOI
E. Altshuler, H. Torres, A. González_Pita, C.G. Sánchez, C. Pérez Penichet, S.R. Waitukaitis, R. Hidalgo, Geophysical Research Letters 41 (2014) 3032–3037.
2014 | Published | Conference Paper | IST-REx-ID: 11855 |
Decremental single-source shortest paths on undirected graphs in near-linear total update time
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 55th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2014, pp. 146–155.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 55th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2014, pp. 146–155.
2014 | Published | Conference Paper | IST-REx-ID: 11870 |
Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 46th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 46th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2014.
2014 | Published | Conference Paper | IST-REx-ID: 11875 |
Deterministic fully dynamic data structures for vertex cover and matching
S. Bhattacharya, M. Henzinger, G.F. Italiano, in:, 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Bhattacharya, M. Henzinger, G.F. Italiano, in:, 26th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 785–804.
2014 | Published | Conference Paper | IST-REx-ID: 11876 |
A subquadratic-time algorithm for decremental single-source shortest paths
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 25th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 1053–1072.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 25th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 1053–1072.
2014 | Published | Journal Article | IST-REx-ID: 119 |
Size-dependent same-material tribocharging in insulating grains
S.R. Waitukaitis, V. Lee, J. Pierson, S. Forman, H. Jaeger, APS Physics, Physical Review Letters 112 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
S.R. Waitukaitis, V. Lee, J. Pierson, S. Forman, H. Jaeger, APS Physics, Physical Review Letters 112 (2014).