default search action

combined dblp search
author search
venue search
publication search

ask others

12th CMCS 2014: Grenoble, France (Part of ETAPS 2014)

> Home > Conferences and Workshops > CMCS
> 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/cmcs/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/2014
Marcello M. Bonsangue:
Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8446, Springer 2014, ISBN 978-3-662-44123-7

Invited Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Sangiorgi14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Sangiorgi14
Davide Sangiorgi:
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). 3-9
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Hasuo14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Hasuo14
Ichiro Hasuo:
Generic Weakest Precondition Semantics from Monads Enriched with Order. 10-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Lenisa14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Lenisa14
Marina Lenisa:
Coalgebraic Multigames. 33-49

Regular Contributions

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/BonchiM0Z14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/BonchiM0Z14
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure. 53-74
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Brengos14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Brengos14
Tomasz Brengos:
On Coalgebras with Internal Moves. 75-97
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/EnqvistS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/EnqvistS14
Sebastian Enqvist, Joshua Sack:
A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics. 98-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/GummZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/GummZ14
H. Peter Gumm, Mehdi Zarrad:
Coalgebraic Simulations and Congruences. 118-134
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Jacobs14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Jacobs14
Bart Jacobs:
Dijkstra Monads in Monadic Computation. 135-150
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Kahl14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Kahl14
Wolfram Kahl:
Categories of Coalgebras with Monadic Homomorphisms. 151-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/KerstanKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/KerstanKW14
Henning Kerstan, Barbara König, Bram Westerbaan:
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. 168-188
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/MyersAMU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/MyersAMU14
Robert S. R. Myers, Jirí Adámek, Stefan Milius, Henning Urbat:
Canonical Nondeterministic Automata. 189-210
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Trancon-y-Widemann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Trancon-y-Widemann14
Baltasar Trancón y Widemann:
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. 211-224
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmcs/Trancon-y-WidemannH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmcs/Trancon-y-WidemannH14
Baltasar Trancón y Widemann, Michael Hauhs:
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. 225-244

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.