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
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
11,883
Downloads
21,060
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
5,238
Downloads
8,884
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,854
Downloads
8,189
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
5,352
Downloads
7,809
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,293
Downloads
8,259
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,771
Downloads
4,420
Views
Citations
FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
(Articles)
Walid Ben Mesmia
,
Kamel Barkaoui
,
Mohamed Escheikh
Journal of Software Engineering and Applications
Vol.16 No.9
,September 14, 2023
DOI:
10.4236/jsea.2023.169022
62
Downloads
351
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,879
Downloads
8,338
Views
Citations
Lexical Features of Oil Trade English from the Perspective of Skopos Theory
(Articles)
Yanxia Qin
,
Xi Geng
Open Access Library Journal
Vol.10 No.7
,July 11, 2023
DOI:
10.4236/oalib.1110352
39
Downloads
313
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,957
Downloads
5,874
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
7,151
Downloads
9,068
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
897
Downloads
1,560
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
3,051
Downloads
4,035
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
911
Downloads
1,655
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,589
Downloads
4,900
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
5,375
Downloads
11,164
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,842
Downloads
7,308
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
620
Downloads
1,155
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
3,113
Downloads
4,281
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
4,982
Downloads
22,016
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