ROSSELLA PETRESCHI Curriculum Vitae Rossella Petreschi è

ROSSELLA PETRESCHI
Curriculum Vitae
Dipartimento di Informatica
Sapienza Università di Roma
Via Salaria,113/ 00198 Roma Italia
tel: +39-06-49918511
e-mail:[email protected]
URL: http://w3.uniroma1.it/dipinfo/scheda_docente.asp?cognome=Petreschi&nome=Rossella
Rossella Petreschi è professore ordinario di Informatica presso La Sapienza di Roma.
Laureata in matematica, dopo un breve periodo al CNR, ha insegnato prima
all’Università dell’Aquila e poi alla Sapienza presso i dipartimenti di matematica.
Con un gruppo di colleghi provenienti da formazioni culturali diverse ha istituito nel
1990 il corso di laurea in Scienze dell’Informazione e nel 1992 il Dipartimento di
Informatica, che ha poi diretto dal 2003 al 2009. Dal 2007 al 2009 è stata Presidente
del Consiglio dei Direttori dell’AST (Ateneo della Scienza e della Tecnologia) e
membro della giunta del Collegio dei Direttori della Sapienza. Dal 2004 al 2010 è
stata membro della giunta del GRIN (Gruppo Nazionale Ricercatori Informatici).
L’attività scientifica di Rossella Petreschi è incentrata sullo studio di algoritmi: dalla
fase di progetto a quella di analisi fino all’implementazione e alla valutazione
sperimentalmente. Tale attività è documentata da più di 100 lavori su riviste e/o atti di
conferenze che riportano i risultati di collaborazioni con oltre una trentina di coautori
provenienti da varie parti del mondo. E' editore di atti di convegni, di numeri speciali
di riviste e coautrice di due libri, uno riguardante il progetto logico di un calcolatore e
l'altro sull'importanza degli algoritmi nella vita moderna. Di quest'ultimo, nel 2013, la
Springer ha pubblicato la versione in Inglese. Nel 2004 ha tenuto l'elogio del Prof.
A.Viterbi per l'attribuzione della prima laurea H.C. della Sapienza in Informatica. Nel
1990 R. Petreschi è stata uno degli ideatori della conferenza CIAC dedicata agli
algoritmi e alla loro complessità. Da allora ha sempre contribuito alla realizzazione
delle 7 edizioni tenutesi a Roma. Dal 2013 è membro dello steering committee che ha
portato l'ottava edizione della conferenza a Barcellona e la nona, quest’anno, a Parigi.
La decima edizione si terrà ad Atene. Riguardo alla attività didattica, negli anni ha
insegnato corsi di algoritmi, di ricerca operativa e di progetto di calcolatori per
studenti dalla laurea triennale, della specialistica e del dottorato. Molti dei suoi
studenti occupano posizioni dirigenziali sia nell'Industria che nell'Accademia.
In occasione del suo 60-esimo compleanno, le è stato dedicato un numero speciale
della rivista “Networks” (http://onlinelibrary.wiley.com/doi/10.1002/net.v59.3/issuetoc).
PUBBLICAZIONI
Articoli su riviste
R47. Use knowledge to learn faster: Topology recognition with advice, Information and
Computation, (con A.Pelc e E.Fusco), submitted.
R46. Corrigendum to On Pairwise Compatibility Graphs having Dilworth Number K, Theoretical
Computer Science, (con T.Calamoneri), accepted for publication, 2015.
R45. On Pairwise Compatibility Graphs having Dilworth Number K, Theoretical Computer
Science, (con T.Calamoneri), 547, pp. 82--89, 2014.
R44. On the Pairwise Compatibility Property of Some Superclasses of Threshold Graphs, Discrete
Mathematics, Algorithms and Applications, (con T.Calamoneri, B.Sinaimeri), 05,pp.17—31,2013
R43. On Pairwise Compatibility Graphs having Dilworth Number Two,, Theoretical Computer
Science, (con T.Calamoneri), 524, pp. 34--40, 2013.
R42. Exploring Pairwise Compatibility Graphs, Theoretical Computer Science, 468, pp.23-36 (con
T.Calamoneri, E.Montefusco, B.Sinaimeri), 2013
R41. The L(2,1)-Labeling of Unigraphs, Discrete Applied Mathematics, 159(12), pp.1196-1206
(con T.Calamoneri), 2011.
R40. Recognition of unigraphs through superposition of graphs, Journal of graph algorithms e
application (con A.Borri e T.Calamoneri), 2011
R39. Unified parallel encoding e decoding algorithms for deelion-like codes, Journal of parallel e
Distributed Computing 70(11), pp.1119-1127 (con S. Caminiti), 2010
R38. Bijective Linear Time Coding e Decoding for K-Tree, Theory of Computing Systems
46/2,pp.284-300 (con S. Caminiti e.G.Fusco), 2010
R37. On the L(h,k)-labeling co-comparability graphs e circular-arc graphs, Networks 53,pp.27-34
(con T.Calamoneri, S. Caminiti e S.Olariu), 2009
R36. A general approach to L(h,k)- Label interconnection networks, Journal of Computer science e
technology 23(4), pp.652-659 (con T.Calamoneri e S. Caminiti ), 2008
R35. On coding labeled trees, Theoretical Computer Science 382(2),pp.97-108 (con S. Caminiti e I.
Finocchi), 2007
R34. Conflict-free star access in parallel memory systems, Journal of parallel e Distributed
Computing 66(11), pp.1431-1441 (con S. Das e I. Finocchi), 2006
R33. Lambda-coloring matrogenic graphs, Discrete Applied Mathematics, 154, pp.2445-2457 (
con T. Calamoneri) 2006.
R32. Labeling trees con a condition at distance two, Discrete Mathematics 306, pp. 15341539 (con T. Calamoneri e A. Pelc) 2006.
R31. Structure-preserving hierarchical decompositions,Theory of Computer Sciemce 38(6), pp. 687700 (con I. Finocchi) 2005.
R30. L(h,1)-Labeling Subclasses of Planar Graphs, Journal on Parallel e Distributed Computing,
64(3), pp. 414-426 ( con T. Calamoneri) 2004.
R29 Divider-based algorithms for hierarchical tree partitioning, Discrete Applied
Mathematics, 136 (2/3) pp. 227/247 (con I.Finocchi) 2004.
R28 . Edge-Clique Graphs e the Lambda-Coloring Problem, Journal of the Brazilian
Computer Society, Special Issue dedicated to Jayme L. Szwarcfiter, 3/7,pp.38 – 47, ( con
T.Calamoneri), 2002.
R27. On max-cut in cubic graphs, Parallel Algorithms e Applications, 17/ 3,pp.165 – 183
(con T.Calamoneri , I.Finocchi e J. Monoussakis), 2002
R26. A Simple Parallel Algorithm to Draw Cubic Graphs
Transactions on parallel e distributed systems vol. 11 (10), pp. 1009 - 1019 ,
2000 ( con T.Calamoneri e S.Olariu)
R25. Computing Prüfer codes efficiently in parallel
Discrete Applied Mathematics, 102, pp.205-222, 2000 (con R.Greenlaw),
R24. Reversible Execution e Visualization of Programs con LEONARDO
Journal of Visual Languages e Computing, 11(2), pp.125-150, 2000, (con P.Crescenzi,
C.Demetrescu e I.Finocchi )
R23. Optimal layout of trivalent Cayley interconnection networks Intern. J. of Found. of
Computer Science, 10(3), pp.277-287, 1999 (con T. Calamoneri )
R22. (n,e)-graphs con maximum sum of squares of degrees, Journal of Graph Theory ,
pp.283-295, 1999 (con U.Peled e A.Sterbini)
R21. Experimental comparison of graph drawing algorithms for cubic graphs Journal of
Graph Algorithms e Applications, 3(2), pp.1-22, 1999 (con T.Calamoneri e S.Jannelli)
R20. On node searching e starlike graphs Congressus Numerantium 131, pp.75-84, 1998
(con M.Moscarini e J. L. Szwarcfiter)
R19. Orthogonally drawing cubic graphs in parallel, Journal of Parallel e Distribute
Computing 55, pp.94-108, 1998 (con T. Calamoneri)
R18. A new 3-D representation of trivalent Cayley interconnection networks, Information
Processing Letters 61, pp. 247-252 , 1997 (con T. Calamoneri )
R17. An O(n3) recognition algorithm for bithreshold graphs, Algorithmica 17, pp.416425, 1997 (con S.DeAgostino e A.Sterbini)
R16. Cubic graphs, ACM Computing Surveys 27/4, pp.471-495, 1996 (con R.Greenlaw)
R15. Recognizing strict 2-threshold graphs in O(m) time, Information Processing Letters
54, pp.193-198, 1995 (con A.Sterbini)
R14. At most single-bend embeddings of cubic graphs Chinese Applied Mathematics
9B2, pp. 127-142, 1994 (con Y.P.Liu e P.Marchioro)
R13. On PVchunk operations e matrogenic graphs, Intern. J. of
Science 3, pp.11-20, 1992 (con S.DeAgostino )
Found. of Computer
R12. Theoretical results on at most 1-bend embeddability of graphs Acta Mathematicae
Applicatae Sinica 8, pp.188-192, 1992 (con Y.P.Liu, P.Marchioro e B.Simeone)
R11. Experimental comparison of 2-satisfiability algorithms, RAIRO - OR 3, pp.241-264,
1991 (con B.Simeone)
R10. Parallel recognition algorithms for graphs con restricted neighborhoods, Intern. J. of
Found. of Computer Science 1, pp.123-130, 1990 (con S.DeAgostino )
R9. On line 2- satisfiability, Annals of Mathematics e artificial intelligence 1, pp.155165, 1990 (con B.Jaumard, P.Marchioro, A.Morgana e B.Simeone)
R8. Parallel-depth search for acyclic digraphs, Journal of parallel e distributed computing
7, pp.383-390, 1989 (con G.Bongiovanni)
R7. A parallel on line algor. for deriving all log. concl. implied by binary relations,
Journal of Combinatorics, Information e System Sciences 14/1, pp.19-25, 1989, (con
P.Marchioro e A.Morgana)
R6. An on line parallel algorithm for path retrieval dags, Journal of Combinatorics,
Information e System Sciences 14/4, pp.182-186, 1989 (con P.Marchioro e A.Morgana)
R5. Parallelism e the feedback vertex set problem, Information Processing Letters 28,
pp.81-85, 1988 (con D.P.Bovet e S.DeAgostino)
R4. Adamant digraphs, Discrete Mathematics 69, pp.253-261, 1988 (con P.Marchioro,
A.Morgana e B.Simeone)
R3. Degree sequences of matrogenic graphs, Discrete Mathematics 51, pp. 47-61, 1984
(con P.Marchioro, A.Morgana e B.Simeone)
R2. A switching algorithm for the solution of quadratic boolean equations, Information
Processing Letters 11, pp.193-198, 1980 (con B.Simeone)
R1. Un algoritmo per la allocazione automatica dei quadrati, Informatica 7, pp.3137,1977.
Articoli su Atti di Convegni
C56. Dinamically operating on threshold graphs and related classes, Proc. of 13-th Cologne- Twente
Workshop on Graphs and Combinatorial Optimization (CTW 2015), Abstracts Book, p.20-24 (con
T.Calamoneri e A.Monti), 2015.
C55.On Dilworth k graphs and their Pairwise Compatibility, Proc. of Workshop on Algorithms and
Computation (WALCOM 2014), Lecture Notes in Computer Science, 8344, p.213-224 (con
T.Calamoneri), 2014
C54. Use knowledge to learn faster: Topology recognition with advice., Proc. of 27th International
Symposium on Distributed Computing (DISC 2013), Lecture Notes in Computer Science, 8205, pp.
31-45 (con A.Pelc e E.Fusco), 2013.
C53. Learning a ring cheaply and fast., Proc. of 40th International Colloquium on Automata,
languages, and Programming (ICALP 2013), Lecture Notes in Computer Science, 7501, pp. 557568 (con A.Pelc e E. Fusco), 2013.
C52. Graphs with Dilworth Number 2 are Pairwise Compatibility Graphs, Proc. of VII latinAmerican Algorithms, Graphs and Optimization Symposium (LAGOS 2013), Electronic Notes In
Discrete Mathematics, 44, pp. 31-38 (con T.Calamoneri), 2013.
C51. On relaxing the constraints in pairwise compatibility graphs, Proc. of Workshop on
Algorithms and Computation (WALCOM 2012), Lecture Notes in Computer Science, 7157, pp.
124-135 (con T.Calamoneri e B.Sinaimeri), 2012.
C50. The L(2,1)-Labeling of Unigraphs, Proc. of 1st Int. ICST Conference on Theory and Practice
of Algorithms in (Computer) Systems (TAPAS 2011), Lecture Notes in Computer Science, 6595,
pp. 57-68 (con T.Calamoneri), 2011.
C49. Parallel algorithms for encoding and decoding blob code”, in Proceedings of the 4th
International Workshop on Algorithms and Computation (WALCOM 2010), Dhaka , Bangladesh,
LNCS 5942, pp.167-178, (con S. Caminiti) 2010
C48. Parallel algorithms for dandelion-like code, in Proceedings of the 9th International Conference
on Compute, Discover,Innovate (ICCS2009), Baton Rouge , USA, LNCS 5544, pp.611--620, (con
S. Caminiti) 2009
C47. Recognition of unigraphs through superposition of graphs, in Proceedings of the 3th
International Workshop on Algorithms and Computation (WALCOM 2009), Kolkata , India, LNCS
5431,pp.165-176 (con A.Borri e T.Calamoneri) 2009
C46. Engineering Tree labeling schemes: a case study on least common ancestor, in Proceedings of
the 16th European Symposium on Algorithms (ESA 08), Karlsruhe , UE , LNCS 5193, pp.234—
245, (con S. Caminiti e I.Finocchi) 2008
C45. A Note on Algebraic Hypercube Colorings, in Proceedings of the 4th International Conference
on Information Technology: new generation (ITNG 07), Las Vegas , USA , IEEE CS Press, vol.
ITNG08, p. 869-874 (con I.Finocchi e E.Fusco) 2008
C44. On the L(h,k)-Labeling of Co-Comparability Graphs, in Proceedings of Escape 07 , Hangzhou
China , LNCS 4614, p. 116-127 (con T. Calamoneri, S.Caminiti e S.Olariu) 2007
C43. A Bijective Code for k-Trees with Linear Time Encoding and Decoding, in Proceedings of
Escape 07 , Hangzhou , China , LNCS 4614, p. 408-420 (con S. Caminiti e E.Fusco) 2007
C42. String Coding of Trees with Locality and Heritability, in proceedings of the 11th International
Computing and Combinatorics Conference (COCOON'05), Kunming, Yunnan, (con S. Caminiti)
2005.
C41. Graph Coloring with Distance Constraints, in Proc. Int. Conference on Parallel and Distributed
Processing Techniques and Applications (PDPTA’05), Las Vegas, USA, (con T.Calamoneri e
I.Finocchi), 2005
C40. A general approach to L(h,k)- Label Interconnection networks, in Proc. 2nd Brazilian
Symposium on Graphs, Algorithms and Combinatorics (GRACO 05), Angra dos Reis, Brazil , (con
T.Calamoneri e S.Caminiti), 2005
C39. Star-coloring of graphs for conflict-free access in parallel memory systems, IPDPS 2004, (con
S.Das e I.Finocchi) 2004
C38. A unified approach to coding labeled trees, Proc. of 6th Latin American theoretical Informatics
(LATIN 2004), Buenos Aires-Argentina, LNCS 2976, pp.339-348, (con S.Caminiti e I.Finocchi)
2004
C37. On the Radiocoloring Problem, Proc. of 4th International Workshop on Distributed Computing
(IWDC 2002), LNCS 2571, pp.118-127, Calcutta-India, (con T.Calamoneri), 2002.
C36. Labeling trees con a condition at distance two, Bose Centenary Symposium (Symp. of
Combinatorics e Graph Theory), Electronic Notes in Discrete Mathematics, vol.15, Calcutta-India,
(con T.Calamoneri e A.Pelc), 2002.
C35. Hands on Algorithms: an Experience con Algorithm Animation in Advanced Computer
Science Classes', 2nd Workshop on Program Visualization (PWV'02), HornstrupCentret, Denmark,
(con I.Finocchi ) 2002.
C34. L(2,1)-Coloring Matrogenic Graphs, Proc. of 5th Latin American Symposium on
Theoretical Informatics (LATIN 2002), Cancun-Messico, LNCS 2286, pp.236-247, 3-6
(con T.Calamoneri), 2002
C33. On the Validity of Hierarchical Decompositions, 7th Annual International
Computing e Combinatorics Conference (COCOON'01), Guilin, China,pp. 368-374 (con
I.Finocchi ) 2001.
C32 The L(2, 1)-Labeling of Planar Graphs, 5th ACM DIAL-M, Roma –Italia, pp. 28-33, (con
T.Calamoneri), 2001.
C31 T. Calamoneri e R. Petreschi: "l- Labeling of Regular Tiling", Proc. di 1st CologneTwente Workshop (CTW), Electronic Notes in Discrete Mathematics , vol 8, (con
T.Calamoneri), 2001
C30 I.Finocchi e R. Petreschi: " Tree partitioning via vertex deletion ", Proc. di 1st
Cologne-Twente Workshop (CTW), Electronic Notes in Discrete Mathematics , vol 8, (con
I.Finocchi ) 2001.
C29. Hierarchical Clustering of Trees: Algorithms and Experiments, in Proceedings of the
3rd Workshop on Algorithm Engineering e Experiments (ALENEX'01), Washington DC,
USA, 5-7 (con I.Finocchi ) 2001.
C28. Optimally Extending Bisteard Graphs on the Orthogonal Grid, Proceedings of the iV
Asian Symposium on Computer Mathematics (ASCM2000), pp 299-308 , Chiang MaiThailand, (con T.Calamoneri e Y.Liu) 2000
C27. On computing Prüfer Codes e their corresponding trees optimally, Proceedings
Journees de l'Informlatique Messine - JIM' 2000 - Graph algorithms, (con R.Greenlaw e
M.M. Halldorsson) 2000
C26. Algoritmi animati per un apprendimento interattivo'', in Atti del 13mo Convegno
Italiano sull'Informatica nella Didattica (Didamatica'00), Cesena, Italia, 240-248 (con
I.Finocchi e S.Levialdi) 2000.
C25. A parallel approximation algorithm for the max-cut problem on cubic graphs,
Proceedings of 5th Asian Computing Science Conference, LNCS 1742 , pp.27-36, PhuketThailand, (con T.Calamoneri, I.Finocchi e J. Monoussakis) 1999
C24. Parallel generation of large subgraph in cubic graphs, Proceedings of Argentinian
Workshop on Theoretical Computer Science, pp.175-186, Buenos Aires-Argentina, , (con
T.Calamoneri, I.Finocchi e J. Monoussakis) 1999
C23. Computing Prüfer Codes Efficiently in Parallel Proceedings of Discrete
Mathematics and Theoretical Computer Science DMTCS’99 , pp.201-216, Auckle-New
Zeland, ( con R.Greenlaw)1999
C22. LEONARDO: a software visualization system, Proceedings of Workshop on
Algorithm Engineering WAE'97, pp.146-155, Venezia-Italia, (P.Crescenzi, C.Demetrescu
e I.Finocchi) 1997
C21. Visual representations of trivalent Cayley Interconnection networks, Proceedings of
the XI International Symposium on Computer e Information Sciences ISCIS-XI, pp.555565, Antalya-Turkey, (con T.Calamoneri) 1996
C20. Parallel maximal matching on minimal vertex series parallel digraphs, Proceedings
of Asian Computing Science Conference, LNCS 1023 , pp.34 - 47, Pathumthani -Thailand,
(con L.Baffi) 1995
C19. A parallel algorithm for orthogonal grid drawings of cubic graphs, Proceedings 5-th
Italian Conference on Theoretical Computer Science World Scientific , pp.118-133,
Ravello-Italy, (con T.Calamoneri) 1995
C18. Parallel maximum matching e threshold graphs, Proceedings 5-th Italian Conference
on Theoretical Computer Science World Scientific , pp.94-101, Ravello-Italy, (con S. De
Agostino e A. Sterbini) 1995
C17. An efficient orthogonal grid drawing algorithm for cubic graphs, Proceedings of
Computing e Combinatorics, COCOON'95, LNCS 959 pp. 31-40 Xian-China, (con
T.Calamoneri) 1995.
C16. Threshold graphs e synchronization protocols , Proceedings of Combinatorics e
Computer Science CCS'95, LNCS 1120, pp.378-395, Brest -France, (con A.Sterbini) 1995
C15. Cubic graphs as model of real systems, Proceedings of the Conference on Matrices e
Graphs, Word Scientific, pp.19-30, Brescia -Italia, (con T.Calamoneri) 1995
C14. Strict 2-threshold exclusion graphs, Proceedings 4-th Italian Conference on
Theoretical Computer Science, World Scientific, pp.294-305, L’Aquila-Italia, , (con
A.Sterbini) 1992
C13. On PVchunk operations and matrogenic graphs, Proceedings 1-th Italian
Conference on Algorithm e Complexity, World Scientific, pp.60-68, Roma-Italia, , (con S.
Deagostino) 1990
Sunti su Atti di Convegni
C12 Is there something more to say about L(2,1)-coloring of graphs?
The 12th Italian conference on theoretical computer science, ICTCS2010 ,Camerino (Italia),
Settembre 2010
C11 L(2,1)-labeling of unigraphs,
SIAM Conference on Discrete Mathematics DM2010
Austin (Texas/USA), Giugno 2010
C10 Algorithmic aspects of bijective tree encoding: a survey,
The 3rd annual meeting of the Asian Association for Algorithms and Computation AAAC2010
Pohang (Corea del Sud), Aprile 2010
C9. Prüfer codes e labeled trees, Eighth International Colloquium on Numerical Analysis
e Computer Science con Applications, Plovdiv-Bulgaria, Agosto 1999
C8. On node searching e starlike graphs, Southeastern International Conference on Graph
Theory e Computing, Boca Raton-Florida (con M. Moscarini e J. L. Szwarcfiter), 1998
C7. Maximizing the sum of squares of degrees, International symposium on Mathematical
Programming 97, Lausanne-Switzerle, (con U.Peled e A.Sterbini, )1997
C6. Cobithreshold coloring, 4th Workshop on Graphs e Combinatorial Optimization,
Twente-Hole, (con S. Deagostino A.Sterbini, ) 1995
C5. On drawing cubic graphs , Poster gallery Workshop
Princenton-N.J. USA, (con Y.P.Liu e P.Marchioro) 1994
on Graph Drawing ,
C4. An O(n3) on line algorithm for 2-satisfiability, Proceedings of the Conference on OR
e AI , pp.391-399, Pisa-Italia, (con B.Jaumard, P.Marchioro, A.Morgana e B.Simeone)
1988
C3. On line 2-satisfiability, International symposium on Mathematical Programming
‘88, Tokyo-Japan, (con B.Jaumard, P.Marchioro, A.Morgana e B.Simeone) 1988
C2. Numerical comparison of 2-satisfiability algorithms, Symposium TIMS / ORSA,
New Orleans- Louisiana, (con B.Simeone) 1987
C1. Un algoritmo per la allocazione automatica di quadrati, Convegno su Calcolo
automatico nella progettazione e in biomedicina, Roma-Italia Maggio 1973
Curatore di atti e numeri speciali di riviste
P7. Editors of the special issue of the journal Journal of Discrete Algorithms, 7,pp.279362, (con G.Italiano) 2009
P6. Editors of the special issue of the journal Theory of Computing Systems 38, pp. 371536, (con G.Persiano) 2005
P5. Proceeding of the 5° Italian conference on Algorithms e complexity, LNCS 2653,
Springer Verlag-Heidelberg, (con G.Persiano e R.Silvestri) 2003.
P4. Editors of the special issue of the journal Theoretical Computer Science, LNCS
1767, Vol 302 / 1, (con G. Bongiovanni, G. Gambosi) 2003
P3. Proceeding of the 4° Italian conference on Algorithms e complexity, LNCS 1767,
Springer Verlag-Heidelberg, (con G. Bongiovanni, G. Gambosi) 2000
P2. Proceeding of the 2° Italian conference on Algorithms e complexity, LNCS 778,
Springer Verlag-Heidelberg, (con M.Bonuccelli e P.L. Crescenzi) 1994
P1. Proceeding of the 1° Italian conference on Algorithms e complexity,
Scientific-Singapor, ( con G.Ausiello e D.P.Bovet ), 1990
World-
Libri (Curatore e/o Autore di capitolo)
B5. The Power of Algorithms, inspiration and examples in everydays life (curatore), Springer
Verlag , (con G.Ausiello) 2013
B4. How to design an Algorithm (autore) in The Power of Algorithms, inspiration and examples in
everydays life, Springer Verlag 2013
B3. L’informatica invisibile (curatore), Casa editrice Mondadori Sapienza, (con
G.Ausiello) 2010
B2. Come progettare un algoritmo (autore) in L’informatica invisibile, Casa editrice Mondadori
Sapienza 2010
B1. Introduzione al progetto logico di un calcolatore digitale, EdizioneVeschi-Roma,
(R.Bernabei, S.d'Angelo e P.Marchioro), 1977
Altro
O4. Deux modules de traitements des maillages: Module Q4T-Module MODGE,
Modulef n.97- Institut National de Recherche en Informatique et en Automatique, Paris,
1981, (con P.Marchioro e A.Morgana)
O3. Un module de maillage semi automatique: QCOURB, Modulef n.96 - Institut
National de Recherche en Informatique et en Automatique, Paris, 1980 (con P.Marchioro
e A.Morgana)
O2. Some fourth order unilateral problems numerical approximation, Quaderno dell’Ist.
Mat. G.Castelnuovo, 1-20, Roma, 1979, (con L.Lamberti)
O1. Un algoritmo per la allocazione automatica di quadrati, Quaderno IAC-CNR, Roma,
1973