Federico Banti

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Federico Banti, Rosario Pugliese, Francesco Tiezzi
An accessible verification environment for UML models of services. J. Symb. Comput. 46 (2) (2011)
José Júlio Alferes, Federico Banti, Antonio Brogi
Evolving reactive logic programs. Intelligenza Artificiale 5 (1) (2011)
Federico Banti, Rosario Pugliese, Francesco Tiezzi
A criterion for separating process calculi EXPRESS (2010)
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. Electron. Notes Theor. Comput. Sci. 235 (2009)
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)
José Júlio Alferes, Federico Banti, Antonio Brogi
Evolving Reactive Logic Programs. Il Milione (2008)
José Júlio Alferes, Federico Banti, Antonio Brogi
An Event-Condition-Action Logic Programming Language. JELIA (2006)
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica 79 (1) (2005)
Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR (2005)
Federico Banti, José Júlio Alferes, Antonio Brogi
Operational Semantics for DyLPs. EPIA (2005)
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR (2004)
Federico Banti, José Júlio Alferes, Antonio Brogi
Well Founded Semantics for Logic Program Updates. IBERAMIA (2004)
José Júlio Alferes, Federico Banti, Antonio Brogi
From Logic Programs Updates to Action Description Updates. CLIMA (2004)