Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat. Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers. 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). 2024. 138:1-138:20
Keisuke Nakano, Munehiro Iwami. Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version). 2024
Paul Gallot, Sebastian Maneth, Keisuke Nakano, Charles Peyrat. Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers. 2023
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)
(26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011) 2011)
2012/01 - Programming committee of ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation: A Best Paper Award Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals