Search dblp for Publications

export results for "toc:db/conf/wia/ciaa2000.bht:"

 download as .bib file

@proceedings{DBLP:conf/wia/2000,
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44674-5},
  doi          = {10.1007/3-540-44674-5},
  isbn         = {3-540-42491-1},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/BergeronH00,
  author       = {Anne Bergeron and
                  Sylvie Hamel},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Fast Implementations of Automata Computations},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {47--56},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_3},
  doi          = {10.1007/3-540-44674-5\_3},
  timestamp    = {Thu, 19 Mar 2020 15:28:05 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/BergeronH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Bruggemann-KleinW00,
  author       = {Anne Br{\"{u}}ggemann{-}Klein and
                  Derick Wood},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Regularly Extended Two-Way Nondeterministic Tree Automata},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {57--66},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_4},
  doi          = {10.1007/3-540-44674-5\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Bruggemann-KleinW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CaronF00,
  author       = {Pascal Caron and
                  Marianne Flouret},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Glushkov Construction for Multiplicities},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {67--79},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_5},
  doi          = {10.1007/3-540-44674-5\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CaronF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Champarnaud00,
  author       = {Jean{-}Marc Champarnaud},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Implicit Structures to Implement NFA's from Regular Expressions},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {80--93},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_6},
  doi          = {10.1007/3-540-44674-5\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Champarnaud00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/ChamparnaudZ00,
  author       = {Jean{-}Marc Champarnaud and
                  Djelloul Ziadi},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {New Finite Automaton Constructions Based on Canonical Derivatives},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {94--104},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_7},
  doi          = {10.1007/3-540-44674-5\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/ChamparnaudZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Daciuk00,
  author       = {Jan Daciuk},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Experiments with Automata Compression},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {105--112},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_8},
  doi          = {10.1007/3-540-44674-5\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Daciuk00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/DiehlKW00,
  author       = {Stephan Diehl and
                  Andreas Kerren and
                  Torsten Weller},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Visual Exploration of Generation Algorithms for Finite Automata on
                  the Web},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {327--328},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_29},
  doi          = {10.1007/3-540-44674-5\_29},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/DiehlKW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/DrewesEKK00,
  author       = {Frank Drewes and
                  Sigrid Ewert and
                  Renate Klempien{-}Hinrichs and
                  Hans{-}J{\"{o}}rg Kreowski},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Computing Raster Images from Grid Picture Grammars},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {113--121},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_9},
  doi          = {10.1007/3-540-44674-5\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/DrewesEKK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/DrewesK00,
  author       = {Frank Drewes and
                  Renate Klempien{-}Hinrichs},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {{TREEBAG}},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {329--330},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_30},
  doi          = {10.1007/3-540-44674-5\_30},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/DrewesK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/DvorskyS00,
  author       = {Jiri Dvorsk{\'{y}} and
                  V{\'{a}}clav Sn{\'{a}}sel},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Word Random Access Compression},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {331--332},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_31},
  doi          = {10.1007/3-540-44674-5\_31},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/DvorskyS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/FarreG00,
  author       = {Jacques Farr{\'{e}} and
                  Jos{\'{e}} Fortes G{\'{a}}lvez},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {A Basis for Looping Extensions to Discriminating-Reverse Parsing},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {122--134},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_10},
  doi          = {10.1007/3-540-44674-5\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/FarreG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/FerroDR00,
  author       = {Manuel Vilares Ferro and
                  Victor M. Darriba and
                  Francisco J. Ribadas},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Regional Least-Cost Error Repair},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {293--301},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_25},
  doi          = {10.1007/3-540-44674-5\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/FerroDR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Gaal00,
  author       = {Tam{\'{a}}s Ga{\'{a}}l},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Extended Sequentialization of Transducers},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {333--334},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_32},
  doi          = {10.1007/3-540-44674-5\_32},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Gaal00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/HarelK00,
  author       = {David Harel and
                  Hillel Kugler},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Synthesizing State-Based Object Systems from {LSC} Specifications},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {1--33},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_1},
  doi          = {10.1007/3-540-44674-5\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HarelK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Heam00,
  author       = {Pierre{-}Cyrille H{\'{e}}am},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Automata for Pro-V Topologies},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {135--144},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_11},
  doi          = {10.1007/3-540-44674-5\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Heam00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Ibarra00,
  author       = {Oscar H. Ibarra},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Reachability and Safety in Queue Systems},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_12},
  doi          = {10.1007/3-540-44674-5\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Ibarra00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/IbarraS00,
  author       = {Oscar H. Ibarra and
                  Jianwen Su},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Generalizing the Discrete Timed Automaton},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {157--169},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_13},
  doi          = {10.1007/3-540-44674-5\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/IbarraS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Johnson00,
  author       = {J. Howard Johnson},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Lessons from {INR} in the Specification of Transductions},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {335--336},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_33},
  doi          = {10.1007/3-540-44674-5\_33},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Johnson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Karttunen00,
  author       = {Lauri Karttunen},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Applications of Finite-State Transducers in Natural Language Processing},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {34--46},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_2},
  doi          = {10.1007/3-540-44674-5\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Karttunen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Kempe00,
  author       = {Andr{\'{e}} Kempe},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Factorization of Ambiguous Finite-State Transducers},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {170--181},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_14},
  doi          = {10.1007/3-540-44674-5\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Kempe00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Kempe00a,
  author       = {Andr{\'{e}} Kempe},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Part-of-Speech Tagging with Two Sequential Transducers},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {337--339},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_34},
  doi          = {10.1007/3-540-44674-5\_34},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Kempe00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/KlarlundMS00,
  author       = {Nils Klarlund and
                  Anders M{\o}ller and
                  Michael I. Schwartzbach},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {{MONA} Implementation Secrets},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {182--194},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_15},
  doi          = {10.1007/3-540-44674-5\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/KlarlundMS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/LodayaR00,
  author       = {Kamal Lodaya and
                  Ramaswamy Ramanujam},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {An Automaton Model of User-Controlled Navigation on the Web},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {208--216},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_17},
  doi          = {10.1007/3-540-44674-5\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/LodayaR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Maout00,
  author       = {Vincent Le Maout},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Cursors},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {195--207},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_16},
  doi          = {10.1007/3-540-44674-5\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Maout00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/MihovM00,
  author       = {Stoyan Mihov and
                  Denis Maurel},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Direct Construction of Minimal Acyclic Subsequential Transducers},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {217--229},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_18},
  doi          = {10.1007/3-540-44674-5\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/MihovM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Mohri00,
  author       = {Mehryar Mohri},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Generic epsilon -Removal Algorithm for Weighted Automata},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {230--242},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_19},
  doi          = {10.1007/3-540-44674-5\_19},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Mohri00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Neto00,
  author       = {Jo{\~{a}}o Jos{\'{e}} Neto},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Solving Complex Problems Efficiently with Adaptive Automata},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {340--342},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_35},
  doi          = {10.1007/3-540-44674-5\_35},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Neto00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/PaunSY00,
  author       = {Andrei Paun and
                  Nicolae Santean and
                  Sheng Yu},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {An O(n\({}^{\mbox{2}}\)) Algorithm for Constructing Minimal Cover
                  Automata for Finite Languages},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {243--251},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_20},
  doi          = {10.1007/3-540-44674-5\_20},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/PaunSY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Pighizzini00,
  author       = {Giovanni Pighizzini},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Unary Language Concatenation and Its State Complexity},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {252--262},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_21},
  doi          = {10.1007/3-540-44674-5\_21},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Pighizzini00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/SchmitzV00,
  author       = {Dominik Schmitz and
                  Jens V{\"{o}}ge},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Implementation of a Strategy Improvement Algorithm for Finite-State
                  Parity Games},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {263--271},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_22},
  doi          = {10.1007/3-540-44674-5\_22},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/SchmitzV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Shallit00,
  author       = {Jeffrey O. Shallit},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {State Complexity and Jacobsthal's Function},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {272--278},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_23},
  doi          = {10.1007/3-540-44674-5\_23},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/Shallit00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/ShankarSAR00,
  author       = {Priti Shankar and
                  K. Sasidharan and
                  Vikas Aggarwal and
                  B. Sundar Rajan},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {A Package for the Implementation of Block Codes as Finite Automata},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {279--292},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_24},
  doi          = {10.1007/3-540-44674-5\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/ShankarSAR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Wareham00,
  author       = {Todd Wareham},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {The Parameterized Complexity of Intersection and Composition Operations
                  on Sets of Finite-State Automata},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {302--310},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_26},
  doi          = {10.1007/3-540-44674-5\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Wareham00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Watson00,
  author       = {Bruce W. Watson},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {311--317},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_27},
  doi          = {10.1007/3-540-44674-5\_27},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Watson00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/ZijlHO00,
  author       = {Lynette van Zijl and
                  John{-}Paul Harper and
                  Frank Olivier},
  editor       = {Sheng Yu and
                  Andrei Paun},
  title        = {The MERLin Environment Applied to *-NFAs},
  booktitle    = {Implementation and Application of Automata, 5th International Conference,
                  {CIAA} 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2088},
  pages        = {318--326},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44674-5\_28},
  doi          = {10.1007/3-540-44674-5\_28},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/ZijlHO00.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.