Publications

Disclaimer: Most of the papers available from this document appear in print and the corresponding copyright is held by the publisher. The papers can be used for personal use, but redistribution or reprinting for commercial purposes is prohibited.

Journals Papers

  • Andrea Polini, Andrea Polzonetti and Barbara Re. Formal methods to improve public administration business processes. RAIRO – Theoretical Informatics and Applications, Volume 46, Issue 02, aprile 2012, pp 203 – 229, Published online by Cambridge University Press: 21 febbraio 2012, DOI: http://dx.doi.org/10.1051/ita/2012002. [pdf]
  • Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re. Business Processes Verification for e-Gov Service Delivery. Information Systems Management journal, Volume 27, Issue 4 September 2010, pages 293 – 308. [pdf]
  • Luis Alvarez Sabucedo, Luis Anido Rifon, Flavio Corradini, Alberto Polzonetti, Barbara Re. Knowledge-based platform for eGovernment agents: A Web based solution using semantic technologies. Expert Systems with Application. Jay Liebowitz (Editor), Vol 37, No. 5, pp. 3647-3654, 2010. [pdf]
  • Flavio Corradini, Alberto Polzonetti, Barbara Re, Luca Tesei. Quality of Service in e-Government underline the role of information usability. International Journal of Information Quality special issue on Information Quality and Usability. J. R. Wright and G. T. Vesonder (Editors). Vol. 2, No. 2, pp. 133-151, 2008. [pdf]

Book Chapters (with revision)

  • Luis Alvarez Sabucedo, Luis Anido Rifon, Flavio Corradini, Alberto Polzonetti, and Barbara Re. Semantic-based eService Delivery for eGovernment Domain. Semantic Web. Gang Wu (Ed.) In-Tech Inc., pp. 241-256, January 2010. ISBN 978-953-7619-54-1
  • F. Corradini, A. Polzonetti, B. Re. Assessing Quality of Digital Services in e-Government: a Case Study in Italian Region. Cases on Managing E-Services. Ada Scupola (Ed.). Idea Group, Inc., pp. 28 – 47, 2008.

