default search action

combined dblp search
author search
venue search
publication search

ask others

WRLA 2016: Eindhoven, The Netherlands (Satellite Event of ETAPS 2016)

> Home > Conferences and Workshops > WRLA
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/wrla/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/2016
Dorel Lucanu:
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. Lecture Notes in Computer Science 9942, Springer 2016, ISBN 978-3-319-44801-5
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/FernandezKPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/FernandezKPV16
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet:
Labelled Graph Rewriting Meets Social Networks. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Lucas16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Lucas16
Salvador Lucas:
Use of Logical Models for Proving Operational Termination in General Logics. 26-46
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BijoJPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BijoJPT16
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Maude Framework for Cache Coherent Multicore Architectures. 47-63
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/BoichutPR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/BoichutPR16
Yohan Boichut, Vivien Pelletier, Pierre Réty:
Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. 64-81
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/DantasLFN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/DantasLFN16
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam:
Formal Specification and Verification of a Selective Defense for TDoS Attacks. 82-97
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/MartinVM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/MartinVM16
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Egalitarian State-Transition Systems. 98-117
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/Moreno-DelgadoD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/Moreno-DelgadoD16
Antonio Moreno-Delgado, Francisco Durán, José Meseguer:
Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications. 118-133
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/RusuA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/RusuA16
Vlad Rusu, Andrei Arusoaie:
Proving Reachability-Logic Formulas Incrementally. 134-151
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/SerbanutaD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/SerbanutaD16
Traian-Florin Serbanuta, Liviu P. Dinu:
Maximally Parallel Contextual String Rewriting. 152-166
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/SkeirikM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/SkeirikM16
Stephen Skeirik, José Meseguer:
Metalevel Algorithms for Variant Satisfiability. 167-184

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.