You are here

2009

  1. Roberto Bruttomesso; Alessandro Cimatti; Anders Franzen; Alberto Griggio; Roberto Sebastiani,
    Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version,
    in «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE»,
    vol. 55,
    n. 1-2,
    2009
    , pp. 66 -
    99
  2. Marco Pistore; Pietro Braghieri; Piergiorgio Bertoli; Antonio Biscaglia; Annapaola Marconi; Stefano Pintarelli; Michele Trainotti,
    ASTRO: Supporting the Composition of Distributed Business Processes in the e-Government Domain,
    At Your Service: Service-Oriented Computing from an EU Perspective,
    Cambridge,
    MIT Press,
    2009
    , pp. 183 -
    212
  3. Alessandro Cimatti; Alberto Griggio; Roberto Sebastiani,
    Interpolant Generation for UTVPI,
    Proceedings of the 22nd Int. Conference on Automated Deduction,
    Springer Verlag,
    vol.5663,
    2009
    , pp. 167-
    182
    , (CADE-22,
    McGill University, Montreal, Canada,
    2-7/08/2009)
  4. Alessandro Cimatti; Marco Roveri; Stefano Tonetta,
    Requirements Validation for Hybrid Systems,
    Proceedings 21st Int. Conference on Computer Aided Verification,
    Springer,
    vol.5643,
    2009
    , pp. 188-
    203
    , (CAV 2009,
    Grenoble, France,
    26/06/2009-02/07/2009)
  5. Natasha Sharygina; Stefano Tonetta; Aliaksei Tsitovich,
    Proceedings of the 24th Annual ACM Symposium on Applied Computing,
    New York, NY,
    ACM,
    2009
    , pp. 566-
    573
    , (ACM SAC 2009,
    Honolulu, Hawaii, USA,
    08-12/03/2009)
  6. Matteo Ceriotti; Luca Mottola; Amy Lynn Murphy; Gian Pietro Picco; Stefan Guna; Michele Corrà; Matteo Pozzi; Daniele Zonta; Paolo Zanon,
    Monitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment,
    Information Processing in Sensor Networks (IPSN 2009),
    ACM,
    2009
    , (Information Processing in Sensor Networks (IPSN 2009),
    San Francisco, USA,
    13/04/2009 - 16/04/2009)
  7. Leonardo Leiria Fernandes; Amy Lynn Murphy,
    MVSink: Incrementally Building In-Network Aggregation Trees,
    6th European Conference on Wireless Sensor Networks (EWSN 2009),
    Springer Verlag,
    vol.5432,
    2009
    , pp. 216-
    231
    , (6th European Conference on Wireless Sensor Networks (EWSN 2009),
    Cork, Ireland,
    11/02/2009 - 13/02/2009)
  8. Luigi Palopoli; Roberto Passerone; Amy Lynn Murphy; Gian Pietro Picco; Alessandro Giusti,
    Solving the Wake-Up Scattering Problem Optimally,
    6th European Conference on Wireless Sensor Networks (EWSN 2009),
    Springer Verlag,
    vol.5432,
    2009
    , (6th European Conference on Wireless Sensor Networks (EWSN 2009),
    Cork, Ireland,
    11/02/2009 - 13/02/2009)
  9. Anna Förster; Alexander Förster; Amy Lynn Murphy,
    First International Conference on Ad Hoc Networks (ADHOCNETS `09),
    2009
    , (First International Conference on Ad Hoc Networks (ADHOCNETS `09),
    Niagara Falls, Ontario, Canada,
    23/09/2009 - 25/09/)
  10. Stefano Tonetta,
    Abstract Model Checking without Computing the Abstraction,
    Proceedings of the 16th Int. Symposium on Formal Methods,
    Berlin, Heidelberg,
    Springer-Verlag,
    2009
    , pp. 89-
    105
    , (FM2009,
    Eindhoven, the Netherlands,
    02-06/11/2009)

Pages