References in zbMATH (referenced in 34 articles )

Showing results 1 to 20 of 34.
Sorted by year (citations)

1 2 next

  1. Straccia, Umberto; Bobillo, Fernando: From fuzzy to annotated semantic web languages (2017)
  2. Haemmerlé, R.; López-García, P.; Liqat, U.; Klemen, M.; Gallagher, J.P.; Hermenegildo, M.V.: A transformational approach to parametric accumulated-cost static profiling (2016)
  3. Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M.V.: Resource usage analysis of logic programs via abstract interpretation using sized types (2014)
  4. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano: Cost analysis of object-oriented bytecode programs (2012)
  5. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco; Hermenegildo, Manuel: Interval-based resource usage verification: formalization and prototype (2012)
  6. Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán: Closed-form upper bounds in static cost analysis (2011)
  7. Lu, Lunjin: A polymorphic type dependency analysis for logic programs (2011)
  8. Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel: Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses (2010)
  9. Lopez-Garcia, Pedro; Darmawan, Luthfi; Bueno, Francisco: A framework for verification and debugging of resource usage properties: resource usage verification (2010)
  10. Cousot, Patrick; Cousot, Radhia; Giacobazzi, Roberto: Abstract interpretation of resolution-based semantics (2009)
  11. Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario: Towards a type discipline for answer set programming (2009)
  12. Gras, Daniel Cabeza; Hermenegildo, Manuel V.: Non-strict independence-based program parallelization using sharing and freeness information (2009)
  13. Loyer, Yann; Straccia, Umberto: Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (2009)
  14. Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel: Abstraction-carrying code: a model for mobile code safety (2008)
  15. Bistarelli, Stefano; Santini, Francesco: SCLP for trust propagation in small-world networks (2008)
  16. Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.: Annotation algorithms for unrestricted independent and-parallelism in logic programs (2008)
  17. Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.: A high-level implementation of non-deterministic, unrestricted, independent and-parallelism (2008)
  18. Méndez-Lojo, Mario; Navas, Jorge; Hermenegildo, Manuel V.: A flexible, (C)LP-based approach to the analysis of object-oriented programs (2008)
  19. Albert, Elvira; Arenas, Puri; Puebla, Germán; Hermenegildo, Manuel: Reduced certificates for abstraction-carrying code (2006)
  20. Albert, Elvira; Puebla, Germán; Gallagher, John P.: Non-leftmost unfolding in partial evaluation of logic programs with impure predicates (2006)

1 2 next