BibTeX records: Vincent Schmitt

• > Home > Persons > Vincent Schmitt

@inproceedings{DBLP:conf/calco/FiadeiroS07,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Vincent Schmitt},
  editor       = {Till Mossakowski and
                  Ugo Montanari and
                  Magne Haveraaen},
  title        = {Structured Co-spans: An Algebra of Interaction Protocols},
  booktitle    = {Algebra and Coalgebra in Computer Science, Second International Conference,
                  {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4624},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73859-6\_14},
  doi          = {10.1007/978-3-540-73859-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/FiadeiroS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-cs-0602077,
  author       = {Vincent Schmitt and
                  Krzysztof Worytkiewicz},
  title        = {Bisimulations of enrichments},
  journal      = {CoRR},
  volume       = {abs/cs/0602077},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0602077},
  eprinttype    = {arXiv},
  eprint       = {cs/0602077},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0602077.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Schmitt04a,
  author       = {Vincent Schmitt},
  editor       = {Mart{\'{\i}}n Escard{\'{o}} and
                  Achim Jung},
  title        = {Enriched Categories and Quasi-uniform Spaces},
  booktitle    = {Proceedings of the Workshop on Domains {VI} 2002, Birmingham, UK,
                  September 16-19, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {73},
  pages        = {165--205},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/j.entcs.2004.08.009},
  doi          = {10.1016/J.ENTCS.2004.08.009},
  timestamp    = {Wed, 07 Dec 2022 08:43:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schmitt04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Schmitt98,
  author       = {Vincent Schmitt},
  title        = {CR-Structures},
  journal      = {Fundam. Informaticae},
  volume       = {33},
  number       = {1},
  pages        = {71--83},
  year         = {1998},
  url          = {https://doi.org/10.3233/FI-1998-33104},
  doi          = {10.3233/FI-1998-33104},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Schmitt98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Schmitt98,
  author       = {Vincent Schmitt},
  title        = {Stable Trace Automata vs. Full Trace Automata},
  journal      = {Theor. Comput. Sci.},
  volume       = {200},
  number       = {1-2},
  pages        = {45--100},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0304-3975(97)00299-5},
  doi          = {10.1016/S0304-3975(97)00299-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Schmitt98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/Schmitt96,
  author       = {Vincent Schmitt},
  editor       = {Claude Puech and
                  R{\"{u}}diger Reischuk},
  title        = {Flip-Flop Nets},
  booktitle    = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
                  Science, Grenoble, France, February 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1046},
  pages        = {517--528},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60922-9\_42},
  doi          = {10.1007/3-540-60922-9\_42},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Schmitt96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}