Federico Banti

According to our database, Federico Banti authored at least 12 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

An accessible verification environment for UML models of services.

Federico Banti, Rosario Pugliese, Francesco Tiezzi

J. Symb. Comput., 2011

Evolving reactive logic programs.

José Júlio Alferes, Federico Banti, Antonio Brogi

Intelligenza Artificiale, 2011

2010

A criterion for separating process calculi

Federico Banti, Rosario Pugliese, Francesco Tiezzi

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

2008

Specification and Analysis of SOC Systems Using COWS: A Finance Case Study.

Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

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ó

Proceedings of the Leveraging Applications of Formal Methods, 2008

2006

An Event-Condition-Action Logic Programming Language.

José Júlio Alferes, Federico Banti, Antonio Brogi

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

The Refined Extension Principle for Semantics of Dynamic Logic Programming.

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite

Stud Logica, 2005

The Well Supported Semantics for Multidimensional Dynamic Logic Programs.

Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Operational Semantics for DyLPs.

Federico Banti, José Júlio Alferes, Antonio Brogi

Proceedings of the Progress in Artificial Intelligence, 2005

2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach.

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Well Founded Semantics for Logic Program Updates.

Federico Banti, José Júlio Alferes, Antonio Brogi

Proceedings of the Advances in Artificial Intelligence, 2004

From Logic Programs Updates to Action Description Updates.

José Júlio Alferes, Federico Banti, Antonio Brogi

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004