Search dblp for Publications

export results for "toc:db/books/collections/automata2012.bht:"

 download as .bib file

@incollection{DBLP:books/ws/automata2012/AgrawalSTY12,
  author       = {Manindra Agrawal and
                  Frank Stephan and
                  P. S. Thiagarajan and
                  Shaofa Yang},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {The Discrete Time Behaviour of Restricted Linear Hybrid Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {437--456},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0014},
  doi          = {10.1142/9789814271059\_0014},
  timestamp    = {Sat, 03 Aug 2019 22:52:51 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/AgrawalSTY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/BabuP12,
  author       = {Ajesh Babu and
                  Paritosh K. Pandya},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Chop Expressions and Discrete Duration Calculus},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {229--256},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0008},
  doi          = {10.1142/9789814271059\_0008},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/BabuP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Chakraborty12,
  author       = {Supratik Chakraborty},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Reasoning about Heap Manipulating Programs using Automata Techniques},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {193--228},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0007},
  doi          = {10.1142/9789814271059\_0007},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Chakraborty12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/ChaturvediCB12,
  author       = {Namit Chaturvedi and
                  Atish Datta Chowdhury and
                  Meenakshi Balasubramanian},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {A Framework for Decentralized Physical Access Control using Finite
                  State Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {171--192},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0006},
  doi          = {10.1142/9789814271059\_0006},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/ChaturvediCB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/ChevalierDMP12,
  author       = {Fabrice Chevalier and
                  Deepak D'Souza and
                  Raj Mohan Matteplackel and
                  Pavithra Prabhakar},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Automata and Logics over Signals},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {555--584},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0018},
  doi          = {10.1142/9789814271059\_0018},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/ChevalierDMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/DemriG12,
  author       = {St{\'{e}}phane Demri and
                  Paul Gastin},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Specification and Verification using Temporal Logics},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {457--494},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0015},
  doi          = {10.1142/9789814271059\_0015},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/DemriG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/EsparzaK12,
  author       = {Javier Esparza and
                  J{\"{o}}rg Kreiker},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Three Case Studies on Verification of Infinite-State Systems},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {373--414},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0012},
  doi          = {10.1142/9789814271059\_0012},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/EsparzaK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/GopinathanP12,
  author       = {Madhu Gopinathan and
                  Pavithra Prabhakar},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Introduction to Hybrid Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {415--436},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0013},
  doi          = {10.1142/9789814271059\_0013},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/GopinathanP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/KrithivasanS12,
  author       = {Kamala Krithivasan and
                  Y. Sivasubramanyam},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Weighted Finite Automata and Digital Images},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {617--648},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0020},
  doi          = {10.1142/9789814271059\_0020},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/KrithivasanS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Kumar12,
  author       = {K. Narayan Kumar},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {The Theory of Message Sequence Charts},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {289--324},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0010},
  doi          = {10.1142/9789814271059\_0010},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Kumar12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Lodaya12,
  author       = {Kamal Lodaya},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {A Language-Theoretic View of Verification},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {149--170},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0005},
  doi          = {10.1142/9789814271059\_0005},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Lodaya12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Loding12,
  author       = {Christof L{\"{o}}ding},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Basics on Tree Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {79--110},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0003},
  doi          = {10.1142/9789814271059\_0003},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Loding12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/ManethFS12,
  author       = {Sebastian Maneth and
                  Sylvia Friese and
                  Helmut Seidl},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Type Checking of Tree Walking Transducers},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {325--372},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0011},
  doi          = {10.1142/9789814271059\_0011},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/ManethFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/ManuelR12,
  author       = {Amaldev Manuel and
                  Ramaswamy Ramanujam},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Automata over Infinite Alphabets},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {529--554},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0017},
  doi          = {10.1142/9789814271059\_0017},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/ManuelR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Mukund12,
  author       = {Madhavan Mukund},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Finite-State Automata on Infinite Inputs},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {45--78},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0002},
  doi          = {10.1142/9789814271059\_0002},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Mukund12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Mukund12a,
  author       = {Madhavan Mukund},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Automata on Distributed Alphabets},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {257--288},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0009},
  doi          = {10.1142/9789814271059\_0009},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Mukund12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/PandyaS12,
  author       = {Paritosh K. Pandya and
                  P. Vijay Suman},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {An Introduction to Timed Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {111--148},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0004},
  doi          = {10.1142/9789814271059\_0004},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/PandyaS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Shankar12,
  author       = {Priti Shankar},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Syntax Directed Compression of Trees Using Pushdown Automata},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {585--616},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0019},
  doi          = {10.1142/9789814271059\_0019},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Shankar12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/StraubingW12,
  author       = {Howard Straubing and
                  Pascal Weil},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {An Introduction to Finite Automata and their Connection to Logic},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {3--44},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0001},
  doi          = {10.1142/9789814271059\_0001},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/StraubingW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/ws/automata2012/Thomas12,
  author       = {Wolfgang Thomas},
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Finite Automata and the Analysis of Infinite Transition Systems},
  booktitle    = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  pages        = {495--528},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/9789814271059\_0016},
  doi          = {10.1142/9789814271059\_0016},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata2012/Thomas12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/ws/automata12,
  editor       = {Deepak D'Souza and
                  Priti Shankar},
  title        = {Modern Applications of Automata Theory},
  series       = {IISc Research Monographs Series},
  volume       = {2},
  publisher    = {World Scientific},
  year         = {2012},
  url          = {https://doi.org/10.1142/7237},
  doi          = {10.1142/7237},
  isbn         = {978-981-4271-04-2},
  timestamp    = {Sat, 03 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/ws/automata12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.