Research Output

Filter
Conference article
2019

On the Lambek calculus with an exchange modality

Jiang, J., Eades, H. D. & de Paiva, V., Apr 15 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 292, p. 43-89 47 p.

Research output: Contribution to journalConference article

Open Access
2015

Reversible barbed congruence on configuration structures

Aubert, C. & Cristescu, I., Aug 19 2015, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 189, p. 68-85 18 p.

Research output: Contribution to journalConference article

2 Scopus citations
2005

Data integration in a three-layer mediation framework

Kharma, Q., Ege, R. K., Ezenwoye, O. & Yang, L., Nov 9 2005, In : Conference Proceedings - IEEE SOUTHEASTCON. p. 477-482 6 p.

Research output: Contribution to journalConference article

3 Scopus citations

Electing a global mediator in a three-layer mediation architecture

Ezenwoye, O., Ege, R. K., Kharma, Q., Yang, L. & Siddique, S., Nov 9 2005, In : Conference Proceedings - IEEE SOUTHEASTCON. p. 351-355 5 p.

Research output: Contribution to journalConference article