Diego Figueira

	2009
5		Carlos Areces, Diego Figueira: Which Semantics for Neighbourhood Semantics? IJCAI 2009: 671-676
4		Diego Figueira, Luc Segoufin: Future-Looking Logics on Data Words and Trees. MFCS 2009: 331-343
3		Diego Figueira: Satisfiability of downward XPath with data equality tests. PODS 2009: 197-206
2		Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera: Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61
	2008
1		Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera: Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68

Coauthor Index

1	Carlos Areces	[1] [2] [5]
2	Santiago Figueira	[1]
3	Daniel Gorín	[2]
4	Sergio Mera	[1] [2]
5	Luc Segoufin	[4]

Colors in the list of coauthors