Search dblp for Publications

export results for "toc:db/conf/rule/rule2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/rule/2004,
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/124/issue/1},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rule/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AbdennadherR05,
  author       = {Slim Abdennadher and
                  Christophe Ringeissen},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {Preface},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.034},
  doi          = {10.1016/J.ENTCS.2004.09.034},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbdennadherR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlbrechtD05,
  author       = {Carsten Albrecht and
                  Andreas C. D{\"{o}}ring},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {A Compiler for Mapping a Rule-Based Event-Triggered Program to a Hardware
                  Engine},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {63--80},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.015},
  doi          = {10.1016/J.ENTCS.2004.07.015},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlbrechtD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlpuenteBF05,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Moreno Falaschi},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {A Rewriting-based Framework for Web Sites Verification},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {41--61},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.014},
  doi          = {10.1016/J.ENTCS.2004.07.014},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlpuenteBF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BanatreFR05,
  author       = {Jean{-}Pierre Ban{\^{a}}tre and
                  Pascal Fradet and
                  Yann Radenac},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {Principles of Chemical Programming},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {133--147},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.019},
  doi          = {10.1016/J.ENTCS.2004.07.019},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BanatreFR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChevalierV05,
  author       = {Yannick Chevalier and
                  Laurent Vigneron},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {Rule-based Programs Describing Internet Security Protocols},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {113--132},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.018},
  doi          = {10.1016/J.ENTCS.2004.07.018},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ChevalierV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuranEL05a,
  author       = {Francisco Dur{\'{a}}n and
                  Santiago Escobar and
                  Salvador Lucas},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {On-demand Evaluation for Maude},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {25--39},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.013},
  doi          = {10.1016/J.ENTCS.2004.07.013},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranEL05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OhsakiT05,
  author       = {Hitoshi Ohsaki and
                  Toshinori Takai},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {{ACTAS} : {A} System Design for Associative and Commutative Tree Automata
                  Theory},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {97--111},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.017},
  doi          = {10.1016/J.ENTCS.2004.07.017},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OhsakiT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PalominoMV05,
  author       = {Miguel Palomino and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Alberto Verdejo},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {Playing with Maude},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {3--23},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.012},
  doi          = {10.1016/J.ENTCS.2004.07.012},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PalominoMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Winter05,
  author       = {Victor L. Winter},
  editor       = {Slim Abdennadher and
                  Christophe Ringeissen},
  title        = {Strategy Construction in the Higher-Order Framework of {TL}},
  booktitle    = {Proceedings of the 5th International Workshop on Rule-Based Programming,
                  {RULE} 2004, Aachen, Germany, June 1, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {124},
  number       = {1},
  pages        = {149--170},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.07.020},
  doi          = {10.1016/J.ENTCS.2004.07.020},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Winter05.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.