Mahsa Shirmohammadi

Publications

Citations

H-Index

2010

Active since

Affiliations

Laboratoire Spécification et Vérification(Current)

Mahsa Shirmohammadi is an author at Laboratoire Spécification et Vérification specializing in computational complexity, discrete mathematics, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceDiscrete MathematicsComputational ComplexityLanguageEducationLinguisticsGraph TheoryVerificationFormal Methods

Publications per year

2010–2016

Publications

Roughness in Cayley graphs

M. H. Shahzamanian, Mahsa Shirmohammadi, Bijan Davvaz · Information Sciences · 2010 · 37 citations

Graph Theory, Algebraic Graph Theory, Structural Graph Theory +5

Synchronizing Words for Weighted and Timed Automata

Laurent Doyen, Line Juhl, Kim G. Larsen et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014 · 14 citations · Full text

Engineering, Verification, Synchronization Problem +20

On Restricted Nonnegative Matrix Factorization

Dmitry Chistikov, Stefan Kiefer, Ines Marušić et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 12 citations · Full text

Mathematical Programming, Restricted Nmf, Low-rank Approximation +11

Rows per page

1–3 of 3