Cited By
View all- Zhang MMathur UViswanathan MSpinellis DGousios GChechik MDi Penta M(2021)Checking LTL[F,G,X] on compressed traces in polynomial timeProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3468557(131-143)Online publication date: 20-Aug-2021
- Hucke DLohrey MBenkner L(2021)Entropy Bounds for Grammar-Based Tree CompressorsIEEE Transactions on Information Theory10.1109/TIT.2021.311267667:11(7596-7615)Online publication date: 1-Nov-2021
- Bannai HHirayama MHucke DInenaga SJeż ALohrey MReh C(2021)The Smallest Grammar Problem RevisitedIEEE Transactions on Information Theory10.1109/TIT.2020.303814767:1(317-328)Online publication date: 1-Jan-2021
- Show More Cited By