Discipline
Résultats 1-20 de 70
-
A Canonical Automaton for One-Rule Length-Preserving String Rewrite Systems
Information and Computation, Elsevier, 2015, 244, 203--228Compte-rendu et recension critique d'ouvragetexte intégral -
A Learning Algorithm for Top-Down Tree Transducers
Pré-publication ou Document de travailtexte intégral -
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling
Real-Time Systems, Springer Verlag, 09-12-2015Compte-rendu et recension critique d'ouvragetexte intégral -
Addition Lemma
Autre communication scientifique (congrès sans actes - poster - séminaire...)texte intégral -
Approximating Certain Query Answers on Nested Hyperstreams
Pré-publication ou Document de travail -
Automata for Unordered Trees
Information and Computation, Elsevier, 22-04-2017, 253, 304-335Compte-rendu et recension critique d'ouvragetexte intégral -
Bounded Repairability for Regular Tree Languages
ACM Transactions on Database Systems, Association for Computing Machinery, 06-2016, 41; 3, 1-45Compte-rendu et recension critique d'ouvragetexte intégral -
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams
RP 2018 - 12th International Conference on Reachability Problems, Marseille, 24-09-2018Communication dans un congrès avec actestexte intégral -
Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version)
Pré-publication ou Document de travailtexte intégral -
Complete Subhedge Projection for Stepwise Hedge Automata
Pré-publication ou Document de travailtexte intégral -
Complete Subhedge Projection for Stepwise Hedge Automata
Algorithms; Selected Algorithmic Papers From FCT 2023, MDPI, 02-08-2024, 17; 8Compte-rendu et recension critique d'ouvragetexte intégral -
Conception d'applications Cloud Auto-adaptatives Correct-by- Construction à l'aide de Méthodes Formelles
Université de Lille, 27-01-2023Thèsetexte intégral -
Constant-Delay Enumeration for Nondeterministic Document Spanners
ICDT, Lisbon, 26-03-2019, 22nd International Conference on Database Theory (ICDT 2019)Communication dans un congrès avec actestexte intégral -
Continuity of functional transducers: a profinite study of rational functions
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 21-02-2020Compte-rendu et recension critique d'ouvragetexte intégral -
Data Centric Workflows for Crowdsourcing
Petri Nets 2020 - 41st International Conference on Application and Theory of Petri Nets and Concurrency, Paris, 24-06-2020Communication dans un congrès avec actestexte intégral -
Data Centric Workflows for Crowdsourcing
Pré-publication ou Document de travailtexte intégral -
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
20th International Conference on Developments in Language Theory (DLT 2016), Montreal, 25-07-2016, Developments in Language Theory - 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings, Lecture Notes in Computer Science, Springer, 21-07-2016Communication dans un congrès avec actestexte intégral -
Dialogue entre la procédure du chase et la réécriture sur les mots
Université de Lille, 19-12-2019Thèsetexte intégral -
Dynamic Membership for Regular Languages
ICALP 2021 - 48th International Colloquium on Automata, Languages, and Programming, Glasgow, 12-07-2021, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 02-07-2021Communication dans un congrès avec actestexte intégral -
Earliest Query Answering for Deterministic Stepwise Hedge Automata
27th International Conference on Implementation and Application of Automata (CIAA), famagusta, 18-09-2023Autre communication scientifique (congrès sans actes - poster - séminaire...)texte intégral