Search dblp for Publications

export results for "toc:db/journals/jalc/jalc16.bht:"

 download as .bib file

@article{DBLP:journals/jalc/AnantharamanNR11,
  author       = {Siva Anantharaman and
                  Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {String Rewriting and Security Analysis: An Extension of a Result of
                  Book and Otto},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {75--90},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-075},
  doi          = {10.25596/JALC-2011-075},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/AnantharamanNR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/AvgustinovichKPV11,
  author       = {Sergey V. Avgustinovich and
                  Sergey Kitaev and
                  Artem V. Pyatkin and
                  Alexandr Valyuzhenich},
  title        = {On Square-Free Permutations},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {1},
  pages        = {3--10},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-003},
  doi          = {10.25596/JALC-2011-003},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jalc/AvgustinovichKPV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/BordihnDKT11,
  author       = {Henning Bordihn and
                  J{\"{u}}rgen Dassow and
                  Martin Kutrib and
                  Bianca Truthe},
  title        = {Selected Papers Dedicated to Friedrich Otto on the Occasion of his
                  60th Birthday - Editorial},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {71--74},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-071},
  doi          = {10.25596/JALC-2011-071},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jalc/BordihnDKT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/BordihnHK11,
  author       = {Henning Bordihn and
                  Markus Holzer and
                  Martin Kutrib},
  title        = {Hairpin Finite Automata},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {91--107},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-091},
  doi          = {10.25596/JALC-2011-091},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jalc/BordihnHK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/CaronCM11,
  author       = {Pascal Caron and
                  Jean{-}Marc Champarnaud and
                  Ludovic Mignot},
  title        = {Multi-Bar and Multi-Tilde Regular Operators},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {1},
  pages        = {11--36},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-011},
  doi          = {10.25596/JALC-2011-011},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/CaronCM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/ErbaturMKN11,
  author       = {Serdar Erbatur and
                  Andrew M. Marshall and
                  Deepak Kapur and
                  Paliath Narendran},
  title        = {Unification over Distributive Exponentiation (Sub)Theories},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {109--140},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-109},
  doi          = {10.25596/JALC-2011-109},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/ErbaturMKN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/JezJ11,
  author       = {Artur Jez and
                  Tomasz Jurdzinski},
  title        = {Length-reducing Automata (almost) without Auxiliary Symbols},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {141--164},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-141},
  doi          = {10.25596/JALC-2011-141},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/JezJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/MesserschmidtS11,
  author       = {Hartmut Messerschmidt and
                  Martin Stommel},
  title        = {Church-Rosser Picture Languages and Their Applications in Picture
                  Recognition},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {165--194},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-165},
  doi          = {10.25596/JALC-2011-165},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/MesserschmidtS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Nagy11,
  author       = {Benedek Nagy},
  title        = {On CD-Systems of Stateless Deterministic R(2)-Automata},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {195--213},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-195},
  doi          = {10.25596/JALC-2011-195},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Nagy11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/PardubskaMP11,
  author       = {Dana Pardubsk{\'{a}} and
                  Frantisek Mr{\'{a}}z and
                  Martin Pl{\'{a}}tek},
  title        = {Translations by Regulated Parallel Communicating Grammar Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {2-4},
  pages        = {215--251},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-215},
  doi          = {10.25596/JALC-2011-215},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/PardubskaMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Soltys11,
  author       = {Michael Soltys},
  title        = {Feasible Proofs of Szpilrajn's Theorem - {A} Proof-Complexity Framework
                  for Concurrent Automata},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {1},
  pages        = {37--48},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-037},
  doi          = {10.25596/JALC-2011-037},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Soltys11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Stulman11,
  author       = {Ariel Stulman},
  title        = {Generating Optimal Distinguishing Sequences for Testing Timed Protocols},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {16},
  number       = {1},
  pages        = {49--65},
  year         = {2011},
  url          = {https://doi.org/10.25596/jalc-2011-049},
  doi          = {10.25596/JALC-2011-049},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Stulman11.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.