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.
399 Publications
2013 | Published | Journal Article | IST-REx-ID: 921
Basan M, Elgeti J, Hannezo EB, Rappel W, Levine H. Alignment of cellular motility forces with tissue flow as a mechanism for efficient wound healing. PNAS. 2013;110(7):2452-2459. doi:10.1073/pnas.1219937110
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 9459 | 
Zemach A, Kim MY, Hsieh P-H, et al. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. 2013;153(1):193-205. doi:10.1016/j.cell.2013.02.033
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Published | Book Chapter | IST-REx-ID: 18352
Litman R, Bronstein AM, Bronstein MM. Stable Semi-local Features for Non-rigid Shapes. In: Breuß M, Bruckstein A, Maragos P, eds. Innovations for Shape Analysis. MATHVISUAL. Berlin, Heidelberg: Springer Nature; 2013:161-189. doi:10.1007/978-3-642-34141-0_8
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 18351
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. Group-Valued Regularization for Motion Segmentation of Articulated Shapes. In: Breuß M, Bruckstein A, Maragos P, eds. Innovations for Shape Analysis. MATHVISUAL. Berlin, Heidelberg: Springer Nature; 2013:263-281. doi:10.1007/978-3-642-34141-0_12
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 13405
Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 13406
Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1376
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 1387 |
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Thesis | IST-REx-ID: 1405 |
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 1442 |
Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8
View
| DOI
| Download (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 1443 |
Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.
View
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 10895 |
Vanneste S, Friml J. Calcium: The missing link in auxin action. Plants. 2013;2(4):650-675. doi:10.3390/plants2040650
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 10897
Edelsbrunner H. Persistent homology in image processing. In: Graph-Based Representations in Pattern Recognition. Vol 7877. LNCS. Berlin, Heidelberg: Springer Nature; 2013:182-183. doi:10.1007/978-3-642-38221-5_19
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10898
Haas A, Lippautz M, Henzinger TA, et al. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. In: Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. ACM Press; 2013. doi:10.1145/2482767.2482789
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 10899
Barton NH. Differentiation. In: Encyclopedia of Biodiversity. 2nd ed. Elsevier; 2013:508-515. doi:10.1016/b978-0-12-384719-5.00031-9
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 10900
Weber M, Sixt MK. Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Cardona A, Ubogu E, eds. Chemokines. Vol 1013. MIMB. Totowa, NJ: Humana Press; 2013:215-226. doi:10.1007/978-1-62703-426-5_14
View
| DOI
| PubMed | Europe PMC
2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee K, Chaubal S, Rubin S. How to travel between languages. In: 7th International Conference on Language and Automata Theory and Applications. Vol 7810. LNCS. Berlin, Heidelberg: Springer Nature; 2013:214-225. doi:10.1007/978-3-642-37064-9_20
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 11083
Franks TM, Hetzer M. The role of Nup98 in transcription regulation in healthy and diseased cells. Trends in Cell Biology. 2013;23(3):112-117. doi:10.1016/j.tcb.2012.10.013
View
| DOI
| PubMed | Europe PMC