Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

18 résultats
Page :
triés par
Image document

Algebras of Relations : from algorithms to formal proofs

 Paul Brunet
Computation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩
Thèse tel-01455083v1

Smiling Virtual Characters Corpora

 Magalie Ochs , Paul Brunet , Gary Mckeown , Catherine Pelachaud
Workshop on Corpora for Research on Emotion, Sentiment and Social Signals, LREC, May 2012, Istambul, Turkey
Communication dans un congrès hal-02411902v1
Image document

A Kleene theorem for nominal automata

 Paul Brunet , Alexandra Silva
2019
Pré-publication, Document de travail hal-02112892v1
Image document

Decidability of Identity-free Relational Kleene Lattices

 Paul Brunet , Damien Pous
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès hal-01099137v1
Image document

A formal exploration of Nominal Kleene Algebra

 Paul Brunet , Damien Pous
MFCS, Aug 2016, Cracovie, Poland. ⟨10.4230/LIPIcs.MFCS.2016.22⟩
Communication dans un congrès hal-01307532v2
Image document

Cardinalities of Finite Relations in Coq with Applications

 Paul Brunet , Damien Pous , Insa Stucke
Interative Theorem Proving, Aug 2016, Nancy, France. pp.466-474, ⟨10.1007/978-3-319-43144-4_29⟩
Communication dans un congrès hal-01441262v2
Image document

A complete axiomatisation of reversible Kleene lattices

 Paul Brunet
2019
Pré-publication, Document de travail hal-02024864v2
Image document

Petri automata for Kleene allegories

 Paul Brunet , Damien Pous
Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.68-79, ⟨10.1109/LICS.2015.17⟩
Communication dans un congrès hal-01073936v3

Efficient silicon nitride SiN x :H antireflective and passivation layers deposited by atmospheric pressure PECVD for silicon solar cells

 Jean‐françois Lelièvre , Bishal Kafle , Pierre Saint‐cast , Paul Brunet , Romain Magnan , et al.
Progress in Photovoltaics, 2018, 27 (11), pp.1007-1019. ⟨10.1002/pip.3141⟩
Article dans une revue hal-02409765v1
Image document

Kleene Algebra with Converse

 Paul Brunet , Damien Pous
RAMiCS, Apr 2014, Marienstatt im Westerwald, Germany. pp.101-118
Communication dans un congrès hal-00938235v1

Petri Automata

 Paul Brunet , Damien Pous
Logical Methods in Computer Science, 2017, 13 (3), pp.1-50. ⟨10.23638/LMCS-13(3:33)2017⟩
Article dans une revue hal-01934638v1
Image document

Reversible Kleene lattices

 Paul Brunet
42nd International Symposium on Mathematical Foundations of Computer Science, Kim G. Larsen, Aug 2017, Aalborg, Denmark. pp.66:1--66:14, ⟨10.4230/LIPIcs.MFCS.2017.66⟩
Communication dans un congrès hal-01474911v3
Image document

Decidability of Identity-free Relational Kleene Lattices

 Paul Brunet , Damien Pous
[Research Report] ENS de Lyon. 2014
Rapport hal-01073932v1
Image document

A note on commutative Kleene algebra

 Paul Brunet
2019
Pré-publication, Document de travail hal-02337084v1

L'occupation Bronze ancien de Chelles, Boulevard Chilpéric, SGP gare ligne 16 - Phases 1, 2 et 3, Seine-et-Marne (77). Île de France

 Paul Brunet , Cécile Buquet-Marcon , Juliette Durand , Lamys Hachem , Rosalie Jallot , et al.
Inrap - Centre ïle-de-France. 2022
Rapport hal-03867989v1

The Sciences ACO Light and Matter Museum

 Nicolas Arnaud , Martine Besson , Henri Borie , Paul Brunet , Maurice Chapellier , et al.
37th International Conference on High Energy Physics, Jul 2014, Valencia, Spain. pp.1202-1207, ⟨10.1016/j.nuclphysbps.2015.09.189⟩
Communication dans un congrès hal-03621743v1
Image document

On Decidability of Concurrent Kleene Algebra

 Paul Brunet , Damien Pous , Georg Struth
CONCUR, Sep 2017, Berlin, Germany
Communication dans un congrès hal-01558108v1
Image document

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra

 Paul Brunet , David Pym
[Research Report] University College London. 2020
Rapport hal-02337757v2
Page :