default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Workshop on Coalgebraic Methods in Computer Science (CMCS)
17th CMCS 2024: Luxembourg City, Luxembourg
- Barbara König
, Henning Urbat:
Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings. Lecture Notes in Computer Science 14617, Springer 2024, ISBN 978-3-031-66437-3 [contents]
16th CMCS 2022: Munich, Germany
- Helle Hvid Hansen, Fabio Zanasi:
Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings. Lecture Notes in Computer Science 13225, Springer 2022, ISBN 978-3-031-10735-1 [contents]
15th CMCS 2020: Dublin, Ireland
- Daniela Petrisan, Jurriaan Rot:
Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings. Lecture Notes in Computer Science 12094, Springer 2020, ISBN 978-3-030-57200-6 [contents]
14th CMCS 2018: Thessaloniki, Greece
- Corina Cîrstea:
Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11202, Springer 2018, ISBN 978-3-030-00388-3 [contents]
13th CMCS 2016: Eindhoven, The Netherlands
- Ichiro Hasuo:
Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9608, Springer 2016, ISBN 978-3-319-40369-4 [contents]
12th CMCS 2014: Grenoble, France
- 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 [contents]
11th CMCS 2012: Tallinn, Estonia
- Dirk Pattinson, Lutz Schröder:
Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7399, Springer 2012, ISBN 978-3-642-32783-4 [contents]
10th CMCS 2010: Paphos, Cyprus
- Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 [contents]
9th CMCS 2008: Budapest, Hungary
- Jirí Adámek, Clemens Kupke:
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, CMCS 2008, Budapest, Hungary, April 4-6, 2008. Electronic Notes in Theoretical Computer Science 203(5), Elsevier 2008 [contents]
8th CMCS 2006: Vienna, Austria
- Neil Ghani, John Power:
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006. Electronic Notes in Theoretical Computer Science 164(1), Elsevier 2006 [contents]
7th CMCS 2004: Barcelona, Spain
- Jirí Adámek, Stefan Milius:
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, CMCS 2004, Barcelona, Spain, March 27-29, 2004. Electronic Notes in Theoretical Computer Science 106, Elsevier 2004 [contents]
6th CMCS 2003: Warsaw, Poland
- H. Peter Gumm:
6th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003. Electronic Notes in Theoretical Computer Science 82(1), Elsevier 2003 [contents]
5th CMCS 2002: Grenoble, France
- Lawrence S. Moss:
Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002. Electronic Notes in Theoretical Computer Science 65(1), Elsevier 2002 [contents]
4th CMCS 2001: Genova, Italy
- Andrea Corradini, Marina Lenisa, Ugo Montanari:
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001. Electronic Notes in Theoretical Computer Science 44(1), Elsevier 2001 [contents]
3rd CMCS 2000: Berlin, Germany
- Horst Reichel:
Coalgebraic Methods in Computer Science, CMCS 2000, Berlin, Germany, March 25-26, 2000. Electronic Notes in Theoretical Computer Science 33, Elsevier 2000 [contents]
2nd CMCS 1999: Amsterdam, The Netherlands
- Bart Jacobs, Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999. Electronic Notes in Theoretical Computer Science 19, Elsevier 1999 [contents]
1st CMCS 1998: Lisbon, Portugal
- Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998. Electronic Notes in Theoretical Computer Science 11, Elsevier 1998 [contents]
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.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
