| 2009 |
|---|
| 9 | EE | Federico Banti,
Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
Electr. Notes Theor. Comput. Sci. 235: 71-105 (2009) |
| 2008 |
|---|
| 8 | EE | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
| 2006 |
|---|
| 7 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi:
An Event-Condition-Action Logic Programming Language.
JELIA 2006: 29-42 |
| 2005 |
|---|
| 6 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi:
Operational Semantics for DyLPs.
EPIA 2005: 43-54 |
| 5 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi,
Pascal Hitzler:
The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
LPNMR 2005: 356-368 |
| 4 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi,
João Alexandre Leite:
The Refined Extension Principle for Semantics of Dynamic Logic Programming.
Studia Logica 79(1): 7-32 (2005) |
| 2004 |
|---|
| 3 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi:
From Logic Programs Updates to Action Description Updates.
CLIMA V 2004: 52-77 |
| 2 | EE | Federico Banti,
José Júlio Alferes,
Antonio Brogi:
Well Founded Semantics for Logic Program Updates.
IBERAMIA 2004: 397-407 |
| 1 | EE | José Júlio Alferes,
Federico Banti,
Antonio Brogi,
João Alexandre Leite:
Semantics for Dynamic Logic Programming: A Principle-Based Approach.
LPNMR 2004: 8-20 |
