Published works

This is a list of my scientific publications. You can also access a simple text version of the same list, or a bibliography in BibTeX format.

Also: [Grouped by subject]       [Grouped by venue type]       [Grouped by year]        Other (submitted, in preparation, unpublished, etc.)

Requirements Engineering
2016 A. Ferrari, F. Dell'Orletta, A. Esuli, V. Gervasi, and S. Gnesi. Natural language requirements processing: a 4d vision.
IEEE Software, 2016.
(to be published).
 
2015 M. Bano, A. Ferrari, D. Zowghi, V. Gervasi, and S. Gnesi. Automated service selection using natural language processing.
In Proceedings of the Second Asia Pacific Requirements Engineering Symposium, Wuhan, China, Oct. 2015.
 
D. Zowghi, V. Gervasi, and D. Amyot, editors. Proceedings of the 2015 IEEE 23rd International Requirements Engineering Conference (RE), Ottawa, ON, Canada, Aug. 2015. IEEE CS Press.  
2014 D. Mairiza, D. Zowghi, and V. Gervasi. Utilizing TOPSIS: A multi criteria decision analysis technique for non-functional requirements conflicts.
In D. Zowghi and Z. Jin, editors, Requirements Engineering, volume 432 of Communications in Computer and Information Science, pages 31-44. Springer Berlin Heidelberg, Auckland, New Zaeland, Apr. 2014.
 
V. Gervasi and D. Zowghi. Supporting traceability through affinity mining.
In Proceedings of the 22nd IEEE International Requirements Engineering Conference (RE), pages 143-152, Karlskrona, Sweden, Aug. 2014. IEEE CS Press.
PDF
ABSTR
V. Gervasi and E. Riccobene. From English to ASM: On the process of deriving a formal specification from a natural language one.
Dagstuhl Reports, 3(9):85-90, 2014.
 
2013 V. Gervasi, R. Gacitua, M. Rouncefield, P. Sawyer, L. Kof, L. Ma, P. Piwek, A. de Roeck, A. Willis, H. Yang, and B. Nuseibeh. Unpacking tacit knowledge for requirements engineering.
In W. Maalej and A. Thurimella, editors, Managing Requirements Knowledge, chapter 2. Springer, Mar. 2013.
 
D. Mairiza, D. Zowghi, and V. Gervasi. Conflict characterization and analysis of non functional requirements: An experimental approach.
In Proceedings of the 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, Budapest, Hungary, Sept. 2013. IEEE CS Press.
PDF
2012 H. Yang, A. D. Roeck, V. Gervasi, A. Willis, and B. Niseibeh. Speculative requirements: Automatic detection of uncertainty in natural language requirements.
In Proceedings of the 20th IEEE International Requirements Engineering Conference, Chicago, IL, USA, Sept. 2012. IEEE CS Press.
 
2011 P. Sawyer, V. Gervasi, and B. Nuseibeh. Unknown knowns: Tacit knowledge in requirements engineeringig.
In Proceedings of the 19th IEEE International Requirements Engineering Conference, Trento, Italy, Aug. 2011. IEEE CS Press.
(Panel abstract).
 
B. Berenbach, M. Daneva, J. Doerr, S. Fricker, V. Gervasi, M. Glinz, A. Herrmann, B. Krams, N. H. Madhavji, B. Paech, S. Schockert, and N. Seyff, editors. 17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track, Essen, Germany, Aug. 2011. Institut fur Informatik und Wirtschaftsinformatik, Universitaet Duisburg-Essen.  
V. Gervasi and D. Zowghi. Mining requirements links.
In Proceedings of the 17th International Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, 2011. Springer-Verlag.
 
V. Gervasi and B. Paech. Report on the first REFSQ doctoral symposium.
In 17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track. paluno, University of Duisburg-Essen, 2011.
 
R. Gacitua, P. Sawyer, and V. Gervasi. Relevance-based abstraction identification: Technique and evaluation.
Requirements Engineering Journal, 16(3):251-265, 2011.
 
H. Yang, A. de Roeck, V. Gervasi, A. Willis, and B. Nuseibeh. Analysing anaphoric ambiguity in natural language requirements.
Requirements Engineering Journal, 16(3):163-189, 2011.
 
2010 V. Gervasi. Who framed Roger User? Problem frames as a user interaction design tool.
In Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, 2010.
 
H. Yang, A. Deroeck, V. Gervasi, A. Willis, and B. Nuseibeh. Extending nocuous ambiguity analysis for anaphora in natural language requirements.
In Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, 2010.
 
