User Modeling Using Network Layer Information. - Kiarash Mizanian; Morteza Analoui; Reza Zakeri; Shahab Tasharrofi (ICN/ICONS/MCL, 2006)

Speed-Up Techniques for Negation in Grounding. - Amir Aavani; Shahab Tasharrofi; Gulay Ünel; Eugenia Ternovska; David G. Mitchell (LPAR (Dakar), 2010)

PBINT, A Logic for Modelling Search Problems Involving Arithmetic. - Shahab Tasharrofi; Eugenia Ternovska (LPAR (Yogyakarta), 2010)

A Semantic Account for Modularity in Multi-language Modelling of Search Problems. - Shahab Tasharrofi; Eugenia Ternovska (FroCoS, 2011)

Solving Modular Model Expansion: Case Studies. - Shahab Tasharrofi; Xiongnan (Newman) Wu; Eugenia Ternovska (INAP/WLP, 2011)

Solving Modular Model Expansion Tasks - Shahab Tasharrofi; Xiongnan (Newman) Wu; Eugenia Ternovska (CoRR, 2011)

Modular Representation of a Business Process Planner. - Shahab Tasharrofi; Eugenia Ternovska (KiBP@KR, 2012)

Enfragmo: A System for Modelling and Solving Search Problems with Logic. - Amir Aavani; Xiongnan (Newman) Wu; Shahab Tasharrofi; Eugenia Ternovska; David G. Mitchell (LPAR, 2012)

A Rational Extension of Stable Model Semantics to the Full Propositional Language. - Shahab Tasharrofi (IJCAI, 2013)

Generalized Multi-Context Systems. - Shahab Tasharrofi; Eugenia Ternovska (KR, 2014)

Three Semantics for Modular Systems. - Shahab Tasharrofi; Eugenia Ternovska (CoRR, 2014)

Solving QBF Instances with Nested SAT Solvers. - Bart Bogaerts 001; Tomi Janhunen; Shahab Tasharrofi (AAAI Workshop: Beyond NP, 2016)

SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. - Tomi Janhunen; Shahab Tasharrofi; Eugenia Ternovska (AAAI, 2016)

Writing Declarative Specifications for Clauses. - Martin Gebser; Tomi Janhunen; Roland Kaminski; Torsten Schaub; Shahab Tasharrofi (JELIA, 2016)

Declarative Solver Development: Case Studies. - Bart Bogaerts 001; Tomi Janhunen; Shahab Tasharrofi (KR, 2016)

SAT-to-SAT in QBFEval 2016. - Bart Bogaerts 001; Tomi Janhunen; Shahab Tasharrofi (QBF@SAT, 2016)

Stable-unstable semantics: Beyond NP with normal logic programs. - Bart Bogaerts 001; Tomi Janhunen; Shahab Tasharrofi (Theory Pract. Log. Program., 2016)