Skip to main content
DORAS
DCU Online Research Access Service
Login (DCU Staff Only)
Browse by Author
[up] Up a level
[Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Group by: Date | No Grouping
Jump to: 2017 | 2012
Number of items: 2.

2017

Feeney, Kevin, Brennan, Rob orcid logoORCID: 0000-0001-8236-362X and Mendel-Gleason, Gavin orcid logoORCID: 0000-0002-1572-9756 (2017) Linked data schemata: fixing unsound foundations. Semantic Web, 9 (1). pp. 53-75. ISSN 1570-0844

2012

Mendel-Gleason, Gavin (2012) Types and verification for infinite state systems. PhD thesis, Dublin City University.

This list was generated on Tue May 30 18:11:46 2023 UTC.
  • Student Email
  • Staff Email
  • Student Apps
  • Staff Apps
  • Loop
  • Disclaimer
  • Privacy
  • Contact Us