Search dblp for Publications

export results for "toc:db/conf/wrla/wrla2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wrla/BijoJPT16,
  author       = {Shiji Bijo and
                  Einar Broch Johnsen and
                  Ka I Pun and
                  Silvia Lizeth Tapia Tarifa},
  editor       = {Dorel Lucanu},
  title        = {A Maude Framework for Cache Coherent Multicore Architectures},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {47--63},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_3},
  doi          = {10.1007/978-3-319-44802-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BijoJPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/BoichutPR16,
  author       = {Yohan Boichut and
                  Vivien Pelletier and
                  Pierre R{\'{e}}ty},
  editor       = {Dorel Lucanu},
  title        = {Synchronized Tree Languages for Reachability in Non-right-linear Term
                  Rewrite Systems},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_4},
  doi          = {10.1007/978-3-319-44802-2\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/BoichutPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/DantasLFN16,
  author       = {Yuri Gil Dantas and
                  Marcilio O. O. Lemos and
                  Iguatemi E. Fonseca and
                  Vivek Nigam},
  editor       = {Dorel Lucanu},
  title        = {Formal Specification and Verification of a Selective Defense for TDoS
                  Attacks},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_5},
  doi          = {10.1007/978-3-319-44802-2\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/DantasLFN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/FernandezKPV16,
  author       = {Maribel Fern{\'{a}}ndez and
                  H{\'{e}}l{\`{e}}ne Kirchner and
                  Bruno Pinaud and
                  Jason Vallet},
  editor       = {Dorel Lucanu},
  title        = {Labelled Graph Rewriting Meets Social Networks},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_1},
  doi          = {10.1007/978-3-319-44802-2\_1},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/FernandezKPV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Lucas16,
  author       = {Salvador Lucas},
  editor       = {Dorel Lucanu},
  title        = {Use of Logical Models for Proving Operational Termination in General
                  Logics},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {26--46},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_2},
  doi          = {10.1007/978-3-319-44802-2\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Lucas16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/MartinVM16,
  author       = {{\'{O}}scar Mart{\'{\i}}n and
                  Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Dorel Lucanu},
  title        = {Egalitarian State-Transition Systems},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {98--117},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_6},
  doi          = {10.1007/978-3-319-44802-2\_6},
  timestamp    = {Wed, 22 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/MartinVM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/Moreno-DelgadoD16,
  author       = {Antonio Moreno{-}Delgado and
                  Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Dorel Lucanu},
  title        = {Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {118--133},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_7},
  doi          = {10.1007/978-3-319-44802-2\_7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/Moreno-DelgadoD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/RusuA16,
  author       = {Vlad Rusu and
                  Andrei Arusoaie},
  editor       = {Dorel Lucanu},
  title        = {Proving Reachability-Logic Formulas Incrementally},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {134--151},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_8},
  doi          = {10.1007/978-3-319-44802-2\_8},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/RusuA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/SerbanutaD16,
  author       = {Traian{-}Florin Serbanuta and
                  Liviu P. Dinu},
  editor       = {Dorel Lucanu},
  title        = {Maximally Parallel Contextual String Rewriting},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {152--166},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_9},
  doi          = {10.1007/978-3-319-44802-2\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SerbanutaD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wrla/SkeirikM16,
  author       = {Stephen Skeirik and
                  Jos{\'{e}} Meseguer},
  editor       = {Dorel Lucanu},
  title        = {Metalevel Algorithms for Variant Satisfiability},
  booktitle    = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  pages        = {167--184},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2\_10},
  doi          = {10.1007/978-3-319-44802-2\_10},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/SkeirikM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wrla/2016,
  editor       = {Dorel Lucanu},
  title        = {Rewriting Logic and Its Applications - 11th International Workshop,
                  {WRLA} 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands,
                  April 2-3, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9942},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-44802-2},
  doi          = {10.1007/978-3-319-44802-2},
  isbn         = {978-3-319-44801-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wrla/2016.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.