Dublin City University

Identifiers

No identifiers captured yet.

Papers (4)

1. Time resolved spectroscopy of dust and gas from extrasolar planetesimals orbiting WD 1145+017 astro-ph.EP · 2018 · author #12
2. Generating Loop Invariants for Program Verification by Transformation cs.LO · 2017 · author #2
3. Program Transformation to Identify List-Based Parallel Skeletons cs.PL · 2016 · author #2
4. Generating Counterexamples for Model Checking by Transformation cs.SE · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• G. W. Hamilton (School of Computing 3 shared papers
• Republic of Ireland) 2 shared papers
• (2) School of Physical Sciences 1 shared papers
• 3) 1 shared papers
• (3) Astrophysics Research Centre 1 shared papers
• Apartado de Correos 1 shared papers
• Belfast 1 shared papers
• Centre for Astrophysics 1 shared papers
• Dublin 1 shared papers
• Ernst J.W. de Mooij (2 1 shared papers
• Glasnevin 1 shared papers
• Ireland 1 shared papers
• Ireland) 1 shared papers
• Marie Karjalainen (1) 1 shared papers
• Neale P. Gibson (3) ((1) Isaac Newton Group of Telescopes 1 shared papers
• Physics 1 shared papers
• Queen's University Belfast 1 shared papers
• Raine Karjalainen (1) 1 shared papers
• Relativity 1 shared papers
• Santa Cruz de La Palma 1 shared papers