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.

1966 Publications


2012 | Published | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev O, Cabello S, Chen C, Dey T, Wang Y. Annotating simplices with a homology basis and its applications. In: Vol 7357. Springer; 2012:189-200. doi:10.1007/978-3-642-31155-0_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2947 | OA
Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399. doi:10.1007/978-3-642-33386-6_30
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10904 | OA
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi:10.1007/978-3-642-32940-1_10
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 3165 | OA
Chatterjee K, Henzinger M. An O(n2) time algorithm for alternating Büchi games. In: Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM; 2012:1386-1399. doi:10.1137/1.9781611973099.109
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: Algorithms – ESA 2012. Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2012 | Published | Journal Article | IST-REx-ID: 3160
Pantazis P, Bollenbach MT. Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle. 2012;11(11):2055-2058. doi:10.4161/cc.20118
View | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 3120 | OA
Brown G, Kerber M, Reid M. Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. 2012;148(4):1171-1194. doi:10.1112/S0010437X11007226
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 2962 | OA
Aeschbacher S, Beaumont M, Futschik A. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 2012;192(3):1027-1047. doi:10.1534/genetics.112.143164
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

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

2012 | Published | Conference Paper | IST-REx-ID: 2956 | OA
Chatterjee K, Velner Y. Mean payoff pushdown games. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.30
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2012 | Published | Journal Article | IST-REx-ID: 2946 | OA
Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. 2012;40(19):9850-9862. doi:10.1093/nar/gks705
[Published Version] View | Files available | DOI | WoS
 

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

2012 | Published | Journal Article | IST-REx-ID: 808 | OA
Vinzenz M, Nemethova M, Schur FK, et al. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 2012;125(11):2775-2785. doi:10.1242/jcs.107623
View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055
[Published Version] View | Files available | DOI | WoS
 

2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. Spatio-temporal extraction of articulated models in a graph pyramid. In: Jiang X, Ferrer M, Torsello A, eds. Graph-Based Representations in Pattern Recognition. Vol 6658. LNIP. Berlin, Heidelberg: Springer; 2011:215-224. doi:10.1007/978-3-642-20844-7_22
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 11673
Baykan E, Henzinger M, Marian L, Weber I. A comprehensive study of features and algorithms for URL-based topic classification. ACM Transactions on the Web. 2011;5(3). doi:10.1145/1993053.1993057
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 11796
Henzinger M, Vidali A. Multi-parameter mechanism design under budget and matroid constraints. In: 19th Annual European Symposium on Algorithms. Vol 6942. Springer Nature; 2011:192–202. doi:10.1007/978-3-642-23719-5_17
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 17690 | OA
Wolcott-Green J, Haiman Z, Bryan GL. Photodissociation of H2 in protogalaxies: Modelling self-shielding in three-dimensional simulations. Monthly Notices of the Royal Astronomical Society. 2011;418(2):838-852. doi:10.1111/j.1365-2966.2011.19538.x
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed