Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

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

Conciliation and Consensus in Iterated Belief Merging

 Olivier Gauwin , Sébastien Konieczny , Pierre Marquis
pp.19, 2004
Ouvrages hal-00018364v1
Image document

Visibly Pushdown Automata: Universality and Inclusion via Antichains

 Véronique Bruyère , Marc Ducobu , Olivier Gauwin
7th International Conference on Language and Automata Theory and Applications, 2013, Bilbao, Spain. pp.190-201, ⟨10.1007/978-3-642-37064-9_18⟩
Communication dans un congrès hal-00821218v1
Image document

Streaming Tree Automata and XPath

 Olivier Gauwin
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2009. English. ⟨NNT : ⟩
Thèse tel-00421911v3
Image document

First-order definability of rational transductions: An algebraic approach

 Emmanuel Filiot , Olivier Gauwin , Nathan Lhote
31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. pp.387--396, ⟨10.1145/2933575.2934520⟩
Communication dans un congrès hal-01308509v1
Image document

Queries on XML Streams with Bounded Delay and Concurrency

 Olivier Gauwin , Joachim Niehren , Sophie Tison
Information and Computation, 2011, Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009), 209 (3), pp.409-442. ⟨10.1016/j.ic.2010.08.003⟩
Article dans une revue inria-00491495v1

Streamability of nested word transductions

 Emmanuel Filiot , Olivier Gauwin , Pierre-Alain Reynier , Frédéric Servais
Logical Methods in Computer Science, 2019
Article dans une revue hal-02103898v1
Image document

Right-Universality of Visibly Pushdown Automata

 Véronique Bruyère , Marc Ducobu , Olivier Gauwin
4th International Conference on Runtime Verification, Sep 2013, Rennes, France. pp.76-93, ⟨10.1007/978-3-642-40787-1_5⟩
Communication dans un congrès hal-00946193v1
Image document

Streaming Tree Automata

 Olivier Gauwin , Joachim Niehren , Yves Roos
Information Processing Letters, 2008, 109 (1), pp.13-17. ⟨10.1016/j.ipl.2008.08.002⟩
Article dans une revue inria-00288445v3
Image document

One-way definability of sweeping transducers

 Félix Baschenis , Olivier Gauwin , Anca Muscholl , Gabriele Puppis
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'15), Dec 2015, Bangalore, India
Communication dans un congrès hal-01219509v2
Image document

Streamability of Nested Word Transductions

 Emmanuel Filiot , Olivier Gauwin , Pierre-Alain Reynier , Frederic Servais
FSTTCS - 31st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science - 2011, Dec 2011, Mumbai, India. pp.312-324, ⟨10.4230/LIPIcs.FSTTCS.2011.312⟩
Communication dans un congrès inria-00566409v2
Image document

Earliest Query Answering for Deterministic Nested Word Automata

 Olivier Gauwin , Joachim Niehren , Sophie Tison
17th International Symposium on Fundamentals of Computer Theory, Sep 2009, Wraclaw, Poland. pp.121-132
Communication dans un congrès inria-00390236v2
Image document

From Two-Way to One-Way Finite State Transducers

 Emmanuel Filiot , Olivier Gauwin , Pierre-Alain Reynier , Frédéric Servais
28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.468-477, ⟨10.1109/LICS.2013.53⟩
Communication dans un congrès hal-00946161v1

Logical and Algebraic Characterizations of Rational Transductions

 Emmanuel Filiot , Olivier Gauwin , Nathan Lhote
Logical Methods in Computer Science, 2019, 15 (4), ⟨10.23638/LMCS-15(4:16)2019⟩
Article dans une revue hal-02503054v1

One-way definability of two-way word transducers

 Félix Baschenis , Olivier Gauwin , Anca Muscholl , Gabriele Puppis
Logical Methods in Computer Science, 2018, 14 (4), ⟨10.23638/LMCS-14(4:22)2018⟩
Article dans une revue hal-02121085v1

Minimization of visibly pushdown automata is NP-complete

 Olivier Gauwin , Anca Muscholl , Michael Raskin
Logical Methods in Computer Science, 2020, 16 (1)
Article dans une revue hal-02503147v1

Conciliation through Iterated Belief Merging

 Olivier Gauwin , Sébastien Konieczny , Pierre Marquis
Journal of Logic and Computation, 2007, 17, pp.909-937
Article dans une revue hal-00191108v1
Image document

Aperiodicity of rational functions is PSpace-complete

 Emmanuel Filiot , Olivier Gauwin , Nathan Lhote
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Dec 2016, Chennai, India
Communication dans un congrès hal-01410188v1
Image document

Untwisting two-way transducers in elementary time

 Félix Baschenis , Olivier Gauwin , Anca Muscholl , Gabriele Puppis
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005138⟩
Communication dans un congrès hal-01864614v1

Iterated Belief Merging as Conciliation Operators

 Olivier Gauwin , Sébastien Konieczny , Pierre Marquis
7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05), 2005, Corfou, Greece
Communication dans un congrès hal-00456087v1
Image document

Early Nested Word Automata for XPath Query Answering on XML Streams

 Denis Debarbieux , Olivier Gauwin , Joachim Niehren , Tom Sebastian , Mohamed Zergaoui
18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada. pp.292-305
Communication dans un congrès hal-00676178v2
Image document

Streamable Fragments of Forward XPath

 Olivier Gauwin , Joachim Niehren
16th International Conference on Implementation and Application of Automata, Jul 2011, Blois, France. pp.3-15
Communication dans un congrès inria-00442250v1
Image document

Bounded Delay and Concurrency for Earliest Query Answering

 Olivier Gauwin , Joachim Niehren , Sophie Tison
3rd International Conference on Language and Automata Theory and Applications, Apr 2009, Tarragona, Spain. pp.350-361, ⟨10.1007/978-3-642-00982-2⟩
Communication dans un congrès inria-00348463v1
Image document

Efficient Enumeration for Conjunctive Queries over X-underbar Structures

 Guillaume Bagan , Arnaud Durand , Emmanuel Filiot , Olivier Gauwin
19th EACSL Annual Conference on Computer Science Logic, Aug 2010, Brno, Czech Republic. pp.80-94, ⟨10.1007/978-3-642-15205-4_10⟩
Communication dans un congrès hal-00489955v1
Image document

Early Nested Word Automata for XPath Query Answering on XML Streams

 Denis Debarbieux , Olivier Gauwin , Joachim Niehren , Tom Sebastian , Mohamed Zergaoui
Theoretical Computer Science, 2015, 578, pp.100-125. ⟨10.1016/j.tcs.2015.01.017⟩
Article dans une revue hal-00966625v1
Image document

Complexity of Earliest Query Answering with Streaming Tree Automata

 Olivier Gauwin , Anne-Cécile Caron , Joachim Niehren , Sophie Tison
ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X), Jan 2008, San Francisco, United States
Communication dans un congrès inria-00336169v1
Image document

On Canonical Models for Rational Functions over Infinite Words

 Emmanuel Filiot , Olivier Gauwin , Nathan Lhote , Anca Muscholl
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.30⟩
Communication dans un congrès hal-01889429v1
Image document

Minimizing resources of sweeping and streaming string transducers

 Félix Baschenis , Olivier Gauwin , Anca Muscholl , Gabriele Puppis
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. pp.114:1--114:14, ⟨10.4230/LIPIcs.ICALP.2016.114⟩
Communication dans un congrès hal-01274992v3
Image document

Transductions: resources and characterizations

 Olivier Gauwin
Formal Languages and Automata Theory [cs.FL]. Université de Bordeaux, 2020
HDR tel-03118919v1
Page :