( en | de | ru )

 

Disambiguation of "Mahmood, Yasir"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterised complexity of model checking and satisfiability in propositional dependence logic

, and . Ann. Math. Artif. Intell., 90 (2-3): 271--296 (2022)
DOI: 10.1007/s10472-021-09730-w

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Muhammad Yasir

Yasir Diek

Yasir Zaki

Yasir Zaki

Athar Mahmood

 

Other publications of authors with the same name

Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic., and . CoRR, (2019)A systematic review of studies on use case points and expert-based estimation of software development effort., , and . J. Softw. Evol. Process., (2020)Genome assembly composition of the String ÄCGT" array: a review of data structure accuracy and performance challenges., , , , and . PeerJ Comput. Sci., (2023)Parameterised Complexity of Propositional Logic in Team Semantics., and . CoRR, (2021)Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation., , , and . IJCAI, page 3212-3220. ijcai.org, (2023)Computing Repairs Under Functional and Inclusion Dependencies via Argumentation., , , and . FoIKS, volume 14589 of Lecture Notes in Computer Science, page 23-42. Springer, (2024)Software Effort Estimation Accuracy Prediction of Machine Learning Techniques: A Systematic Performance Evaluation., , , , and . CoRR, (2021)Parameterized aspects of team-based formalisms and logical inference. University of Hanover, Germany, (2022)base-search.net (ftunivhannover:oai:www.repo.uni-hannover.de:123456789/13169).Software effort estimation accuracy prediction of machine learning techniques: A systematic performance evaluation., , , , and . Softw. Pract. Exp., 52 (1): 39-65 (2022)A Parameterized View on the Complexity of Dependence Logic., , and . LFCS, volume 13137 of Lecture Notes in Computer Science, page 125-142. Springer, (2022)