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.

381 Publications


2012 | Published | Book Review | IST-REx-ID: 1976
R. Efremov and L. A. Sazanov, “The coupling mechanism of respiratory complex i - A structural and evolutionary perspective,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1817, no. 10. Elsevier, pp. 1785–1795, 2012.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 492 | OA
T. Galkovskyi et al., “GiA Roots: Software for the high throughput analysis of plant root system architecture,” BMC Plant Biology, vol. 12. BioMed Central, 2012.
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6. Frontiers Research Foundation, 2012.
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 495 | OA
A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.
[Published Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 496 | OA
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Logic in Computer Science, Dubrovnik, Croatia, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 498 | OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8. Wiley-Blackwell, pp. 913–924, 2012.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5396 | OA
F. Korc, V. Kolmogorov, and C. Lampert, Approximating marginals using discrete energy minimization. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Report | IST-REx-ID: 5398 | OA
J. Porsche, Actual state of research data @ ISTAustria. IST Austria, 2012.
[Published Version] View | Files available
 

2012 | Published | Conference Paper | IST-REx-ID: 5745 | OA
A. Gupta, “Improved single pass algorithms for resolution proof reduction,” in 10th International Symposium on Automated Technology for Verification and Analysis, Thiruvananthapuram, Kerala, India, 2012, vol. 7561, pp. 107–121.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 5839 | OA
R. Biswas and J. Sil, “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets,” Procedia Technology, vol. 4. Elsevier, pp. 820–824, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 596 | OA
C. Bernecky and D. Taatjes, “Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly,” Journal of Molecular Biology, vol. 417, no. 5. Elsevier, pp. 387–394, 2012.
View | DOI | Download None (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 6136 | OA
K. E. Busch et al., “Tonic signaling from O2 sensors sets neural circuit activity and behavioral state,” Nature Neuroscience, vol. 15, no. 4. Springer Nature, pp. 581–591, 2012.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 1987
J. Schweizer, M. Loose, M. Bonny, K. Kruse, I. Mönch, and P. Schwille, “Geometry sensing by self-organized protein patterns,” PNAS, vol. 109, no. 38. National Academy of Sciences, pp. 15283–15288, 2012.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2073
Q. Zhou et al., “Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans,” BMC Genomics, vol. 13, no. 1. BioMed Central, 2012.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2079
K. Hildebrand, B. Bickel, and M. Alexa, “crdbrd: Shape fabrication by sliding planar slices,” Computer Graphics Forum, vol. 31, no. 2pt3. Wiley-Blackwell, pp. 583–592, 2012.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 10387 | OA
A. Šarić and A. Cacciuto, “Mechanism of membrane tube formation induced by adhesive nanocomponents,” Physical Review Letters, vol. 109, no. 18. American Physical Society, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 10388 | OA
A. Šarić and A. Cacciuto, “Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles,” Physical Review Letters, vol. 108, no. 11. American Physical Society, 2012.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed