Mana Taghdiri (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Mana Taghdiri, Robert Seater, Daniel Jackson: Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286

2 Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105

Selection of 2 from 5 records - Mana Taghdiri has 4 coauthors

4		Mana Taghdiri, Robert Seater, Daniel Jackson: Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286
2		Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105