Publications

Journal Papers
2019

Joseph Eremondi, Wouter Swierstra, and Jurriaan Hage. A framework for improving error messages in dependently-typed languages. Open Computer Science 9(1), pp. 1–32, 2019. https://doi.org/10.1515/comp-2019-0001

2018

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. Insertion operations on deterministic reversal-bounded counter machines. Journal of Computer and System Sciences, 2018. http://www.sciencedirect.com/science/article/pii/S002200001830117X

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. On the complexity and decidability of some problems involving shuffle. Information and Computation 259, pp. 214–224, 2018. http://www.sciencedirect.com/science/article/pii/S0890540117301591

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. On the Density of Context-Free and Counter Languages. International Journal of Foundations of Computer Science 29(02), pp. 233–250, 2018. https://doi.org/10.1142/S0129054118400051

2017

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. Deletion operations on deterministic families of automata. Information and Computation 256, pp. 237–252, 2017. http://www.sciencedirect.com/science/article/pii/S0890540117301104

Conference Papers
2016

Julian Petford, Miguel A. Nacenta, Carl Gutwin, Joseph Eremondi, and Cody Ede. The ASPECTA Toolkit: Affordable Full Coverage Displays. In Proc. Proceedings of the 5th ACM International Symposium on Pervasive Displays, 2016. http://doi.acm.org/10.1145/2914920.2915006

Conference Versions of Journal Papers
2015

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. Deletion Operations on Deterministic Families of Automata. In Proc. Theory and Applications of Models of Computation, 2015. https://link.springer.com/chapter/10.1007/978-3-319-17142-5_33

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. Insertion Operations on Deterministic Reversal-Bounded Counter Machines. In Proc. Language and Automata Theory and Applications, 2015. https://link.springer.com/chapter/10.1007/978-3-319-15579-1_15

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. On the Complexity and Decidability of Some Problems Involving Shuffle. In Proc. Descriptional Complexity of Formal Systems, 2015. https://link.springer.com/chapter/10.1007/978-3-319-19225-3_9

Joey Eremondi, Oscar H. Ibarra, and Ian McQuillan. On the Density of Context-Free and Counter Languages. In Proc. Developments in Language Theory, 2015. https://link.springer.com/chapter/10.1007/978-3-319-21500-6_18