BibTeX records: Clément Aubert

download as .bib file

@article{DBLP:journals/lmcs/AubertB18,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol},
  title     = {Unification and Logarithmic Space},
  journal   = {Logical Methods in Computer Science},
  volume    = {14},
  number    = {3},
  year      = {2018},
  url       = {https://doi.org/10.23638/LMCS-14(3:6)2018},
  doi       = {10.23638/LMCS-14(3:6)2018},
  timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/AubertB18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10355,
  author    = {Cl{\'{e}}ment Aubert and
               Ioana Cristescu},
  title     = {History-Preserving Bisimulations on Reversible Calculus of Communicating
               Systems},
  journal   = {CoRR},
  volume    = {abs/1804.10355},
  year      = {2018},
  url       = {http://arxiv.org/abs/1804.10355},
  archivePrefix = {arXiv},
  eprint    = {1804.10355},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-10355},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-11988,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol},
  title     = {Unification and Logarithmic Space},
  journal   = {CoRR},
  volume    = {abs/1805.11988},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.11988},
  archivePrefix = {arXiv},
  eprint    = {1805.11988},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-11988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AubertC17,
  author    = {Cl{\'{e}}ment Aubert and
               Ioana Cristescu},
  title     = {Contextual equivalences in configuration structures and reversibility},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {86},
  number    = {1},
  pages     = {77--106},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.08.004},
  doi       = {10.1016/j.jlamp.2016.08.004},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/AubertC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AubertS16,
  author    = {Cl{\'{e}}ment Aubert and
               Thomas Seiller},
  title     = {Logarithmic space and permutations},
  journal   = {Inf. Comput.},
  volume    = {248},
  pages     = {2--21},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.ic.2014.01.018},
  doi       = {10.1016/j.ic.2014.01.018},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/AubertS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AubertS16,
  author    = {Cl{\'{e}}ment Aubert and
               Thomas Seiller},
  title     = {Characterizing co-NL by a group action},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {26},
  number    = {4},
  pages     = {606--638},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0960129514000267},
  doi       = {10.1017/S0960129514000267},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/AubertS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AubertBS16,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol and
               Thomas Seiller},
  title     = {Unary Resolution: Characterizing Ptime},
  booktitle = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  pages     = {373--389},
  year      = {2016},
  crossref  = {DBLP:conf/fossacs/2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5\_22},
  doi       = {10.1007/978-3-662-49630-5\_22},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/AubertBS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AubertC15,
  author    = {Cl{\'{e}}ment Aubert and
               Ioana Cristescu},
  title     = {Reversible Barbed Congruence on Configuration Structures},
  booktitle = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
               Grenoble, France, 4-5th June 2015.},
  pages     = {68--85},
  year      = {2015},
  crossref  = {DBLP:journals/corr/KnightLLV15},
  url       = {https://doi.org/10.4204/EPTCS.189.7},
  doi       = {10.4204/EPTCS.189.7},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AubertC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AubertBS15,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol and
               Thomas Seiller},
  title     = {Memoization for Unary Logic Programming: Characterizing {PTIME}},
  journal   = {CoRR},
  volume    = {abs/1501.05104},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.05104},
  archivePrefix = {arXiv},
  eprint    = {1501.05104},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AubertBS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Aubert15,
  author    = {Cl{\'{e}}ment Aubert},
  title     = {An in-between "implicit" and "explicit" complexity:
               Automata},
  journal   = {CoRR},
  volume    = {abs/1502.00145},
  year      = {2015},
  url       = {http://arxiv.org/abs/1502.00145},
  archivePrefix = {arXiv},
  eprint    = {1502.00145},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Aubert15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AubertC15a,
  author    = {Cl{\'{e}}ment Aubert and
               Ioana Cristescu},
  title     = {Contextual equivalences in configuration structures and reversibility},
  journal   = {CoRR},
  volume    = {abs/1511.05750},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.05750},
  archivePrefix = {arXiv},
  eprint    = {1511.05750},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AubertC15a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AubertBPS14,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol and
               Paolo Pistone and
               Thomas Seiller},
  title     = {Logic Programming and Logarithmic Space},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  pages     = {39--57},
  year      = {2014},
  crossref  = {DBLP:conf/aplas/2014},
  url       = {https://doi.org/10.1007/978-3-319-12736-1\_3},
  doi       = {10.1007/978-3-319-12736-1\_3},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/AubertBPS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AubertB14,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol},
  title     = {Unification and Logarithmic Space},
  booktitle = {Rewriting and Typed Lambda Calculi - Joint International Conference,
               {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
               2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  pages     = {77--92},
  year      = {2014},
  crossref  = {DBLP:conf/rta/2014},
  url       = {https://doi.org/10.1007/978-3-319-08918-8\_6},
  doi       = {10.1007/978-3-319-08918-8\_6},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/AubertB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AubertB14,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol},
  title     = {Unification and Logarithmic Space},
  journal   = {CoRR},
  volume    = {abs/1402.4327},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.4327},
  archivePrefix = {arXiv},
  eprint    = {1402.4327},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AubertB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AubertBPS14,
  author    = {Cl{\'{e}}ment Aubert and
               Marc Bagnol and
               Paolo Pistone and
               Thomas Seiller},
  title     = {Logic Programming and Logarithmic Space},
  journal   = {CoRR},
  volume    = {abs/1406.2110},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.2110},
  archivePrefix = {arXiv},
  eprint    = {1406.2110},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AubertBPS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Aubert13,
  author    = {Cl{\'{e}}ment Aubert},
  title     = {Linear Logic and Sub-polynomial Classes of Complexity. (Logique lin{\'{e}}aire
               et classes de complexit{\'{e}} sous-polynomiales)},
  school    = {Paris 13 University, Villetaneuse, Saint-Denis, Bobigny, France},
  year      = {2013},
  url       = {https://tel.archives-ouvertes.fr/tel-00957653},
  timestamp = {Tue, 28 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/hal/Aubert13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3189,
  author    = {Thomas Seiller and
               Cl{\'{e}}ment Aubert},
  title     = {Logarithmic Space and Permutations},
  journal   = {CoRR},
  volume    = {abs/1301.3189},
  year      = {2013},
  url       = {http://arxiv.org/abs/1301.3189},
  archivePrefix = {arXiv},
  eprint    = {1301.3189},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1301-3189},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-3422,
  author    = {Cl{\'{e}}ment Aubert and
               Thomas Seiller},
  title     = {Characterizing co-NL by a group action},
  journal   = {CoRR},
  volume    = {abs/1209.3422},
  year      = {2012},
  url       = {http://arxiv.org/abs/1209.3422},
  archivePrefix = {arXiv},
  eprint    = {1209.3422},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1209-3422},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1201-1120,
  author    = {Cl{\'{e}}ment Aubert},
  title     = {Sublogarithmic uniform Boolean proof nets},
  booktitle = {Proceedings Second Workshop on Developments in Implicit Computational
               Complexity, Saarbr{\"{u}}cken, {DICE} 2011, Germany, April 2nd
               and 3rd, 2011.},
  pages     = {15--27},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1201-0345},
  url       = {https://doi.org/10.4204/EPTCS.75.2},
  doi       = {10.4204/EPTCS.75.2},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1201-1120},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2016,
  editor    = {Bart Jacobs and
               Christof L{\"{o}}ding},
  title     = {Foundations of Software Science and Computation Structures - 19th
               International Conference, {FOSSACS} 2016, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
               Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9634},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49630-5},
  doi       = {10.1007/978-3-662-49630-5},
  isbn      = {978-3-662-49629-9},
  timestamp = {Tue, 23 May 2017 01:08:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/KnightLLV15,
  editor    = {Sophia Knight and
               Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Hugo Torres Vieira},
  title     = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
               Grenoble, France, 4-5th June 2015},
  series    = {{EPTCS}},
  volume    = {189},
  year      = {2015},
  url       = {https://doi.org/10.4204/EPTCS.189},
  doi       = {10.4204/EPTCS.189},
  timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KnightLLV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2014,
  editor    = {Jacques Garrigue},
  title     = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8858},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12736-1},
  doi       = {10.1007/978-3-319-12736-1},
  isbn      = {978-3-319-12735-4},
  timestamp = {Fri, 19 May 2017 01:25:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2014,
  editor    = {Gilles Dowek},
  title     = {Rewriting and Typed Lambda Calculi - Joint International Conference,
               {RTA-TLCA} 2014, Held as Part of the Vienna Summer of Logic, {VSL}
               2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8560},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08918-8},
  doi       = {10.1007/978-3-319-08918-8},
  isbn      = {978-3-319-08917-1},
  timestamp = {Tue, 23 May 2017 01:10:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rta/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1201-0345,
  editor    = {Jean{-}Yves Marion},
  title     = {Proceedings Second Workshop on Developments in Implicit Computational
               Complexity, Saarbr{\"{u}}cken, {DICE} 2011, Germany, April 2nd
               and 3rd, 2011},
  series    = {{EPTCS}},
  volume    = {75},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.75},
  doi       = {10.4204/EPTCS.75},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1201-0345},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier