Walid Belkhir

	2011
11		Walid Belkhir, Alain Giorgetti: Lazy AC-Pattern Matching for Rewriting WRS 2011: 37-51
10		Walid Belkhir, Alain Giorgetti, Michel Lenczner: Rewriting and Symbolic Transformations for Multiscale Methods CoRR abs/1101.3218: (2011)
	2010
9		Walid Belkhir, Luigi Santocanale: The variable hierarchy for the games µ-calculus. Ann. Pure Appl. Logic 161(5): 690-707 (2010)
	2009
8		Walid Belkhir: Undirected Graphs of Entanglement 3 CoRR abs/0904.1696: (2009)
7		Walid Belkhir: The Star Height Hierarchy Vs. The Variable Hierarchy CoRR abs/0904.1701: (2009)
6		Walid Belkhir: Closure Under Minors of Undirected Entanglement CoRR abs/0904.1703: (2009)
5		Walid Belkhir: From Causal Semantics To Duration Timed Models CoRR abs/0907.3226: (2009)
	2008
4		Walid Belkhir, Luigi Santocanale: The Variable Hierarchy for the Lattice µ-Calculus. LPAR 2008: 605-620
	2007
3		Walid Belkhir, Luigi Santocanale: Undirected Graphs of Entanglement 2. FSTTCS 2007: 508-519
2		Walid Belkhir, Luigi Santocanale: Undirected Graphs of Entanglement Two CoRR abs/0705.0419: (2007)
1		Walid Belkhir, Luigi Santocanale: The Variable Hierarchy for the Games mu-Calculus CoRR abs/0710.2419: (2007)

Coauthor Index

1	Alain Giorgetti	[10] [11]
2	Michel Lenczner	[10]
3	Luigi Santocanale	[1] [2] [3] [4] [9]

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