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.

12143 Publications


2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–82, doi:10.4230/LIPIcs.CSL.2012.167.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 498 | OA
Pickup, Melinda, et al. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications, vol. 5, no. 8, Wiley-Blackwell, 2012, pp. 913–24, doi:10.1111/j.1752-4571.2012.00284.x.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.
[Published Version] View | Files available | DOI
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012, doi:10.15479/AT:IST-2012-0001.
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5396 | OA
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
[Published Version] View | Files available | DOI
 

2012 | Published | Report | IST-REx-ID: 5398 | OA
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
[Published Version] View | Files available
 

2012 | Published | Conference Paper | IST-REx-ID: 5745 | OA
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” 10th International Symposium on Automated Technology for Verification and Analysis, vol. 7561, Springer Nature, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 5839 | OA
Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology, vol. 4, Elsevier, 2012, pp. 820–24, doi:10.1016/j.protcy.2012.05.134.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 596 | OA
Bernecky, Carrie, and Dylan 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, 2012, pp. 387–94, doi:10.1016/j.jmb.2012.02.014.
View | DOI | Download None (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 6136 | OA
Busch, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.” Nature Neuroscience, vol. 15, no. 4, Springer Nature, 2012, pp. 581–91, doi:10.1038/nn.3061.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 1987
Schweizer, Jakob, et al. “Geometry Sensing by Self-Organized Protein Patterns.” PNAS, vol. 109, no. 38, National Academy of Sciences, 2012, pp. 15283–88, doi:10.1073/pnas.1206953109.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2073
Zhou, Qi, 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, doi:10.1186/1471-2164-13-109.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2079
Hildebrand, Kristian, et al. “Crdbrd: Shape Fabrication by Sliding Planar Slices.” Computer Graphics Forum, vol. 31, no. 2pt3, Wiley-Blackwell, 2012, pp. 583–92, doi:10.1111/j.1467-8659.2012.03037.x.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 10387 | OA
Šarić, Anđela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.” Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 10388 | OA
Šarić, Anđela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.” Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 1055
Erne, Barbara, et al. “Bulla in the Lung.” The Lancet, vol. 380, no. 9849, Elsevier, 2012, doi:10.1016/S0140-6736(12)60690-4.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 1056 | OA
Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.” Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10750 | OA
Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol. 57, no. 1, X21.00008, American Physical Society, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 762
Alistarh, Dan-Adrian, et al. On the Cost of Composing Shared-Memory Algorithms. ACM, 2012, pp. 298–307, doi:10.1145/2312005.2312057.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 763
Alistarh, Dan-Adrian, et al. Early Deciding Synchronous Renaming in O(Log f) Rounds or Less. Vol. 7355 LNCS, Springer, 2012, pp. 195–206, doi:10.1007/978-3-642-31104-8_17.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed