![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Modern Applications of Automata Theory 2012
- Deepak D'Souza, Priti Shankar:
Modern Applications of Automata Theory. IISc Research Monographs Series 2, World Scientific 2012, ISBN 978-981-4271-04-2
Part I: Basic Chapters
- Howard Straubing, Pascal Weil:
An Introduction to Finite Automata and their Connection to Logic. 3-44 - Madhavan Mukund:
Finite-State Automata on Infinite Inputs. 45-78 - Christof Löding:
Basics on Tree Automata. 79-110 - Paritosh K. Pandya, P. Vijay Suman:
An Introduction to Timed Automata. 111-148
Part II: Verification
- Kamal Lodaya:
A Language-Theoretic View of Verification. 149-170 - Namit Chaturvedi, Atish Datta Chowdhury, Meenakshi Balasubramanian:
A Framework for Decentralized Physical Access Control using Finite State Automata. 171-192 - Supratik Chakraborty
:
Reasoning about Heap Manipulating Programs using Automata Techniques. 193-228 - Ajesh Babu, Paritosh K. Pandya:
Chop Expressions and Discrete Duration Calculus. 229-256 - Madhavan Mukund:
Automata on Distributed Alphabets. 257-288 - K. Narayan Kumar:
The Theory of Message Sequence Charts. 289-324 - Sebastian Maneth, Sylvia Friese, Helmut Seidl:
Type Checking of Tree Walking Transducers. 325-372 - Javier Esparza, Jörg Kreiker:
Three Case Studies on Verification of Infinite-State Systems. 373-414 - Madhu Gopinathan, Pavithra Prabhakar:
Introduction to Hybrid Automata. 415-436 - Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang:
The Discrete Time Behaviour of Restricted Linear Hybrid Automata. 437-456
Part III: Automata and Logic
- Stéphane Demri, Paul Gastin:
Specification and Verification using Temporal Logics. 457-494 - Wolfgang Thomas:
Finite Automata and the Analysis of Infinite Transition Systems. 495-528 - Amaldev Manuel, Ramaswamy Ramanujam:
Automata over Infinite Alphabets. 529-554 - Fabrice Chevalier, Deepak D'Souza, Raj Mohan Matteplackel, Pavithra Prabhakar:
Automata and Logics over Signals. 555-584
Part IV: Compression
- Priti Shankar:
Syntax Directed Compression of Trees Using Pushdown Automata. 585-616 - Kamala Krithivasan, Y. Sivasubramanyam:
Weighted Finite Automata and Digital Images. 617-648
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.