2020
Minimal phrase structure: a new formalized theory of phrase structure.
J. Lang. Model., 2020

2018
Integrating LFG's binding theory with PCDRT.
J. Lang. Model., 2018

2010
Practical Sensing for Sprint Parameter Monitoring.
Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Stride information monitoring and sensing in sports.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Sensing for Stride Information of Sprinters.
Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

2008
Creating a Research Collection of Question Answer Sentence Pairs with Amazon's Mechanical Turk.
Proceedings of the International Conference on Language Resources and Evaluation, 2008

1999
The Role of Proof in a Formal Specification of the Speedway Rulebook.
Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999