Federico Banti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2004–2008
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2006 | JELIA | An Event-Condition-Action Logic Programming Language. | Jos Jlio Alferes, Federico Banti, Antonio Brogi |
| 2005 | EPIA | Operational Semantics for DyLPs. | Federico Banti, Jos Jlio Alferes, Antonio Brogi |
| 2005 | LPNMR | The Well Supported Semantics for Multidimensional Dynamic Logic Programs. | Federico Banti, Jos Jlio Alferes, Antonio Brogi, Pascal Hitzler |
| 2004 | LPNMR | Semantics for Dynamic Logic Programming: A Principle-Based Approach. | Jos Jlio Alferes, Federico Banti, Antonio Brogi, Joo Alexandre Leite |