Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Zafar, Nazir Ahmad
Hussain, Ajmal
and
Ali, Amir
2008.
Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata.
p.
792.
Mayer, Gary R
and
Sarjoughian, Hessam S
2008.
Social Computing, Behavioral Modeling, and Prediction.
p.
187.
Zafar, Nazir Ahmad
Hussain, Ajmal
and
Ali, Amir
2009.
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata.
Journal of Software Engineering and Applications,
Vol. 02,
Issue. 02,
p.
77.
Waters, L. K.
and
Grieshop, J. K.
2009.
ON THE REGULARITY OF SETS OF MULTI-ACCEPTED STRINGS OF A NON-DETERMINISTIC FINITE AUTOMATON.
Asian-European Journal of Mathematics,
Vol. 02,
Issue. 04,
p.
717.
Mayer, Gary R.
and
Sarjoughian, Hessam S.
2009.
Composable Cellular Automata.
SIMULATION,
Vol. 85,
Issue. 11-12,
p.
735.
Zafar, Nazir Ahmad
Hussain, Ajmal
and
Ali, Amir
2010.
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata.
Journal of Software Engineering and Applications,
Vol. 03,
Issue. 08,
p.
803.
Glisovic, Natasa
2010.
The system to support the decision-making in detecting genetic mutations.
p.
43.
Fu, Jie
Heinz, Jeffrey
and
Tanner, Herbert G.
2011.
Theory and Applications of Models of Computation.
Vol. 6648,
Issue. ,
p.
252.
Kryvyi, S. L.
2011.
Finite-state automata in information technologies.
Cybernetics and Systems Analysis,
Vol. 47,
Issue. 5,
p.
669.
Furia, Carlo A.
Mandrioli, Dino
Morzenti, Angelo
and
Rossi, Matteo
2012.
Modeling Time in Computing.
p.
103.
Adinya, Odey John
and
Daoliang, Li
2012.
Transceiver energy consumption models for the design of low power wireless sensor networks.
p.
193.
Charfi, Selem
Trabelsi, Abdelwaheb
Ezzedine, Houcine
and
Kolski, Christophe
2012.
Human-Centered Software Engineering.
Vol. 7623,
Issue. ,
p.
360.
König, Hartmut
2012.
Protocol Engineering.
p.
131.
Sadegh-Zadeh, Kazem
2012.
Handbook of Analytic Philosophy of Medicine.
Vol. 113,
Issue. ,
p.
109.
Charfi, Selem
and
Ezzedine, Houcine
2012.
Exploiting Finite-state Automation for HCI evaluation.
p.
1.
Zafar, Nazir Ahmad
2012.
LR(K) Parser Construction Using Bottom-up Formal Analysis.
Journal of Software Engineering and Applications,
Vol. 05,
Issue. 01,
p.
21.
Zafar, Nazir Ahmad
and
Alsaade, Fawaz
2012.
Syntax-Tree Regular Expression Based DFA FormalConstruction.
Intelligent Information Management,
Vol. 04,
Issue. 04,
p.
138.
Lee, Tsung
Huang, Yao-Yi
and
Lu, Tzu-Yi
2014.
A unification of behavior models.
p.
212.
Khataee, Hamidreza
and
Liew, Alan Wee-Chung
2014.
Computational Modeling of Kinesin Stepping.
Journal of Chemical Information and Modeling,
Vol. 54,
Issue. 12,
p.
3439.
Perez, Joaquin
Jimenez, Jaime
Rabanal, Asier
Astarloa, Armando
and
Lazaro, Jesus
2014.
FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification.
IEEE Transactions on Industrial Informatics,
Vol. 10,
Issue. 3,
p.
1670.