Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jalc/AnantharamanGHM06,
  author       = {Siva Anantharaman and
                  Paul Gastin and
                  Ga{\'{e}}tan Hains and
                  John Mullins and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Editorial},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {1},
  pages        = {5--6},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-005},
  doi          = {10.25596/JALC-2006-005},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/AnantharamanGHM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Asveld06,
  author       = {Peter R. J. Asveld},
  title        = {Generating all Circular Shifts by Context-Free Grammars in Chomsky
                  Normal Form},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {2},
  pages        = {147--159},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-147},
  doi          = {10.25596/JALC-2006-147},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Asveld06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Baudet06,
  author       = {Mathieu Baudet},
  title        = {Random Polynomial-Time Attacks and Dolev-Yao Models},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {1},
  pages        = {7--21},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-007},
  doi          = {10.25596/JALC-2006-007},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Baudet06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/BeekLP06,
  author       = {Maurice H. ter Beek and
                  Gabriele Lenzini and
                  Marinella Petrocchi},
  title        = {A Team Automaton Scenario for the Analysis of Security Properties
                  of Communication Protocols},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {4},
  pages        = {345--374},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-345},
  doi          = {10.25596/JALC-2006-345},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/BeekLP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/BrijderCRRS06,
  author       = {Robert Brijder and
                  Matteo Cavaliere and
                  Agustin Riscos{-}N{\'{u}}{\~{n}}ez and
                  Grzegorz Rozenberg and
                  Dragos Sburlan},
  title        = {Communication Membrane Systems with Active Symports},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {3},
  pages        = {241--261},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-241},
  doi          = {10.25596/JALC-2006-241},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/BrijderCRRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/CavaliereFLP06,
  author       = {Matteo Cavaliere and
                  Rudolf Freund and
                  Alexander Leitsch and
                  Gheorghe Paun},
  title        = {Event-Related Outputs of Computations in {P} Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {3},
  pages        = {263--278},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-263},
  doi          = {10.25596/JALC-2006-263},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/CavaliereFLP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Chen06,
  author       = {Jing Chen},
  title        = {Timed Extensions of {\(\pi\)} Calculus},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {1},
  pages        = {23--58},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-023},
  doi          = {10.25596/JALC-2006-023},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Chen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/DangILX06,
  author       = {Zhe Dang and
                  Oscar H. Ibarra and
                  Cheng Li and
                  Gaoyan Xie},
  title        = {On the Decidability of Model-Checking for {P} Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {3},
  pages        = {279--298},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-279},
  doi          = {10.25596/JALC-2006-279},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/DangILX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/GecsegI06,
  author       = {Ferenc G{\'{e}}cseg and
                  Bal{\'{a}}zs Imreh},
  title        = {On Asynchronous Tree Automata},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {2},
  pages        = {161--168},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-161},
  doi          = {10.25596/JALC-2006-161},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/GecsegI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/GenovaJ06,
  author       = {Daniela Genova and
                  Natasa Jonoska},
  title        = {Topological Properties of Forbidding-Enforcing Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {4},
  pages        = {375--397},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-375},
  doi          = {10.25596/JALC-2006-375},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/GenovaJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Grall06,
  author       = {Herv{\'{e}} Grall},
  title        = {A Confinement Criterion for Securely Executing Mobile Code},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {1},
  pages        = {59--106},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-059},
  doi          = {10.25596/JALC-2006-059},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Grall06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/HaddadLR06,
  author       = {Lucien Haddad and
                  Dietlinde Lau and
                  Ivo G. Rosenberg},
  title        = {Intervals of Partial Clones Containing Maximal Clones},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {4},
  pages        = {399--421},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-399},
  doi          = {10.25596/JALC-2006-399},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/HaddadLR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/IbarraRG06,
  author       = {Oscar H. Ibarra and
                  Bala Ravikumar and
                  Cagdas Evren Gerede},
  title        = {Quality-Aware Service Delegation in Automated Web Service Composition:
                  An Automata-Theoretic Approach},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {2},
  pages        = {169--188},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-169},
  doi          = {10.25596/JALC-2006-169},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/IbarraRG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Ishdorj06,
  author       = {Tseren{-}Onolt Ishdorj},
  title        = {Power and Efficiency of Minimal Parallelism in Polarizationless {P}
                  Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {3},
  pages        = {299--320},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-299},
  doi          = {10.25596/JALC-2006-299},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Ishdorj06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/KleijnKR06,
  author       = {Jetty Kleijn and
                  Maciej Koutny and
                  Grzegorz Rozenberg},
  title        = {Process Semantics for Membrane Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {3},
  pages        = {321--340},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-321},
  doi          = {10.25596/JALC-2006-321},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/KleijnKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/KrokhinR06,
  author       = {Andrei A. Krokhin and
                  Ivo G. Rosenberg},
  title        = {A Monoidal Interval of Clones of Selfdual Functions},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {2},
  pages        = {189--208},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-189},
  doi          = {10.25596/JALC-2006-189},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/KrokhinR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/LimetS06,
  author       = {S{\'{e}}bastien Limet and
                  Gernot Salzer},
  title        = {Basic Rewriting via Logic Programming, with an Application to the
                  Reachability Problem},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {1},
  pages        = {107--142},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-107},
  doi          = {10.25596/JALC-2006-107},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jalc/LimetS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/PaunP06,
  author       = {Gheorghe Paun and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez},
  title        = {Editorial},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {3},
  pages        = {239},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-239},
  doi          = {10.25596/JALC-2006-239},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/PaunP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Perez-JimenezJS06,
  author       = {Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
                  {\'{A}}lvaro Romero Jim{\'{e}}nez and
                  Fernando Sancho{-}Caparrini},
  title        = {A Polynomial Complexity Class in {P} Systems Using Membrane Division},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {4},
  pages        = {423--434},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-423},
  doi          = {10.25596/JALC-2006-423},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Perez-JimenezJS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Sunckel06,
  author       = {Bettina Sunckel},
  title        = {On the Descriptional Complexity of External Hybrid Cooperating Distributed
                  Grammar Systems},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {4},
  pages        = {435--447},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-435},
  doi          = {10.25596/JALC-2006-435},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Sunckel06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jalc/Watjen06,
  author       = {Dietmar W{\"{a}}tjen},
  title        = {Limited Simple Eco-Grammar Systems with Prescribed Teams},
  journal      = {J. Autom. Lang. Comb.},
  volume       = {11},
  number       = {2},
  pages        = {209--231},
  year         = {2006},
  url          = {https://doi.org/10.25596/jalc-2006-209},
  doi          = {10.25596/JALC-2006-209},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jalc/Watjen06.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.