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
A Geometric Method for Generating Discrete Trace Transition System of a Polyhedral Invariant Hybrid Automaton
(Articles)
Sobhi Baniardalani
,
Javad Askari
Intelligent Control and Automation
Vol.3 No.2
,May 23, 2012
DOI:
10.4236/ica.2012.32022
3,643
Downloads
5,413
Views
Citations
Hierarchical Coordinated Control for Power System Voltage Using Linear Temporal Logic
(Articles)
Hongshan ZHAO
,
Hongliang GAO
,
Yang XIA
Engineering
Vol.1 No.2
,August 24, 2009
DOI:
10.4236/eng.2009.12014
5,647
Downloads
9,934
Views
Citations
Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata
(Articles)
Ryo Yanase
,
Tatsunori Sakai
,
Makoto Sakai
,
Satoshi Yamane
Journal of Software Engineering and Applications
Vol.9 No.9
,September 30, 2016
DOI:
10.4236/jsea.2016.99030
1,554
Downloads
2,353
Views
Citations
This article belongs to the Special Issue on
Formal Methods
Simulation of Learners’ Behaviors Based on the Modified Cellular Automata Model
(Articles)
Zhenyan Liang
,
Haiyan Liu
,
Chaoying Zhang
,
Shangyuan Yang
Intelligent Information Management
Vol.2 No.9
,October 13, 2010
DOI:
10.4236/iim.2010.29065
3,925
Downloads
6,932
Views
Citations
Using Intelligent Computational Methods for Optimizing Niching Method
(Articles)
Mohsen Jahanshahi
International Journal of Intelligence Science
Vol.1 No.1
,July 29, 2011
DOI:
10.4236/ijis.2011.11001
5,206
Downloads
12,689
Views
Citations
An Application of Linear Automata to Near Rings
(Articles)
Songfa You
,
Yijun Feng
,
Ming Cao
,
Yaping Wei
Applied Mathematics
Vol.3 No.11
,November 14, 2012
DOI:
10.4236/am.2012.311223
3,090
Downloads
5,023
Views
Citations
The Equivalent Conversion between Regular Grammar and Finite Automata
(Articles)
Jielan Zhang
,
Zhongsheng Qian
Journal of Software Engineering and Applications
Vol.6 No.1
,January 30, 2013
DOI:
10.4236/jsea.2013.61005
17,046
Downloads
26,407
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,312
Downloads
8,174
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,162
Downloads
8,811
Views
Citations
Study on Simulation of Foreshock Activity Properties before Strong Earthquake Using Heterogeneous Cellular Automata Models
(Articles)
Meng Li
,
Feng Yang
,
Tao Zhang
International Journal of Geosciences
Vol.5 No.3
,March 27, 2014
DOI:
10.4236/ijg.2014.53028
4,216
Downloads
5,579
Views
Citations
Comparative Study on Occupant Evacuation with Building EXODUS and a Cellular Automaton Model
(Articles)
Daoliang Zhao
,
Batyr Yegenmammedov
,
Peichen Liu
,
Meiting Zhang
Open Journal of Safety Science and Technology
Vol.7 No.1
,March 28, 2017
DOI:
10.4236/ojsst.2017.71004
2,323
Downloads
3,459
Views
Citations
Equivalence of Subclasses of Two-Way Non-Deterministic Watson Crick Automata
(Articles)
Kumar Sankar Ray
,
Kingshuk Chatterjee
,
Debayan Ganguly
Applied Mathematics
Vol.4 No.10A
,September 30, 2013
DOI:
10.4236/am.2013.410A1005
3,613
Downloads
5,478
Views
Citations
This article belongs to the Special Issue on
Computer Mathematics
KAMAR: A Lightweight Feistel Block Cipher Using Cellular Automata
(Articles)
Jegadish Kumar Kailairajan Jeyaprakash
,
Joseph Gladwin Seka
,
Kamaraj Villayutham
Circuits and Systems
Vol.7 No.4
,April 20, 2016
DOI:
10.4236/cs.2016.74021
2,168
Downloads
3,798
Views
Citations
Gray Level Image Edge Detection Using a Hybrid Model of Cellular Learning Automata and Stochastic Cellular Automata
(Articles)
Nasim Vatani
,
Rasul Enayatifar
Open Access Library Journal
Vol.2 No.1
,January 23, 2015
DOI:
10.4236/oalib.1101203
813
Downloads
1,460
Views
Citations
Tree Automata for Extracting Consensus from Partial Replicas of a Structured Document
(Articles)
Maurice Tchoupé Tchendji
,
Milliam M. Zekeng Ndadji
Journal of Software Engineering and Applications
Vol.10 No.5
,May 26, 2017
DOI:
10.4236/jsea.2017.105025
1,527
Downloads
2,299
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,899
Downloads
8,271
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,879
Downloads
8,055
Views
Citations
Cellular Automata Simulation of Gap-Filler Dissolution during Transient Liquid Phase Bonding of Single Crystal Materials
(Articles)
Adam Ghoneim
,
Olanrewaju Akanbi Ojo
Modeling and Numerical Simulation of Material Science
Vol.2 No.2
,April 16, 2012
DOI:
10.4236/mnsms.2012.22002
6,594
Downloads
13,265
Views
Citations
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,964
Downloads
17,651
Views
Citations
Local Search Heuristics for NFA State Minimization Problem
(Articles)
Andrey V. Tsyganov
Int'l J. of Communications, Network and System Sciences
Vol.5 No.9A
,September 18, 2012
DOI:
10.4236/ijcns.2012.529074
4,834
Downloads
7,324
Views
Citations
This article belongs to the Special Issue on
Models and Algorithms for Applications
<
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