Please note that IST 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.

2886 Publications


2012 | Conference Paper | IST-REx-ID: 2956
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
View | Files available | DOI
 

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

2012 | Journal Article | IST-REx-ID: 2958 | OA
Allen K, Rawlins JN, Bannerman D, Csicsvari JL. Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. 2012;32(42):14752-14766. doi:10.1523/JNEUROSCI.6175-11.2012
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2959 | OA
Uhler C. Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. 2012;40(1):238-261. doi:10.1214/11-AOS957
View | DOI | Download Preprint (ext.)
 

2012 | 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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 2963
Jesse F, Riebel K. Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. 2012;91(3):262-266. doi:10.1016/j.beproc.2012.09.006
View | DOI
 

2012 | Thesis | IST-REx-ID: 2964
Kim S. Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites. IST Austria; 2012.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 2965 | OA
Danowski P. Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare. 2012;65(2):200-212.
View | Files available | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 2966 | OA
Cremer S, Suefuji M, Schrempf A, Heinze J. The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. 2012;12. doi:10.1186/1472-6785-12-7
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2967
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic (TOCL). 2012;13(3). doi:10.1145/2287718.2287727
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications