Publications & Talks - ROSALBA ZIZZA Home page

Publications & Talks

The copyright of these contributions has been transferred to the editors. The copyright transfer covers
the exclusive right to reproduce and distribute the contribution, including reprints, translations, photographic
reproductions, microform, electronic form (offline, online), or any other reproduction of similar nature.

Scholarperdia web page on Splicing systems Rosalba Zizza (2010) Splicing systems, Scholarpedia, 5(7):9397. Category: Molecular Computing.

Abstract of PhD Thesis on the Bulletin of EATCS n.78, October 2002, pp. 319-322.[.ps]

PhD Thesis gzipped file, Appendix: splicing in cartoons powerpoint file

Internal Rapport

P. Bonizzoni, R.Z. (2000), A characterization of regular splicing languages, Rapp. Int. 254-00, Dip. di Sc. dell'Inf., Universita' di Milano.

Italian Conferences

C. De Felice, R.Z. (1998), Factorizing Codes and Krasner Factorizations, Proc. of ICTCS98, (Prato, Italia, 9-11 Novembre 1998), P. Degano, U. Vaccaro, G. Pirillo (Eds.), World Scientific, pp. 347-358. [.ps]

Luca D'Auria, R.Z. (2010), A note on the McCloskey's algorithm for deciding whether a regular language is a code, Proc. of ICTCS 2010, 12th Italian Conference on Theoretical Computer Science (Camerino, Italy, September 15-17, 2010).

International Conferences

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (1999), Linear and Circular Splicing, scheduled talk at WORDS99 [.ps]

P. Bonizzoni, C. Ferretti, G. Mauri, R.Z. (2000), Separating some splicing models, Proc. of GRAMMAR SYSTEMS2000 (Bad Ischl, Austria, 3-7 Luglio 2000), R. Freund, A. Kelemenova (Eds.), Silesian University at Opava, ISBN 80-7248-067-7, pp. 55-60 [.ps]

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2001), DNA and circular splicing, in ``DNA Computing'', Sixth International Workshop on DNA based computers, DNA2000 (Leiden, Olanda, 13-17 Giugno, 2000), Lecture Notes in Computer Science 2054, A. Condon and G. Rozenberg (Eds.), Springer-Verlag, pp. 117-129. [.ps, Slides]

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2001), Developments on Circular Splicing, scheduled talk at WORDS01 (Palermo, Italia, 17-21 Settembre 2001) [.ps]

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2002), Splicing systems and automata theory, Invited talk (C. De Felice), Joint meeting UMI-AMS (Pisa, Italia, 12-16 Giugno 2002) [Extended abstract, .ps ]

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2002), Decision problems for linear and circular splicing systems, Invited talk (G. Mauri) in "Developments in Language Theory", Sixth International Conference DLT02 (Kyoto, Giappone, 18-21 Settembre 2002), Lecture Notes in Computer Science 2450, M. Ito and M. Toyama (Eds.), Springer-Verlag, pp. 78-92. [ .pdf ]

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2003), Regular languages generated by reflexive finite splicing systems, in "Developments in Language Theory", Seventh International Conference DLT03 (Szeged, Hungary, 7-11 July, 2003), Lecture Notes in Computer Science 2710, Z. Esik, Z. Fulop (Eds.), Springer-Verlag, pp. 134-145. [pdf].

S. Verlan, R. Zizza (2003), 1-splicing vs. 2-splicing: separating results, Proceedings of "WORDS03" (10-14 Settembre 2003, Turku, Finlandia), International Conference on Combinatorics on Words (10-13 September 2003, Turku, Finland), T. Harju and J. Karhumaki (Eds.), TUCS General Publication (Turku Centre for Computer Science), No. 27, August 2003, ISBN 952-12-1211-X, pp. 320-331. [.ps]

C. De Felice, G. Fici, R.Z. (2007), Marked systems and Circular splicing, communicated at "AutoMathA" (18-22 June, Palermo, Italy).

C. De Felice, G. Fici, R.Z. (2007), Marked systems and Circular splicing, "FCT07" (August 27-30, Budapest, Hungary), 16th International Symposium on Fundamentals of Computation Theory, Lecture Notes in Computer Science 4639, pp. 238-249.

P. Bonizzoni, C. De Felice, R.Z. (2009), On circular semi-simple splicing systems, communicated at "AutoMathA 2009" (8-12 June, Liege, Belgium) pdf.

P. Bonizzoni, C. De Felice, R.Z. (2009), Circular languages generated by complete splicing systems and pure unitary languages, "DCM 2009", 5th International workshop on Developments in Computational Models (11 July, Rhodes, Greece), satellite workshop of ICALP 2009, download of the preproceedings. Electronic Proceedings in Theoretical Computer Science, S. Barry Cooper, Vincent Danos Eds., vol. 9, p. 22-31, ArXiv

M. Cianciulli, R. Zaccagnino, R.Z. (2012), An easy automata based algorithm for testing coding properties of infinite sets of (DNA) words, "TPNC2012" (October 2-4, Tarragona, Spain), 1st International Conference on the Theory and Practice of Natural Computing, Lecture Notes in Computer Science 7505, pp. 121-132.

C. De Felice, R. Zaccagnino, R.Z. (2014), Unavoidable sets and regularity of languages generated by (1,3)-circular splicing systems, TPNC2014, Lecture Notes in Computer Science 8890, pp.169-180

International Journal

P. Bonizzoni, C. Ferretti, G. Mauri, R.Z. (2001), Separating some splicing models, Information Processing Letters, 79 (6), pp.255-259. [.ps]

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2004), Circular splicing and regularity, Theoretical Informatics and Applications 38, pp. 189-228.

P. Bonizzoni , C. De Felice, R.Z. (2005), The structure of reflexive regular splicing languages via Schutzenberger constants, Theoretical Computer Science, 334, pp.71-98.

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2005), On the power of circular splicing, Discrete Applied Mathematics, 150, pp. 51-66.

P. Bonizzoni, C. De Felice, G. Mauri, R.Z. (2006), Linear splicing and syntactic monoid, Discrete Applied Mathematics, 154, pp. 452-470.

C. De Felice, G. Fici, R.Z. (2009), A characterization of regular circular languages generated by marked splicing systems, Theoretical Computer Science, 410, pp. 4937-4960.

P. Bonizzoni, C. De Felice, G. Fici, R.Z. (2010), On regularity of circular splicing languages: a survey and new developments, Natural Computing, Volume 9, Issue 2, pp. 397-420.

P. Bonizzoni, C. De Felice, R.Z. (2010), A characterization of (regular) circular languages generated by monotone complete splicing systems, Theoretical Computer Science 411(48), pp. 4149-4161.

L. Boasson, P. Bonizzoni, C. De Felice, I. Fagnot, G. Fici, R. Zaccagnino, R.Z. (2014), Splicing Systems from Past to Future: Old and New Challenges, Discrete Mathematics and Computer Science, pp. 51-76.

Submitted

R. Zaccagnino, R. Zizza, C. Zottoli (2015), Algorithms for testing coding properties of infinite sets of (DNA) words, submitted to international journal.

Projects

CNR/CNRS (2000-2001): "Linguaggi Formali e Dinamica Simbolica: metodi combinatori".

CNR/CNRS (2002-2003): "Teoria degli automi - Theorie des automates".

EMCC: European Molecular Computing Consortium.

MolCoNet: A Thematic Network on Molecular Computing - EU Project under The Fifth Framework Programme, project IST (Information Society Technologies Programme) 2001-32008 . Scientific chairman: Prof. G. Mauri.

Progetto 60% (2001) Università di Salerno: "Linguaggi Formali e Modelli di Calcolo".

Progetto 60% (2003) Università di Salerno: "Linguaggi Formali e Codici: Problemi classici e Modelli innovativi''.

Progetto 60% (2004) Università di Salerno: "Linguaggi formali e codici: modelli e caratterizzazioni strutturali".

Progetto 60% (2005) Università di Salerno: "Linguaggi formali e codici: problemi classici e modelli innovativi".

Progetto 60% (2006) Università di Salerno: "Linguaggi formali e codici a lunghezza variabile: proprietà strutturali e nuovi modelli di rappresentazione".

Progetto 60% (2007) Università di Salerno: "Proprieta' strutturali e nuovi modelli di rappresentazione nella teoria dei linguaggi formali".

Progetto 60% (2008) Università di Salerno: "Estensioni della teoria dei linguaggi formali e loro proprietà strutturali ".

FARB Project (2009-2011): "Automi e Linguaggi Formali: aspetti emergenti e fondazionali".

FARB Project (2010-2012): "Aspetti emergenti e fondazionali nella teoria degli automi e dei linguaggi formali".

MURST Project (1998-2000): "Unconventional Models of Computation" (sede MILANO, pagina nazionale ).

MIUR Project (2001-2003): "Linguaggi Formali e Automi: teoria ed applicazioni".

MIUR Project (2003-2005): "Linguaggi Formali ed Automi: Metodi, Modelli e Applicazioni"

MIUR Project (2005-2007): "Automi e Linguaggi Formali: aspetti matematici e applicativi".

MIUR Project (2007): "Mathematical aspects and emerging applications of automata and formal languages".

Teaching activity (only in italian)

Didattica

Argomenti di tesi/tirocini disponibili (Corso di Laurea in Informatica/Informatica Applicata)