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.

321 Publications


2012 | Journal Article | IST-REx-ID: 3248 | OA
Lampert C, Peters J. 2012. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing. 7(1), 31–41.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3134
Edelsbrunner H, Fasy B, Rote G. 2012. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Proceedings of the twenty-eighth annual symposium on Computational geometry . SCG: Symposium on Computational Geometry, 91–100.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
View | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.
View | DOI
 

2012 | Book Chapter | IST-REx-ID: 10896
zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 11089
Gomez-Cavazos JS, Hetzer M. 2012. Outfits for different occasions: tissue-specific roles of Nuclear Envelope proteins. Current Opinion in Cell Biology. 24(6), 775–783.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11091
Vargas JD, Hatch EM, Anderson DJ, Hetzer M. 2012. Transient nuclear envelope rupturing during interphase in human cancer cells. Nucleus. 3(1), 88–100.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11093 | OA
D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11092
Savas JN, Toyama BH, Xu T, Yates JR, Hetzer M. 2012. Extremely long-lived nuclear pore proteins in the rat brain. Science. 335(6071), 942–942.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11090 | OA
Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 10905
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on AlgorithmsLNCS vol. 7501, 301–312.
View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 11751
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.
View | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee K, Henzinger MH. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1386–1399.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 10904
Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
View | Files available | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad M, Vyleta M, Theis F, Stock M, Tragust S, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. 10(4), e1001300.
View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad, 10.5061/dryad.sv37s.
View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad, 10.5061/dryad.61649.
View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad, 10.5061/dryad.274b1.
View | Files available | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12, 116.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 11964
Pieber B, Cantillo D, Kappe CO. 2012. Direct arylation of benzene with aryl bromides using high‐temperature/high‐pressure process windows: Expanding the scope of C-H activation chemistry. Chemistry – A European Journal. 18(16), 5047–5055.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11963
Kumar GS, Pieber B, Reddy KR, Kappe CO. 2012. Copper-catalyzed formation of C-O bonds by direct α-C-H bond activation of ethers using stoichiometric amounts of peroxide in batch and continuous-flow formats. Chemistry - A European Journal. 18(20), 6124–6128.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2012

Search

Filter Publications