Publications of Alberto Pettorossi

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author Pettorossi A., in the category IASI Research Reports (or show them all):   (Items found: 53)


2019 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1981

2019  [top]

2016  [top]

2015  [top]

2014  [top]

2013  [top]

2012  [top]

2011  [top]

2010  [top]

2009  [top]

2008  [top]

2007  [top]

2006  [top]

2003  [top]

2002  [top]

2001  [top]

2000  [top]

1999  [top]

1998  [top]

1997  [top]

1995  [top]

1993  [top]

1992  [top]

1991  [top]

1990  [top]

1989  [top]

1988  [top]

1987  [top]

1986  [top]

1985  [top]

1984  [top]
  • Pettorossi A., Skowron A.: Higher order communications for concurrent programming., IASI-CNR, R. 94, 07/1984
  • Pettorossi A.: A powerful strategy for deriving efficient programs by transformations., IASI-CNR, R. 93, 07/1984
  • Labella A., Pettorossi A.: Categorical models for hand-shaking communications., IASI-CNR, R. 90, 05/1984
  • Pettorossi A.: A note on Cohen's paper: eliminating redundant recursive calls., IASI-CNR, R. 83, 03/1984
  • Pettorossi A.: Towers of Hanoi problems: deriving the iterative solutions using the program transformation technique., IASI-CNR, R. 82, 03/1984

1983  [top]

1981  [top]
  • Pettorossi A., Skowron A.: The role of mathematics in the era of electronic computers., IASI-CNR, R. 24, 11/1981
  • Pettorossi A.: Communications among processes as join operations in a lattice., IASI-CNR, R. 23, 11/1981
  • Pettorossi A.: An algorithm for reducing memory requirements in recursive programs using annotations., IASI-CNR, R. 6, 03/1981
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -