default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 Prr{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}
}
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.
retrieved on 2025-01-13 08:21 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
