Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/wia/ciaa2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/wia/AbdullaBHKV08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Composed Bisimulation for Tree Automata},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {212--222},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_22},
doi = {10.1007/978-3-540-70844-5\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AbdullaBHKV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AllauzenM08,
author = {Cyril Allauzen and
Mehryar Mohri},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {3-Way Composition of Weighted Finite-State Transducers},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {262--273},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_27},
doi = {10.1007/978-3-540-70844-5\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AllauzenM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AlmeidaMR08,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Antimirov and Mosses's Rewrite System Revisited},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {46--56},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_6},
doi = {10.1007/978-3-540-70844-5\_6},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AlmeidaMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Badr08,
author = {Andrew Badr},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Hyper-Minimization in O(n2)},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {223--231},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_23},
doi = {10.1007/978-3-540-70844-5\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Badr08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BaturoPR08,
author = {Pawel Baturo and
Marcin Piatkowski and
Wojciech Rytter},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {The Number of Runs in Sturmian Words},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {252--261},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_26},
doi = {10.1007/978-3-540-70844-5\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BaturoPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BouajjaniHHTV08,
author = {Ahmed Bouajjani and
Peter Habermehl and
Luk{\'{a}}s Hol{\'{\i}}k and
Tayssir Touili and
Tom{\'{a}}s Vojnar},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Antichain-Based Universality and Inclusion Testing over Nondeterministic
Finite Tree Automata},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {57--67},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_7},
doi = {10.1007/978-3-540-70844-5\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BouajjaniHHTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/CantinLW08,
author = {Fran{\c{c}}ois Cantin and
Axel Legay and
Pierre Wolper},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Computing Convex Hulls by Automata Iteration},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {112--121},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_12},
doi = {10.1007/978-3-540-70844-5\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/CantinLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/ChamparnaudDJ08,
author = {Jean{-}Marc Champarnaud and
Jean{-}Philippe Dubernard and
Hadrien Jeanne},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Testing Whether a Binary and Prolongeable Regular Language LIs Geometrical
or Not on the Minimal Deterministic Automaton of Pref(L)},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {68--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_8},
doi = {10.1007/978-3-540-70844-5\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/ChamparnaudDJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DixonES08,
author = {Ryan Dixon and
{\"{O}}mer Egecioglu and
Timothy Sherwood},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {141--150},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_15},
doi = {10.1007/978-3-540-70844-5\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/DixonES08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DolzhenkoJ08,
author = {Egor Dolzhenko and
Natasa Jonoska},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {On Complexity of Two Dimensional Languages Generated by Transducers},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {181--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_19},
doi = {10.1007/978-3-540-70844-5\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/DolzhenkoJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/El-FakihY08,
author = {Khaled El{-}Fakih and
Nina Yevtushenko},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Progressive Solutions to {FSM} Equations},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {274--282},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_28},
doi = {10.1007/978-3-540-70844-5\_28},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/El-FakihY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/EsikI08,
author = {Zolt{\'{a}}n {\'{E}}sik and
Szabolcs Iv{\'{a}}n},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Games for Temporal Logics on Trees},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {191--200},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_20},
doi = {10.1007/978-3-540-70844-5\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/EsikI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Fujiyoshi08,
author = {Akio Fujiyoshi},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Combination of Context-Free Grammars and Tree Automata for Unranked
and Ranked Trees},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {283--285},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_29},
doi = {10.1007/978-3-540-70844-5\_29},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Fujiyoshi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GarciaPAR08,
author = {Pedro Garc{\'{\i}}a and
Manuel {V{\'a}zquez de Parga} and
Gloria In{\'{e}}s Alvarez and
Jos{\'{e}} Ruiz},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Learning Regular Languages Using Nondeterministic Finite Automata},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {92--101},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_10},
doi = {10.1007/978-3-540-70844-5\_10},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wia/GarciaPAR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GlabbeekP08,
author = {Rob J. van Glabbeek and
Bas Ploeger},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Five Determinisation Algorithms},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {161--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_17},
doi = {10.1007/978-3-540-70844-5\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/GlabbeekP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HempelK08,
author = {Harald Hempel and
Madlen Kimmritz},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Persistent Computations of Turing Machines},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {171--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_18},
doi = {10.1007/978-3-540-70844-5\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/HempelK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HolzerK08,
author = {Markus Holzer and
Martin Kutrib},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Nondeterministic Finite Automata-Recent Results on the Descriptional
and Computational Complexity},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {1--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_1},
doi = {10.1007/978-3-540-70844-5\_1},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/HolzerK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InabaHM08,
author = {Kazuhiro Inaba and
Haruo Hosoya and
Sebastian Maneth},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Multi-Return Macro Tree Transducers},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {102--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_11},
doi = {10.1007/978-3-540-70844-5\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/InabaHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/LahodaMZ08,
author = {Jan Lahoda and
Borivoj Melichar and
Jan Zd{\'{a}}rek},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Pattern Matching in {DCA} Coded Text},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {151--160},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_16},
doi = {10.1007/978-3-540-70844-5\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/LahodaMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Maletti08,
author = {Andreas Maletti},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Tree-Series-to-Tree-Series Transformations},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {132--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_14},
doi = {10.1007/978-3-540-70844-5\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Maletti08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MatsumotoHT08,
author = {Tetsuya Matsumoto and
Kazuhito Hagio and
Masayuki Takeda},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {A Run-Time Efficient Implementation of Compressed Pattern Matching
Automata},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {201--211},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_21},
doi = {10.1007/978-3-540-70844-5\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/MatsumotoHT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/NishiyamaM08,
author = {Takuya Nishiyama and
Yasuhiko Minamide},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {A Translation from the {HTML} {DTD} into a Regular Hedge Grammar},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {122--131},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_13},
doi = {10.1007/978-3-540-70844-5\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/NishiyamaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/PaunPR08,
author = {Andrei Paun and
Mihaela Paun and
Alfonso Rodr{\'{\i}}guez{-}Pat{\'{o}}n},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Hopcroft's Minimization Technique: Queues or Stacks?},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {78--91},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_9},
doi = {10.1007/978-3-540-70844-5\_9},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/PaunPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Pighizzini08,
author = {Giovanni Pighizzini},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Deterministic Pushdown Automata and Unary Languages},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {232--241},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_24},
doi = {10.1007/978-3-540-70844-5\_24},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Pighizzini08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Razet08,
author = {Beno{\^{\i}}t Razet},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Finite Eilenberg Machines},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {242--251},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_25},
doi = {10.1007/978-3-540-70844-5\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Razet08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Salomaa08,
author = {Kai Salomaa},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Language Decompositions, Primality, and Trajectory-Based Operations},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {17--22},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_2},
doi = {10.1007/978-3-540-70844-5\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Salomaa08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/SimunekM08,
author = {Martin Simunek and
Borivoj Melichar},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Approximate Periods with Levenshtein Distance},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {286--287},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_30},
doi = {10.1007/978-3-540-70844-5\_30},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/SimunekM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/TsayW08,
author = {Yih{-}Kuen Tsay and
Bow{-}Yaw Wang},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Automated Compositional Reasoning of Intuitionistically Closed Regular
Properties},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {36--45},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_5},
doi = {10.1007/978-3-540-70844-5\_5},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/TsayW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Yannakakis08,
author = {Mihalis Yannakakis},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Automata, Probability, and Recursion},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {23--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_3},
doi = {10.1007/978-3-540-70844-5\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Yannakakis08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Yen08,
author = {Hsu{-}Chun Yen},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Concurrency, Synchronization, and Conflicts in Petri Nets},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {33--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_4},
doi = {10.1007/978-3-540-70844-5\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/Yen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2008,
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5},
doi = {10.1007/978-3-540-70844-5},
isbn = {978-3-540-70843-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-04-27 17:23 CEST 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:
