Whole-Systems Energy Transparency

Publikationer

Publikationer pr. år 2015 2016 2017

• 6 Konferencebidrag i proceedings
• 4 Tidsskriftartikel
• 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

  Interpolant tree automata and their application in Horn clause verification

  Kafle, B. & Gallagher, J. P., 2016, I: Electronic Proceedings in Theoretical Computer Science. 216, s. 104-117 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Solving non-linear Horn clauses using a linear Horn clause solver

  Kafle, B., Gallagher, J. P. & Ganty, P., 2016, I: Electronic Proceedings in Theoretical Computer Science. 219, s. 33-48 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil