Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Mayer, Gary R
and
Sarjoughian, Hessam S
2008.
Social Computing, Behavioral Modeling, and Prediction.
p.
187.
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.
2009.
Composable Cellular Automata.
SIMULATION,
Vol. 85,
Issue. 11-12,
p.
735.
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.
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.
Glisovic, Natasa
2010.
The system to support the decision-making in detecting genetic mutations.
p.
43.
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.
Kryvyi, S. L.
2011.
Finite-state automata in information technologies.
Cybernetics and Systems Analysis,
Vol. 47,
Issue. 5,
p.
669.
Fu, Jie
Heinz, Jeffrey
and
Tanner, Herbert G.
2011.
Theory and Applications of Models of Computation.
Vol. 6648,
Issue. ,
p.
252.
Sadegh-Zadeh, Kazem
2012.
Handbook of Analytic Philosophy of Medicine.
Vol. 113,
Issue. ,
p.
109.
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.
Charfi, Selem
and
Ezzedine, Houcine
2012.
Exploiting Finite-state Automation for HCI evaluation.
p.
1.
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.
Zafar, Nazir Ahmad
and
Alsaade, Fawaz
2012.
Syntax-Tree Regular Expression Based DFA FormalConstruction.
Intelligent Information Management,
Vol. 04,
Issue. 04,
p.
138.
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.
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.
Lee, Tsung
Huang, Yao-Yi
and
Lu, Tzu-Yi
2014.
A unification of behavior models.
p.
212.