Papers by the MAP Group

Alberto Pettorossi's publications from DBLP, CiteSeer, ACM, GoogleScholar.

Maurizio Proietti's publications from DBLP, CiteSeer, ACM, GoogleScholar.

 

List of publications by year.

For papers not available from this page, please email to maurizio proietti at iasi cnr it

1989  1990  1991  1992  1993  1994  1995  1996  1997  1998  1999  2000  2001  2002  2004  2005  2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016

2017    top

2016    top


 

2015    top

2014    top

2013    top

2012    top

2011    top

 

2010    top

 

 

 

 

 

2009    top

 

2008    top

 

 

 

 

2007    top

 

2006    top

Also presented at the 2006 Italian Conference on Computational Logic (CILC 2006), 26-27 June, 2006, Bari, Italy.

 

2005    top

2004    top

2002     top

2001      top

 

2000      top

1999      top

1998      top

1997      top

·         Pettorossi, A., Proietti, M., Renault, S.: Reducing Nondeterminism while Specializing Logic Programs 24th ACM Symposium on Principles of Programming Languages (POPL'97) La Sorbonne, Paris, France, January 15-17, 1997, ACM Press, 1997, pp. 414-427.

1996      top

1995      top

1994      top

1993      top

1992      top

1991      top

1990      top

1989      top