automata theory - researchr tag

researchr

You are not signed in
Sign in
Sign up

2011

Green s Relations and Their Use in Automata TheoryThomas Colcombet. LATA 2011: 1-21 [doi]

Expanding Formal Language and Automata Theory: Bio-inspired Computational ModelsErzsébet Csuhaj-Varjú, György Vaszil. ercim, 2011(85):26, 2011. [doi]

Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. ProceedingsAdrian Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide, editors, Volume 6638 of Lecture Notes in Computer Science, Springer, 2011. [doi]

::::Applications of Automata Theory and Algebra via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games::::. John Rhodes. Chrystopher L. Nehaniv (Ed.). Foreword by Morris W. Hirsch. (2009, World Scientific Books.) Attila Egri-Nagy. alife, 17(2):141-143, 2011. [doi]

Finite automata theory with membership values in latticesYongming Li. isci, 181(5):1003-1017, 2011. [doi]

Automata theory based on lattice-ordered semiringsXian Lu, Yun Shang, Ruqian Lu. soco, 15(2):269-280, 2011. [doi]

Fusion of learning automata theory and granular inference systems: ANLAGIS. Applications to pattern recognition and machine learningDarío Maravall, Javier de Lope Asiaín. ijon, 74(8):1237-1242, 2011. [doi]

3rd International Conference on Language and Automata Theory and Applications (LATA 2009)Carlos Martín-Vide, Bianca Truthe. iandc, 209(3):247, 2011. [doi]

Identifying dominant factors for the calibration of a land-use cellular automata model using Rough Set TheoryFang Wang, Jean-Gabriel Hasbani, Xin Wang, Danielle J. Marceau. urban, 35(2):116-125, 2011. [doi]

2010

Timed I/O automata: a complete specification theory for real-time systemsAlexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. hybrid 2010: 91-100 [doi]

Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. ProceedingsAdrian Horia Dediu, Henning Fernau, Carlos Martín-Vide, editors, Volume 6031 of Lecture Notes in Computer Science, Springer, 2010. [doi]

Theory and Application of Equal Length Cycle Cellular Automata (ELCCA) for Enzyme ClassificationSoumyabrata Ghosh, Tirthankar Bachhar, Nirmalya S. Maiti, Indrajit Mitra, Parimal Pal Chaudhuri. acri 2010: 46-57 [doi]

Simulator and Robot-Based Game for Learning Automata TheoryMohamed Hamada, Sayota Sato. edutainment 2010: 429-437 [doi]

Myhill-Nerode type theory for fuzzy languages and automataJelena Ignjatovic, Miroslav Ciric, Stojan Bogdanovic, Tatjana Petkovic. fss, 161(9):1288-1324, 2010. [doi]

Automata theory with modern applications by James A. Anderson, Cambridge University Press, 2006, viii+256 pagesKyriakos N. Sgarbas. sigact, 41(2):43-46, 2010. [doi]

A second course in formal languages and automata theory by Jeffrey Shallit, publisher: Cambridge University Press, 2008Kevin A. Wilson. sigact, 41(2):40-43, 2010. [doi]

Automata theory based on complete residuated lattice-valued logic: Reduction and minimizationLihua Wu, Daowen Qiu. fss, 161(12):1635-1656, 2010. [doi]

2009

A theory of ultimately periodic languages and automata with an application to time granularityDavide Bresolin, Angelo Montanari, Gabriele Puppis. ACTA, 46(5):331-360, 2009. [doi]

Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. ProceedingsAdrian Horia Dediu, Armand-Mihai Ionescu, Carlos Martín-Vide, editors, Volume 5457 of Lecture Notes in Computer Science, Springer, 2009. [doi]

The Theory of Timed I/O AutomataDilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers, 2009. [doi]

Priced Timed Automata: Theory and ToolsKim G. Larsen. fsttcs 2009: 417-425 [doi]

ANLAGIS: Adaptive Neuron-Like Network Based on Learning Automata Theory and Granular Inference Systems with Applications to Pattern Recognition and Machine LearningDarío Maravall, Javier de Lope Asiaín. iwinac 2009: 97-106 [doi]

2nd International Conference on Language and Automata Theory and Applications (LATA 2008)Carlos MartÃn-Vide, Cristina TÃ®rnauca. iandc, 207(11):1095, 2009. [doi]

Design patterns to support teaching of automata theoryAgathe Merceron. iticse 2009: 341 [doi]

Learning difficulties experienced by students in a course on formal languages and automata theoryNelishia Pillay. SIGCSE, 41(4):48-52, 2009. [doi]

Profinite Methods in Automata TheoryJean-Eric Pin. STACS 2009: 31-50 [doi]

Increasing engagement in automata theory with JFLAPSusan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris Morgan, Kareem Omar, Jonathan Su. sigcse 2009: 403-407 [doi]

Elements of Automata TheoryJacques Sakarovitch. Cambridge University Press, 2009. [doi]

Automata theory based on unsharp quantum logicYun Shang, Xian Lu, Ruqian Lu. mscs, 19(4):737-756, 2009. [doi]

A Bialgebraic Approach to Automata and Formal Language TheoryJames Worthington. lfcs 2009: 451-467 [doi]

Automata theory based on complete residuated lattice-valued logic: A categorical approachHongyan Xing, Daowen Qiu. fss, 160(16):2416-2428, 2009. [doi]

Automata theory based on complete residuated lattice-valued logic: Pushdown automataHongyan Xing, Daowen Qiu, Fuchun Liu. fss, 160(8):1125-1140, 2009. [doi]

Adaptive Cellular Automata Traffic System Model Based on Hybrid System TheoryYuge Xu, Fei Luo, Xiaodan Tian. icira 2009: 994-1003 [doi]

2008

Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography FoundationsLuca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Volume 5126 of Lecture Notes in Computer Science, Springer, 2008.

Preface to the special issue dedicated to combinatorics, automata and number theoryValérie Berthé, Pierre B. A. Lecomte, Michel Rigo. TCS, 391(1-2):1-2, 2008. [doi]

Review computation engineering: applied automata theory and logicGanesh Gopalakrishnan. sigact, 39(3):30-32, 2008. [doi]

Combining Equational Tree Automata over AC and ACI TheoriesJoe Hendrix, Hitoshi Ohsaki. RTA 2008: 142-156 [doi]

Tree automata with equality constraints modulo equational theoriesFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. jlp, 75(2):182-208, 2008. [doi]

FIRE/J - optimizing regular expression searches with generative programmingVassilios Karakoidas, Diomidis Spinellis. SPE, 38(6):557-573, 2008. [doi]

Coalgebraic Automata Theory: Basic ResultsClemens Kupke, Yde Venema. lmcs, 4(4), 2008. [doi]

1st International Conference on Language and Automata Theory and Applications (LATA 2007)Remco Loos, Carlos Martín-Vide. iandc, 206(9-10):1017, 2008. [doi]

Neuro Granular Networks with Self-learning Stochastic Connections: Fusion of Neuro Granular Networks and Learning Automata TheoryDarÃo Maravall, Javier de Lope AsiaÃn. iconip 2009: 1029-1036 [doi]

Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised PapersCarlos Martín-Vide, Friedrich Otto, Henning Fernau, editors, Volume 5196 of Lecture Notes in Computer Science, Springer, 2008.

Simulating midlet s security claims with automata modulo theoryFabio Massacci, Ida Siahaan. PLDI 2008: 1-9 [doi]

A Formalized Theory for Verifying Stability and Convergence of Automata in PVSSayan Mitra, K. Mani Chandy. tphol 2008: 230-245 [doi]

A Second Course in Formal Languages and Automata TheoryJeffrey O. Shallit. Cambridge University Press, 2008. [doi]

Church s Problem and a Tour through Automata TheoryWolfgang Thomas. birthday 2008: 635-655 [doi]

