XML with Incomplete Information: Representation, Querying and Applications

Libkin, Leonid (Principal Investigator)

Status	Finished
Effective start/end date	1/09/09 → 30/11/13

Funding

EPSRC: £680,529.00

23 Article
19 Conference contribution
1 Chapter

Querying Graphs with Data
Libkin, L., Martens, W. & Vrgoc, D., 4 May 2016, In: Journal of the ACM. 63, 2, 53 p., 14.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Regular expressions for data words
Libkin, L., Tan, T. & Vrgoc, D., Nov 2015, In: Journal of Computer and System Sciences. 81, 7, p. 1278-1297 20 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Synchronizing Relations on Words
Figueira, D. & Libkin, L., Aug 2015, In: Theory of Computing Systems. 57, 2, p. 287-318 32 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

2 Participation in conference
2 Invited talk

20th Workshop on Logic, Language, Information and Computation
Leonid Libkin (Chair)
20 Aug 2013
Activity: Participating in or organising an event types › Participation in conference
Reasoning About Pattern-Based XML Queries
Leonid Libkin (Member)
Jun 2013
Activity: Academic talk or presentation types › Invited talk
Finite validity via model checking: computing certain answers
Leonid Libkin (Speaker)
2013
Activity: Academic talk or presentation types › Invited talk