Publicaciones en colaboración con investigadores/as de University of Verona (4)

2008

  1. Stochastic Modeling and Analysis for Environmentally Powered Wireless Sensor Nodes

    2008 6TH INTERNATIONAL SYMPOSIUM ON MODELING AND OPTIMIZATION IN MOBILE, AD HOC AND WIRELESS NETWORKS AND WORKSHOPS, VOLS 1 AND 2

2005

  1. Inferring termination conditions for logic programs using backwards analysis

    Theory and Practice of Logic Programming, Vol. 5, Núm. 1-2, pp. 75-91

  2. Information flow analysis for Java bytecode

    Lecture Notes in Computer Science

2003

  1. Goal-independent suspension analysis for logic programs with dynamic scheduling

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2618, pp. 84-98