2.4k citations
- Argonne National LaboratoryUS38 papers
- Lawrence Berkeley National LaboratoryUS37 papers
- Michigan State UniversityUS37 papers
- University of VirginiaUS37 papers
- Duke UniversityUS36 papers
- Massachusetts Institute of TechnologyUS36 papers
- Purdue University West LafayetteUS36 papers
- Texas A&M UniversityUS36 papers
- University of California, Los AngelesUS36 papers
- University of CyprusCY36 papers
- University of GlasgowGB36 papers
- University of MichiganUS36 papers
Showing 2024Show all
3 papers · 1 filter
math.CO2024
A New Polynomial for Checkerboard-Colorable 4-Valent Virtual Graphs
Hamid Abchir, Khaled Qazaqzeh, Mohammed Sabak
We assign a new polynomial to any checkerboard-colorable 4-valent virtual graph in terms of its Euler circuit expansion. This provides a new combinatorial formulation of the Kauffm…
cs.SE2024★ 19 cited
OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
Anas AlSobeh
In the intricate domain of software systems verification, dynamically model checking multifaceted system characteristics remains paramount, yet challenging. This research proposes…
cs.SI2024★ 11 cited
The Repercussions of the COVID-19 Pandemic on Higher Education and its implications for Syrian Refugees Students (An Analytical Descriptive Study)
Anas Alsobeh, Ahlam Aloudat
This study aims to reveal the most important challenges and difficulties that refugee students faced in Jordanian universities (e.g., Yarmouk University, AL Al-Bayt, and the Privat…