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
Syntax-Tree Regular Expression Based DFA FormalConstruction
(Articles)
Nazir Ahmad Zafar
,
Fawaz Alsaade
Intelligent Information Management
Vol.4 No.4
,July 27, 2012
DOI:
10.4236/iim.2012.44021
8,032
Downloads
8,035
Views
Citations
LR(K) Parser Construction Using Bottom-up Formal Analysis
(Articles)
Nazir Ahmad Zafar
Journal of Software Engineering and Applications
Vol.5 No.1
,December 31, 2011
DOI:
10.4236/jsea.2012.51004
4,504
Downloads
7,455
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,279
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
4,731
Downloads
6,346
Views
Citations
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
(Articles)
Mohamed El-Kamel Hamdane
,
Allaoui Chaoui
,
Martin Strecker
Journal of Software Engineering and Applications
Vol.6 No.3
,March 29, 2013
DOI:
10.4236/jsea.2013.63019
4,014
Downloads
7,674
Views
Citations
Accessibility Evaluation of Arabic E-Commerce Web Sites Using Automated Tools
(Articles)
Majed Alshamari
Journal of Software Engineering and Applications
Vol.9 No.9
,September 16, 2016
DOI:
10.4236/jsea.2016.99029
1,303
Downloads
2,601
Views
Citations
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
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,281
Views
Citations
Standardized Assessment of Ki-67 in Breast Cancer Patients Using Virtual Slides and an Automated Analyzer in Comparison to Central/Local Pathological Assessments
(Articles)
Yoshio Mizuno
,
Hiromi Fuchikami
,
Tsuneo Natori
,
Naoko Takeda
,
Yuko Inoue
,
Junichi Yamada
,
Hiroaki Abe
,
Hiroshi Seto
,
Kazuhiko Sato
Journal of Cancer Therapy
Vol.5 No.2
,February 10, 2014
DOI:
10.4236/jct.2014.52017
3,777
Downloads
5,391
Views
Citations
An Automata-Based Approach to Pattern Matching
(Articles)
Ali Sever
Intelligent Control and Automation
Vol.4 No.3
,August 8, 2013
DOI:
10.4236/ica.2013.43036
6,619
Downloads
7,803
Views
Citations
Some Studies on the Lorentz Theory of Radiation Reaction in Relation to a Charged Particle Acted on by a Constant Force in a Finite Time Interval
(Articles)
Rajat Roy
Open Access Library Journal
Vol.3 No.2
,February 4, 2016
DOI:
10.4236/oalib.1102334
784
Downloads
1,087
Views
Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study
(Articles)
Nadeem Akhtar
,
Muhammad Nauman
Journal of Software Engineering and Applications
Vol.8 No.2
,February 12, 2015
DOI:
10.4236/jsea.2015.82006
2,794
Downloads
3,385
Views
Citations
Judgment Formation towards Health Risk Behaviors Concerning Obesity: An Integration Information Theory Approach
(Articles)
Aida A. Jimenez-Martinez
,
Perla Lizeth Hernandez-Cortes
,
Guadalupe E. Morales-Martinez
,
Ernesto O. Lopez-Ramirez
Health
Vol.9 No.7
,July 17, 2017
DOI:
10.4236/health.2017.97076
704
Downloads
1,121
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,077
Downloads
4,180
Views
Citations
Pedestrian Flow Simulation Validation and Verification Techniques
(Articles)
Mohamed H. Dridi
Current Urban Studies
Vol.3 No.2
,June 16, 2015
DOI:
10.4236/cus.2015.32011
3,177
Downloads
3,786
Views
Citations
Practical Implementation of Safety Verification in LNG Production Facilities
(Articles)
Achint Rastogi
,
Hossam A. Gabbar
Open Journal of Safety Science and Technology
Vol.1 No.2
,September 28, 2011
DOI:
10.4236/ojsst.2011.12005
4,970
Downloads
10,344
Views
Citations
An Automated Negotiation Protocol Based On Game Theory
(Articles)
Chenming Li
,
Wei Huang
,
Zhenli Ma
,
Fengzhou Wang
,
Xiaodong Wei
,
Lizhong Xu
Computational Water, Energy, and Environmental Engineering
Vol.3 No.3
,July 23, 2014
DOI:
10.4236/cweee.2014.33012
2,793
Downloads
3,635
Views
Citations
Brain as an Emergent Finite Automaton: A Theory and Three Theorems
(Articles)
Juyang Weng
International Journal of Intelligence Science
Vol.5 No.2
,February 2, 2015
DOI:
10.4236/ijis.2015.52011
4,255
Downloads
5,894
Views
Citations
This article belongs to the Special Issue on
Brain Mind
Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems
(Articles)
Ming Zhu
,
Jing Li
Journal of Computer and Communications
Vol.6 No.11
,November 27, 2018
DOI:
10.4236/jcc.2018.611022
317
Downloads
513
Views
Citations
Impact of Capital Structure on Firm Value: Evidence from Indian Hospitality Industry
(Articles)
Divya Aggarwal
,
Purna Chandra Padhan
Theoretical Economics Letters
Vol.7 No.4
,June 22, 2017
DOI:
10.4236/tel.2017.74067
2,755
Downloads
8,085
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