2008 |
5 | EE | Filippo Bonchi,
Maria Grazia Buscemi,
Vincenzo Ciancia,
Fabio Gadducci:
A Category of Explicit Fusions.
Concurrency, Graphs and Models 2008: 544-562 |
4 | EE | Vincenzo Ciancia,
Gian Luigi Ferrari,
Marco Pistore,
Emilio Tuosto:
History Dependent Automata for Service Compatibility.
Concurrency, Graphs and Models 2008: 625-641 |
3 | EE | Vincenzo Ciancia,
Gian Luigi Ferrari,
Roberto Guanciale,
Daniele Strollo:
Checking Correctness of Transactional Behaviors.
FORTE 2008: 134-148 |
2 | EE | Vincenzo Ciancia,
Ugo Montanari:
A Name Abstraction Functor for Named Sets.
Electr. Notes Theor. Comput. Sci. 203(5): 49-70 (2008) |
2007 |
1 | EE | Vincenzo Ciancia,
Gian Luigi Ferrari:
Co-Algebraic Models for Quantitative Spatial Logics.
Electr. Notes Theor. Comput. Sci. 190(3): 43-58 (2007) |