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    = {Sun, 06 Oct 2024 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}
}

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.