dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rémi Brochenin Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Brochenin, Stéphane Demri, Étienne Lozes: On the almighty wand. Inf. Comput. 211: 106-137 (2012)
2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKshitij Bansal, Rémi Brochenin, Étienne Lozes: Beyond Shapes: Lists with Ordered Data. FOSSACS 2009: 425-439
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning about sequences of memory states. Ann. Pure Appl. Logic 161(3): 305-323 (2009)
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Brochenin, Stéphane Demri, Étienne Lozes: On the Almighty Wand. CSL 2008: 323-338
2007
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning About Sequences of Memory States. LFCS 2007: 100-114

Coauthor Index

1Kshitij Bansal [4]
2Stéphane Demri [1] [2] [3] [5]
3Étienne Lozes [1] [2] [3] [4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page