1. Analysis of recursive state machines;Alur;ACM Trans. Program. Lang. Syst.,2005
2. R. Alur, S. Chaudhuri, P. Madhusudan, A fixpoint calculus for local and global program flows, in: Proc. of POPL, 2006.
3. C. Beeri, A. Eyal, S. Kamenkovich, T. Milo, Querying business processes with BP-QL (demo), in: Proc. of VLDB, 2005.
4. C. Beeri, A. Eyal, S. Kamenkovich, T. Milo, Querying business processes, in: Proc. of VLDB, 2006.
5. C. Beeri, A. Eyal, S. Kamenkovich, T. Milo, Monitoring business processes with queries, in: Proc. of VLDB, 2007.