Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/wia/1999,
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45526-4},
  doi          = {10.1007/3-540-45526-4},
  isbn         = {3-540-42812-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AmilhastreJV99,
  author       = {J{\'{e}}r{\^{o}}me Amilhastre and
                  Philippe Janssen and
                  Marie{-}Catherine Vilarem},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {{FA} Minimisation Heuristics for a Class of Finite Languages},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_1},
  doi          = {10.1007/3-540-45526-4\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AmilhastreJV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AndaryCCDFL99,
  author       = {Philippe Andary and
                  Pascal Caron and
                  Jean{-}Marc Champarnaud and
                  G{\'{e}}rard Duchamp and
                  Marianne Flouret and
                  {\'{E}}ric Laugerotte},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {{SEA:} {A} Symbolic Environment for Automata Theory},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {13--26},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_2},
  doi          = {10.1007/3-540-45526-4\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AndaryCCDFL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BergeronC99,
  author       = {Anne Bergeron and
                  Riccardo Catalano},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Analysis of Reactive Systems with n Timers},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {27--38},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_3},
  doi          = {10.1007/3-540-45526-4\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/BergeronC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrauneDKW99,
  author       = {Beatrix Braune and
                  Stephan Diehl and
                  Andreas Kerren and
                  Reinhard Wilhelm},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Animation of the Generation and Computation of Finite Automata for
                  Learning Software},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {39--47},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_4},
  doi          = {10.1007/3-540-45526-4\_4},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/BrauneDKW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CaludeSY99,
  author       = {Cristian Calude and
                  Kai Salomaa and
                  Sheng Yu},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Metric Lexical Analysis},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {48--59},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_5},
  doi          = {10.1007/3-540-45526-4\_5},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/CaludeSY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CampeanuCSY99,
  author       = {Cezar C{\^{a}}mpeanu and
                  Karel Cul{\'{\i}}k II and
                  Kai Salomaa and
                  Sheng Yu},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {State Complexity of Basic Operations on Finite Languages},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {60--70},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_6},
  doi          = {10.1007/3-540-45526-4\_6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CampeanuCSY99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Daciuk99,
  author       = {Jan Daciuk},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Treatment of Unknown Words},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {71--80},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_7},
  doi          = {10.1007/3-540-45526-4\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Daciuk99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Eramian99,
  author       = {Mark G. Eramian},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Computing Entropy Maps of Finite-Automaton-Encoded Binary Images},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {81--90},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_8},
  doi          = {10.1007/3-540-45526-4\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Eramian99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GiammarresiPW99,
  author       = {Dora Giammarresi and
                  Jean{-}Luc Ponty and
                  Derick Wood},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Thompson Digraphs: {A} Characterization},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {91--100},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_9},
  doi          = {10.1007/3-540-45526-4\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/GiammarresiPW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/JurgensenS99,
  author       = {Helmut J{\"{u}}rgensen and
                  Ludwig Staiger},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Finite Automata Encoding Geometric Figures},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {101--108},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_10},
  doi          = {10.1007/3-540-45526-4\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/JurgensenS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Kiraz99,
  author       = {George Anton Kiraz},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Compressed Storage of Sparse Finite-State Transducers},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {109--121},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_11},
  doi          = {10.1007/3-540-45526-4\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Kiraz99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/NoordG99,
  author       = {Gertjan van Noord and
                  Dale Gerdemann},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {An Extendible Regular Expression Compiler for Finite-State Approaches
                  in Natural Language Processing},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {122--139},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_12},
  doi          = {10.1007/3-540-45526-4\_12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/NoordG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/PaunT99,
  author       = {Gheorghe Paun and
                  Gabriel Thierrin},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {Multiset Processing by Means of Systems of Finite State Transducers},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {140--157},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_13},
  doi          = {10.1007/3-540-45526-4\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/PaunT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/SeuringG99,
  author       = {Markus Seuring and
                  Michael G{\"{o}}ssel},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {A Structural Method for Output Compaction of Sequential Automata Implemented
                  as Circuits},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {158--163},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_14},
  doi          = {10.1007/3-540-45526-4\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/SeuringG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Trahtman99,
  author       = {A. N. Trahtman},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {An Algorithm to Verify Local Threshold Testability of Deterministic
                  Finite Automata},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {164--173},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_15},
  doi          = {10.1007/3-540-45526-4\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Trahtman99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Watson99,
  author       = {Bruce W. Watson},
  editor       = {Oliver Boldt and
                  Helmut J{\"{u}}rgensen},
  title        = {A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic
                  Finite Automata},
  booktitle    = {Automata Implementation, 4th International Workshop on Implementing
                  Automata, WIA'99, Potsdam, Germany, July 17-19, 1999, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2214},
  pages        = {174--182},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-45526-4\_16},
  doi          = {10.1007/3-540-45526-4\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Watson99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics