Items where author is "Kafle, Bishoksan"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Article

Eder, Kerstin and Gallagher, John P. and López García, Pedro and Muller, Henk L. and Bankovic, Zorana and Georgiou, Kyriakos and Haemmerlé, Remy and Hermenegildo, Manuel V. and Kafle, Bishoksan and Kerrison, Steve and Kirkeby, Maja and Klemenc, Maximiliano and Li, Xueliang and Liqat, Umer and Morse, Jeremy and Rhiger, Morten and Rosendahl, Mads (2016). ENTRA: Whole-systems energy transparency. "Microprocessors and Microsystems", v. 47 ; pp. 278-286. ISSN 0141-9331. https://doi.org/10.1016/j.micpro.2016.07.003.

Presentation at Congress or Conference

Kafle, Bishoksan and Gallagher, John P. and Hermenegildo, Manuel V. and Klemen, Maximiliano and López García, Pedro and Morales, José F. (2021). Regular path clauses and their application in solving loops. In: "8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021)", 28 Mar 2021, Luxemburgo. pp. 22-35. https://doi.org/10.4204/EPTCS.344.3.

Gallagher, John P. and Hermenegildo, Manuel V. and Kafle, Bishoksan and Klemen, Maximiliano and López García, Pedro and Morales Caballero, José Francisco (2020). From big-step to small-step semantics and back with interpreter specialisation. In: "8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (VPT/HCVS@ETAPS 2020)", 25-26 Abr 2020, Dublín, Irlanda. pp. 50-64. https://doi.org/10.4204/EPTCS.320.4.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM