default search action

combined dblp search
author search
venue search
publication search

ask others

RCRA 2018: Oxford, UK

> Home > Conferences and Workshops > RCRA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/rcra/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/2018
Marco Maratea, Mauro Vallati:
Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018. CEUR Workshop Proceedings 2271, CEUR-WS.org 2018

Invited Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/BaldoniBM018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/BaldoniBM018
Matteo Baldoni, Cristina Baroglio, Roberto Micalizio, Stefano Tedeschi:
Accountability and Responsibility in Business Processes via Agent Technology.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/Amendola18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/Amendola18
Giovanni Amendola:
Towards Quantified Answer Set Programming.

Regular Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/Tarau18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/Tarau18
Paul Tarau:
Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/ManciniMMMSSTER18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/ManciniMMMSSTER18
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners:
Computing Personalised Treatments through In Silico Clinical Trials.
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rcra/ManciniTSLFGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/ManciniTSLFGP18
Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo:
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network.

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.