| SAT Solving with GPU Accelerated Inprocessing M Osama, A Wijs, A Biere TACAS, 133-151, 2021 | 34 | 2021 |
| Parallel SAT simplification on GPU architectures M Osama, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2019 | 29 | 2019 |
| An efficient SAT-based test generation algorithm with GPU accelerator M Osama, L Gaber, AI Hussein, H Mahmoud Journal of Electronic Testing 34, 511-527, 2018 | 25 | 2018 |
| An efficient implementation of ant colony optimization on GPU for the satisfiability problem H Youness, A Ibraheim, M Moness, M Osama 2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015 | 21 | 2015 |
| A real-time heterogeneous emulator of a high-fidelity utility-scale variable-speed variable-pitch wind turbine M Moness, MO Mahmoud, AM Moustafa IEEE Transactions on Industrial Informatics 14 (2), 437-447, 2017 | 19 | 2017 |
| GPU acceleration of bounded model checking with ParaFROST M Osama, A Wijs International Conference on Computer Aided Verification, 447-460, 2021 | 18 | 2021 |
| SIGmA: GPU accelerated simplification of SAT formulas M Osama, A Wijs International Conference on Integrated Formal Methods, 514-522, 2019 | 17 | 2019 |
| An effective SAT solver utilizing ACO based on heterogenous systems H Youness, M Osama, A Hussein, M Moness, AM Hassan IEEE Access 8, 102920-102934, 2020 | 12 | 2020 |
| Multiple decision making in conflict-driven clause learning M Osama, A Wijs 2020 IEEE 32nd International Conference on Tools with Artificial …, 2020 | 11 | 2020 |
| Certified SAT solving with GPU accelerated inprocessing M Osama, A Wijs, A Biere Formal Methods in System Design 62 (1), 79-118, 2024 | 9 | 2024 |
| A GPU tree database for many-core explicit state space exploration A Wijs, M Osama International Conference on Tools and Algorithms for the Construction and …, 2023 | 9 | 2023 |
| GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data A Wijs, M Osama International Symposium on Model Checking Software, 188-197, 2023 | 7 | 2023 |
| Design of high performance Pseudorandom Clock Generator for compressive sampling applications M Osama, L Gaber, A Hussein 2016 33rd National Radio Science Conference (NRSC), 257-265, 2016 | 5 | 2016 |
| Innermost many-sorted term rewriting on GPUs J van Eerd, JF Groote, P Hijma, J Martens, M Osama, A Wijs Science of Computer Programming 225, 102910, 2023 | 4 | 2023 |
| Hitching a ride to a lasso: massively parallel on-the-fly LTL model checking M Osama, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| SeqFROST at the SAT Race 2022 M Osama, A Wijs SAT Competition 2022 - Solver and Benchmark Descriptions B-2022-1, 30-31, 2022 | 2 | 2022 |
| ParaFROST, ParaFROST CBT, ParaFROST HRE, ParaFROST ALL at the SAT Race 2020 M Osama, A Wijs SAT Competition 2020, 42, 2020 | 2 | 2020 |
| A highly-effective parallelization of statistical time-consuming tests of Pseudorandom Number Generators using CUDA M Osama, A Hussein 2015 Tenth International Conference on Computer Engineering & Systems (ICCES …, 2015 | 2 | 2015 |
| GPU Enabled Automated Reasoning MO Mahmoud | 1 | 2022 |
| SAT Encodings for Flood-It Puzzle M van Stiphout, M Osama, A Wijs SAT COMPETITION 2020, 87, 2020 | 1 | 2020 |
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of TechnologyПодтвержден адрес электронной почты в домене tue.nl