Formal Methods; Model-Based Software Testing; Regression Testing; Extended Finite State Machines - Articles

Classification and Application of Surrounding Rock Stability in Mining Roadways of Gently Inclined and Inclined Coal Seams (Articles)

Chaoyang Dong, Zhihai Ji, Ziqi Zhou, Yangwei Di

Journal of Geoscience and Environment Protection Vol.14 No.4, April 27, 2026

DOI: 10.4236/gep.2026.144013 27 Downloads 165 Views Citations
The Formation of the State in the Democratic Republic of the Congo: Institutional and Constitutional History of a Quest for the Submission of the State to the Rule of Law (Articles)

Mujinga Pathou Petipeti

Open Journal of Political Science Vol.16 No.2, April 28, 2026

DOI: 10.4236/ojps.2026.162012 70 Downloads 467 Views Citations
Assessment of Cognitive Function in the Elderly and Analysis of Its Influencing Factors (Articles)

Chenchen Hou

Journal of Biosciences and Medicines Vol.14 No.4, April 30, 2026

DOI: 10.4236/jbm.2026.144028 30 Downloads 158 Views Citations
Public Sector Reform and Human Security: Postcolonial State Transformation in Ghana (2000-2022) (Articles)

William Osahon Imasuen

Open Journal of Social Sciences Vol.14 No.5, May 21, 2026

DOI: 10.4236/jss.2026.145013 22 Downloads 129 Views Citations
Beyond Quantum Mechanics: Local QM Space-Time Algebra Prediction of the Singlet State (Articles)

Carl F. Diether III

Journal of Quantum Information Science Vol.16 No.2, June 17, 2026

DOI: 10.4236/jqis.2026.162008 24 Downloads 128 Views Citations
The Occupational Burden of Osteoarthritis: “Impact on Work Productivity among Healthcare Professionals Symptomatic of Osteoarthritis in Yobe State, Nigeria.” (Articles)

Suleiman Mohammed, Idriss Haladu, Habib Saad, Mannir Kassim, Muhyiddeen Suleiman Bichi, Zahraddeen Tahir, Muhammad Sulaiman, Aliyu Musa, Muhammad Sani Hashim, Buhari Abdullahi Tafida, Babangida Shehu Bappah, Buhari Hassan

Open Access Library Journal Vol.13 No.6, June 30, 2026

DOI: 10.4236/oalib.1115359 25 Downloads 67 Views Citations
Synthesis, Structural Characterization, and Thermal Insulation Properties of SrLaM_0.5Al_0.5O₄ (M = Mn, Fe, Co) Ruddlesden-Popper Oxides (Articles)

Alexa D. Azure, Md. Sofiul Alom, Helena Mack, Ram Krishna Hona

Journal of Materials Science and Chemical Engineering Vol.14 No.7, July 9, 2026

DOI: 10.4236/msce.2026.147001 23 Downloads 112 Views Citations
Solid State Physics Application in Semiconductor Device Engineering (Articles)

Haoyu Xu

Journal of Applied Mathematics and Physics Vol.14 No.7, July 20, 2026

DOI: 10.4236/jamp.2026.147129 10 Downloads 75 Views Citations
On the Bulk-Surface Mechanism for Dark Matter and Dark Energy in the PPH Framework (Articles)

Slobodan Spremo

Journal of High Energy Physics, Gravitation and Cosmology Vol.12 No.3, July 22, 2026

DOI: 10.4236/jhepgc.2026.123087 5 Downloads 28 Views Citations
Investigating the Challenges in Structural Analysis and Design Practices in Somalia: A Path toward Safer Buildings (Articles)

Abdihalim Mohamed Hussein, Bashir Abdi Elmi, Abdirahim Abdulkadir Mohamed, Ismail Sadi Mohamud, Abdikarim Abdullahi Moallim

World Journal of Engineering and Technology Vol.13 No.2, March 27, 2025

DOI: 10.4236/wjet.2025.132013 162 Downloads 1,144 Views Citations
Evaluation of Feature Subset Selection, Feature Weighting, and Prototype Selection for Biomedical Applications (Articles)