R. Gacitua, P. Sawyer, and V. Gervasi. On the effectiviness of abstraction identification in requirements engineering.
In Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, 2010.
 
V. Gervasi and D. Zowghi. On the role of ambiguity in RE.
In Proceedings of the 16th International Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, 2010. Springer-Verlag.
 
2009 G. A. Galilei and V. Gervasi. Enforcing consumer-specified security properties for modular software.
In Proceedings of the International Symposium on Engineering Secure Software and System (ESSoS-10), 2009.
 
V. Gervasi and R. Farahbod. JASMine: Accessing Java code from CoreASM.
In Rigorous Methods for Software Construction and Analysis, number 5115 in LNCS, pages 170-186. Springer-Verlag, 2009.
ABSTR
R. Farahbod, V. Gervasi, U. Glaesser, and G. Ma. CoreASM plug-in architecture.
In Rigorous Methods for Software Construction and Analysis, number 5115 in LNCS, pages 147-169. Springer-Verlag, 2009.
 
2008 V. Gervasi, P. Sawyer, B. Paech, and E. Kamsties. Special issue on selected papers from REFSQ'05 and '06.
Information and Software Technology, 50(1-2), Jan. 2008.
 
2007 S. Boyd, D. Zowghi, and V. Gervasi. Optimal-constraint lexicons for requirements specifications.
In Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, Trondheim, Norway, June 2007. Springer-Verlag.
PDF
ABSTR
2006 R. Farahbod, V. Gervasi, U. Glaesser, and M. Memon. Design exploration and experimental validation of abstract requirements.
In Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality, Luxembourg, Grand-Duchy of Luxembourg, June 2006. Essener Informatik Beitrage.
PDF
ABSTR
V. Ambriola and V. Gervasi. On the systematic analysis of natural language requirements with Circe.
Automated Software Engineering, 13(1):107-167, Jan. 2006.
PDF
ABSTR
V. Gervasi, P. Sawyer, and B. Paech, editors. Proceedings of the Twelfth International Working Conference on Requirements Engineering: Foundation for Software Quality, Luxembourg, Grand-Duchy of Luxembourg, June 2006. Essener Informatik Beitrage.  
2005 J. Natt och Dag and V. Gervasi. Managing large repositories of natural language requirements.
In A. Airum and C. Wohlin, editors, Engineering and Managing Software Requirements. Springer-Verlag, 2005.
PDF
ABSTR
V. Gervasi and D. Zowghi. Reasoning about inconsistencies in natural language requirements.
ACM Transactions on Software Engineering and Methodology, 14(3):277-330, July 2005.
PDF
ABSTR
A. Sutcliffe, A. Hickey, and V. Gervasi, editors. Proceedings of the Third International Workshop on Comparative Evaluation in Requirements Engineering (CERE'05), Paris, France, 2005. FIT-UTS.  
V. Gervasi, D. Zowghi, and S. E. Sim, editors. Proceedings of the Second International Workshop on Comparative Evaluation in Requirements Engineering (CERE'04), Kyoto, Japan, 2005. FIT-UTS.  
J. Natt och Dag, V. Gervasi, S. Brinkkemper, and B. Regnell. A linguistic engineering approach to large-scale requirements management.
IEEE Software, 22(1), Jan./Feb. 2005.
PDF
B. Regnell, E. Kamsties, and V. Gervasi. Special issue on selected papers from REFSQ'04.
Requirements Engineering Journal, 10(4), Nov. 2005.
 
D. Zowghi and V. Gervasi. Special issue on automated tools for requirements engineering.
International Journal of Computer Systems Science and Engineering, 20(1), Jan. 2005.
 
E. Kamsties, V. Gervasi, and P. Sawyer, editors. Proceedings of the Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, Porto, Portugal, June 2005. Essener Informatik Beitrage.  
2004 V. Ambriola, L. Del Carlo, and V. Gervasi. Eclipse as a requirements engineering environment.
In Proc. of the ICSE Workshop on Directions in Software Engineering Environments, Edinburgh, Scotland, UK, May 2004.
PDF
ABSTR
V. Gervasi, E. Kamsties, B. Regnell, and C. Salinesi. Ten years of REFSQ: A quantitative analysis.
In Proc. of the 10th Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality, pages 267-284, Riga, Latvia, June 2004.
PDF
ABSTR
V. Gervasi, D. Zowghi, S. Easterbrook, and S. E. Sim. Report on the first international workshop on comparative evaluation in requirements engineering.
ACM SIGSOFT Software Engineering Notes, 29(2):1-4, Mar. 2004.
PDF
ABSTR
V. Gervasi, D. Zowghi, S. Easterbrook, and S. E. Sim, editors. Proceedings of the First International Workshop on Comparative Evaluation in Requirements Engineering (CERE'03), Monterey Bay, California, US, 2004. FIT-UTS.  
J. Natt och Dag, V. Gervasi, S. Brinkkemper, and B. Regnell. Speeding up requirements management in a product software company: Linking customer wishes to product requirements through linguistic engineering.
In Proc. of the 12th IEEE International Requirements Engineering Conference, Kyoto, Japan, Sept. 2004.
PDF
ABSTR
B. Regnell, E. Kamsties, and V. Gervasi, editors. Proceedings of the Tenth Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality, Riga, Latvia, June 2004. Essener Informatik Beitrage.  
2003 V. Gervasi and D. Zowghi. On the interplay between consistency, completeness, and correctness in requirements evolution.
Information and Software Technology, 45(14):993-1009, Nov. 2003.
PS
PDF
ABSTR
README
V. Ambriola and V. Gervasi. The Circe approach to the systematic analysis of NL requirements.
Technical Report TR-03-05, University of Pisa, Dipartimento di Informatica, Mar. 2003.
PS
ABSTR
2002 D. Zowghi and V. Gervasi. The 3Cs of requirements: Consistency, completeness, and correctness.
In C. Salinesi, B. Regnell, and K. Pohl, editors, Proc. of the 8th International Workshop on Requirements Engineering: Foundation for Software Quality, pages 155-164. Essener Informatik Beitrage, Sept. 2002.
PDF
ABSTR
V. Gervasi and B. Nuseibeh. Lightweight validation of natural language requirements.
Software: Practice & Experience, 32(2):113-133, Feb. 2002.
PDF
ABSTR
2001 D. Zowghi, V. Gervasi, and A. McRae. Using default reasoning to discover inconsistencies in natural language requirements.
In Proc. of the 8th Asia-Pacific Software Engineering Conference, pages 133-140, Dec. 2001.
PS
ABSTR
D. Zowghi and V. Gervasi. Why is RE for web-based software development easier?
In Proc. of the 7th International Workshop on Requirements Engineering: Foundation for Software Quality, pages 215-220, June 2001.
PS
ABSTR
V. Gervasi. Synthesizing ASMs from natural language requirements.
In Proc. of the 8th EUROCAST Workshop on Abstract State Machines, pages 212-215, February 2001.
PS
V. Ambriola and V. Gervasi. On the parallel refinement of NL requirements and UML diagrams.
In Proc. of the ETAPS 2001 Workshop on Trasformations in UML, Genova, Italy, April 2001.
PS
V. Gervasi. The Cico domain-based parser.
Technical Report TR-01-25, University of Pisa, Dipartimento di Informatica, November 2001.
PS
ABSTR
2000 V. Gervasi. Environment Support for Requirements Writing and Analysis.
PhD thesis, University of Pisa, March 2000.
PS
ABSTR
V. Gervasi and B. Nuseibeh. Lightweight validation of natural language requirements: a case study.
In Proc. of the 4th International Conference on Requirements Engineering, pages 140-148, June 2000.
PS
PDF
ABSTR
V. Ambriola and V. Gervasi. Supporting multiple views on requirements.
In Proc. of the 6th Maghrebian Conference on Computer Sciences, pages 321-330, November 2000.
PS
ABSTR
V. Ambriola and V. Gervasi. Process metrics for requirements analysis.
In Proc. of the 7th European Workshop on Software Process Technology, pages 90-95, February 2000.
PS
ABSTR
1999 V. Ambriola and V. Gervasi. Experiences with domain-based parsing of natural language requirements.
In G. Fliedl and H. C. Mayr, editors, Proc. of the 4th International Conference on Applications of Natural Language to Information Systems, number 129 in OCG Schriftenreihe (Lecture Notes), pages 145-148, June 1999.
PS
1998 V. Ambriola and V. Gervasi. Representing structural requirements in software architecture.
In R. Nigel Horspool, editor, Proc. of the International IFIP Conference on Systems Implementation 2000: Languages, Methods and Tools, pages 114-127, London, UK, February 1998. Chapman & Hall.
PS
ABSTR
F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi, and S. Ruggieri. Achieving quality in natural language requirements.
In Proc. of the 11th International Software Quality Week, May 1998.
PS
ABSTR
V. Ambriola and V. Gervasi. The case for cooperative requirements writing.
In S. Demeyer and J. Bosch, editors, Proc. of the ECOOP Workshop on Automating the OO Software Development Process, number 1543 in Lecture Notes in Computer Science, pages 477-479, July 1998.
PS
ABSTR
F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi, and S. Ruggieri. On linguistic quality of natural language requirements.
In E. Dubois, A. L. Opdahl, and K. Pohl, editors, Proc. of the 4th Workshop on Requirements Engineering: Foundations for Software Quality, pages 57-62. Presses Universitaires de Namur, June 1998.
PS
ABSTR
1997 V. Ambriola and V. Gervasi. An environment for cooperative construction of natural-language requirements bases.
In Proc. of the 8th International Conference on Software Engineering Environments, pages 124-130, Los Alamitos, April 1997. IEEE Computer Society Press.
PS
V. Ambriola and V. Gervasi. Processing natural language requirements.
In Proc. of the 12th International Conference on Automated Software Engineering, pages 36-45, Los Alamitos, November 1997. IEEE Computer Society Press.
PS
Distributed Algorithms
2014 V. Gervasi, G. Prencipe, and V. Volpi. Zombie swarms: An investigation on the behaviour of your undead relatives.
In Proceedings of the Seventh International Conference on Fun with Algorithms, volume 8496 of Lecture Notes in Computer Science, pages 206-217, Lipari island, Italy, July 2014.
 
2004 V. Gervasi and G. Prencipe. On the efficient capture of dangerous criminals.
In Proc. of the 3rd International Conference on Fun With Algorithms, Island of Elba, Italy, May 2004.
PDF
V. Gervasi and G. Prencipe. Coordination without communication: The case of the flocking problem.
Discrete Applied Mathematics, 143(1-3):203-223, Sept. 2004.
PDF
ABSTR
2003 V. Gervasi and G. Prencipe. Robotic cops: The intruder problem.
In Proc. of the 2003 IEEE International Conference on Systems, Man, and Cybernetics, pages 2284-2289, Washington, DC, USA, Oct. 2003.
PDF
ABSTR
2002 G. Prencipe and V. Gervasi. On the intelligent behaviour of stupid robots.
In Proc. of the AI*IA Workshop on Robotics (GLR), Siena, Italy, Sept. 2002.
PS
2001 V. Gervasi and G. Prencipe. Flocking by a set of autonomous mobile robots.
Technical Report TR-01-24, University of Pisa, Dipartimento di Informatica, October 2001.
PS
V. Gervasi and G. Prencipe. Need a Fleet? Use the Force!
In Proc. of the 2nd International Conference on Fun With Algorithms, May 2001.
PS
Formal Specifications
2014 S. Zenzaro, V. Gervasi, and J. Soldani. WebASM: An abstract state machine execution environment for the web.
In Y. Ait Ameur and K.-D. Schewe, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z, volume 8477 of Lecture Notes in Computer Science, pages 216-221. Springer Berlin Heidelberg, June 2014.
 
V. Gervasi, E. Boerger, and A. Cisternino. Modeling web applications infrastructure with ASMs.
Science of Computer Programming, 94(2):69-92, Nov. 2014.
 
R. Farahbod, V. Gervasi, and U. Glaesser. Executable formal specifications of complex distributed systems with CoreASM.
Science of Computer Programming, 79(1):23-38, Jan. 2014.
 
E. Riccobene, P. Arcaini, M. Dausend, A. Fleischmann, A. Gargantini, V. Gervasi, U. Glaesser, A. Raschke, G. Schellhorn, K.-D. Schewe, Q. Wang, and H. Y. Shahir. Comparison of methods and tools: the report of the ASM group.
Dagstuhl Reports, 3(9):101-102, 2014.
 
M. Dausend, V. Gervasi, A. Raschke, and H. Y. Shahir. An executable CoreASM model of the termination detection protocol.
Dagstuhl Reports, 3(9):84, 2014.
 
V. Gervasi and E. Riccobene. From English to ASM: On the process of deriving a formal specification from a natural language one.
Dagstuhl Reports, 3(9):85-90, 2014.
 
2012 E. Boerger, A. Cisternino, and V. Gervasi. Contribution to a rigorous analysis of web applications frameworks.
In Proceedings of ABZ 2012, LNCS. Springer-Verlag, June 2012.
 
E. Boerger, A. Cisternino, and V. Gervasi. Ambient abstract state machines with applications.
Journal of Computer and System Sciences, 78:939-959, 2012.
 
V. Gervasi. An ASM model of concurrency in a web browser.
In Proceedings of ABZ 2012, number 7316 in LNCS, pages 79-93. Springer-Verlag, June 2012.
 
2011 R. Farahbod, V. Gervasi, and U. Glaesser. An extensible toolset for design and validation of abstract state machine models.
Science of Computer Programming, 2011.
(to appear).
 
2010 C. Dittamo, V. Gervasi, E. Boerger, and A. Cisternino. A formal specification of the semantics of ECMAScript.
In Proceedings of the 3rd International Conference on Verified Software: Theories, Tools and Experiments, Edimburgh, UK, 2010.
(abstract).
 
2009 R. Farahbod, V. Gervasi, U. Glaesser, and G. Ma. CoreASM plug-in architecture.
In Rigorous Methods for Software Construction and Analysis, number 5115 in LNCS, pages 147-169. Springer-Verlag, 2009.
 
G. A. Galilei and V. Gervasi. Enforcing consumer-specified security properties for modular software.
In Proceedings of the International Symposium on Engineering Secure Software and System (ESSoS-10), 2009.
 
V. Gervasi and R. Farahbod. JASMine: Accessing Java code from CoreASM.
In Rigorous Methods for Software Construction and Analysis, number 5115 in LNCS, pages 170-186. Springer-Verlag, 2009.
ABSTR
2008 V. Gervasi and D. Mazzei. Using abstract state machines in modeling biological systems.
In R. Burattini, R. Contro, P. Dario, and L. Landini, editors, Atti del Congresso Nazionale di Bioingegneria 2008, pages 79-80, Pisa, Italy, July 2008. Patron editore.
 
V. Gervasi and G. A. Galilei. Software manipulation with annotations in Java.
In E. Boerger and A. Cisternino, editors, Advances in Software Engineering, number 5316 in LNCS. Springer-Verlag, 2008.
PDF
ABSTR
2007 R. Farahbod, V. Gervasi, and U. Glaesser. CoreASM: An extensible ASM execution engine.
Fundamenta Informaticae, 77:71-103, Mar./Apr. 2007.
PDF
ABSTR
2006 R. Farahbod, V. Gervasi, U. Glaesser, and M. Memon. Design exploration and experimental validation of abstract requirements.
In Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality, Luxembourg, Grand-Duchy of Luxembourg, June 2006. Essener Informatik Beitrage.
PDF
ABSTR
2005 R. Farahbod, V. Gervasi, and U. Glaesser. Design and specification of the CoreASM execution engine.
Technical Report SFU-CMPT-TR-2005-02, Simon Fraser University, Vancouver, BC, Feb. 2005.
 
R. Farahbod, V. Gervasi, and U. Glaesser. CoreASM: An extensible ASM execution engine.
In Proc. of the 12th International Workshop on Abstract State Machines, pages 153-166, Paris, Mar. 2005.
PS
PDF
ABSTR
E. Boerger, N. G. Fruja, V. Gervasi, and R. F. Staerk. A high-level modular definition of the semantics of C#.
Theoretical Computer Science, 336(2/3):235-284, May 2005.
PDF
ABSTR
2003 E. Boerger, G. Fruja, V. Gervasi, and R. F. Staerk. A high-level modular definition of the semantics of C#.
Technical report, University of Pisa and ETH Zurich, 2003.
PDF
ABSTR
Software Process
2000 V. Ambriola and V. Gervasi. Process metrics for requirements analysis.
In Proc. of the 7th European Workshop on Software Process Technology, pages 90-95, February 2000.
PS
ABSTR
1994 V. Ambriola, R. Di Meglio, V. Gervasi, and B. Mercurio. Applying a metric framework to the software process: an experiment.
In B. C. Warboys, editor, Proc. of the 3rd European Workshop on Software Process Technology, number 772 in Lecture Notes in Computer Science, pages 207-226, 1994.
ABSTR
1993 V. Gervasi and B. Mercurio. Observing and measuring the software development process.
Master's thesis, University of Pisa, Pisa, Italy, December 1993.
(in Italian).
PS
Text and Language
2002 V. Gervasi and V. Ambriola. Quantitative assessment of textual complexity.
In L. Merlini Barbaresi, editor, Complexity in Language and Text, pages 197-228. PLUS-University of Pisa, 2002.
PDF
2001 V. Gervasi. The Cico domain-based parser.
Technical Report TR-01-25, University of Pisa, Dipartimento di Informatica, November 2001.
PS
ABSTR
V. Gervasi and V. Ambriola. The Cico domain-based parser.
In Atti del Convegno Nazionale ``Agenti Intelligenti: Interazione e acquisizione della conoscenza'', Milan, Italy, Jan. 2001.
 
Active, Deductive, Heterogeneous Databases
2000 E. Bertino, B. Catania, V. Gervasi, and A. Raffaetą. A logical approach to update propagation in heterogeneous databases.
Journal of Logic Programming, 43(1):15-48, 2000.
PS
PDF
ABSTR
1998 E. Bertino, B. Catania, V. Gervasi, and A. Raffaetą. Active-U-Datalog: Integrating active rules in a logical update language.
In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transaction and change in logic databases: invited surveys and selected papers, number 1472 in Lecture Notes in Computer Science, pages 107-133. Springer-Verlag, Berlin, 1998.
PDF
ABSTR
1997 V. Gervasi and A. Raffaetą. Integrating active rules in U-Datalog.
In M. Falaschi, M. Navarro, and A. Policriti, editors, Proc. of the APPIA-GULP-PRODE joint conference, pages 117-128, 1997.
PS
ABSTR
V. Gervasi and A. Raffaetą. Active-U-Datalog: integrating active rules in a deductive database.
Technical Report TR-97-19, University of Pisa, Dipartimento di Informatica, July 1997.
PS
ABSTR
Course Material
2011 M. Tavosanis, M. T. Lupia, and V. Gervasi. Editoria Digitale.
De Agostini, 2011.
 
R. Bruni, A. Corradini, and V. Gervasi. Programmazione in Java.
Apogeo, second edition, 2011.
 
2009 R. Bruni, A. Corradini, and V. Gervasi. Programmazione in Java.
Apogeo, 2009.
 
2005 P. Manghi, A. Brogi, A. Martinelli, V. Gervasi, A. Fabrizio, and G. Pacini. Le Basi di Dati per Medicina e Farmacia.
McGraw-Hill, 2005.
 
V. Gervasi, A. Martinelli, A. Brogi, and P. Manghi. Il foglio elettronico per Medicina e Farmacia.
McGraw-Hill, 2005.
 
2004 V. Gervasi, S. Pelagatti, S. Ruggieri, and F. Scozzari. Programmazione di sistema in linguaggio C, Feb. 2004.
C and UNIX system programming course (in Italian).
 
2000 V. Gervasi. La costruzione razionale di una specifica di requisiti: il caso mu-SMA, Febbraio 2000.
Software engineering laboratory course (in Italian).
PS
1997 V. Gervasi and P. Manghi. La realizzazione di un sistema informativo: un caso di studio, Settembre 1997.
Database laboratory course (in Italian).
PS
Other
2013 A. Cisternino and V. Gervasi. La gara nazionale di programmazione della Macchina di Turing.
In G. A. Cignoni and F. Gadducci, editors, La CEP prima della CEP: storia dell'informatica - Atti del convegno, pages 111-118. Edizioni PLUS, Nov. 2013.
(in Italian).
 
2012 G. Baldi, D. Mazzei, V. Gervasi, and F. Forfori. Toolkit for wearable electrical impedance tomography (TWEIT): a software library for real-time image reconstruction on mobile devices.
In Proceedings of the 26th International Congress on Computer-Assisted Radiology, June 2012.
 
2005 A. Cisternino and V. Gervasi. Meta-programming without quasi-quotation.
In Proceedings of the 2nd MetaOCaml Workshop, Tallin, Estonia, Sept. 2005.
 
A. Cisternino and V. Gervasi. A runtime for multi-stage programming.
In Proceedings of the 2nd MetaOCaml Workshop, Tallin, Estonia, Sept. 2005.
 
L. Spinsanti, F. Giannotti, F. Varanini, D. Pedreschi, V. Gervasi, S. Ruggieri, and A. Cisternino. CRETA: un sistema di produzione di percorsi di simulazione per l'apprendimento.
In Atti di Expo e-Learning 2005, Ferrara, Italy, Oct. 2005.
(in Italian).
PDF
1999 V. Gervasi and D. Rosaci. School on information extraction, 2nd edition.
AI*IA Notizie, 12(4):65-66, December 1999.
(in Italian).
 

The electronic version of the papers above is provided for personal and academic use only. Copyright of some of the papers is owned by the publisher, and should be included explicitly in any private distribution of the papers.