Concepedia

Mana Taghdiri

MT

Statistics

Publications

7

Citations

200

H-Index

7

Active since

2004

Affiliations

Massachusetts Institute of Technology(Current)

Karlsruhe Institute of Technology

University of California, Berkeley

Mana Taghdiri is an author at Massachusetts Institute of Technology specializing in computer science, computing, and formal methods.

Publications per year

2004–2013

7

Publications

7

Debugging overconstrained declarative models using unsatisfiable cores

Ilya Shlyakhter, Robert Seater, Darren L. Jackson et al. · 2004 · 63 citations

Computing, Computer Science, Formal Methods +9

Inferring specifications to detect errors in code

Mana Taghdiri, Daniel J. Jackson · Automated Software Engineering · 2006 · 60 citations

Computing, Computer Science, Algorithms +16

Lightweight extraction of syntactic specifications

Mana Taghdiri, Robert Seater, Daniel Jackson · 2006 · 18 citations

Computing, Computer Science, Formal Methods +16

Inferring specifications to detect errors in code

Mana Taghdiri · 2004 · 18 citations

Computing, Computer Science, Algorithms +16

Applications and extensions of Alloy: past, present and future

Emina Torlak, Mana Taghdiri, Greg Dennis et al. · Mathematical Structures in Computer Science · 2013 · 14 citations

Computing, Computer Science, Compilers +9

1–5 of 7