Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4938 Publications
2017 | Journal Article | IST-REx-ID: 714 | 
Brailoiu G, Deliu E, Barr J, et al. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 2017;178:7-14. doi:10.1016/j.drugalcdep.2017.04.015
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 715
Novarino G. More excitation for Rett syndrome. Science Translational Medicine. 2017;9(405). doi:10.1126/scitranslmed.aao4218
View
| DOI
2017 | Journal Article | IST-REx-ID: 716 |
Chatterjee K, Velner Y. The complexity of mean-payoff pushdown games. Journal of the ACM. 2017;64(5):34. doi:10.1145/3121408
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 717 |
Chatterjee K, Velner Y. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 2017;88:236-259. doi:10.1016/j.jcss.2017.04.005
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 719
Chatterjee K, Ehlers R. Special issue: Synthesis and SYNT 2014. Acta Informatica. 2017;54(6):543-544. doi:10.1007/s00236-017-0299-0
View
| DOI