6 papers:
LATA-2014-IbarraR #on the #problem- On the Parikh Membership Problem for FAs, PDAs, and CMs (OHI, BR), pp. 14–31.
ICALP-v2-2011-Kapoutsis #nondeterminism- Nondeterminism Is Essential in Small 2FAs with Few Reversals (CAK), pp. 198–209.
TACAS-2004-BardinFL #automaton #performance- FASTer Acceleration of Counter Automata in Practice (SB, AF, JL), pp. 576–590.
VLDB-2002-RohmBSS #clustering #component #coordination #middleware #named- FAS — A Freshness-Sensitive Coordination Middleware for a Cluster of OLAP Components (UR, KB, HJS, HS), pp. 754–765.
WIA-1996-Watson #c++- FIRE Lite: FAs and REs in C++ (BWW), pp. 167–188.
CADE-1996-FeliciRT #distributed #logic programming #named- FasTraC: A Decentralized Traffic Control System Based on Logic Programming (GF, GR, KT), pp. 216–220.