Pierre Bourreau

According to our database, Pierre Bourreau authored at least 12 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Dynamic BIM model conversion as inference-based ontology alignment.

Pierre Bourreau, Jyrki Oraskari

Proceedings of the 9th Linked Data in Architecture and Construction Workshop, 2021

2018

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

Proceedings of the 26th International Workshop on Intelligent Computing in Engineering, 2018

2017

Using Colored Petri Nets for Verifying RESTful Service Composition.

Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

2015

On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs.

Pierre Bourreau

J. Log. Lang. Inf., 2015

2014

Mapping the Economic Crisis: Some Preliminary Investigations.

Pierre Bourreau, Thierry Poibeau

CoRR, 2014

Building PMCFG Parsers as Datalog Program Transformations.

Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati

Proceedings of the Logical Aspects of Computational Linguistics, 2014

2013

On the effect of the IO-substitution on the Parikh image of semilinear AFLs.

Pierre Bourreau

CoRR, 2013

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

Pierre Bourreau

Proceedings of the Traitement Automatique des Langues Naturelles, 2013

2012

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

Pierre Bourreau

PhD thesis, 2012

On IO-Copying and Mildly-Context Sensitive Formalisms.

Pierre Bourreau, Laura Kallmeyer, Sylvain Salvati

Proceedings of the Formal Grammar, 2012

2011

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed <i>λ</i>-Calculus.

Pierre Bourreau, Sylvain Salvati

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

A Datalog Recognizer for Almost Affine λ-CFGs.

Pierre Bourreau, Sylvain Salvati

Proceedings of the Mathematics of Language - 12th Biennial Conference, 2011