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.
5757 Publications
2015 | Journal Article | IST-REx-ID: 12628 |
Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999
F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W.W. Immerzeel, T. Bolch, Journal of Glaciology 61 (2015) 373–386.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, C. Stephan, E. Miles, S. Herreid, W.W. Immerzeel, T. Bolch, Journal of Glaciology 61 (2015) 373–386.
2015 | Journal Article | IST-REx-ID: 12629 |
A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya
J.M. Shea, P. Wagnon, W.W. Immerzeel, R. Biron, F. Brun, F. Pellicciotti, International Journal of Water Resources Development 31 (2015) 174–200.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.M. Shea, P. Wagnon, W.W. Immerzeel, R. Biron, F. Brun, F. Pellicciotti, International Journal of Water Resources Development 31 (2015) 174–200.
2015 | Journal Article | IST-REx-ID: 12626 |
Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya
J.F. Steiner, F. Pellicciotti, P. Buri, E.S. Miles, W.W. Immerzeel, T.D. Reid, Journal of Glaciology 61 (2015) 889–907.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.F. Steiner, F. Pellicciotti, P. Buri, E.S. Miles, W.W. Immerzeel, T.D. Reid, Journal of Glaciology 61 (2015) 889–907.
2015 | Journal Article | IST-REx-ID: 12627 |
Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014
S. Herreid, F. Pellicciotti, A. Ayala, A. Chesnokova, C. Kienholz, J. Shea, A. Shrestha, Journal of Glaciology 61 (2015) 524–536.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Herreid, F. Pellicciotti, A. Ayala, A. Chesnokova, C. Kienholz, J. Shea, A. Shrestha, Journal of Glaciology 61 (2015) 524–536.
2015 | Journal Article | IST-REx-ID: 1618 |
Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
2015 | Conference Paper | IST-REx-ID: 12881 |
Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
[Published Version]
View
| Files available
| DOI
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
2015 | Journal Article | IST-REx-ID: 13395 |
Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2
J.-W. Lee, R. Klajn, Chemical Communications 51 (2015) 2036–2039.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.-W. Lee, R. Klajn, Chemical Communications 51 (2015) 2036–2039.
2015 | Journal Article | IST-REx-ID: 13397 |
Magnetic field-induced self-assembly of iron oxide nanocubes
G. Singh, H. Chan, T. Udayabhaskararao, E. Gelman, D. Peddis, A. Baskin, G. Leitus, P. Král, R. Klajn, Faraday Discussions 181 (2015) 403–421.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
G. Singh, H. Chan, T. Udayabhaskararao, E. Gelman, D. Peddis, A. Baskin, G. Leitus, P. Král, R. Klajn, Faraday Discussions 181 (2015) 403–421.
2015 | Journal Article | IST-REx-ID: 14017 |
Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation
S.B. Zhang, D.R. Baykusheva, P.M. Kraus, H.J. Wörner, N. Rohringer, Physical Review A 91 (2015).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.B. Zhang, D.R. Baykusheva, P.M. Kraus, H.J. Wörner, N. Rohringer, Physical Review A 91 (2015).
2015 | Journal Article | IST-REx-ID: 14016 |
Observation of laser-induced electronic structure in oriented polyatomic molecules
P.M. Kraus, O.I. Tolstikhin, D.R. Baykusheva, A. Rupenyan, J. Schneider, C.Z. Bisgaard, T. Morishita, F. Jensen, L.B. Madsen, H.J. Wörner, Nature Communications 6 (2015).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.M. Kraus, O.I. Tolstikhin, D.R. Baykusheva, A. Rupenyan, J. Schneider, C.Z. Bisgaard, T. Morishita, F. Jensen, L.B. Madsen, H.J. Wörner, Nature Communications 6 (2015).
2015 | Journal Article | IST-REx-ID: 14015 |
Attosecond charge migration and its laser control
P.M. Kraus, B. Mignolet, D.R. Baykusheva, A. Rupenyan, L. Horný, E.F. Penka, O.I. Tolstikhin, J. Schneider, F. Jensen, L.B. Madsen, A.D. Bandrauk, F. Remacle, H.J. Wörner, Journal of Physics: Conference Series 635 (2015).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P.M. Kraus, B. Mignolet, D.R. Baykusheva, A. Rupenyan, L. Horný, E.F. Penka, O.I. Tolstikhin, J. Schneider, F. Jensen, L.B. Madsen, A.D. Bandrauk, F. Remacle, H.J. Wörner, Journal of Physics: Conference Series 635 (2015).
2015 | Journal Article | IST-REx-ID: 14014 |
Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography
S.G. Walt, N.B. Ram, A. von Conta, D.R. Baykusheva, M. Atala, H.J. Wörner, Journal of Physics: Conference Series 635 (2015).
[Published Version]
View
| DOI
| Download Published Version (ext.)
S.G. Walt, N.B. Ram, A. von Conta, D.R. Baykusheva, M. Atala, H.J. Wörner, Journal of Physics: Conference Series 635 (2015).
2015 | Research Data Reference | IST-REx-ID: 9719 |
Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).
2015 | Thesis | IST-REx-ID: 1401 |
Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, Institute of Science and Technology Austria, 2015.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, Institute of Science and Technology Austria, 2015.
2015 | Journal Article | IST-REx-ID: 1709 |
Biological auctions with multiple rewards
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
2015 | Journal Article | IST-REx-ID: 1666 |
Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
[Published Version]
View
| Files available
| DOI
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, PLoS Genetics 11 (2015).
2015 | Conference Paper | IST-REx-ID: 1502 |
Complete composition operators for IOCO-testing theory
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
2015 | Journal Article | IST-REx-ID: 1501 |
CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
2015 | Journal Article | IST-REx-ID: 1602 |
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
2015 | Conference Paper | IST-REx-ID: 1607 |
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
2015 | Conference Paper | IST-REx-ID: 1633 |
High-resolution brittle fracture simulation with boundary elements
D. Hahn, C. Wojtan, in:, ACM, 2015.
[Submitted Version]
View
| Files available
| DOI
D. Hahn, C. Wojtan, in:, ACM, 2015.
2015 | Journal Article | IST-REx-ID: 1537 |
Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
[Published Version]
View
| Files available
| DOI
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
2015 | Journal Article | IST-REx-ID: 1591 |
PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
2015 | Journal Article | IST-REx-ID: 1677 |
The local semicircle law for random matrices with a fourfold symmetry
J. Alt, Journal of Mathematical Physics 56 (2015).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
J. Alt, Journal of Mathematical Physics 56 (2015).
2015 | Journal Article | IST-REx-ID: 1678 |
Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.
[Submitted Version]
View
| Files available
| DOI
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.
2015 | Journal Article | IST-REx-ID: 1576 |
Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkačik, Physical Review Letters 115 (2015).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
S.A. Cepeda Humerez, G. Rieckh, G. Tkačik, Physical Review Letters 115 (2015).
2015 | Preprint | IST-REx-ID: 8183 |
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
2015 | Technical Report | IST-REx-ID: 5441 |
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
2015 | Technical Report | IST-REx-ID: 5442 |
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
[Published Version]
View
| Files available
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
2015 | Conference Paper | IST-REx-ID: 1689 |
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
2015 | Conference Paper | IST-REx-ID: 1835 |
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
2015 | Journal Article | IST-REx-ID: 1509 |
Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).
[Published Version]
View
| Files available
| DOI
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).
2015 | Journal Article | IST-REx-ID: 1681 |
Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
[Published Version]
View
| Files available
| DOI
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
2015 | Journal Article | IST-REx-ID: 1655 |
Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
[Published Version]
View
| Files available
| DOI
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
2015 | Journal Article | IST-REx-ID: 1834 |
Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
[Published Version]
View
| Files available
| DOI
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
2015 | Journal Article | IST-REx-ID: 1635 |
Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
2015 | Journal Article | IST-REx-ID: 14303 |
Efficient production of single-stranded phage DNA as scaffolds for DNA origami
B. Kick, F.M. Praetorius, H. Dietz, D. Weuster-Botz, Nano Letters 15 (2015) 4672–4676.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B. Kick, F.M. Praetorius, H. Dietz, D. Weuster-Botz, Nano Letters 15 (2015) 4672–4676.
2015 | Conference Paper | IST-REx-ID: 1603 |
Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
2015 | Research Data | IST-REx-ID: 5549 |
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).
[Published Version]
View
| Files available
| DOI
A. Fellner, (2015).
2015 | Conference Paper | IST-REx-ID: 1512 |
Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.
[Submitted Version]
View
| Files available
| DOI
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.
2015 | Journal Article | IST-REx-ID: 271 |
Improvements in Birch's theorem on forms in many variables
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (n.d.) 203–234.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
T.D. Browning, S. Prendiville, Journal Fur Die Reine Und Angewandte Mathematik 2017 (n.d.) 203–234.
2015 | Conference Paper | IST-REx-ID: 1675 |
Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
2015 | Journal Article | IST-REx-ID: 15160 |
Cancer/Testis antigen PASD1 silences the circadian clock
A.K. Michael, S.L. Harvey, P.J. Sammons, A.P. Anderson, H.M. Kopalle, A.H. Banham, C.L. Partch, Molecular Cell 58 (2015) 743–754.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.K. Michael, S.L. Harvey, P.J. Sammons, A.P. Anderson, H.M. Kopalle, A.H. Banham, C.L. Partch, Molecular Cell 58 (2015) 743–754.
2015 | Journal Article | IST-REx-ID: 1619 |
Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
[Published Version]
View
| Files available
| DOI
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
2014 | Journal Article | IST-REx-ID: 10382 |
Crucial role of nonspecific interactions in amyloid nucleation
A. Šarić, Y.C. Chebaro, T.P.J. Knowles, D. Frenkel, Proceedings of the National Academy of Sciences 111 (2014) 17869–17874.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
A. Šarić, Y.C. Chebaro, T.P.J. Knowles, D. Frenkel, Proceedings of the National Academy of Sciences 111 (2014) 17869–17874.
2014 | Journal Article | IST-REx-ID: 10383 |
Anomalous thermomechanical properties of a self-propelled colloidal fluid
S.A. Mallory, A. Šarić, C. Valeriani, A. Cacciuto, Physical Review E 89 (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
S.A. Mallory, A. Šarić, C. Valeriani, A. Cacciuto, Physical Review E 89 (2014).
2014 | Journal Article | IST-REx-ID: 10815 |
Molecular and cellular mechanisms of development underlying congenital diseases
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
2014 | 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 | 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 | 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.