2007

Preface: Aspects in Language and Automata Theory Special Issue Dedicated to JÜrgen DassowHenning Bordihn, Bernd Reichel, Ralf Stiebe, Bianca Truthe. ijfcs, 18(6):1137-1138, 2007. [doi]

Tree Automata Make Ordinal Theory EasyThierry Cachat. dagstuhl 2008: [doi]

Web-based Active e-Learning Tools for Automata TheoryMohamed Hamada. icalt 2007: 877-879 [doi]

Modal I/O Automata for Interface and Product Line TheoriesKim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski. ESOP 2007: 64-79 [doi]

Minimization of states in automata theory based on finite lattice-ordered monoidsHongxuan Lei, Yongming Li. isci, 177(6):1413-1421, 2007. [doi]

Active XML Schema Containment Checking Based on Tree Automata TheoryHaitao Ma, Zhongxiao Hao, Yinghui Zhou. IEEEcit 2007: 11-16 [doi]

Theory of a Class of Complemented Group Cellular Automata and Its Application to CryptographyDebdeep Mukhopadhyay, Dipanwita Roy Chowdhury. jca, 2(3):243-271, 2007. [doi]

Notes on automata theory based on quantum logicDaowen Qiu. chinaf, 50(2):154-169, 2007. [doi]

Automata theory based on quantum logic: Reversibilities and pushdown automataDaowen Qiu. TCS, 386(1-2):38-56, 2007. [doi]

Increasing interaction and support in the formal languages and automata theory courseSusan H. Rodger, Jinghui Lim, Stephen Reading. iticse 2007: 58-62 [doi]

ProofChecker: an accessible environment for automata theory correctness proofsMatthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High. iticse 2007: 48-52 [doi]

Linear-Time Model Checking: Automata Theory in PracticeMoshe Y. Vardi. wia 2007: 5-10 [doi]

Service Component Design and Automata TheoryRaymond Wu. eiswt 2007: 53-57

Equivalence in automata theory based on complete residuated lattice-valued logicHongyan Xing, Daowen Qiu, Fuchun Liu, Zhujun Fan. fss, 158(13):1407-1422, 2007. [doi]

2006

Automata theory with modern applicationsJames A. Anderson. Cambridge University Press, 2006.

Automata theory: its relevance to computer science students and course contentsMichal Armoni, S. Rodger, Moshe Y. Vardi, R. Verma. sigcse 2006: 197-198 [doi]

Concurrency theory - calculi and automata for modelling untimed and timed concurrent systemsHoward Bowman, Rodolfo Gómez. Springer, 2006.

Tree Automata Make Ordinal Theory EasyThierry Cachat. fsttcs 2006: 285-296 [doi]

Deadlock-Free Scheduling and Control of Flexible Manufacturing Cells Using Automata TheoryHamid Reza Golmakani, James K. Mills, Beno Benhabib. tsmc, 36(2):327-337, 2006. [doi]

On-line scheduling and control of flexible manufacturing cells using automata theoryHamid Reza Golmakani, James K. Mills, Beno Benhabib. ijcim, 19(2):178-193, 2006. [doi]

Computation engineering - applied automata theory and logicGanesh Gopalakrishnan. Springer, 2006. [doi]

AtoCC: learning environment for teaching theory of automata and formal languagesMichael Hielscher, Christian Wagenknecht. iticse 2006: 306 [doi]

Introduction to Automata Theory, Languages, and ComputationJ. E. Hopcroft, R. Motwani, J. D. Ullman. Addison-Wesley, Boston, MA, USA, 2006.

Tree Automata with Equality Constraints Modulo Equational TheoriesFlorent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. cade 2006: 557-571 [doi]

Model-Based Test Selection for Infinite-State Reactive SystemsBertrand Jeannet, Thierry Jéron, Vlad Rusu. FMCO 2007: 47-69 [doi]

Pumping lemma in automata theory based on complete residuated lattice-valued logic: A noteDaowen Qiu. fss, 157(15):2128-2138, 2006. [doi]

