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,633
Downloads
5,515
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,629
Downloads
9,965
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,551
Downloads
2,389
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,910
Downloads
7,015
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,201
Downloads
12,730
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,068
Downloads
5,057
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
16,962
Downloads
31,240
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,294
Downloads
8,263
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,069
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,199
Downloads
5,608
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,307
Downloads
3,520
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,604
Downloads
5,504
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,153
Downloads
3,987
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
803
Downloads
1,493
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,501
Downloads
2,312
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,882
Downloads
8,343
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,855
Downloads
8,192
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,572
Downloads
13,498
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,891
Downloads
21,080
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,805
Downloads
7,383
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