Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
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
+1 323-425-8868
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,873
Downloads
8,327
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,849
Downloads
8,180
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
5,152
Downloads
8,200
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
1,182
Downloads
2,568
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,636
Downloads
7,170
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,580
Downloads
7,530
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,399
Downloads
4,848
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
4,444
Downloads
7,814
Views
Citations
The User Interfaces Transition Diagram-Editor: A Tool to Simplify User-System Interaction Modeling
(Articles)
Maria C. Gómez-Fuentes
,
Jorge Cervantes-Ojeda
,
Alan Badillo-Salas
Journal of Software Engineering and Applications
Vol.16 No.9
,September 18, 2023
DOI:
10.4236/jsea.2023.169023
95
Downloads
470
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
5,045
Downloads
9,894
Views
Citations
Strategies to Cultivate Generation Z Talent in Marketing under the Big Data Era
(Articles)
Fan Mo
Open Access Library Journal
Vol.9 No.1
,January 6, 2022
DOI:
10.4236/oalib.1108157
231
Downloads
1,665
Views
Citations
How Can SMEs in Vietnam Use Facebook as a Marketing Tool to Reach Generation Z?
(Articles)
Elizabeth Nguyen
Open Journal of Business and Management
Vol.12 No.1
,January 15, 2024
DOI:
10.4236/ojbm.2024.121011
52
Downloads
227
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
320
Downloads
899
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
6,866
Downloads
10,029
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,899
Downloads
9,339
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,769
Downloads
11,598
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
7,425
Downloads
10,677
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,729
Downloads
9,556
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
6,093
Downloads
8,299
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
396
Downloads
1,287
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
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-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top