Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Federico Banti

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ia/AlferesBB11
- ask others
José Júlio Alferes, Federico Banti, Antonio Brogi: Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81 (2011)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsc/BantiPT11
- ask others
Federico Banti, Rosario Pugliese, Francesco Tiezzi: An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011)
2010
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1011-6430
- ask others
Federico Banti, Rosario Pugliese, Francesco Tiezzi: A criterion for separating process calculi. EXPRESS'10 2010: 16-30

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BantiLPT09
- ask others
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
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/WirsingHABCFGGGKLMMPSTTV08
- ask others
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
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jelia/AlferesBB06
- ask others
José Júlio Alferes, Federico Banti, Antonio Brogi: An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42
2005
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sLogica/AlferesBBL05
- ask others
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)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/epia/BantiAB05
- ask others
Federico Banti, José Júlio Alferes, Antonio Brogi: Operational Semantics for DyLPs. EPIA 2005: 43-54
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/BantiABH05
- ask others
Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
2004
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/clima/AlferesBB04
- ask others
José Júlio Alferes, Federico Banti, Antonio Brogi: From Logic Programs Updates to Action Description Updates. CLIMA 2004: 52-77
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iberamia/BantiAB04
- ask others
Federico Banti, José Júlio Alferes, Antonio Brogi: Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/AlferesBBL04
- ask others
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