Article Published on International Conferences

  • R. Cognini, F. Corradini, S. Gnesi, A. Polini and B. Re: Research challenges in Business Process Adaptability. SATTA@SAC 2014, To appear.
  • R. Cognini, D. Falcioni, A. Polini, A. Polzonetti, B. Re: HawkEye: a tool for collaborative business process modelling and verification. SAC 2013: 785-786.
  • S. Carota, F. Corradini, D. Falcioni, M. L. Maggiulli, F. Marcantoni, R. Piangerelli, A. Polzonetti, B. Re, A. Sergiacomi. FedCohesion: Federated Identity Management in the Marche Region, EGOVIS-EDEM 2012, LNCS 7452, pp 112 – 124, Vienna, Austria, September 3 – 7, 2012 [pdf].
  • Damiano Falcioni, Andrea Polini, Alberto Polzonetti and Barbara Re. Direct verification of BPMN processes through an optimized unfolding technique, QSIC 2012 – 12th International Conference on Quality Software, in Xi’an, China, 27th – 29th Aug 2012, pp. 179 – 188 [pdf].
  • Damiano Falcioni, Andrea Polini, Alberto Polzonetti and Barbara Re. Livelock and Deadlock Detection for PA Inter-organizational Business Processes, EGOVIS-EDEM 2012, LNCS 7452, pp 125 – 139, Vienna, Austria, September 3 – 7, 2012 [pdf].
  • Damiano Falcioni, Andrea Polini, Alberto Polzonetti and Barbara Re. Improving PA Business Processes through Modeling, Analysis, and Reengineering, IFIP EGOV 2012 conference, Kristiansand, Norway, September 3-6, 2012, 78-89 [pdf].
  • R. Cognini D. Falcioni, A. Polini, A. Polzonetti, B. Re. An Eclipe plug-in for Public Administration software system modellling and simulation. The Sixth Workshop of the Italian Eclipse Community, Eclipse IT 2011, Milano (Italy), September 2011.
  • F. Corradini, D. Falcioni, A. Polini, A. Polzonetti, B. Re. eGAML: A Domain Specific Language for Design and Verification of e-Government Digital Services. IFIP EGOV 2011 conference, Delft (The Netherlands), Proceeding of Ongoing Research or Projects Papers for Trauner Druck, pp 249 – 256, September 2011.
  • F. Corradini, A. Polini, A. Polzonetti, B. Re, S. Carota and D. Arduini. Monitoring Cases of Applicative Coopeartion In Italian Local Public Administratins Focusing on the Process. In proceeding of 5th international conference on Methodologies, Technologies and Tool enabling e-Government – MeTTeG11, Camerino, Italy, July 2011, pp 363 – 379.
  • F. Corradini, S. Carota, B. Re. The Role of Applicative Cooperation in the Marche Region Enterprise Architecture. eChallenges e-2010 Conference Proceedings Paul Cunningham and Miriam Cunningham (Eds) IIMC International Information Management Corporation, 2010, pp 1-8, ISBN: 978-1-905824-20-5.
  • F. Corradini, A. Polini, A. Polzonetti, B. Re. An User friendly Approach for Business Process Formal Verification. ICTCS 2010, 12th Italian Conference on Theoretical Computer Science, Camerino, Italy, September 15-17.
  • F. Corradini, D. Falcioni, A. Polini, A. Polzonetti, B. Re. Designing Quality Business Processes for e-Government Digital Services. IFIP EGOV 2010 conference, Lausanne (Swizzerland), LNCS of Springer, pp 424 – 435, September 2010.
  • F. Corradini, D. Falcioni, A. Polini, A. Polzonetti, B. Re. Improving e-Government Business Processes Applying Formal Verification.  In proceeding of 4th international conference on Methodologies, Technologies and Tool enabling e-Government – MeTTeG10, Olten, Swizzerland, pp. 33 – 44, July 2010.
  • F. Corradini, A. Polini, A. Polzonetti, B. Re. Formal Methods To Assess And Improve Public Administration Service Delivery Processes. In proceeding of 3rd international conference on Methodologies, Technologies and Tool enabling e-Government – MeTTeG09, pp. 51 – 62, Vigo, Spain, September 2009.
  • F. Corradini, K. Hinkelmann, A. Polini, A. Polzonetti, B. Re. C2ST: A Quality Framework to Evaluate e-Government Service Delivery. 8th International Conference EGOV 2009, Proceedings of ongoing research, project contributions and workshops, pp. 74 – 84, Linz (Austria), August 30 – September 3, 2009.
  • Hans J (Jochen) Scholl, Karine Barzilai-Nahon, Jin-Hyuk Ahn, Olga H Popova, and Barbara Re. E-Commerce and e-Government: How Do They Compare? What Can They Learn From Each Other? 42 Hawaiian International Conference on System Sciences (HICSS-42), January 2009 Hilton Waikoloa Village Resort Waikoloa, Big Island, Hawaii.
  • B. Re. E-government quality of service: the role of citizens. In proceeding of 2nd international conference on Methodologies, Technologies and Tool enabling e-Government – MeTTeG08. Corfu, Greece, pp. 69 – 77, September 2008.
  • F. Corradini, A. Polzonetti, B. Re. The Meaning and the Role of Adaptability in e-Government. Electronic Government, 7th International Conference EGOV 2008, Proceedings of ongoing research, project contributions and workshops, pp. 70 – 77, Turin (Italy), 1-4 September 2008.
  • Flavio Corradini, Francesco De Angelis, Federico Paoloni, Alberto Polzonetti, Barbara Re. A case study of a semantic search engine for G2G collaboration based on intelligent document. In Proceedings of 4th International Conference on e-Government, RMIT University Melbourne, Australia, October 2008, pp. 499 – 506.
  • B. Re. Run Time Quality Assessment of e-Government Services. In proceeding of 1st international conference on Methodologies, Technologies and Tool enabling e-Government – MeTTeG07. Camerino, Italy, pp. 213 – 228, September 2007.
  • F. Corradini, L. A. Sabucedo, A. Polzonetti, L. A. Rifon, B. Re. A case study of semantic solutions for citizen-centered Web portals in eGovernment: the Tecut Portal. 6th International EGOV Conference 2007, DEXA, Regensburg (Germany), pp. 204-215, LNCS of Springer, September 2007.
  • F. Corradini, F. Marcantoni, A. Polzonetti, B. Re. A Formal Model for Quality of Service Measurement in e-Government. Information Technology Interfaces, 2007. ITI 2007. 29th International Conference, Cavtat, pp. 747 – 752, 25-28 June 2007.
  • F. Corradini, C. Ercoli, L. Forastieri, A. Polzonetti, B. Re. e-Government digital services for specific geographic area: Regione Marche. In proceeding of Mediterranean Conference on Information Systems (MCIS’06), San Sevolo, Venice (Italy), pp. 62-70, October 2006.
  • F. Corradini, F. De Angelis, A. Polzonetti, B. Re. Quality model for digital e-Government services. In proceeding of 2nd International Conference in e-Goverment (ICEG 2006), Pittsburgh, pp. 42-51, October 2006.
  • F. Corradini, F. De Angelis, A. Polzonetti, B. Re, E. Brugnoni. e-GovQoS: an Ontology for Quality of e-Government Services. In proceeding of 5th International EGOV Conference 2006, Krakow, pp. 171-178, September 2006.
  • F. Corradini, F. De Angelis, A. Polzonetti, B. Re. Quality Evaluation of eGovernment Digital Services. ACM International Conference Proceeding Series, Vol. 151, 2006 international conference on Digital government research, San Diego, pp. 377-378.
  • F. Corradini, C. Ercoli, A. Polzonetti and B. Re. A case study of partecipatory design in e-government system: e-services and e-ID. IADIS International Conference, Lisbona, Vol. 1, pp. 151-158, October 2005.
  • F. Corradini, C. Ercoli, E. Merelli and B. Re. A Matchmaker for BioMOBY (A quality model for biological services discovery). NETTAB Workshop on Models and Metaphors from Biology to Bioinformatics Tools, pp. 183-184, September 2004.

Article Published on National Conferences

  • S. Carota, D. Falcioni, M. L. Maggiulli, F. Marcantoni, R. Piangiarelli, A. Polzonetti, B. Re, A. Sergicomi. Cohesion 2.0: l’esperienza della Regione Marche. GARR Conference 2011 – Into the future since 20 years, Poster Section. Bologna, Novembre 2011.
  • F.Corradini, F. De Angelis, A. Polzonetti, B. Re. Interoperabilità e cooperazione nell’e-Government: il ruolo dei metadati. AICA 2007, Milano, pp 21- 29, Settembre 2007.
  • F.Corradini, F. De Angelis, C. Ercoli, A. Polzonetti, B. Re. Infrastruttura per il miglioramento dei servizi di e-Government: considerazioni e linee di sviluppo. AICA, Udine, pp. 71-74, Settembre 2005.
  • F.Corradini, C. Ercoli, E. Merelli and B. Re. An agent-based matchmaker (A case study in biological services discovery). WOA04, Sistemi complessi e agenti razionali, Torino, pp. 150-156, Novembre 2004.

Bachelor, Master and Phd Theses