Conference paperEvent matching using the transitive closure of dependency relationsDaniel M. Bikel, Vittorio CastelliACL 2008
PaperQuantum Simulators: Architectures and OpportunitiesEhud Altman, Kenneth R. Brown, et al.PRX Quantum
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science