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,626
Downloads
9,958
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,550
Downloads
2,388
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,903
Downloads
6,998
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,197
Downloads
12,723
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,064
Downloads
5,049
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,948
Downloads
31,194
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,257
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,150
Downloads
9,066
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,606
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,306
Downloads
3,516
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,602
Downloads
5,501
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,151
Downloads
3,978
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
801
Downloads
1,488
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,499
Downloads
2,302
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
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,852
Downloads
8,186
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,571
Downloads
13,494
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,877
Downloads
21,042
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,802
Downloads
7,378
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