Federico Banti

	2011
12		José Júlio Alferes, Federico Banti, Antonio Brogi: Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81 (2011)
11		Federico Banti, Rosario Pugliese, Francesco Tiezzi: An accessible verification environment for UML models of services. J. Symb. Comput. 46(2): 119-149 (2011)
	2010
10		Federico Banti, Rosario Pugliese, Francesco Tiezzi: A criterion for separating process calculi EXPRESS'10 2010: 16-30
	2009
9		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
8		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
7		José Júlio Alferes, Federico Banti, Antonio Brogi: An Event-Condition-Action Logic Programming Language. JELIA 2006: 29-42
	2005
6		Federico Banti, José Júlio Alferes, Antonio Brogi: Operational Semantics for DyLPs. EPIA 2005: 43-54
5		Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler: The Well Supported Semantics for Multidimensional Dynamic Logic Programs. LPNMR 2005: 356-368
4		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)
	2004
3		José Júlio Alferes, Federico Banti, Antonio Brogi: From Logic Programs Updates to Action Description Updates. CLIMA 2004: 52-77
2		Federico Banti, José Júlio Alferes, Antonio Brogi: Well Founded Semantics for Logic Program Updates. IBERAMIA 2004: 397-407
1		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

Coauthor Index

1	Lucia Acciai	[8]
2	José Júlio Alferes	[1] [2] [3] [4] [5] [6] [7] [12]
3	Antonio Brogi	[1] [2] [3] [4] [5] [6] [7] [12]
4	Allan Clark	[8]
5	Alessandro Fantechi	[8]
6	Stephen Gilmore (Stephen T. Gilmore)	[8]
7	Stefania Gnesi	[8]
8	László Gönczy	[8]
9	Pascal Hitzler	[5]
10	Matthias M. Hölzl	[8]
11	Nora Koch	[8]
12	Alessandro Lapadula	[8] [9]
13	João Leite (João Alexandre Leite)	[1] [4]
14	Philip Mayer	[8]
15	Franco Mazzanti	[8]
16	Rosario Pugliese	[8] [9] [10] [11]
17	Andreas Schroeder	[8]
18	Francesco Tiezzi	[8] [9] [10] [11]
19	Mirco Tribastone	[8]
20	Dániel Varró	[8]
21	Martin Wirsing	[8]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page