Turning automata theory into a hands-on courseSusan H. Rodger, Bart Bressler, Thomas Finley, Stephen Reading. sigcse 2006: 379-383 [doi]

Probabilistic I/O Automata: Theories of Two EquivalencesEugene W. Stark, Rance Cleaveland, Scott A. Smolka. concur 2006: 343-357 [doi]

Modeling Timed Automata Theory in PVSQingguo Xu, Huaikou Miao. serp 2006: 205-211

2005

2004

A visual and interactive automata theory course with JFLAP 4.0Ryan Cavalcante, Thomas Finley, Susan H. Rodger. sigcse 2004: 140-144 [doi]

A Mean-Field Theory of Cellular Automata Model for Distributed Packet NetworksMaoke Chen, Tao He, Xing Li. icoin 2004: 773-783 [doi]

Didactic strategies for promoting significant learning in formal languages and automata theoryCarlos Iván Chesñevar, María Paula González, Ana Gabriela Maguitman. iticse 2004: 7-11 [doi]

Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes TheoryAttila Egri-Nagy, Chrystopher L. Nehaniv. wia 2004: 315-316 [doi]

Paracategories II: adjunctions, fibrations and examples from probabilistic automata theoryClaudio Hermida, Paulo Mateus. TCS, 311(1-3):71-103, 2004. [doi]

Review of Automata theory and its applications by Bakhadyr Khoussainov and Anil Nerode. Birkhäuser Boston, Inc. 2001.: and Automata, logics, and infinite games by E.Grädel, W. Thomas, and T. Wilke. Springer-VerlagLawrence S. Moss, Hans-Jörg Tiede. sigact, 35(1):8-12, 2004. [doi]

The Consequences of Imre Simon s Work in the Theory of Automata, Languages, and SemigroupsJean-Eric Pin. latin 2004: 5 [doi]

Automata theory based on quantum logic: some characterizationsDaowen Qiu. iandc, 190(2):179-195, 2004. [doi]

PIModel: A Pragmatic ITS Model Based on Instructional Automata TheoryJinxin Si, Xiaoli Yue, Cungen Cao, Yuefei Sui. flairs 2004:

Understanding Basic Automata Theory in the Continuous Time SettingBoris A. Trakhtenbrot. FUIN, 62(1):69-121, 2004. [doi]

2003

Using theoretical computer simulators for formal languages and automata theoryCarlos Iván Chesñevar, Maria Laura Cobo, William Yurcik. SIGCSE, 35(2):33-37, 2003. [doi]

Deadlock-Free Scheduling of Flexible Manufacturing Workcells Using Automata TheoryHamid Reza Golmakani, James K. Mills, Beno Benhabib. icra 2003: 169-174

Adaptive Behavior in Cellular Automata Using Rough Set TheoryYasser Hassan, Eiichiro Tazaki. aai, 17(2):155-175, 2003. [doi]

Lower Bounds for Las Vegas Automata by Information TheoryMika Hirvensalo, Sebastian Seibert. ita, 37(1):39-49, 2003. [doi]

Introduction to automata theory, languages, and computation - international edition (2. ed)John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Addison-Wesley, 2003.

Theory and Application of Cellular Automata For Pattern ClassificationPradipta Maji, Chandrama Shaw, Niloy Ganguly, Biplab K. Sikdar, Parimal Pal Chaudhuri. FUIN, 58(2003):321-354, 2003. [doi]

Non-structural subtype entailment in automata theoryJoachim Niehren, Tim Priesnitz. iandc, 186(2):319-354, 2003. [doi]

Two-Way Equational Tree Automata for AC-Like Theories: Decidability and Closure PropertiesKumar Neeraj Verma. RTA 2003: 180-196 [doi]

On Closure under Complementation of Equational Tree Automata for Theories Extending ACKumar Neeraj Verma. lpar 2003: 183-197 [doi]

PreviousNext