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.




5102 Publications

2017 | Conference Paper | IST-REx-ID: 711 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, “Bidirectional nested weighted automata,” presented at the 28th International Conference on Concurrency Theory, CONCUR, Berlin, Germany, 2017, vol. 85.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 712 | OA
J. L. Fischer, “Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations,” Nonlinear Analysis: Theory, Methods and Applications, vol. 159. Elsevier, pp. 181–207, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 714 | OA
G. Brailoiu et al., “HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens,” Drug and Alcohol Dependence, vol. 178. Elsevier, pp. 7–14, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 715
G. Novarino, “More excitation for Rett syndrome,” Science Translational Medicine, vol. 9, no. 405. American Association for the Advancement of Science, 2017.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 716 | OA
K. Chatterjee and Y. Velner, “The complexity of mean-payoff pushdown games,” Journal of the ACM, vol. 64, no. 5. ACM, p. 34, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications