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.




4553 Publications

2017 | Journal Article | IST-REx-ID: 715
Novarino, Gaia. “More Excitation for Rett Syndrome.” Science Translational Medicine. American Association for the Advancement of Science, 2017. https://doi.org/10.1126/scitranslmed.aao4218.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.” Journal of the ACM. ACM, 2017. https://doi.org/10.1145/3121408.
View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse, Christelle, Marion A L Picard, and Beatriz Vicoso. “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-01663-5.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences. Academic Press, 2017. https://doi.org/10.1016/j.jcss.2017.04.005.
View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-017-0299-0.
View | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications