Log in
FP7 FET ENTRA Project header image
Skip to primary content
Skip to secondary content
  • Home
  • Work Plan
  • Dissemination
    • Publications
    • Presentations
    • Other Dissemination
  • Deliverables
  • Software and Tools
  • News and Events
  • Partners
  • Collaboration
  • Contact

Bishoksan Kafle. Solving non-linear Horn clauses using a linear solver. CoRR, December 2015. submitted to a workshop.

Events

  • Successful PhD defence by Umer Liqat
  • Successful PhD defence Maja Hanne Kirkeby
  • Successful PhD defence Xueliang Li
  • Successful PhD Defence, Kyriakos Georgiou
  • Energy Transparency for Deeply Embedded Programs
  • ENTRA: Whole-systems energy transparency
  • Successful PhD defence, Bishoksan Kafle
  • Successful final review, Brussels
  • Presentation at InsideGovernment Event on Utilising Horizon 2020 Funding to Produce Excellence in Research. 10 February 2016
  • Presentation at BrisTech, a technology meetup in Bristol. 4 February 2016
RUC RUC RUC RUC RUC