Automata Theory; Compiler Verification; Lexical Analyzer; Automated Tools; Z Specification - Articles

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 12,428 Downloads 19,073 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,654 Downloads 9,440 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 5,308 Downloads 8,960 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,765 Downloads 8,555 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,597 Downloads 8,841 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 789 Downloads 1,856 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 2,064 Downloads 5,298 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 5,235 Downloads 9,048 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 116 Downloads 1,185 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 4,269 Downloads 6,719 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,433 Downloads 9,670 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 1,113 Downloads 2,255 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,322 Downloads 4,903 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 1,021 Downloads 2,144 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,890 Downloads 5,867 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 5,336 Downloads 8,649 Views Citations
This article belongs to the Special Issue on Brain Mind
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,770 Downloads 11,969 Views Citations
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 883 Downloads 1,793 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,432 Downloads 5,059 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 6,208 Downloads 25,855 Views Citations

First <12 3 ...>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