Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/wia/AllauzenR12,
  author       = {Cyril Allauzen and
                  Michael Riley},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {A Pushdown Transducer Extension for the OpenFst Library},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {66--77},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_6},
  doi          = {10.1007/978-3-642-31606-7\_6},
  timestamp    = {Wed, 25 Sep 2019 18:11:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AllauzenR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/AmarniL12,
  author       = {Ahmed Amarni and
                  Sylvain Lombardy},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Factor and Subsequence Kernels and Signatures of Rational Languages},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {313--320},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_27},
  doi          = {10.1007/978-3-642-31606-7\_27},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AmarniL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/AmaviCR12,
  author       = {Joshua Amavi and
                  Jacques Chabin and
                  Pierre R{\'{e}}ty},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Weak Inclusion for Recursive {XML} Types},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {78--89},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_7},
  doi          = {10.1007/978-3-642-31606-7\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/AmaviCR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Berlinkov12,
  author       = {Mikhail V. Berlinkov},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Synchronizing Automata on Quasi-Eulerian Digraph},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {90--100},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_8},
  doi          = {10.1007/978-3-642-31606-7\_8},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/Berlinkov12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Brzozowski12,
  author       = {Janusz A. Brzozowski},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {In Search of Most Complex Regular Languages},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {5--24},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_2},
  doi          = {10.1007/978-3-642-31606-7\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Brzozowski12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/CaronCM12,
  author       = {Pascal Caron and
                  Jean{-}Marc Champarnaud and
                  Ludovic Mignot},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Multi-Tilde-Bar Derivatives},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {321--328},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_28},
  doi          = {10.1007/978-3-642-31606-7\_28},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/CaronCM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Ceccherini-SilbersteinCFS12,
  author       = {Tullio Ceccherini{-}Silberstein and
                  Michel Coornaert and
                  Francesca Fiorenzi and
                  Zoran Sunic},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Cellular Automata on Regular Rooted Trees},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {101--112},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_9},
  doi          = {10.1007/978-3-642-31606-7\_9},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Ceccherini-SilbersteinCFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Crespi-ReghizziP12,
  author       = {Stefano Crespi{-}Reghizzi and
                  Pierluigi {San Pietro}},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Strict Local Testability with Consensus Equals Regularity},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {113--124},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_10},
  doi          = {10.1007/978-3-642-31606-7\_10},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/Crespi-ReghizziP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/DeganoFM12,
  author       = {Pierpaolo Degano and
                  Gian{-}Luigi Ferrari and
                  Gianluca Mezzetti},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Nominal Automata for Resource Usage Control},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {125--137},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_11},
  doi          = {10.1007/978-3-642-31606-7\_11},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/DeganoFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/DrosteP12,
  author       = {Manfred Droste and
                  Bundit Pibaljommee},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Weighted Nested Word Automata and Logics over Strong Bimonoids},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {138--148},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_12},
  doi          = {10.1007/978-3-642-31606-7\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/DrosteP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/EhrenfeuchtR12,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {A Formal Framework for Processes Inspired by the Functioning of Living
                  Cells},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {25--27},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_3},
  doi          = {10.1007/978-3-642-31606-7\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/EhrenfeuchtR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/FaroL12,
  author       = {Simone Faro and
                  Thierry Lecroq},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {A Fast Suffix Automata Based Algorithm for Exact Online String Matching},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {149--158},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_13},
  doi          = {10.1007/978-3-642-31606-7\_13},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/FaroL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/FominykhV12,
  author       = {Fedor M. Fominykh and
                  Mikhail V. Volkov},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {P(l)aying for Synchronization},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {159--170},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_14},
  doi          = {10.1007/978-3-642-31606-7\_14},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/FominykhV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/GaoS12,
  author       = {Yuan Gao and
                  Kai Salomaa},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {In Memoriam Sheng Yu},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_1},
  doi          = {10.1007/978-3-642-31606-7\_1},
  timestamp    = {Wed, 13 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/GaoS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/GastinM12,
  author       = {Paul Gastin and
                  Benjamin Monmege},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Adding Pebbles to Weighted Automata},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {28--51},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_4},
  doi          = {10.1007/978-3-642-31606-7\_4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/GastinM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/GocHS12,
  author       = {Daniel Goc and
                  Dane Henshall and
                  Jeffrey O. Shallit},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Automatic Theorem-Proving in Combinatorics on Words},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {180--191},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_16},
  doi          = {10.1007/978-3-642-31606-7\_16},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/GocHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Gusev12,
  author       = {Vladimir V. Gusev},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Synchronizing Automata of Bounded Rank},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {171--179},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_15},
  doi          = {10.1007/978-3-642-31606-7\_15},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Gusev12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/HeamHK12,
  author       = {Pierre{-}Cyrille H{\'{e}}am and
                  Vincent Hugot and
                  Olga Kouchnarenko},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {On Positive {TAGED} with a Bounded Number of Constraints},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {329--336},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_29},
  doi          = {10.1007/978-3-642-31606-7\_29},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HeamHK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/IbarraT12,
  author       = {Oscar H. Ibarra and
                  Nicholas Q. Tr{\^{a}}n},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {How to Synchronize the Heads of a Multitape Automaton},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {192--204},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_17},
  doi          = {10.1007/978-3-642-31606-7\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/IbarraT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/JahnKL12,
  author       = {Franz Jahn and
                  Manfred Kufleitner and
                  Alexander Lauser},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Regular Ideal Languages and Their Boolean Combinations},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {205--216},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_18},
  doi          = {10.1007/978-3-642-31606-7\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/JahnKL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/JezM12,
  author       = {Artur Jez and
                  Andreas Maletti},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Hyper-minimization for Deterministic Tree Automata},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {217--228},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_19},
  doi          = {10.1007/978-3-642-31606-7\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/JezM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/JiraskovaM12,
  author       = {Galina Jir{\'{a}}skov{\'{a}} and
                  Tom{\'{a}}s Masopust},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {On the State and Computational Complexity of the Reverse of Acyclic
                  Minimal DFAs},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {229--239},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_20},
  doi          = {10.1007/978-3-642-31606-7\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/JiraskovaM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/KlimannMP12,
  author       = {Ines Klimann and
                  Jean Mairesse and
                  Matthieu Picantin},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Implementing Computations in Automaton (Semi)groups},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {240--252},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_21},
  doi          = {10.1007/978-3-642-31606-7\_21},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/KlimannMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/KutribO12,
  author       = {Martin Kutrib and
                  Friedrich Otto},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {On the Descriptional Complexity of the Window Size for Deterministic
                  Restarting Automata},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {253--264},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_22},
  doi          = {10.1007/978-3-642-31606-7\_22},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/KutribO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/LiuSGF12,
  author       = {Tingwen Liu and
                  Yong Sun and
                  Li Guo and
                  Binxing Fang},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {{SDFA:} Series {DFA} for Memory-Efficient Regular Expression Matching},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {337--344},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_30},
  doi          = {10.1007/978-3-642-31606-7\_30},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/LiuSGF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/LombardyS12,
  author       = {Sylvain Lombardy and
                  Jacques Sakarovitch},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {The Removal of Weighted {\(\epsilon\)}-Transitions},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {345--352},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_31},
  doi          = {10.1007/978-3-642-31606-7\_31},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/LombardyS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Mandrali12,
  author       = {Eleni Mandrali},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Weighted {LTL} with Discounting},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {353--360},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_32},
  doi          = {10.1007/978-3-642-31606-7\_32},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Mandrali12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Martyugin12,
  author       = {Pavel V. Martyugin},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Synchronization of Automata with One Undefined or Ambiguous Transition},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {278--288},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_24},
  doi          = {10.1007/978-3-642-31606-7\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Martyugin12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Mohri12,
  author       = {Mehryar Mohri},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {A Disambiguation Algorithm for Finite Automata and Functional Transducers},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {265--277},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_23},
  doi          = {10.1007/978-3-642-31606-7\_23},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Mohri12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/Oliveira12,
  author       = {Jos{\'{e}} Nuno Oliveira},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Typed Linear Algebra for Weigthed (Probabilistic) Automata},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {52--65},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_5},
  doi          = {10.1007/978-3-642-31606-7\_5},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Oliveira12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/PrusaM12,
  author       = {Daniel Pr\r{u}\v{s}a and
                  Frantisek Mr{\'{a}}z},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Restarting Tiling Automata},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {289--300},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_25},
  doi          = {10.1007/978-3-642-31606-7\_25},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/PrusaM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/ReidenbachS12,
  author       = {Daniel Reidenbach and
                  Markus L. Schmid},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Automata with Modulo Counters and Nondeterministic Counter Bounds},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {361--368},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_33},
  doi          = {10.1007/978-3-642-31606-7\_33},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/ReidenbachS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wia/ReussS12,
  author       = {Andreas Reu{\ss} and
                  Helmut Seidl},
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Crossing the Syntactic Barrier: Hom-Disequalities for H\({}_{\mbox{1}}\)-Clauses},
  booktitle    = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  pages        = {301--312},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7\_26},
  doi          = {10.1007/978-3-642-31606-7\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/ReussS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wia/2012,
  editor       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  title        = {Implementation and Application of Automata - 17th International Conference,
                  {CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7381},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31606-7},
  doi          = {10.1007/978-3-642-31606-7},
  isbn         = {978-3-642-31605-0},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/2012.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.