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.
405 Publications
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
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2013 |
Published |
Thesis | PhD |
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: 1469
Hausel T, Letellier E, Rodríguez Villegas F. Arithmetic harmonic analysis on character and quiver varieties II. Advances in Mathematics. 2013;234:85-128. doi:10.1016/j.aim.2012.10.009
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1470 |
De Cataldo M, Hausel T, Migliorini L. Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces. Journal of Singularities. 2013;7:23-38. doi:10.5427/jsing.2013.7c
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 15162
Woehrmann MH, Bray WM, Durbin JK, et al. Large-scale cytological profiling for functional analysis of bioactive compounds. Molecular BioSystems. 2013;9(11). doi:10.1039/c3mb70245f
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1977
Sazanov LA, Baradaran R, Efremov R, Berrisford J, Minhas G. A long road towards the structure of respiratory complex I, a giant molecular proton pump. Biochemical Society Transactions. 2013;41(5):1265-1271. doi:10.1042/BST20130193
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 476 |
Dickerson D, Bilkey D. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 2013;7(DEC). doi:10.3389/fnbeh.2013.00217
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 499
Wakamoto Y, Dhar N, Chait RP, et al. Dynamic persistence of antibiotic-stressed mycobacteria. Science. 2013;339(6115):91-95. doi:10.1126/science.1229858
View
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 500 |
Ward M, Lycett S, Avila D, Bollback JP, Leigh Brown A. Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology. 2013;13(1). doi:10.1186/1471-2148-13-222
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 501 |
Cozzuol M, Clozato C, Holanda E, et al. A new species of tapir from the Amazon. Journal of Mammalogy. 2013;94(6):1331-1345. doi:10.1644/12-MAMM-A-169.1
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 502
Blazy O, Fuchsbauer G, Pointcheval D, Vergnaud D. Short blind signatures. Journal of Computer Security. 2013;21(5):627-661. doi:10.3233/JCS-130477
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 505
Greimel K, Perz V, Koren K, et al. Banning toxic heavy-metal catalysts from paints: Enzymatic cross-linking of alkyd resins. Green Chemistry. 2013;15(2):381-388. doi:10.1039/c2gc36666e
View
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 507 |
Kim S, Xu Z, Song K, et al. Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. 2013;25(8):2970-2985. doi:10.1105/tpc.113.114264
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 508 |
Tarazona Santos E, Machado M, Magalhães W, et al. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. 2013;30(9):2157-2167. doi:10.1093/molbev/mst119
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 509 |
Di Rubbo S, Irani N, Kim S, et al. The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell. 2013;25(8):2986-2997. doi:10.1105/tpc.113.114058
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 511 |
Pěnčík A, Simonovik B, Petersson S, et al. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 2013;25(10):3858-3870. doi:10.1105/tpc.113.114421
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 516 |
Bargmann B, Vanneste S, Krouk G, et al. A map of cell type‐specific auxin responses. Molecular Systems Biology. 2013;9(1). doi:10.1038/msb.2013.40
[Published Version]
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 522
Fuertbauer E, Zaujec J, Uhrin P, et al. Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. 2013;154(1-2):31-41. doi:10.1016/j.imlet.2013.07.007
View
| DOI
| WoS