Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1112-2396,
  author       = {Jean{-}Guillaume Dumas and
                  Dominique Duval and
                  Laurent Fousse and
                  Jean{-}Claude Reynaud},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Decorated proofs for computational effects: States},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {45--59},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.3},
  doi          = {10.4204/EPTCS.93.3},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1112-2396.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-1432,
  author       = {Diego Latella and
                  Mieke Massink and
                  Erik P. de Vink},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Bisimulation of Labeled State-to-Function Transition Systems of Stochastic
                  Process Languages},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {23--43},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.2},
  doi          = {10.4204/EPTCS.93.2},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1432.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-1433,
  author       = {Zinovy Diskin and
                  T. S. E. Maibaum},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Category Theory and Model-Driven Engineering: From Formal Semantics
                  to Design Patterns and Beyond},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {1--21},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.1},
  doi          = {10.4204/EPTCS.93.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1433.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-1435,
  author       = {Harald K{\"{o}}nig and
                  Uwe Wolter and
                  Michael L{\"{o}}we},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Characterizing Van Kampen Squares via Descent Data},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {61--81},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.4},
  doi          = {10.4204/EPTCS.93.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1435.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1209-1436,
  author       = {Hanna Sch{\"{o}}lzel and
                  Hartmut Ehrig and
                  Maria Maximova and
                  Karsten Gabriel and
                  Frank Hermann},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Satisfaction, Restriction and Amalgamation of Constraints in the Framework
                  of M-Adhesive Categories},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {83--104},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.5},
  doi          = {10.4204/EPTCS.93.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1208-4301,
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93},
  doi          = {10.4204/EPTCS.93},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-4301.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}