A Datalog Recognizer for Almost Affine λ-CFGs. - Pierre Bourreau; Sylvain Salvati (MOL, 2011)

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus. - Pierre Bourreau; Sylvain Salvati (TLCA, 2011)

On IO-Copying and Mildly-Context Sensitive Formalisms. - Pierre Bourreau; Laura Kallmeyer; Sylvain Salvati (FG, 2012)

Jeux de typage et analyse de lambda-grammaires non-contextuelles. (Game semantics and parsing context-free lambda-grammars). - Pierre Bourreau (2012)

Treating ellipsis : two abstract categorial grammar perspectives (Traitements d'ellipses : deux approches par les grammaires catégorielles abstraites) [in French]. - Pierre Bourreau (TALN (1), 2013)

On the effect of the IO-substitution on the Parikh image of semilinear AFLs. - Pierre Bourreau (CoRR, 2013)

Building PMCFG Parsers as Datalog Program Transformations. - Arthur Ball; Pierre Bourreau; Émeric Kien; Sylvain Salvati (LACL, 2014)

Mapping the Economic Crisis: Some Preliminary Investigations. - Pierre Bourreau; Thierry Poibeau (CoRR, 2014)

On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs. - Pierre Bourreau (J. Log. Lang. Inf., 2015)

Using Colored Petri Nets for Verifying RESTful Service Composition. - Lara Kallab; Michael Mrissa; Richard Chbeir; Pierre Bourreau (OTM Conferences (1), 2017)

Semantic Query Languages for Knowledge-Based Web Services in a Construction Context. - Jeroen Maurits Werbrouck; Madhumitha Senthilvel; Jakob Beetz; Pierre Bourreau; Léon van Berlo (EG-ICE, 2018)

Dynamic BIM model conversion as inference-based ontology alignment. - Pierre Bourreau; Jyrki Oraskari (LDAC, 2021)