Federico Banti

13 papers B 3C 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2011 J jnl
An accessible verification environment for UML models of services.
J. Symb. Comput.
Federico Banti, Rosario Pugliese, Francesco Tiezzi
2011 J jnl
Evolving reactive logic programs.
Intelligenza Artificiale
José Júlio Alferes, Federico Banti, Antonio Brogi
2010 — conf
A criterion for separating process calculi
EXPRESS
Federico Banti, Rosario Pugliese, Francesco Tiezzi
2008 — conf
Evolving Reactive Logic Programs.
Il Milione
José Júlio Alferes, Federico Banti, Antonio Brogi
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 — conf
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.
WWV
Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2006 B conf
An Event-Condition-Action Logic Programming Language.
JELIA
José Júlio Alferes, Federico Banti, Antonio Brogi
2005 Misc conf
Operational Semantics for DyLPs.
EPIA
Federico Banti, José Júlio Alferes, Antonio Brogi
2005 J jnl
The Refined Extension Principle for Semantics of Dynamic Logic Programming.
Stud Logica
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2005 B conf
The Well Supported Semantics for Multidimensional Dynamic Logic Programs.
LPNMR
Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
2004 — conf
From Logic Programs Updates to Action Description Updates.
CLIMA
José Júlio Alferes, Federico Banti, Antonio Brogi
2004 B conf
Semantics for Dynamic Logic Programming: A Principle-Based Approach.
LPNMR
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2004 — conf
Well Founded Semantics for Logic Program Updates.
IBERAMIA
Federico Banti, José Júlio Alferes, Antonio Brogi