Suzanne LITTLE, Sara COLANTONIO, Ovidio SALVETTI, Petra PERNER

Journal of Software Engineering and Applications Vol.3 No.1, January 28, 2010

DOI: 10.4236/jsea.2010.31005 6,481 Downloads 11,331 Views Citations
Analytic algorithms for Some Models of Nonlinear Age–Structured Population Dynamics and Epidemiology (Articles)

Vipul K. Baranwal, Ram K. Pandey, Manoj P. Tripathi, Om. P. Singh

Journal of Modern Physics Vol.2 No.4, April 22, 2011

DOI: 10.4236/jmp.2011.24033 5,465 Downloads 10,854 Views Citations
Operator Splitting Method for Coupled Problems:Transport and Maxwell Equations (Articles)

Jürgen Geiser

American Journal of Computational Mathematics Vol.1 No.3, September 19, 2011

DOI: 10.4236/ajcm.2011.13019 5,078 Downloads 10,274 Views Citations
Teachers’ Transformation to Inquiry-Based Instructional Practice (Articles)

Jeff C. Marshall, Julie B. Smart

Creative Education Vol.4 No.2, February 7, 2013

DOI: 10.4236/ce.2013.42019 8,952 Downloads 17,180 Views Citations
Application of Optical Methods in Blood Studies upon Evaluation of Severity Rate of Diffuse Liver Pathology (Articles)

Margarita Kruchinina, Mikhail Voevoda, Sergey Peltek, Svetlana Kurilovich, Abdrey Gromov, Vladimir Kruchinin, Sergey Rykhlitsky, Vladimir Volodin, Vladimir Generalov

Journal of Analytical Sciences, Methods and Instrumentation Vol.3 No.2, June 11, 2013

DOI: 10.4236/jasmi.2013.32014 3,816 Downloads 6,659 Views Citations
Dissimilarities in Social Support as Described by Swedish- and Foreign-Born Persons Diagnosed with Type 2 Diabetes and Living in Sweden (Articles)

Katarina Hjelm, Carina Berterö

Open Journal of Nursing Vol.4 No.3, March 13, 2014

DOI: 10.4236/ojn.2014.43025 3,671 Downloads 5,919 Views Citations
Rainfall Distribution Functions for Irrigation Scheduling: Calculation Procedures Following Site of Olive (Olea europaea L.) Cultivation and Growing Periods (Articles)

Chiraz Masmoudi-Charfi, Hamadi Habaieb

American Journal of Plant Sciences Vol.5 No.13, June 30, 2014

DOI: 10.4236/ajps.2014.513224 3,908 Downloads 6,451 Views Citations
Inferences for the Generalized Logistic Distribution Based on Record Statistics (Articles)

Rashad M. El-Sagheer

Intelligent Information Management Vol.6 No.4, July 8, 2014

DOI: 10.4236/iim.2014.64018 4,243 Downloads 6,748 Views Citations
Layered Metal Composites: Newest Generation of Radiation-Protective Materials (Articles)

Vitalii Bilous, Valerii Borysenko, Victor Voyevodin, Sergii Didenko, Mycola Ilchenko, Olexander Rybka, Olexander Kuznetsov, Yurii Plisak

Journal of Materials Science and Chemical Engineering Vol.2 No.8, August 11, 2014

DOI: 10.4236/msce.2014.28002 2,789 Downloads 3,839 Views Citations
A Time-Dependent Vehicle Routing Problem with Time Windows for E-Commerce Supplier Site Pickups Using Genetic Algorithm (Articles)

Suresh Nanda Kumar, Ramasamy Panneerselvam

Intelligent Information Management Vol.7 No.4, July 10, 2015

DOI: 10.4236/iim.2015.74015 9,329 Downloads 14,852 Views Citations

First <...212213214 ...>Last

	[email protected]
	+86 18163351462 (WhatsApp)
	1655362766
	SCIRP WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies