Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

11th DCM 2016: Cali, Colombia

> Home > Conferences and Workshops > DCM

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:
  - journals/corr/MunozP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MunozP16
César A. Muñoz, Jorge A. Pérez:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ArrighiD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArrighiD16
Pablo Arrighi, Gilles Dowek:
Free fall and cellular automata. 1-10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ayala-Rincon16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ayala-Rincon16
Mauricio Ayala-Rincón:
Formalising Confluence in PVS. 11-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Sobocinski16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Sobocinski16
Pawel Sobocinski:
Compositional model checking of concurrent systems, with Petri nets. 19-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AmaniN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AmaniN16
Mahdi Amani, Abbas Nowzari-Dalini:
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. 31-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Basso-BlandinFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Basso-BlandinFH16
Adrien Basso-Blandin, Walter Fontana, Russ Harmer:
A knowledge representation meta-model for rule-based modelling of signalling networks. 47-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Haeusler16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Haeusler16
Edward Hermann Haeusler:
Finiteness and Computation in Toposes. 61-77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ToroPAPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ToroPAPS16
Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S.:
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. 79-94

a service of

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.