More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

17th CIAA 2012: Porto, Portugal

> Home > Conferences and Workshops > CIAA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wia/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/2012
Nelma Moreira, Rogério Reis:
Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7381, Springer 2012, ISBN 978-3-642-31605-0

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/wia/GaoS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/GaoS12
Yuan Gao, Kai Salomaa:
In Memoriam Sheng Yu. 1-4
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Brzozowski12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Brzozowski12
Janusz A. Brzozowski:
In Search of Most Complex Regular Languages. 5-24
- view
  authority control:
- export record
  dblp key:
  - conf/wia/EhrenfeuchtR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/EhrenfeuchtR12
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
A Formal Framework for Processes Inspired by the Functioning of Living Cells. 25-27
- view
  authority control:
- export record
  dblp key:
  - conf/wia/GastinM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/GastinM12
Paul Gastin, Benjamin Monmege:
Adding Pebbles to Weighted Automata. 28-51
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Oliveira12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Oliveira12
José Nuno Oliveira:
Typed Linear Algebra for Weigthed (Probabilistic) Automata. 52-65

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wia/AllauzenR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/AllauzenR12
Cyril Allauzen, Michael Riley:
A Pushdown Transducer Extension for the OpenFst Library. 66-77
- view
  authority control:
- export record
  dblp key:
  - conf/wia/AmaviCR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/AmaviCR12
Joshua Amavi, Jacques Chabin, Pierre Réty:
Weak Inclusion for Recursive XML Types. 78-89
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Berlinkov12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Berlinkov12
Mikhail V. Berlinkov:
Synchronizing Automata on Quasi-Eulerian Digraph. 90-100
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Ceccherini-SilbersteinCFS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Ceccherini-SilbersteinCFS12
Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Zoran Sunic:
Cellular Automata on Regular Rooted Trees. 101-112
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Crespi-ReghizziP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Crespi-ReghizziP12
Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Strict Local Testability with Consensus Equals Regularity. 113-124
- view
  authority control:
- export record
  dblp key:
  - conf/wia/DeganoFM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/DeganoFM12
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti:
Nominal Automata for Resource Usage Control. 125-137
- view
  authority control:
- export record
  dblp key:
  - conf/wia/DrosteP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/DrosteP12
Manfred Droste, Bundit Pibaljommee:
Weighted Nested Word Automata and Logics over Strong Bimonoids. 138-148
- view
  authority control:
- export record
  dblp key:
  - conf/wia/FaroL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/FaroL12
Simone Faro, Thierry Lecroq:
A Fast Suffix Automata Based Algorithm for Exact Online String Matching. 149-158
- view
  authority control:
- export record
  dblp key:
  - conf/wia/FominykhV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/FominykhV12
Fedor M. Fominykh, Mikhail V. Volkov:
P(l)aying for Synchronization. 159-170
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Gusev12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Gusev12
Vladimir V. Gusev:
Synchronizing Automata of Bounded Rank. 171-179
- view
  authority control:
- export record
  dblp key:
  - conf/wia/GocHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/GocHS12
Daniel Goc, Dane Henshall, Jeffrey O. Shallit:
Automatic Theorem-Proving in Combinatorics on Words. 180-191
- view
  authority control:
- export record
  dblp key:
  - conf/wia/IbarraT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/IbarraT12
Oscar H. Ibarra, Nicholas Q. Trân:
How to Synchronize the Heads of a Multitape Automaton. 192-204
- view
  authority control:
- export record
  dblp key:
  - conf/wia/JahnKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/JahnKL12
Franz Jahn, Manfred Kufleitner, Alexander Lauser:
Regular Ideal Languages and Their Boolean Combinations. 205-216
- view
  authority control:
- export record
  dblp key:
  - conf/wia/JezM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/JezM12
Artur Jez, Andreas Maletti:
Hyper-minimization for Deterministic Tree Automata. 217-228
- view
  authority control:
- export record
  dblp key:
  - conf/wia/JiraskovaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/JiraskovaM12
Galina Jirásková, Tomás Masopust:
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs. 229-239
- view
  authority control:
- export record
  dblp key:
  - conf/wia/KlimannMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/KlimannMP12
Ines Klimann, Jean Mairesse, Matthieu Picantin:
Implementing Computations in Automaton (Semi)groups. 240-252
- view
  authority control:
- export record
  dblp key:
  - conf/wia/KutribO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/KutribO12
Martin Kutrib, Friedrich Otto:
On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata. 253-264
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Mohri12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Mohri12
Mehryar Mohri:
A Disambiguation Algorithm for Finite Automata and Functional Transducers. 265-277
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Martyugin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Martyugin12
Pavel V. Martyugin:
Synchronization of Automata with One Undefined or Ambiguous Transition. 278-288
- view
  authority control:
- export record
  dblp key:
  - conf/wia/PrusaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/PrusaM12
Daniel Prusa, Frantisek Mráz:
Restarting Tiling Automata. 289-300
- view
  authority control:
- export record
  dblp key:
  - conf/wia/ReussS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/ReussS12
Andreas Reuß, Helmut Seidl:
Crossing the Syntactic Barrier: Hom-Disequalities for H₁-Clauses. 301-312

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/wia/AmarniL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/AmarniL12
Ahmed Amarni, Sylvain Lombardy:
Factor and Subsequence Kernels and Signatures of Rational Languages. 313-320
- view
  authority control:
- export record
  dblp key:
  - conf/wia/CaronCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/CaronCM12
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot:
Multi-Tilde-Bar Derivatives. 321-328
- view
  authority control:
- export record
  dblp key:
  - conf/wia/HeamHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/HeamHK12
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko:
On Positive TAGED with a Bounded Number of Constraints. 329-336
- view
  authority control:
- export record
  dblp key:
  - conf/wia/LiuSGF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/LiuSGF12
Tingwen Liu, Yong Sun, Li Guo, Binxing Fang:
SDFA: Series DFA for Memory-Efficient Regular Expression Matching. 337-344
- view
  authority control:
- export record
  dblp key:
  - conf/wia/LombardyS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/LombardyS12
Sylvain Lombardy, Jacques Sakarovitch:
The Removal of Weighted ε-Transitions. 345-352
- view
  authority control:
- export record
  dblp key:
  - conf/wia/Mandrali12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/Mandrali12
Eleni Mandrali:
Weighted LTL with Discounting. 353-360
- view
  authority control:
- export record
  dblp key:
  - conf/wia/ReidenbachS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/ReidenbachS12
Daniel Reidenbach, Markus L. Schmid:
Automata with Modulo Counters and Nondeterministic Counter Bounds. 361-368

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.