UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo
Login | Create Account

Items where Author is "Gervasi, Vincenzo"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 5.

Book

Dittamo, Cristian and Gervasi, Vincenzo and Boerger, Egon and Cisternino, Antonio (2011) A formal specification of the semantics of ECMAScript. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambriola, Vincenzo and Gervasi, Vincenzo (2003) The Circe approach to the systematic analysis of NL requirements. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo (2001) The Cico Domain-Based Parser. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo and Prencipe, Giuseppe (2001) Flocking by a Set of Autonomous Mobile Robots. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gervasi, Vincenzo and Raffaetà, Alessandra (1997) Active-U-Datalog: integrating active rules in a deductive database. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Thu Apr 25 14:21:50 2024 CEST.
EPrints Logo
UnipiEprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.