Affiliation:
1. Graduate School of Informatics, Nagoya University
2. Graduate School of Engineering, Kochi University of Technology
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference29 articles.
1. [1] P.A. Abdulla, C. Aiswarya, and M.F. Atig, “Data multi-pushdown automata,” CONCUR 2017, pp.38:1-38:7, 2017. 10.4230/LIPIcs.CONCUR.2017.38
2. [2] P.A. Abdulla, M.F. Atig, G. Delzanno, and A. Podelski, “Push-down automata with gap-order constraints,” FSEN 2013, pp.199-216, 2013. 10.1007/978-3-642-40213-5_13
3. [3] A. Bouajjani, S. Fratani, and S. Qadeer, “Context-bounded analysis of multithreaded programs with dynamic linked structures,” CAV 2007, pp.207-220, 2007. 10.1007/978-3-540-73368-3_24
4. [4] M. Bojańczyk, B. Klin, and S. Lasota, “Automata theory in nominal sets,” Logical Methods in Computer Science, vol.10, no.3:4, pp.1-44, Aug. 2014. 10.2168/LMCS-10(3:4)2014
5. [5] B. Bollig, A. Cyriac, P. Gastin, and K.N. Kumar, “Model checking languages of data words,” FoSSaCS 2012, LNCS, vol.7213, pp.391-405, 2012. 10.1007/978-3-642-28729-9_26
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献