Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.2 No.2
,July 15, 2009
DOI:
10.4236/jsea.2009.22012
4,511
Downloads
7,605
Views
Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
(Articles)
Nazir Ahmad Zafar
,
Ajmal Hussain
,
Amir Ali
Journal of Software Engineering and Applications
Vol.3 No.8
,August 26, 2010
DOI:
10.4236/jsea.2010.38093
4,408
Downloads
7,280
Views
Citations
State Based Static and Dynamic Formal Analysis of UML State Diagrams
(Articles)
Fahad Alhumaidan
Journal of Software Engineering and Applications
Vol.5 No.7
,June 15, 2012
DOI:
10.4236/jsea.2012.57056
4,751
Downloads
7,282
Views
Citations
An Augmented Framework for Formal Analysis of Safety Critical Systems
(Articles)
Monika Singh
,
V. K. Jain
Journal of Software Engineering and Applications
Vol.10 No.8
,July 11, 2017
DOI:
10.4236/jsea.2017.108039
831
Downloads
1,523
Views
Citations
Why Formal Methods Are Considered for Safety Critical Systems?
(Articles)
Monika Singh
,
Ashok Kumar Sharma
,
Ruhi Saxena
Journal of Software Engineering and Applications
Vol.8 No.10
,October 16, 2015
DOI:
10.4236/jsea.2015.810050
5,316
Downloads
5,896
Views
Citations
Modeling Components and Services of LTE Mobile Communications System
(Articles)
Ishtiaq Ahmed Choudhry
,
Nazir Ahmad Zafar
Int'l J. of Communications, Network and System Sciences
Vol.5 No.12
,December 20, 2012
DOI:
10.4236/ijcns.2012.512086
4,195
Downloads
6,615
Views
Citations
Model Analysis of Equivalence Classes in UML Events Relations
(Articles)
Nazir Ahmad Zafar
Journal of Software Engineering and Applications
Vol.6 No.12
,December 25, 2013
DOI:
10.4236/jsea.2013.612078
3,078
Downloads
4,181
Views
Citations
Base-X Notation and Tri-Value Logic
(Articles)
Xiaolin Li
American Journal of Computational Mathematics
Vol.2 No.3
,September 28, 2012
DOI:
10.4236/ajcm.2012.23033
3,383
Downloads
5,707
Views
Citations
Log-Time Sampling of Signals: Zeta Transform
(Articles)
Hannu Olkkonen
,
Juuso T. Olkkonen
Open Journal of Discrete Mathematics
Vol.1 No.2
,July 5, 2011
DOI:
10.4236/ojdm.2011.12008
4,430
Downloads
8,610
Views
Citations
Altman’s Bankruptcy Prediction Model: Test on a Wide Out of Business Private Companies Sample
(Articles)
Mauricio Takahashi
,
Fernando Henrique Taques
,
Leonardo Basso
iBusiness
Vol.10 No.1
,March 27, 2018
DOI:
10.4236/ib.2018.101002
1,024
Downloads
2,770
Views
Citations
New 5-Alkenyl Resorcinols from
Lithraea molleoides
(Vell). Eng.
(Articles)
Alejandra Catalano
,
Beatriz Lantaño
,
Lucas Fabián
,
Paula López
American Journal of Plant Sciences
Vol.11 No.6
,June 29, 2020
DOI:
10.4236/ajps.2020.116062
96
Downloads
214
Views
Citations
Applying the WHO instead of CDC growth charts may double obesity rates
(Articles)
Abeer Yasin
,
Guido Filler
Open Journal of Pediatrics
Vol.3 No.2
,June 18, 2013
DOI:
10.4236/ojped.2013.32025
5,741
Downloads
7,550
Views
Citations
Neutrino Masses in Supersymmetric Economical Model
(Articles)
Phung Van Dong
,
Do Thi Huong
,
Marcos Cadorso Rodriguez
,
Hoang Ngoc Long
Journal of Modern Physics
Vol.2 No.8
,August 31, 2011
DOI:
10.4236/jmp.2011.28093
4,534
Downloads
8,637
Views
Citations
Third Order Optical Nonlinearities of C
450
Doped Polymer Thin Film Investigated by the Z-Scan
(Articles)
Zainab S. Sadik
,
Dhia H. Al-Amiedy
,
Amal F. Jaffar
Advances in Materials Physics and Chemistry
Vol.2 No.1
,March 19, 2012
DOI:
10.4236/ampc.2012.21007
5,400
Downloads
10,667
Views
Citations
Growth and Characterisation of Nonlinear Optical Single Crystals of L-Alaninium Oxalate
(Articles)
K. J. Arun
,
S. Jayalekshmi
J. of Minerals and Materials Characterization and Eng.
Vol.8 No.8
,August 20, 2009
DOI:
10.4236/jmmce.2009.88055
6,820
Downloads
9,454
Views
Citations
Nonlinear Coefficient Determination of Au/Pd Bimetallic Nanoparticles Using Z-Scan
(Articles)
José Luis Jiménez Pérez
,
Rubén Gutiérrez-Fuentes
,
José Francisco Sánchez Ramírez
,
Omar Uriel García Vidal
,
Daniel Erick Téllez-Sánchez
,
Zormy Nacary Correa Pacheco
,
Alfredo Cruz Orea
,
Jesús Antonio Fuentes García
Advances in Nanoparticles
Vol.2 No.3
,July 23, 2013
DOI:
10.4236/anp.2013.23031
5,360
Downloads
8,594
Views
Citations
Enhanced Frequency Resolution in Data Analysis
(Articles)
Luca Perotti
,
Daniel Vrinceanu
,
Daniel Bessis
American Journal of Computational Mathematics
Vol.3 No.3
,September 5, 2013
DOI:
10.4236/ajcm.2013.33034
5,809
Downloads
7,676
Views
Citations
Nutritional Intervention at a Girl’s Orphanage in Sri Lanka Decreased Stunting after One Year
(Articles)
Sigal Eilat-Adar
,
Isabel Periquito
,
Alice Mo
,
Aviva Zeev
,
Rachel Golan
,
Naresh Gunaratnam
Health
Vol.13 No.1
,January 26, 2021
DOI:
10.4236/health.2021.131006
49
Downloads
213
Views
Citations
Application of Operational Approaches to Solving Decision Making Problem Using Z-Numbers
(Articles)
Latafat A. Gardashova
Applied Mathematics
Vol.5 No.9
,May 22, 2014
DOI:
10.4236/am.2014.59125
2,526
Downloads
3,958
Views
Citations
This article belongs to the Special Issue on
Fuzzy Mathematics
Geometrical study on diseaserelated ncRNAs based on Z-curve method
(Articles)
Yan-Ling Yang
,
Ji-Hua Wang
Health
Vol.1 No.1
,June 3, 2009
DOI:
10.4236/health.2009.11005
4,643
Downloads
7,901
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2023 Scientific Research Publishing Inc. All Rights Reserved.
Top