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.

5785 Publications


2012 | Journal Article | IST-REx-ID: 3159 | OA
Hierarchical ordering of reticular networks
Y. Mileyko, H. Edelsbrunner, C. Price, J. Weitz, PLoS One 7 (2012).
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo
H. Schachtner, A. Li, D. Stevenson, S. Calaminus, S. Thomas, S. Watson, M.K. Sixt, R. Wedlich Söldner, D. Strathdee, L. Machesky, European Journal of Cell Biology 91 (2012) 923–929.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2012 | Journal Article | IST-REx-ID: 3262 | OA
Optimizing information flow in small genetic networks. III. A self-interacting gene
G. Tkačik, A. Walczak, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 85 (2012).
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3257 | OA
Generalized roof duality and bisubmodular functions
V. Kolmogorov, Discrete Applied Mathematics 160 (2012) 416–426.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3289 | OA
A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
A. Pereira, F. Leite, B. Brasil, J. Soares Martins, A. Torres, P. Pimenta, T. Souto Padrón, P. Tranktman, P. Ferreira, E. Kroon, C. Bonjardim, Journal of Virology 86 (2012) 172–184.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3310 | OA
A point calculus for interlevel set homology
P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012) 1436–1444.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 347 | OA
Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties
M. Ibáñez, R. Zamani, A. Lalonde, D. Cadavid, W. Li, A. Shavel, J. Arbiol, J. Morante, S. Gorsse, G.J. Snyder, A. Cabot, Journal of the American Chemical Society 134 (2012) 4060–4063.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 2972 | OA
Energy parity games
K. Chatterjee, L. Doyen, Theoretical Computer Science 458 (2012) 49–60.
[Published Version] View | Files available | DOI | arXiv
 

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

2012 | Journal Article | IST-REx-ID: 493 | OA
Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
[Published Version] View | Files available | DOI
 

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

2012 | Journal Article | IST-REx-ID: 498 | OA
Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
[Published Version] View | Files available | DOI
 

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

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

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

2012 | Conference Paper | IST-REx-ID: 2955 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3341 | OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
[Submitted Version] View | Files available
 

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

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

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

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

2012 | Journal Article | IST-REx-ID: 6136 | OA
Tonic signaling from O2 sensors sets neural circuit activity and behavioral state
K.E. Busch, P. Laurent, Z. Soltesz, R.J. Murphy, O. Faivre, B. Hedwig, M. Thomas, H.L. Smith, M. de Bono, Nature Neuroscience 15 (2012) 581–591.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 808 | OA
Actin branching in the initiation and maintenance of lamellipodia
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 9014 | OA
Dynamic clustering in active colloidal suspensions with chemical signaling
I. Theurkauff, C. Cottin-Bizonne, J.A. Palacci, C. Ybert, L. Bocquet, Physical Review Letters 108 (2012).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 9142 | OA
Detailed investigation of the self-aggregation of convection in cloud-resolving simulations
C.J. Muller, I.M. Held, Journal of the Atmospheric Sciences 69 (2012) 2551–2565.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 9451 | OA
Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9535 | OA
DNA methylation, H2A.Z, and the regulation of constitutive expression
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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

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

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

2012 | Journal Article | IST-REx-ID: 922 | OA
Mechanical instabilities of biological tubes
E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 9499 | OA
EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development
S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics 8 (2012).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9497 | OA
Deposition of histone variant H2A.Z within gene bodies regulates responsive genes
D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 966 | OA
Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice
S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2968 | OA
A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
[Submitted Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 13075 | OA
Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 10905 | OA
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10906 | OA
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3251 | OA
Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
[Submitted Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3260 | OA
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3258 | OA
Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications