![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/wia/wia1999.bht:"
@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} }
![](https://dblp1.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.