Pietro Abate homepage

  • About Me
  • Contacts
  • Biblio
  • CDuce
  • Mancoosi
  • TWB
Home

Biblio

Found 9 results

2009
Abate, P, Boender J, di Cosmo R, Zacchiroli S.  2009.  Strong Dependencies between Software Components. ESEM 2009.
2007
Abate, P, Gore R, Widmann F.  2007.  An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability. M4M.
Abate, P, Gore R.  2007.  One-pass Tableaux for Computation Tree Logic. LPAR. 4790
Abate, P, Gore R.  2007.  notes for the tutorial : The tableaux workbench. TABLEAUX .
Abate, P.  2007.  The Tableau WorkBench: a framework for building automated tableau-based theorem provers.
2006
Abate, P, Gore R.  2006.  A cut free tableau calculus for the logic of common knowledge.
2003
Abate, P, Gore R.  2003.  System description: The tableaux workbench. TABLEAUX.
2002
Abate, P, Bernbardo M.  2002.  A scalable approach to the design of software architecture with dynamically created/destroyed components. SEKE.
2001
Abate, P.  2001.  Modelling software Architectures uning an architectural description language based on process algebra.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Share Alike 2.0 France License.

Search

Cloud

apache2 cduce debian django freerunner hacking mancoosi ocaml python sqlite3 svn xen
more tags

Recent comments

  • Pivot
    18 weeks 1 day ago
  • Great Script
    1 year 18 weeks ago
  • Batteries
    1 year 22 weeks ago
  • A few comments on the above method
    1 year 35 weeks ago
  • heh
    1 year 37 weeks ago
  • It can be used to run a DoS
    1 year 39 weeks ago
  • Thanks for this comment, it
    1 year 42 weeks ago
  • use correct version of rake
    1 year 43 weeks ago
  • Not quite solved
    2 years 20 weeks ago
  • Interesting story
    2 years 24 weeks ago