Publications HAL de la collection LIGM_ALGO

2007

Article dans une revue

titre
Cross-Layer Loss Differentiation Algorithms to improve TCP Performance in WLANs
auteur
Stephane Lohier, Yacine Ghamri-Doudane, Guy Pujolle
article
Telecommunication Systems, 2007, 1 (DOI: 10.1007/s11235-007-9054-0), pp.61-72
Accès au bibtex
BibTex
titre
Enumeration and random generation of accessible automata
auteur
Frédérique Bassino, Cyril Nicaud
article
Theoretical Computer Science, 2007, 381, pp.86-104
Accès au texte intégral et bibtex
https://hal.science/hal-00459712/file/bn07.pdf BibTex
titre
The origins of combinatorics on words
auteur
Jean Berstel, Dominique Perrin
article
European Journal of Combinatorics, 2007, 28 (3), pp.996-1022
Accès au bibtex
BibTex
titre
Comparing Genomes with Duplications: a Computational Complexity Point of View
auteur
Guillaume Blin, Cedric Chauve, Guillaume Fertin, Romeo Rizzi, Stéphane Vialette
article
ACM Transactions on Computational Logic, 2007, 4 (4), pp.523-534. ⟨10.1109/TCBB.2007.1069⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00417720/file/DuplicatesTCBB.pdf BibTex
titre
Gene Maps Linearization using Genomic Rearrangement Distances
auteur
Guillaume Blin, Eric Blais, Danny Hermelin, Pierre Guillon, Mathieu Blanchette, Nadia El-Mabrouk
article
Journal of Computational Biology, 2007, 14 (4), pp.394-407
Accès au texte intégral et bibtex
https://hal.science/hal-00619755/file/hal.pdf BibTex
titre
Complementation of Rational sets on Scattered Linear Orderings of Finite Rank
auteur
Olivier Carton, Chloé Rispal
article
Theoretical Computer Science, 2007, 382 (2), pp.109-119. ⟨10.1016/j.tcs.2007.03.008⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619538/file/hal.pdf BibTex
titre
A complete and efficient quality of service model for mobile ad Hoc networks
auteur
Hakim Badis
article
GESTS Transactions on Computer Science and Engineering, 2007, 36 (1), pp.427-442
Accès au bibtex
BibTex
titre
Basic properties for sand automata
auteur
Julien Cervelle, Enrico Formenti, Benoît Masson
article
Theoretical Computer Science, 2007, 381, pp.1--28
Accès au texte intégral et bibtex
https://hal.science/hal-00003208/file/si.pdf BibTex
titre
From sandpiles to sand automata
auteur
Julien Cervelle, Enrico Formenti, Benoît Masson
article
Theoretical Computer Science, 2007, 381 (1-3), pp.1-28. ⟨10.1016/j.tcs.2007.03.042⟩
Accès au bibtex
BibTex
titre
Extracting Constrained 2-Interval Subsets in 2-Interval Sets
auteur
Guillaume Blin, Guillaume Fertin, Stéphane Vialette
article
Theoretical Computer Science, 2007, 385 (1-3), pp.241-263
Accès au texte intégral et bibtex
https://hal.science/hal-00417717/file/2IntTCS.pdf BibTex
titre
The structure of Factor Oracles
auteur
Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi
article
International Journal of Foundations of Computer Science, 2007, 18 (4), pp.781-797
Accès au texte intégral et bibtex
https://hal.science/hal-00619689/file/IJFCS07.pdf BibTex
titre
All Maximal Pairs in Step-Leap Representation of Melodic Sequences
auteur
Emilios Cambouropoulos, Maxime Crochemore, Costas S. Iliopoulos, Manal Mohamed, Marie-France Sagot
article
Information Sciences, 2007, 177 (9), pp.1954-1962. ⟨10.1016/j.ins.2006.11.012⟩
Accès au bibtex
BibTex
titre
A simple implementation of grammar libraries
auteur
Julien Cervelle, Rémi Forax, Gilles Roussel
article
Computer Science and Information Systems, 2007, 4 (2), pp.65-77
Accès au bibtex
BibTex
titre
An Efficient Source-Based Heuristic for Multicasting Multimedia Information
auteur
Hakim Badis
article
GESTS Transactions on Computer Science and Engineering, 2007, 38 (1), pp.22-27
Accès au bibtex
BibTex
titre
Exemplar Longest Common Subsequence
auteur
Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Guillaume Fertin, Rafaella Rizzi, Stéphane Vialette
article
ACM Transactions on Computational Logic, 2007, 4 (4), pp.535-543
Accès au texte intégral et bibtex
https://hal.science/hal-00417728/file/ExemplarLCSTCBB.pdf BibTex
titre
A General Framework for Computing Rearrangement Distances between Genomes with Duplicates
auteur
Sébastien Angibaud, Guillaume Fertin, Irena Rusu, Stéphane Vialette
article
Journal of Computational Biology, 2007, 14 (4), pp.379-393. ⟨10.1089/cmb.2007.A001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00417735/file/PSBJCB.pdf BibTex

Communication dans un congrès

titre
Resource Reclamation using Meta-Events in a Real Time Java System
auteur
C. Curcio, Serge Midonnet
article
Poster session of 3rd International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems (SRMPDS'07), Dec 2007, Hsinchu, Taiwan, Taiwan. 6pp
Accès au bibtex
BibTex
titre
Cross-layer approach to improve the monitoring process for mobile ad hoc networks based on IEEE 802.11
auteur
Abderrezak Rachedi, Abderrahim Benslimane
article
IEEE GLOBECOM 2007, Nov 2007, Washington, DC, United States. pp.1086 - 1091, ⟨10.1109/GLOCOM.2007.209⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00680886/file/XMonitoringMANETs.pdf BibTex
titre
OLSR for Ad Hoc Networks with MIMO links
auteur
Hakim Badis
article
DNAC, Nov 2007, United States. pp.46-49
Accès au bibtex
BibTex
titre
Data Quality Enhancement of Databases Using Ontologies and Inductive Reasoning
auteur
Olivier Curé, Robert Jeansoulin
article
On the Move to Meaningful Internet Systems, OTM Conferences, Nov 2007, Vilamoura, Portugal, France. pp.1117-1134
Accès au bibtex
BibTex
titre
QMOST: A QoSaware Multicast Overlay Spanning Tree Proto-col for Multimedia Applications in Mobile Ad hoc Networks
auteur
Hakim Badis
article
DNAC, Nov 2007, United States. pp.15-18
Accès au bibtex
BibTex
titre
Routing Bandwidth Guaranteed paths for QoS Flows in Ad Hoc Networks under Interferences Influence
auteur
Hakim Badis
article
10th ACM/IEEE MSWIM, Oct 2007, United States. pp.252 -260
Accès au bibtex
BibTex
titre
Hierarchical QOS-aware Routing in Multi-tier Multimedia Wireless Sensor Networks
auteur
Stéphane Lohier, Gilles Roussel, Yacine Ghamri-Doudane
article
10th IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS'07), Oct 2007, United States. pp.191-195
Accès au texte intégral et bibtex
https://hal.science/hal-00620150/file/MMNS2007_Lohier.pdf BibTex
titre
La spécification Java pour le Temps Réel
auteur
Serge Midonnet
article
5ème Ecole d'été Temps Réel (ETR'07), Sep 2007, Nantes, France, France. pp.201-209
Accès au bibtex
BibTex
titre
MSO on the Infinite Binary Tree: Choice and Order
auteur
Arnaud Carayol, Christof Löding
article
16th EACSL Annual Conference on Computer Science and Logic (CSL'07), Sep 2007, Lausanne, Switzerland. pp.161-176, ⟨10.1007/978-3-540-74915-8_15⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620169/file/csl07.pdf BibTex
titre
Path Algorithms on Regular Graphs
auteur
Didier Caucal, Trong Hieu Dinh
article
FCT'07, Aug 2007, Budapest, Hungary. pp.199-212, ⟨10.1007/978-3-540-74240-1_18⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620155/file/algo.pdf BibTex
titre
Comparing RNA Structures: Towards an Intermediate Model Between the EDIT and the LAPCS Problems
auteur
Guillaume Blin, Guillaume Fertin, Gaël Herry, Stéphane Vialette
article
Brazilian Symposium on Bioinformatics (BSB 2007), Aug 2007, Angra dos Reis, Brazil. pp.101-112
Accès au texte intégral et bibtex
https://hal.science/hal-00417918/file/BSBFinal.pdf BibTex
titre
Towards a Rice Theorem on Traces of Cellular Automata
auteur
Julien Cervelle, Pierre Guillon
article
32th International Symposium on Mathematical Foundations of Computer Science (MFCS'07), Aug 2007, Český Krumlov, Czech Republic, Czech Republic. pp.310-319
Accès au texte intégral et bibtex
https://hal.science/hal-00620284/file/hal.pdf BibTex
titre
Series-parallel languages on scattered and countable posets
auteur
Nicolas Bedon, Chloé Rispal
article
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007), Aug 2007, Czech Republic. pp.477-488
Accès au bibtex
BibTex
titre
Efficient Computation of Throughput Values of Context-Free Languages
auteur
Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter
article
12th International Conference on Implementation and Application of Automata (CIAA'07), Jul 2007, Prague, Czech Republic. pp.203-213, ⟨10.1007/978-3-540-76336-9_20⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620156/file/throughput.pdf BibTex
titre
Minimizing Latency and Data Memory Requirement for Real-time Chain-Structured Synchronous Dataflow
auteur
Huixue Zhao, Laurent George, Serge Midonnet, Séphane Tassart, Yvan Bourmeyster
article
2nd IEEE International Symposium on Industrial Embedded Systems (SIES'07), Jul 2007, United States. pp.293-301
Accès au bibtex
BibTex
titre
A protocol for local view data dissemination for a structured cross-layer management to improve QoS in ad hoc networks
auteur
Wafa Berrayana, Stéphane Lohier, Habib Youssef, Guy Pujolle
article
IEEE Global Information Infrastructure Symposium (GIIS'07), Jul 2007, United States. 9pp
Accès au bibtex
BibTex
titre
REGAL: a library to randomly and exhaustively generate automata
auteur
Frédérique Bassino, Julien David, Cyril Nicaud
article
12th International Conference on Implementation and Application of Automata (CIAA'07), Jul 2007, Prague, Czech Republic. pp.303-305., ⟨10.1007/978-3-540-76336-9_28⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00459643/file/bdn2007.pdf BibTex
titre
Sofic trace subshift of a cellular automaton
auteur
Enrico Formenti, Julien Cervelle, Pierre Guillon
article
Computability in Europe (CiE 2007), Jun 2007, Siena, Italy. pp.152-161
Accès au bibtex
BibTex
titre
Sofic Trace of a Cellular Automaton
auteur
Julien Cervelle, Enrico Formenti, Pierre Guillon
article
CiE 2007, Jun 2007, Siena, Italy. pp.152-161
Accès au texte intégral et bibtex
https://hal.science/hal-00135811/file/tra6.pdf BibTex
titre
On restrictions of balanced 2-interval graphs
auteur
Philippe Gambette, Stéphane Vialette
article
33rd International Workshop on Graph-Theoretic Concepts in Computer Science (WG'07), ?, Jun 2007, Dornburg, Germany. pp.55-65, ⟨10.1007/978-3-540-74839-7_6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00141338/file/Paper.pdf BibTex
titre
Worst case response time analysis of sporadic task graph with EDF non-preemptive scheduling on a uniprocessor
auteur
H. Zhao, L. George, Serge Midonnet
article
The Third International Conference on Autonomic and Autonomous Systems (ICAS'07), Jun 2007, Athenes, Grece, Greece. 8pp
Accès au bibtex
BibTex
titre
Méta-Evènements Java Temps Réel
auteur
Serge Midonnet
article
7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition (Notere'07), Jun 2007, Marrakech, Maroc, Maroc. pp.423-434
Accès au bibtex
BibTex
titre
QoS support in a MANET based on OLSR and CBQ
auteur
Leila Boukhalfa, Pascale Minet, Serge Midonnet
article
6th IEEE International Conference on Networking - ICN 2007, Apr 2007, Sainte-Luce, Martinique, France
Accès au bibtex
BibTex
titre
Extending the Hardness of RNA Secondary Structure Comparison
auteur
Guillaume Blin, Guillaume Fertin, Irena Rusu, Christine Sinoquet
article
1st International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies (ESCAPE 2007), Apr 2007, Hangzhou, China. pp.140-151
Accès au texte intégral et bibtex
https://hal.science/hal-00418248/file/ESCAPE07.pdf BibTex
titre
Dealing with execution-overruns to improve the temporal robustness of real-time systems scheduled FP and EDF
auteur
L. Bougueroua, L. George, Serge Midonnet
article
The Second International Conference on Systems (ICONS'07), Apr 2007, Martinique, French Caribbean, France. 8 pp
Accès au bibtex
BibTex
titre
Application of suffix trees for the acquisition of common motifs with gaps in a set of strings
auteur
Pavlos Antoniou, Maxime Crochemore, Costas Iliopoulos, Pierre Peterlongo
article
International Conference on Language and Automata Theory and Applications, Mar 2007, Tarragona, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00328081/file/gapmotifs.pdf BibTex
titre
The Design and Implementation of Real-time Event-based Applications with RTSJ
auteur
Damien Masson, Serge Midonnet
article
WPDRTS 2007, Mar 2007, Long Beach, Califonia, USA, United States. pp.1-8, ⟨10.1109/IPDPS.2007.370340⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620336/file/hal.pdf BibTex
titre
A first investigation of sturmian trees
auteur
Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot
article
A first investigation of sturmian trees, Feb 2007, Aachen (Aix la Chapelle), Germany. pp.73-84, ⟨10.1007/978-3-540-70918-3_7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00150178/file/StacsSturm.pdf BibTex
titre
On the size of the universal automaton of a regular language
auteur
Sylvain Lombardy
article
STACS'07, Feb 2007, BERLIN, Germany. pp.85--96, ⟨10.1007/978-3-540-70918-3_8⟩
Accès au bibtex
BibTex
titre
A solution for QoS support in wireless ad hoc networks
auteur
Leila Boukhalfa, Pascale Minet, Serge Midonnet
article
Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.35-44
Accès au texte intégral et bibtex
https://hal.science/hal-00620270/file/ACTES_JDIR_2007-05.pdf BibTex
titre
XLEngine : Une architecture cross-layer modèle pour le support de la QoS dans les réseaux sans fil IEEE 802.11
auteur
Wafa Berrayana, Habib Youssef, Stéphane Lohier, Guy Pujolle
article
Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.45-51
Accès au texte intégral et bibtex
https://hal.science/hal-01091861/file/ACTES_JDIR_2007-06.pdf BibTex
titre
Sturmian and episturmian words (a survey of some recent results)
auteur
Jean Berstel
article
Conference on Algebraic Informatics (CAI'07), 2007, Greece. pp.23-47
Accès au bibtex
BibTex
titre
Optimal Prefix and Suffix Queries on Texts
auteur
Maxime Crochemore, Costas S. Iliopoulos, M. Sohel Rahman
article
2007 Conference on Analysis of Algorithms, AofA 07, 2007, Juan les Pins, France. pp.47-56, ⟨10.46298/dmtcs.3541⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01184789/file/dmAH0104.pdf BibTex
titre
Coding partition: regularity, maximality and global ambiguity
auteur
Marie-Pierre Béal, Fabio Burderi, Antonio Restivo
article
International Conference on Developments in Language Theory (DLT'07), 2007, Finland. pp.48-59
Accès au bibtex
BibTex
titre
Longest Common Separable Pattern between Permutations
auteur
Mathilde Bouvel, Dominique Rossin, Stéphane Vialette
article
Symposium on Combinatorial Pattern Matching (CPM'07), 2007, London, Ontario, Canada, Canada. pp.316-327
Accès au bibtex
BibTex
titre
A Java toolkit for the design and the automatic checking of server architecture
auteur
Gautier Loyauté, Rémi Forax, Gilles Roussel
article
5th International Conference on Principles and Practices of Programming in Java, 2007, United States. pp.113-122
Accès au bibtex
BibTex
titre
Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs
auteur
Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stéphane Vialette
article
34th International Colloquium on Automata, Languages and Programming (ICALP 2007), 2007, Wroclaw, Poland. pp.340-351
Accès au texte intégral et bibtex
https://hal.science/hal-00417928/file/ICALP07.pdf BibTex
titre
A Pseudo-Boolean programming approach for computing the breakpoint distance between two genomes with duplicate genes
auteur
Sébastien Angibaud, Guillaume Fertin, Irena Rusu, Annelyse Thevenin, Stéphane Vialette
article
5th RECOMB Comparative Genomics Satellite Workshop (RECOMB-CG 2007), 2007, San Diego, United States. pp.16-29
Accès au texte intégral et bibtex
https://hal.science/hal-00417902/file/RCG07.pdf BibTex
titre
Minimizing local automata
auteur
Marie-Pierre Béal, Maxime Crochemore
article
IEEE International Symposium on Information Theory (ISIT'07), 2007, France. pp.1376-1380
Accès au texte intégral et bibtex
https://hal.science/hal-00620130/file/hal.pdf BibTex
titre
Pattern Matching in Protein-Protein Interaction Graphs
auteur
Gaëlle Brevier, Romeo Rizzi, Stéphane Vialette
article
Proc. 16th International Symposium on Fundamentals of Computation Theory (FCT), 2007, Budapest, Hungary, Croatia. pp.125-136
Accès au bibtex
BibTex
titre
Common Structured Patterns in Linear Graphs: Approximations and Combinatorics
auteur
Guillaume Fertin, Danny Hermelin, Romeo Rizzi, Stéphane Vialette
article
18th Annual Symposium on Combinatorial Pattern Matching (CPM 2007), 2007, London, Canada. pp.214-252
Accès au texte intégral et bibtex
https://hal.science/hal-00418241/file/CPM07.pdf BibTex
titre
Finding Patterns in Given Intervals
auteur
Maxime Crochemore, Costas S. Iliopoulos, Mohammad Sohel Rahman
article
Mathematical Foundations of Computer Science (MFCS'07), 2007, Czech Republic. pp.645-656
Accès au texte intégral et bibtex
https://hal.science/hal-00620133/file/Finding_Patterns_In_Given_Intervals.pdf BibTex
titre
Embeddings of automata
auteur
Dominique Perrin
article
AutoMathA, 2007, France
Accès au bibtex
BibTex
titre
The Minimum Substring Cover Problem
auteur
Danny Hermelin, Dror Rawitz, Romeo Rizzi, Stéphane Vialette
article
5th Workshop on Approximation and Online Algorithms (WAOA'07), 2007, Eilat, Israel, Iceland. pp.170-183
Accès au bibtex
BibTex
titre
Weak pattern matching in colored graphs: Minimizing the number of connected components
auteur
Riccardo Dondi, Guillaume Fertin, Stéphane Vialette
article
10th Italian Conference on Theoretical Computer Science (ICTCS 2007), 2007, Rome, Italy. pp.27-38
Accès au texte intégral et bibtex
https://hal.science/hal-00417910/file/ICTCS07.pdf BibTex
titre
Analysis of maximal repetitions in strings
auteur
Maxime Crochemore, Lucian Ilie
article
International Symposium on Mathematical Foundations of Computer Science (MFCS'07), 2007, Czech Republic. pp.465-476
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Automata and semigroups recognizing infinite words
auteur
Olivier Carton, Dominique Perrin, Jean-Eric Pin
article
J. Flum, E. Grädel and T. Wilke. Logic and Automata, History and perspectives, Amsterdam University Press, pp.585-596, 2007
Accès au texte intégral et bibtex
https://hal.science/hal-00340797/file/OmegaSem.pdf BibTex

HDR

titre
Complexité dynamique et algorithmique des automates cellulaires
auteur
Julien Cervelle
article
Informatique [cs]. Université Paris Est, Marne-la-Vallée, 2007
Accès au texte intégral et bibtex
https://hal.science/tel-01208374/file/hdr.pdf BibTex

Autre publication scientifique

titre
Quality of Service for the Ad hoc Optimized Link State Routing Protocol (QOLSR)
auteur
Hakim Badis, Khaldoun Al Agha
article
2007
Accès au bibtex
BibTex
titre
Quality of Service for Ad hoc Optimized Link State Routing Protocol (QOLSR)
auteur
Hakim Badis, Khaldoun Al Agha
article
2007
Accès au bibtex
BibTex
titre
CEQMM: A Complete and Efficient Quality of service Model for MANETs
auteur
Hakim Badis, Khaldoun Al Agha
article
2007
Accès au bibtex
BibTex
titre
On the synchronization delay of local automata
auteur
Marie-Pierre Béal, Eugen Czeizler, Jarkko Kari, Dominique Perrin
article
2007
Accès au bibtex
BibTex
titre
A fast implementation of the Boyer-Moore string matching algorithm
auteur
Maxime Crochemore, Thierry Lecroq
article
2007
Accès au bibtex
BibTex

Ouvrages

titre
Algorithms on Strings
auteur
Maxime Crochemore, Christophe Hancart, Thierry Lecroq
article
Cambridge University Press, pp.392, 2007
Accès au bibtex
BibTex

Rapport

titre
Embeddings of automata
auteur
Marie-Pierre Béal, Sylvain Lombardy, Dominique Perrin
article
2007
Accès au texte intégral et bibtex
https://hal.science/hal-00627816/file/HAL.pdf BibTex

2006

Article dans une revue

titre
Passage à l'échelle : complexité, algorithmique et architectures
auteur
Gaël Harry Diaz, Simao Melo De Souza, Maxime Crochemore
article
Revue TAL : traitement automatique des langues, 2006, 46 (2), pp.7-12
Accès au bibtex
BibTex
titre
Operations preserving recognizable languages
auteur
Jean Berstel, Luc Boasson, Olivier Carton, Bruno Petazzoni, Jean-Eric Pin
article
Theoretical Computer Science, 2006, 354, pp.405-420. ⟨10.1007/978-3-540-45077-1_32.pdf⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00112842/file/BBCPP_TCS.pdf BibTex
titre
A Little More about Morphic Sturmian Words
auteur
Isabelle Fagnot
article
Informatique Théorique et Applications, 2006, 40 (1), pp.511-518
Accès au bibtex
BibTex
titre
Codes, unambiguous automata and sofic systems
auteur
Marie-Pierre Béal, Dominique Perrin
article
Theoretical Computer Science, 2006, 356 (1-2), pp.6-13
Accès au texte intégral et bibtex
https://hal.science/hal-00619226/file/hal.pdf BibTex
titre
Word assembly through minimal forbidden words
auteur
Gabriele Fici, Filippo Mignosi, Antonio Restivo, Marinella Sciortino
article
Theoretical Computer Science, 2006, 359 (1-3), pp.214-230
Accès au bibtex
BibTex
titre
Longest Repeats with a Block of k Don't Cares
auteur
Maxime Crochemore, Costas S. Iliopoulos, Manal Mohamed, Marie-France Sagot
article
Theoretical Computer Science, 2006, 362 (1-3), pp.248-254. ⟨10.1016/j.tcs.2006.06.029⟩
Accès au bibtex
BibTex
titre
The syntactic graph of a sofic shift is invariant under shift equivalence
auteur
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin
article
International Journal of Algebra and Computation, 2006, 16 (3), pp.443-460
Accès au texte intégral et bibtex
https://hal.science/hal-00619735/file/hal.pdf BibTex

Communication dans un congrès

titre
A secure architecture for mobile ad hoc networks
auteur
Abderrezak Rachedi, Abderrahim Benslimane
article
MSN'2006, Dec 2006, Hong Kong, China. pp.12, ⟨10.1007/11943952_36⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00680891/file/ASecureArchitectureMANETs.pdf BibTex
titre
Proposition of a cross-layer architecture model for the support of QoS in ad-hoc networks
auteur
Wafa Berrayana, Habib Youssef, Stéphane Lohier, Guy Pujolle
article
2nd Conference on Future Networking Technologies (CoNEXT'06), Dec 2006, United States. 2pp
Accès au bibtex
BibTex
titre
How to compare arc-annotated sequences: The alignment hierarchy
auteur
Guillaume Blin, Helene Touzet
article
13th String Processing and Information Retrieval, Oct 2006, Glasgow, United Kingdom. pp.291-303
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00178671/file/hal.pdf BibTex
titre
Un Mécanisme de Provision de Ressources pour la Robustesse Temporelle des Systèmes Temps-Réel
auteur
L. Bougueroua, L. George, Serge Midonnet
article
5ème Conférence Française sur les Systèmes d'Exploitation (CFSE'06), Oct 2006, Perpignan, France, France. pp.121-132
Accès au bibtex
BibTex
titre
An execution overrun management mechanism for the temporal robustness of Java Real-Time systems
auteur
L. Bougueroua, L. George, Serge Midonnet
article
the 4th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'06), Oct 2006, Paris, France, France. pp.188-195
Accès au bibtex
BibTex
titre
CEQMM: A Complete and Effecient Quality of Service Model for MANETs
auteur
Hakim Badis, Khaldoun Al Agha
article
3rd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc PE-WASUN, Oct 2006, Spain, Spain. pp.25-32
Accès au bibtex
BibTex
titre
Link available Bandwidth Monitoring for QoS Routing with AODV in Ad hoc Networks
auteur
Stéphane Lohier, Yacine Ghamri-Doudane
article
9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS'06), Oct 2006, United States. pp.37-48
Accès au bibtex
BibTex
titre
Efficiency of Loss Differentiation Algorithms in 802.11 Wireless Networks
auteur
Stéphane Lohier
article
9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services (MMNS'06), Oct 2006, United States. pp.141-144
Accès au bibtex
BibTex
titre
Theory and practice: the applications of combinatorics on words
auteur
Dominique Perrin
article
STIC-AMSUD, Oct 2006, France
Accès au bibtex
BibTex
titre
An Optimal Path Coding System for DAWG Lexicon-HMM
auteur
Alain Lifchitz, Frederic Maire, Dominique Revuz
article
EUSIPCO 2006 - Fourteenth European Signal Processing Conference, Sep 2006, Florence, Italy. pp.53-57
Accès au texte intégral et bibtex
https://hal.science/hal-00067960/file/EUSIPCO06-PPH.10c.pdf BibTex
titre
Execution overrun management for graph of subtasks scheduled with a preemptive fixed priority scheduling in Hard Real-Time Systems
auteur
L. Bougueroua, H. Zhao, L. George, Serge Midonnet
article
11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06), Sep 2006, Prague, Czech Republic, Czech Republic. pp.413-420
Accès au bibtex
BibTex
titre
Inferring Positional Homologs with Common Intervals of Sequences
auteur
Guillaume Blin, Annie Chateau, Cedric Chauve, Yannick Gingras
article
4th Annual RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG'06), Sep 2006, Montreal, Canada. pp.24-38
Accès au texte intégral et bibtex
https://hal.science/hal-00620367/file/Blin_Chateau_Chauve_Gingras_RCG06.pdf BibTex
titre
Inferring Gene Orders from Gene Maps using the Breakpoint Distance
auteur
Guillaume Blin, Eric Blais, Pierre Guillon, Mathieu Blanchette, Nadia El-Mabrouk
article
4th Annual RECOMB Satellite Workshop on Comparative Genomics (RECOMB-CG'06), Sep 2006, Montréal, Canada. pp.99-112
Accès au texte intégral et bibtex
https://hal.science/hal-00620364/file/hal.pdf BibTex
titre
Voice Over IPsec in a DVB-RCS Network
auteur
Nizar Jegham, Nicolas Lerouge, Gilles Roussel
article
12th Ka and Broadband Communications Conference, Sep 2006, Naples, Italy, Italy. pp.93-101
Accès au bibtex
BibTex
titre
Cross-layer Loss Differentiation Algorithm to Improve TCP Performances in WLANs
auteur
Stéphane Lohier, Yacine Ghamri-Doudane, Guy Pujolle
article
11th IFIP International Conference on Personal Wireless Communications (PWC'06), Sep 2006, Albacete, Spain. pp.297-309, ⟨10.1007/11872153_26⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620154/file/PWC_2006.PDF BibTex
titre
Finding Common Motifs with Gaps Using Finite Automata
auteur
Pavlos Antoniou, Jan Holub, Costas Iliopoulos, Borijov Melichar, Pierre Peterlongo
article
Implementation and Application of Automata, Aug 2006, Taipei, Taiwan. pp.69-77, ⟨10.1007/11812128_8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04401692/file/Antoniou2006.pdf BibTex
titre
Finding Common Motifs with Gaps using Finite Automata
auteur
P. Antoniou, J. Holub, C. S. Iliopoulos, B. Melichar, P. Peterlongo
article
11th International Conference on Implementation and Application of Automata (CIAA'06), Aug 2006, Taipei, Taiwan, Taiwan. pp.69-77
Accès au bibtex
BibTex
titre
Tatoo: An innovative Parser Generator
auteur
Julien Cervelle, Rémi Forax, Gilles Roussel
article
4th International Conference on Principles and Practices of Programming in Java (PPPJ'06), Aug 2006, Mannheim, Germany. pp.13-20
Accès au bibtex
BibTex
titre
The Kleene Equality for Graphs
auteur
Arnaud Carayol, Didier Caucal
article
31st International Symposium on Mathematical Foundations of Computer Science (MFCS'06), Aug 2006, Stará Lesná, Slovakia. pp.214-225, ⟨10.1007/11821069_19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620173/file/Kleene.pdf BibTex
titre
Worst case response time analysis of sporadic graph tasks with dynamic priority scheduling on a uniprocessor
auteur
H. Zhao, L. George, Serge Midonnet
article
12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), Aug 2006, Sydney, Australia, Australia. pp.271-275
Accès au bibtex
BibTex
titre
Resource Management for Aperiodic Event Scheduling in Real-Time CORBA
auteur
Serge Midonnet
article
2nd International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems (SRMPDS'06), Jul 2006, Minneapolis, Minnesota, USA, United States. pp.10
Accès au bibtex
BibTex
titre
Synchronization of Pushdown Automata
auteur
Didier Caucal
article
DLT'06, Jun 2006, Santa Barbara, CA, United States. pp.120-132, ⟨10.1007/11779148_12⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620158/file/Sync.pdf BibTex
titre
MAC-layer Adaptation to Improve TCP Flow Performances in 802.11 Wireless Networks
auteur
Stéphane Lohier, Yacine Ghamri-Doudane, Guy Pujolle
article
IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob'06), Jun 2006, United States. pp.427-433
Accès au bibtex
BibTex
titre
Conjugacy and Equivalence of Weighted Automata and Functional Transducers
auteur
Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch
article
1st International Computer Science Symposium in Russia (CSR 2006), Jun 2006, St. Petersburg, Russia. pp.58-69
Accès au texte intégral et bibtex
https://hal.science/hal-00619855/file/hal.pdf BibTex
titre
Meta-Event Description Language for Realtime CORBA
auteur
Serge Midonnet
article
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'06), Jun 2006, Las Vegas, Nevada, USA, United States. pp.535-541
Accès au bibtex
BibTex
titre
Saburo: a tool for I/O and concurrency management in servers
auteur
G. Loyauté, Rémi Forax, G. Roussel
article
IPDPS Java for Parallel and Distributed Computing Workshop, Apr 2006, Rhodes Island, Greece, Greece. 6pp
Accès au bibtex
BibTex
titre
Fault Tolerance with Real-Time Java
auteur
Damien Masson, Serge Midonnet
article
WPDRTS 2006, Apr 2006, Rhodes Island, Greece, Greece. 8pp
Accès au texte intégral et bibtex
https://hal.science/hal-00620354/file/hal.pdf BibTex
titre
Factor Oracles
auteur
Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi
article
Implementation and Application of Automata, 2006, Taiwan. pp.78-89
Accès au bibtex
BibTex
titre
Optimal prefix codes for some families of two-dimensional geometric distributions
auteur
Frédérique Bassino, Julien Clément, Gadiel Seroussi, Alfredo Viola
article
Data Compression Conference (DCC'06), 2006, United States. pp.113-122
Accès au texte intégral et bibtex
https://hal.science/hal-00619867/file/hal.pdf BibTex
titre
The Gapped-Factor Tree
auteur
Pierre Peterlongo, Julien Allali, Marie-France Sagot
article
Prague Stringology Conference 2006, 2006, Prague, Czech Republic. pp.182--196
Accès au texte intégral et bibtex
https://hal.science/hal-00306572/file/PSC2006_article18.pdf BibTex
titre
Average depth in a binary search tree with repeated keys
auteur
Margaret Archibald, Julien Clément
article
Fourth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, 2006, Nancy, France. pp.309-320, ⟨10.46298/dmtcs.3496⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01184700/file/dmAG0122.pdf BibTex
titre
Optimal prefix codes for pairs of geometrically-distributed random variables
auteur
Frédérique Bassino, Julien Clément, Gadiel Seroussi, Alfredo Viola
article
IEEE International Symposium on Information Theory (ISIT'06), 2006, United States. pp.2667 - 2671
Accès au texte intégral et bibtex
https://hal.science/hal-00619869/file/hal.pdf BibTex
titre
Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers
auteur
Frédérique Bassino, Cyril Nicaud
article
Fourth Colloquium on Mathematics and Computer Science Algorithms, Trees, Combinatorics and Probabilities, 2006, Nancy, France. pp.151-160, ⟨10.46298/dmtcs.3499⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00619870/file/dmAG0108.pdf BibTex

Chapitre d'ouvrage

titre
Text Searching and Indexing
auteur
Maxime Crochemore, Thierry Lecroq
article
Zoltan Esik, Carlos Martin-Vide and Victor Mitrana. Recent Advances in Formal Languages and Applications, Springer-Verlag, pp.43-80, 2006, Studies in Computational Intelligence
Accès au bibtex
BibTex
titre
Modèles de machines
auteur
Jean Berstel, Luc Boasson
article
Akoka Jacky, Comyn-Wattiau Isabelle. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, pp.987-998, 2006
Accès au bibtex
BibTex

Autre publication scientifique

titre
CEQMM: A Complete and Effecient Quality of Service Model for MANETs
auteur
Hakim Badis, Khaldoun Al Agha
article
2006
Accès au bibtex
BibTex
titre
Regular coding partition
auteur
Marie-Pierre Béal, Fabio Burderi, Antonio Restivo
article
2006
Accès au bibtex
BibTex

Ouvrages

titre
Fouille de données textuelles : complexité, algorithmique et passage à l'échelle
auteur
Maxime Crochemore, Gaël Harry Diaz, Simao Melo de Souza
article
Lavoisier, Paris, ??pp., 2006
Accès au bibtex
BibTex

Poster de conférence

titre
A framework for development of concurrency and I/O in servers
auteur
Gautier Loyauté
article
1st European Conference on Systems (EuroSys 2006), Apr 2006, Belgium. 1pp., 2006
Accès au texte intégral et bibtex
https://hal.science/hal-00620056/file/Loyaute.pdf BibTex

Rapport

titre
Lossless Filter for Long Multiple Repetitions with Edit Distance
auteur
Pierre Peterlongo, Nadia Pisanti, Alair Peirera Do Lago, Marie-France Sagot
article
2006
Accès au texte intégral et bibtex
https://hal.science/hal-00627831/file/Hal.pdf BibTex

Thèse

titre
Corosol : une machine virtuelle Java dynamiquement adaptative
auteur
Christophe Deleray
article
Informatique [cs]. Université de Marne la Vallée, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00628620/file/Deleray_2006.pdf BibTex
titre
Filtrage de séquences d'ADN pour la recherche de longues répétitions multiples
auteur
Pierre Peterlongo
article
Interface homme-machine [cs.HC]. Université de Marne la Vallée, 2006. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00132300/file/these.pdf BibTex
titre
Mots interdits minimaux et applications
auteur
Gabriele Fici
article
Computer Science [cs]. Université de Marne la Vallée, 2006. English. ⟨NNT : 2006MARN0277⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00628628/file/Fici._These.pdf BibTex

Pré-publication, Document de travail

titre
Fast Lexically Constrained Viterbi Algorithm (FLCVA): Simultaneous Optimization of Speed and Memory
auteur
Alain Lifchitz, Frederic Maire, Dominique Revuz
article
2006
Accès au bibtex
https://arxiv.org/pdf/cs.CV/0601108 BibTex

2005

Article dans une revue

titre
Reflection-based implementation of Java extensions: the double-dispatch use-case
auteur
Rémi Forax, Étienne Duris, Gilles Roussel
article
The Journal of Object Technology, 2005, 4 (10), pp.49-69. ⟨10.5381/jot.2005.4.10.a3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619694/file/article3.pdf BibTex
titre
Mixed languages
auteur
Jean Berstel, Luc Boasson, Michel Latteux
article
Theoretical Computer Science, 2005, 354 (1-3), pp.179-198. ⟨10.1016/j.tcs.2004.08.016⟩
Accès au bibtex
BibTex
titre
A note on the Burrows-Wheeler transformation
auteur
Maxime Crochemore, Jacques Désarménien, Dominique Perrin
article
Theoretical Computer Science, 2005, 332 (1-3), pp.567-572. ⟨10.1016/j.tcs.2004.11.014⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00004249/file/NoteBW.pdf BibTex
titre
A new distance for high level RNA secondary structure comparison
auteur
Julien Allali, Marie-France Sagot
article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2005, 2, pp.3--14
Accès au texte intégral et bibtex
https://hal.science/hal-00306658/file/tcbb0_.pdf BibTex
titre
Bases of motifs for generating repeated patterns with wild cards
auteur
Nadia Pisanti, Maxime Crochemore, Roberto Grossi, Marie-France Sagot
article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2005, 2, pp.40-50. ⟨10.1109/TCBB.2005.5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00427800/file/tcbb.pdf BibTex
titre
Complementation of Rational Sets on Countable Scattered Linear Orderings
auteur
Chloé Rispal, Olivier Carton
article
International Journal of Foundations of Computer Science, 2005, 16 (4), pp.767-786. ⟨10.1007/978-3-540-30550-7_32⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00160985/file/ijfcs.pdf BibTex
titre
Bit-parallel (γ,δ)-matching and suffix automata
auteur
Maxime Crochemore, Costas S. Iliopoulos, Gonzalo Navarro, Yoan Pinzon, Alejandro Salinger
article
Journal of Discrete Algorithms, 2005, 3 (2-4), pp.198-214. ⟨10.1016/j.jda.2004.08.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619564/file/jda04.pdf BibTex
titre
Families of automata characterizing context-sensitive languages
auteur
Christophe Morvan, Chloé Rispal
article
Acta Informatica, 2005, 41, pp.293-314. ⟨10.1007/s00236-004-0160-0⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00525422/file/morvan-rispal.pdf BibTex
titre
The Standard Factorization of Lyndon Words: an Average Point of View
auteur
Frédérique Bassino, Julien Clément, Cyril Nicaud
article
Discrete Mathematics, 2005, 290 (1), pp.1-25. ⟨10.1016/j.disc.2004.11.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619337/file/hal.pdf BibTex
titre
Codes and sofic constraints
auteur
Marie-Pierre Béal, Dominique Perrin
article
Theoretical Computer Science, 2005, 340 (2), pp.381-393
Accès au texte intégral et bibtex
https://hal.science/hal-00619227/file/hal.pdf BibTex
titre
Minimal forbidden patterns of multi-dimensional shifts
auteur
Marie-Pierre Béal, Francesca Fiorenzi, Filippo Mignosi
article
International Journal of Algebra and Computation, 2005, 15 (1), pp.73-93
Accès au bibtex
BibTex
titre
Arithmetic Meyer sets and finite automata
auteur
Shigeki Akiyama, Frédérique Bassino, Christiane Frougny
article
Information and Computation, 2005, 201, pp.199-215
Accès au bibtex
BibTex
titre
Foreword
auteur
Ricardo A. Baeza-Yates, Maxime Crochemore
article
Journal of Discrete Algorithms, 2005, 3 (2-4), pp.125
Accès au bibtex
BibTex
titre
What makes the Arc-Preserving Subsequence problem hard ?
auteur
Guillaume Blin, Guillaume Fertin, Romeo Rizzi, Stéphane Vialette
article
LNCS Transactions on Computational Systems Biology, 2005, 2, pp.1-36
Accès au texte intégral et bibtex
https://hal.science/hal-00417738/file/APSJournal.pdf BibTex
titre
Presentations of constrained systems with unconstrained positions
auteur
Marie-Pierre Béal, Maxime Crochemore, Gabriele Fici
article
IEEE Transactions on Information Theory, 2005, 51 (5), pp.1891-1900
Accès au texte intégral et bibtex
https://hal.science/hal-00619692/file/hal.pdf BibTex
titre
A first approach to finding common motifs with gaps,
auteur
Costas Iliopoulos, J. Mchugh, Pierre Peterlongo, Nadia Pisanti, W. Rytter, Marie-France Sagot
article
International Journal of Foundations of Computer Science, 2005, 16 (6), pp.1145--1155
Accès au bibtex
BibTex
titre
A hierarchy of shift equivalent sofic shifts
auteur
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin
article
Theoretical Computer Science, 2005, 345 (2-3), pp.390-205
Accès au bibtex
BibTex
titre
Some results about the chaotic behavior of cellular automata
auteur
François Blanchard, Julien Cervelle, Enrico Formenti
article
Theoretical Computer Science, 2005, 349 (3), pp.318-336
Accès au bibtex
BibTex
titre
Growth of repetition-free words--a review
auteur
Jean Berstel
article
Theoretical Computer Science, 2005, 340 (2), pp.280-290
Accès au bibtex
BibTex

Communication dans un congrès

titre
Tolérance aux fautes et amélioration du comportement d'un système Java temps-réel
auteur
Damien Masson
article
Journées des jeunes chercheurs en informatique et réseaux (JDIR'05), Dec 2005, France
Accès au texte intégral et bibtex
https://hal.science/hal-00620162/file/hal.pdf BibTex
titre
A Multiple Graph Layers Model with Application to RNA Secondary Structures Comparison
auteur
Julien Allali, Marie-France Sagot
article
String Processing and Information Retrieval 2005 (SPIRE 2005), Nov 2005, Buenos Aires, Argentina. pp.348--359, ⟨10.1007/11575832_39⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00306660/file/migal.pdf BibTex
titre
Lossless Filter for Finding Long Multiple Approximate Repetitions Using a New Data Structure, the Bi-factor Array
auteur
Pierre Peterlongo, Nadia Pisanti, Frederique Boyer, Marie-France Sagot
article
String Processing and Information Retrieval, 12th International Conference, SPIRE 2005, Nov 2005, Buenos Aires, Argentina. pp.179-190, ⟨10.1007/11575832⟩
Accès au bibtex
BibTex
titre
Real-Time Meta Event Specification Language for Java
auteur
Vincenzo Caruso, Serge Midonnet
article
17th International Conference on Parallel and Distributed Computing Systems (PDCS'05), Nov 2005, Phoenix, Arizona, USA, United States. pp.169-174
Accès au bibtex
BibTex
titre
Comparative evaluation of CBQ and PriQueue in a MANET
auteur
Leila Boukhalfa, Pascale Minet, Serge Midonnet, Laurent George
article
IEEE International Workshop on Heterogeneous Multi-Hop Wireless and Mobile Networks (MHWMN'05), Nov 2005, Washington DC, USA, United States. 8 pp
Accès au bibtex
BibTex
titre
The Design of Real-Time Fault Detectors
auteur
Serge Midonnet
article
International Symposium on Distributed Objects and Applications (DOA'05), Nov 2005, Agia Napa, Cyprus, Cyprus. pp.698-714
Accès au bibtex
BibTex
titre
The Budget Management for Failure Prevention in Real-Time Systems
auteur
Lamine Bougueroua, Serge Midonnet, Laurent George
article
17th International Conference on Parallel and Distributed Computing Systems (PDCS'05), Nov 2005, Phoenix Arizona, USA, United States. pp.289-294
Accès au bibtex
BibTex
titre
Fault-Tolerant Synchronization Protocol for Real-Time Communications
auteur
Serge Midonnet
article
13th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM'05), Sep 2005, Split, Croatia, Croatia. pp.18-23
Accès au bibtex
BibTex
titre
Basic Properties for Sand Automata.
auteur
Julien Cervelle, Enrico Formenti, Benoît Masson
article
30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Sep 2005, Gdansk, Poland, Poland. pp.192-211
Accès au bibtex
BibTex
titre
Worst case response time analysis of sporadic graph tasks with fixed priority scheduling on a uniprocessor
auteur
H. Zhao, Serge Midonnet, Laurent George
article
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), Aug 2005, Hong Kong, Hong Kong SAR China. pp.23-29
Accès au bibtex
BibTex
titre
Trajectory based communication in an ad hoc network of robots
auteur
Pirro Bracka, Serge Midonnet, Gilles Roussel
article
Proceedings of IEEE International Conference on Wireless and Mobile Computing, Networking and Communications WiMob'2005, Aug 2005, Montreal, Canada, Canada. pp.1-8
Accès au bibtex
BibTex
titre
Failure Prevention Of Real-Time Systems With Based On The Latest Execution Time
auteur
Lamine Bougueroua, Laurent George, Serge Midonnet
article
14th IEEE-NPSS Real Time Conference (RT'05), Jun 2005, Stockholm, Sweden, Sweden. pp.1-9
Accès au bibtex
BibTex
titre
Fixed-Parameter Algorithms for Protein Similarity Search Under mRNA Structure Constraints
auteur
Guillaume Blin, Guillaume Fertin, Danny Hermelin, Stéphane Vialette
article
31st International Workshop on Graph-Theoretic Concepts in Computer Science (WG'05), Jun 2005, Metz, France. pp.271-282
Accès au texte intégral et bibtex
https://hal.science/hal-00620363/file/hal.pdf BibTex
titre
What Makes the Arc-Preserving Subsequence Problem Hard?
auteur
Guillaume Blin, Guillaume Fertin, Romeo Rizzi, Stéphane Vialette
article
5th Int. Workshop on Bioinformatics Research and Applications (IWBRA'05), May 2005, Atlanta, GA, USA, United States. pp.860-868
Accès au texte intégral et bibtex
https://hal.science/hal-00620359/file/hal.pdf BibTex
titre
An Allowance Mechanism For Failure Prevention Of Real-Time Systems Scheduled EDF
auteur
Laurent George, Lamine Bougueroua, Serge Midonnet
article
13th International Conference On Real-Time Systems (RTS'05), Apr 2005, Paris, France, France. pp.213-231
Accès au bibtex
BibTex
titre
Schützenberger and Eilenberg theorems for words on linear orderings
auteur
Nicolas Bedon, Chloé Rispal
article
9th International Conference on Developments in Language Theory (DLT 2005), 2005, Italy. pp.134-145
Accès au bibtex
BibTex
titre
Approximating the 2-Interval Pattern Problem
auteur
Maxime Crochemore, Danny Hermelin, Gad M. Landau, Stéphane Vialette
article
13th Annual European Symposium on Algorithms (ESA'05), 2005, Mallorca, Spain, Spain. pp.426-437
Accès au texte intégral et bibtex
https://hal.science/hal-00619979/file/2-Interval.pdf BibTex
titre
A Comparative Study of Bases for Motif Inference
auteur
Nadia Pisanti, Maxime Crochemore, Roberto Grossi, Marie-France Sagot
article
String Algorithmics, 2005, Londres, United Kingdom. pp.195-225
Accès au texte intégral et bibtex
https://hal.science/hal-00620115/file/nato.pdf BibTex
titre
Re-Use Dynamic Programming for Sequence Alignment: An Algorithmic Toolkit
auteur
Maxime Crochemore, Gad M. Landau, Baruch Schieber, Michal Ziv-Ukelson
article
String Algorithmics, 2005, United Kingdom. pp.19-59
Accès au texte intégral et bibtex
https://hal.science/hal-00619995/file/nato11.pdf BibTex
titre
Codes in symbolic systems
auteur
Marie-Pierre Béal
article
Developments in Language Theory, 11th International Conference, DLT 2005, 2005, France
Accès au bibtex
BibTex
titre
Crochemore factorization of Sturmian and other infinite words
auteur
Jean Berstel, Alessandra Savelli
article
31th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), 2005, Czech Republic. pp.157-166
Accès au bibtex
BibTex
titre
On the equivalence of Z-automata
auteur
Marie-Pierre Béal, Sylvain Lombardy, Jacques Sakarovitch
article
2005, pp.397-409, ⟨10.1007/11523468_33⟩
Accès au bibtex
BibTex
titre
A Pattern Extraction Algorithm for Abstract Melodic Representations that Allow Partial Overlapping of Intervallic Categories
auteur
Emilios Cambouropoulos, Maxime Crochemore, Costas S. Iliopoulos, Manal Mohamed, Marie-France Sagot
article
Proceedings of the 6th International Conference on Music Information Retrieval (ISMIR 2005), 2005, Londres, United Kingdom. pp.167-174
Accès au texte intégral et bibtex
https://hal.science/hal-00619902/file/ismir2005.pdf BibTex

Chapitre d'ouvrage

titre
Structures for indexes
auteur
Maxime Crochemore
article
Lothaire M. Applied Combinatorics on Words, Cambridge University Press, pp.106-163, 2005
Accès au bibtex
BibTex

HDR

titre
Automates, énumération et algorithmes
auteur
Frédérique Bassino
article
Algorithme et structure de données [cs.DS]. Université de Marne la Vallée, 2005
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00719172/file/2005_bassino.pdf BibTex

Ouvrages

titre
Applied Combinatorics on Words
auteur
Jean Berstel, Dominique Perrin
article
Cambridge University Press, 105, 610pp., 2005, Encyclopedia of Mathematics and its Applications
Accès au bibtex
BibTex
titre
Applied combinatorics on words
auteur
M. Lothaire
article
Cambridge University Press, 105, 610pp., 2005, Encyclopedia of Mathematics and its Applications
Accès au bibtex
BibTex
titre
Combinatorial Pattern Matching, 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings
auteur
Alberto Apostolico, Maxime Crochemore, Kunsoo Park
article
Springer-Verlag, 441pp., 2005
Accès au bibtex
BibTex

Thèse

titre
Etude et conception d'algorithmes pour les réseaux mobiles et ad-hoc
auteur
Badis Hakim
article
Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00637112/file/Badis_2005.pdf BibTex
titre
Une architecture de contrôle de mobilité pour le routage de messages dans un réseau ad hoc de grande taille
auteur
Pirro Bracka
article
Réseaux et télécommunications [cs.NI]. Université de Marne la Vallée, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00628700/file/Bracka_2005.pdf BibTex
titre
Graphes et cycles de de Bruijn dans des langages avec des restrictions
auteur
Eduardo Moreno
article
Informatique [cs]. Université de Marne la Vallée, 2005. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00628709/file/Moreno_2005.pdf BibTex

2004

Article dans une revue

titre
Locative Complements of Verbs of Movement in Czech
auteur
Marta Ungermanová
article
Belgian Journal of Linguistics, 2004, 18, pp.87-113. ⟨10.1075/bjl.18.06ung⟩
Accès au bibtex
BibTex
titre
Tilings: recursivity and regularity
auteur
Julien Cervelle, Bruno Durand
article
Theoretical Computer Science, 2004, 310 (1-3), pp.469-477
Accès au bibtex
BibTex
titre
Unavoidable sets of constant length
auteur
Jean-Marc Champarnaud, Georges Hansel, Dominique Perrin
article
International Journal of Algebra and Computation, 2004, 14 (1), pp.241-251. ⟨10.1142/S0218196704001700⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619542/file/Unavoidable.pdf BibTex
titre
Preface: Special issue on combinatorics on words
auteur
Jean Berstel, J. Karhumäki, D. Perrin
article
Internat. J. of Foundations of Computer Science, 2004, 15 (2), pp.223-224
Accès au bibtex
BibTex
titre
$(q,\delta)$-numeration systems with missing digits
auteur
Frédérique Bassino, Helmut Prodinger
article
Monatshefte für Mathematik, 2004, 141 (2), pp.89-99
Accès au bibtex
BibTex
titre
Determinization of transducers over infinite words: the general case
auteur
Marie-Pierre Béal, Olivier Carton
article
Theory of Computing Systems, 2004, 37 (4), pp.483-502
Accès au texte intégral et bibtex
https://hal.science/hal-00619205/file/hal.pdf BibTex
titre
Determinization of transducers over infinite words: the general case
auteur
Marie-Pierre Béal, Olivier Carton
article
Theory of Computing Systems, 2004, 37 (4), pp.483-502
Accès au texte intégral et bibtex
https://hal.science/hal-00162483/file/det2.pdf BibTex
titre
Two-dimensional Pattern Matching with Rotations
auteur
Amihood Amir, Ayelet Butman, Maxime Crochemore, Gad M. Landau, Mary Schaps
article
Theoretical Computer Science, 2004, 314 (1), pp.173-187
Accès au bibtex
BibTex
titre
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
auteur
Jean Berstel, Stefano Crespi Reghizzi, Pierluigi San Pietro, Gilles Roussel
article
ACM Transactions on Software Engineering and Methodology, 2004, 14 (2), pp.124-167
Accès au bibtex
BibTex
titre
A Reflective Implementation of Java Multi-Methods
auteur
Rémi Forax, Étienne Duris, Gilles Roussel
article
IEEE Transactions on Software Engineering, 2004, 30 (12), pp.1055--1071
Accès au texte intégral et bibtex
https://hal.science/hal-00620605/file/tse04-prelim.pdf BibTex
titre
On the theorem of Fredricksen and Maiorana about de Bruijn sequences
auteur
E Moreno
article
Advances in Applied Mathematics, 2004, 33 (2), pp.413--415. ⟨10.1016/j.aam.2003.10.002⟩
Accès au bibtex
BibTex
titre
An algorithmic view of gene teams
auteur
Marie-Pierre Béal, Anne Bergeron, Sylvie Corteel, Mathieu Raffinot
article
Theoretical Computer Science, 2004, 320 (2-4), pp.395-418
Accès au texte intégral et bibtex
https://hal.science/hal-00619206/file/hal.pdf BibTex

Communication dans un congrès

titre
Bounded List Injective Homomorphism for Comparative Analysis of Protein-Protein Interaction Graphs
auteur
Isabelle Fagnot, Gaëlle Lelandais, Stéphane Vialette
article
1st International Conference on Algorithms and Computational Methods for Biochemical and Evolutionar, Dec 2004, Recife,Brazil, Brazil. pp.45-70
Accès au bibtex
BibTex
titre
An Adaptative Allowance For Failure Prevention Of Fixed Priority Scheduled Real-Time Systems
auteur
Lamine Bougueroua, Serge Midonnet, Laurent George
article
International Conference on Parallel and Distributed Computing Systems (PDCS'04), Nov 2004, MIT Cambridge, USA, United States. pp.461-466
Accès au bibtex
BibTex
titre
A Standard Real-Time Application Development using Real-Time Java Specification, From Theory to Practice
auteur
Serge Midonnet, H. Zhao
article
International Conference on Software Engineering and Applications (SEA'04), Nov 2004, MIT Cambridge, USA, United States. pp.571-576
Accès au bibtex
BibTex
titre
Longest Motifs with a Functionally Equivalent Central Block
auteur
Maxime Crochemore, Raffaele Giancarlo, Marie-France Sagot
article
SPIRE'2004, Oct 2004, Padova, Italy. pp.298-309, ⟨10.1007/978-3-540-30213-1_42⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619978/file/2004_01.pdf BibTex
titre
Aperiodic Invocations Admission in Real-Time CORBA
auteur
Serge Midonnet
article
12th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM'04), Oct 2004, Split, Croatia, Croatia. pp.141-145
Accès au bibtex
BibTex
titre
A first approach to finding common motifs with Gaps
auteur
Costas S. Iliopoulos, James Mchugh, Pierre Peterlongo, Nadia Pisanti, Wojciech Rytter, Marie-France Sagot
article
Prague Stringology Conference 2004, Sep 2004, Czech Republic. pp.88-97
Accès au bibtex
BibTex
titre
On the complexity of Hopcroft's state minimization algorithm
auteur
Jean Berstel, Olivier Carton
article
9th International Conference on Implementation and Application of Automata (CIAA 2004), Jul 2004, Kingston, Canada, Canada. pp.35-44
Accès au bibtex
BibTex
titre
Contribution à la sécurité du PDA : IDS Embarqué (EIDS)
auteur
Abdelkader Belkhir, Mohamed Djamedl Naci, Abderrezak Rachedi
article
SAR'2004, Jun 2004, France. pp.30-41
Accès au texte intégral et bibtex
https://hal.science/hal-00620332/file/ContributionAlaSecuritA_PDA-EIDS.pdf BibTex
titre
The Benefits of a Cross-Layer Approach for TCP Performance Improvements in WLANs
auteur
Stéphane Lohier, Yacine Ghamri-Doudane, Guy Pujolle
article
IEEE International Workshop on Applications and Services in Wireless Networks (ASWN'04), Jun 2004, Boston, United States. 8pp
Accès au bibtex
BibTex
titre
Les données pour la gestion des milieux aquatiques sur le bassin du Rhône. Quelle mutualisation entre scientifiques et acteurs operationnels ?
auteur
Eric Piatyszek, Alicja Tardy, Didier Graillot, Jean-François Perrin, Denis Barbet, Maxime Crochemore
article
Journée thématique de la ZABR 2004, Apr 2004, Charbonnières, France
Accès au bibtex
BibTex
titre
Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank
auteur
Olivier Carton, Chloé Rispal
article
6th Latin American Theoretical INformatics (LATIN'04), Apr 2004, Buenos Aires, Argentina, Argentina. pp.292-301
Accès au texte intégral et bibtex
https://hal.science/hal-00619905/file/hal.pdf BibTex
titre
The syntactic graph of a sofic shift
auteur
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin
article
21st International Symposium on Theoretical Aspects of Computer Science (STACS 2004), Mar 2004, Montpellier, France. pp.282-293
Accès au texte intégral et bibtex
https://hal.science/hal-00619853/file/hal.pdf BibTex
titre
Corosol une JVM modulaire paramétrable à la volée
auteur
Christophe Deleray, Nicolas Bedon, Gilles Roussel, Étienne Duris
article
Langages et Modèles à 0bjets (LMO'04), Mar 2004, Lille, France, France. pp.89-102
Accès au bibtex
BibTex
titre
Task allowance for failure prevention of real-time JAVA systems
auteur
Lamine Bougueroua, Laurent George, Serge Midonnet
article
International Conference on Parallel and Distributed Computing ans Networks (PDCN'04), Feb 2004, Innsbruck, Austria, Austria. pp.375-380
Accès au bibtex
BibTex
titre
Lyndon words with a fixed standard right factor
auteur
Frédérique Bassino, Julien Clément, Cyril Nicaud
article
15th ACM-SIAM Annual Symposium on Discrete Algorithms (SODA 2004), Jan 2004, New Orleans, Louisiana, United States. pp.646-647
Accès au texte intégral et bibtex
https://hal.science/hal-00619866/file/hal.pdf BibTex
titre
Automata for arithmetic Meyer sets
auteur
Shigeki Akiyama, Frédérique Bassino, Christiane Frougny
article
LATIN 04, 2004, Buenos-Aires, Argentina. pp.252-261, ⟨10.1007/978-3-540-24698-5_29⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00159713/file/latin04.pdf BibTex
titre
Longest repeated motif with a block of don't cares
auteur
Maxime Crochemore, Costas S. Iliopoulos, Manal Mohamed, Marie-France Sagot
article
6th Latin American Theoretical Informatics (LATIN'04), 2004, Buenos Aires, Argentina. pp.271-278, ⟨10.1007/978-3-540-24698-5_31⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619983/file/LATIN2004.pdf BibTex
titre
Complementation of Rational Sets on Scattered Linear Orderings
auteur
Chloé Rispal, Olivier Carton
article
8th International Conference on Developments in Language Theory (DLT 2004), 2004, France. pp.381-392
Accès au texte intégral et bibtex
https://hal.science/hal-00620119/file/hal.pdf BibTex
titre
Minimal de Bruijn Sequence in a Language with Forbidden Substrings
auteur
Eduardo Moreno, Martín Matamala
article
30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'04), 2004, United States. pp.168-176
Accès au bibtex
BibTex
titre
A trie-based approach for compacting automata
auteur
Maxime Crochemore, Chiara Epifanio, Roberto Grossi, Filippo Mignosi
article
Combinatorial Pattern Matching, 2004, Turkey. pp.145-158, ⟨10.1007/978-3-540-27801-6_11⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619974/file/cpm04.pdf BibTex
titre
A hierarchy of irreducible sofic shifts
auteur
Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin
article
29th International Symposium on Mathematical Foundations of Computer Science 2004, 2004, Czech Republic. pp.611-622
Accès au texte intégral et bibtex
https://hal.science/hal-00619854/file/hal.pdf BibTex
titre
Novel tree edit operations for RNA secondary structure comparison
auteur
Julien Allali, Marie-France Sagot
article
Workshop on Algorithms in Bioinformatics 2004, 2004, Bergen, Denmark. pp.412--425, ⟨10.1007/978-3-540-30219-3_35⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00306661/file/wabi04.pdf BibTex

Chapitre d'ouvrage

titre
Mécanismes et protocoles de QoS (Chapitre 4)
auteur
Stéphane Lohier
article
Hermes. Contrôle dans les réseaux IP, Hermes, pp.40-69, 2004
Accès au bibtex
BibTex
titre
Motifs in Sequences: Localization and Extraction
auteur
Maxime Crochemore, Marie-France Sagot
article
Konopka A. K., Crabbe M. J. C. Compact Handbook of Computational Biology, Marcel Dekker, New York, pp.47-97, 2004
Accès au texte intégral et bibtex
https://hal.science/hal-00620799/file/00-CS-CB.pdf BibTex

Ouvrages

titre
Internet : services et réseaux
auteur
Stéphane Lohier, Dominique Présent
article
Dunod. Dunod, 209pp., 2004, ISBN : 9782100064922
Accès au bibtex
BibTex
titre
Infinite Words, Automata, Semigroups, Logic and Games
auteur
Dominique Perrin, Jean-Eric Pin
article
Elsevier, 141, 550pp., 2004
Accès au bibtex
BibTex
titre
Infinite Words: Automata, Semigroups, Logic and Games
auteur
Jean-Eric Pin, Dominique Perrin
article
Elsevier, pp.538, 2004
Accès au bibtex
BibTex

Rapport

titre
The at-most $k$-deep factor tree
auteur
Julien Allali, Marie-France Sagot
article
2004
Accès au texte intégral et bibtex
https://hal.science/hal-00627813/file/HAL.pdf BibTex

Thèse

titre
Comparaison de structures secondaires d'ARN
auteur
Julien Allali
article
Informatique [cs]. Université de Marne la Vallée, 2004. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00637131/file/Allali_2004.pdf BibTex
titre
Automates sur les ordres linéaires : Complémentation
auteur
Chloé Rispal
article
Théorie et langage formel [cs.FL]. Université de Marne la Vallée, 2004. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00720658/file/2004_rispal.pdf BibTex

2003

Article dans une revue

titre
Computing forbidden words of regular languages
auteur
Marie-Pierre Béal, Maxime Crochemore, Filippo Mignosi, Antonio Restivo, Marinella Sciortino
article
Fundamenta Informaticae, 2003, 56 (1-2), pp.121-135
Accès au bibtex
BibTex
titre
On the generating sequences of regular languages on k-symbols
auteur
Marie-Pierre Béal, Dominique Perrin
article
Journal of the ACM (JACM), 2003, 50 (6), pp.955-980. ⟨10.1145/950620.950625⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619228/file/kaire.pdf BibTex
titre
Waiting time and complexity for matching patterns with automata
auteur
Maxime Crochemore, Valery Stefanov
article
Information Processing Letters, 2003, 87 (3), pp.119-125
Accès au bibtex
BibTex
titre
Occurrence and substring heuristics for δ-matching
auteur
Maxime Crochemore, Costas S. Iliopoulos, Thierry Lecroq, Yoan J. Pinzon, Wojciech Plandowski, Wojciech Rytter
article
Fundamenta Informaticae, 2003, 56 (1,2), pp.1-21
Accès au texte intégral et bibtex
https://hal.science/hal-00619565/file/fi.pdf BibTex
titre
Squaring transducers: An efficient procedure for deciding functionality and sequentiality
auteur
Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch
article
Theoretical Computer Science, 2003, 292 (1), pp.45-63
Accès au bibtex
BibTex
titre
A unifying look at the Apostolico-Giancarlo string-matching algorithm
auteur
Maxime Crochemore, Christophe Hancart, Thierry Lecroq
article
Journal of Discrete Algorithms, 2003, 1 (1), pp.37-52. ⟨10.1016/S1570-8667(03)00005-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619563/file/jda1.pdf BibTex
titre
A Subquadratic Sequence Alignment Algorithm for Unrestricted Scoring Matrices
auteur
Maxime Crochemore, Gad M. Landau, Michal Ziv-Ukelson
article
SIAM Journal on Computing, 2003, 32 (6), pp.1654-1673. ⟨10.1137/S0097539702402007⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619573/file/02-CLU-TR.pdf BibTex
titre
Combinatorics on words--a tutorial
auteur
Jean Berstel, J. Karhumäki
article
Bulletin- European Association for Theoretical Computer Science, 2003, 1 (79), pp.178-228
Accès au bibtex
BibTex
titre
Speeding-up Hirschberg and Hunt-Szymanski LCS algorithms
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon
article
Fundamenta Informaticae, 2003, 56 (1,2), pp.89-103
Accès au bibtex
BibTex
titre
Reducing space for index implementation
auteur
Maxime Crochemore
article
Theoretical Computer Science, 2003, 292 (1), pp.185-197
Accès au bibtex
BibTex
titre
Extensions of the method of poles for code construction
auteur
Marie-Pierre Béal
article
IEEE Transactions on Information Theory, 2003, 49 (6), pp.1516-1523
Accès au texte intégral et bibtex
https://hal.science/hal-00619207/file/hal.pdf BibTex

Communication dans un congrès

titre
Mobile ad-hoc networks and QoS demanding applications
auteur
Leila Boukhalfa, Pascale Minet, Laurent George, Serge Midonnet
article
5th IEEE International Conference on Mobile and Wireless Communications Networks (MWCN'03), Oct 2003, Singapore, Singapore. pp.11-14
Accès au bibtex
BibTex
titre
Router timeliness analysis in multihop network
auteur
Leila Boukhalfa, Laurent George, Pascale Minet, Serge Midonnet
article
11th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM'03), Oct 2003, Split, Croatia, Croatia. pp.365-369
Accès au bibtex
BibTex
titre
The average lengths of the factors of the standard factorization of Lyndon words
auteur
Frédérique Bassino, Julien Clément, Cyril Nicaud
article
6th International Conference on Developments in Language Theory (DLT 2002), Sep 2003, Kyoto, Japan. pp.307-318
Accès au texte intégral et bibtex
https://hal.science/hal-00619865/file/hal.pdf BibTex
titre
A basis of tiling motifs for generating repeated patterns and its complexity for higher quorum
auteur
Nadia Pisanti, Maxime Crochemore, Roberto Grossi, Marie-France Sagot
article
International Symposium on Mathematical Foundations of Computer Science 2003, Aug 2003, Bratislava, Slovakia. pp.622-632, ⟨10.1007/978-3-540-45138-9_56⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00620116/file/tiling.pdf BibTex
titre
Lyndon Words and de Bruijn sequences in a Subshift of Finite Type
auteur
Eduardo Moreno
article
WORDS'03, Aug 2003, Finland. pp.400--410
Accès au bibtex
BibTex
titre
The synchronized graphs trace the context-sensitive languages
auteur
Chloé Rispal
article
INFINITY 2002, 4th International Workshop on Verification of Infinite-State Systems, Aug 2003, Brno, Czech Republic. 10pp
Accès au texte intégral et bibtex
https://hal.science/hal-00620118/file/hal.pdf BibTex
titre
Periodicity and Transitivity for Cellular Automata in Besicovitch Topologies
auteur
François Blanchard, Julien Cervelle, Enrico Formenti
article
28th International Symposium on Mathematical Foundations of Computer Science (MFCS'03), Aug 2003, Bratislava, Slovakia, Slovakia. pp.228-238
Accès au bibtex
BibTex
titre
Scheduling and Routing in an ad-hoc network of robots
auteur
Pirro Bracka, Serge Midonnet, Gilles Roussel
article
Proceedings of the International Conference of Computer Science and Technology (CST'03), May 2003, Cancun, Mexico, United States. pp.337-342
Accès au bibtex
BibTex
titre
Deplika: a scalable multicast tool for Unix system replication
auteur
Jérôme Petazzoni
article
Proceedings of the International Conference of Computer Science and Technology (CST'03), May 2003, United States. pp.203--207
Accès au bibtex
BibTex
titre
On Sand Automata
auteur
Julien Cervelle, Enrico Formenti
article
20th International Symposium on Theoretical Aspects of Computer Science (STACS'03), Feb 2003, Berlin, Germany, Germany. pp.642-653
Accès au bibtex
BibTex
titre
Two-dimensional Pattern Matching with Rotations
auteur
Amihood Amir, Ayelet Butman, Maxime Crochemore, Gad M. Landau, Malka Schaps
article
14th Symposium on Combinatorial Pattern Matching (CPM'2003), 2003, Mexico. pp.17-31
Accès au bibtex
BibTex
titre
On the implementation of compact DAWG's
auteur
Jan Holub, Maxime Crochemore
article
Implementation and Application of Automata, 2003, United States. pp.289-294
Accès au bibtex
BibTex
titre
Operations preserving recognizable languages
auteur
Jean Berstel, Luc Boasson, Olivier Carton, Bruno Petazzoni, Jean-Eric Pin
article
FCT'03, 2003, Malmo, Sweden. pp.343-354, ⟨10.1007/978-3-540-45077-1_32⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00112814/file/FCT03.pdf BibTex
titre
A bit-parallel suffix automaton approach for $(\delta,\gamma)$-matching in music retrieval
auteur
Maxime Crochemore, Costas S. Iliopoulos, Gonzalo Navarro, Yoan J. Pinzon
article
10th String Processing and Information Retrieval (SPIRE'2003), 2003, Manaus, Brazil. pp.211-223, ⟨10.1007/978-3-540-39984-1_16⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619985/file/SPIRE2003.pdf BibTex
titre
Area of Brownian Motion with Generatingfunctionology
auteur
Michel Nguyên Thê
article
Discrete Random Walks, DRW'03, 2003, Paris, France. pp.229-242, ⟨10.46298/dmtcs.3321⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01183916/file/dmAC0123.pdf BibTex

Chapitre d'ouvrage

titre
Automi e linguaggi formali
auteur
Dominique Perrin
article
Petruccioli Sandro. Storia della Scienza, IX, Istituto della Enciclopedia Italiana, pp.197-205, 2003
Accès au bibtex
BibTex

Ouvrages

titre
Combinatorial Pattern Matching, 14th Annual Symposium, CPM 2003, Morelia, Michoc~A¡n, Mexico, June 25-27, 2003, Proceedings
auteur
Ricardo Baeza-Yates, Edgar Chávez, Maxime Crochemore
article
Springer-Verlag, 401pp., 2003
Accès au bibtex
BibTex

Thèse

titre
Expérience de programmation générique sur des structures non-séquentielles : les automates
auteur
Vincent Le Maout
article
Génie logiciel [cs.SE]. Université de Marne la Vallée, 2003. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00720666/file/2003_vlemaout.pdf BibTex

2002

Article dans une revue

titre
A weak equivalence between shifts of finite type
auteur
Marie-Pierre Béal, Dominique Perrin
article
Advances in Applied Mathematics, 2002, 29 (2), pp.162-171
Accès au texte intégral et bibtex
https://hal.science/hal-00619322/file/hal.pdf BibTex
titre
Approximate string matching with gaps
auteur
Maxime Crochemore, Costas S. Iliopoulos, C. Makris, Wojciech Rytter, A. Tsakalidis, K. Tsichlas
article
Nordic Journal of Computing, 2002, 9 (1), pp.54-65
Accès au bibtex
BibTex
titre
Shuffle factorization is unique
auteur
Jean Berstel, Luc Boasson
article
Theoretical Computer Science, 2002, 273 (1-2), pp.47-67
Accès au bibtex
BibTex
titre
Determinization of transducers over finite and infinite words
auteur
Marie-Pierre Béal, Olivier Carton
article
Theoretical Computer Science, 2002, 289 (1), pp.225-251
Accès au texte intégral et bibtex
https://hal.science/hal-00619203/file/hal.pdf BibTex
titre
Algorithms For Computing Approximate Repetitions In Musical Sequences
auteur
Emilios Cambouropoulos, Maxime Crochemore, Costas S. Iliopoulos, Laurent Mouchard, Yoan J. Pinzón Ardila
article
International Journal of Computer Mathematics, 2002, 79 (11), pp.1135-1148. ⟨10.1080/00207160213939⟩
Accès au bibtex
BibTex
titre
Accessibility in automata on scattered linear orderings
auteur
Olivier Carton
article
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 (?), pp.155--164
Accès au bibtex
BibTex
titre
Recovering an LCS in O$(n^{2}/w)$ time and space
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon
article
Colombian Journal of Computation, 2002, 3 (1), pp.41-52
Accès au bibtex
BibTex
titre
Formal properties of XML grammars and languages
auteur
Jean Berstel, Luc Boasson
article
Acta Informatica, 2002, 38 (9), pp.649-671
Accès au bibtex
BibTex
titre
Coding rotations on intervals
auteur
Jean Berstel, Laurent Vuillon
article
Theoretical Computer Science, 2002, 281 (1-2), pp.99-107
Accès au bibtex
BibTex
titre
Generalized balances in Sturmian words
auteur
Isabelle Fagnot, Laurent Vuillon
article
Discrete Applied Mathematics, 2002, 121 (1-3), pp.83-101
Accès au bibtex
BibTex
titre
Recent results on extensions of Sturmian words
auteur
Jean Berstel
article
International Journal of Algebra and Computation, 2002, 12 (1-2), pp.371-385
Accès au bibtex
BibTex

Communication dans un congrès

titre
Improved antidictionary based compression
auteur
Maxime Crochemore, Gonzalo Navarro
article
SCCC'02, Chilean Computer Science Society, Nov 2002, Chile. pp.7-13
Accès au bibtex
BibTex
titre
Routage dans un réseau de robots
auteur
Pirro Bracka, Serge Midonnet, Gilles Roussel
article
Quatrièmes Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (ALGOTEL'02), May 2002, Mèze, France, France. pp.163-170
Accès au texte intégral et bibtex
https://hal.science/hal-00619901/file/algotel02.pdf BibTex
titre
On the size of DASG for multiple texts
auteur
Maxime Crochemore, Zdenĕk Troníček
article
9th String Processing and Information Retrieval (SPIRE'2002), 2002, Portugal. pp.58-64
Accès au bibtex
BibTex
titre
Balanced grammars and their languages
auteur
Jean Berstel, Luc Boasson
article
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002], 2002, United States. pp.3-25
Accès au bibtex
BibTex
titre
Three Heuristics for δ-Matching: δ-BM Algorithms
auteur
Maxime Crochemore, Costas S. Iliopoulos, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter
article
Symposium on Combinatorial Pattern Matching (CPM'2002), 2002, Japan. pp.178-189
Accès au texte intégral et bibtex
https://hal.science/hal-00619982/file/cpm02.pdf BibTex
titre
Complete codes in a sofic shift
auteur
Marie-Pierre Béal, Dominique Perrin
article
19th International Symposium on Theoretical Aspects of Computer Science (STACS 2002), 2002, France. pp.547-558
Accès au texte intégral et bibtex
https://hal.science/hal-00619856/file/hal.pdf BibTex
titre
A Sub-quadratic Sequence Alignment Algorithm for Unrestricted Cost Matrices
auteur
Maxime Crochemore, Gad M. Landau, Michal Ziv-Ukelson
article
Proceedings of the Thirteen Annual ACM-SIAM Symposium on Discrete Algorithms, 2002, United States. pp.679-688
Accès au texte intégral et bibtex
https://hal.science/hal-00619996/file/RECDOC02-SODA-TR.pdf BibTex
titre
$\beta$-expansions for cubic Pisot numbers
auteur
Frédérique Bassino
article
5th Latin American Theoretical INformatics (LATIN'2002), 2002, United States. pp.141-152
Accès au texte intégral et bibtex
https://hal.science/hal-00619858/file/hal.pdf BibTex

Chapitre d'ouvrage

titre
Sturmian Words
auteur
Jean Berstel, Patrice Séébold
article
Lothaire M. Algebraic Combinatorics on Words, Cambridge University Press, pp.40-97, 2002
Accès au bibtex
BibTex
titre
String pattern matching for a deluge survival kit
auteur
Alberto Apostolico, Maxime Crochemore
article
Abello J., Pardalos P.M., Resende M.G.C. Handbook of Massive Data Sets, Kluwer Academic Publishers, pp.151-194, 2002
Accès au bibtex
BibTex
titre
Finite and infinite words
auteur
Jean Berstel, Dominique Perrin
article
Lothaire M. Algebraic Combinatorics on Words, Cambridge University Press, pp.1-39, 2002
Accès au bibtex
BibTex

Ouvrages

titre
Java et Internet: concepts et programmation, Tome 1 : coté client, 2eme édition
auteur
Gilles Roussel, Étienne Duris, Nicolas Bedon, Rémi Forax
article
Vuibert Informatique, 848pp., 2002
Accès au bibtex
BibTex
titre
Algebraic combinatorics on words
auteur
M. Lothaire
article
Cambridge University Press, 90, 504pp., 2002, Encyclopedia of Mathematics and its Applications
Accès au bibtex
BibTex
titre
Jewels of Stringology
auteur
Maxime Crochemore, Wojciech Rytter
article
World Scientific Publishing, 310pp., 2002
Accès au bibtex
BibTex
titre
Genome and Informatics
auteur
Jean-Loup Risler, Maxime Crochemore, Andrzej K. Konopka, Bernard Prum, Pierre Rouzé
article
Pergamon, 2002
Accès au bibtex
BibTex

Poster de conférence

titre
Real Time Animation of Realistic Fog
auteur
Venceslas Biri, Sylvain Michelin
article
Poster session of 13th Eurographic Workshop on Rendering, Jun 2002, France. pp.9-16, 2002
Accès au texte intégral et bibtex
https://hal.science/hal-00622212/file/biri_v_elversion2.pdf BibTex

Rapport

titre
A Basis for Repeated Motifs in Pattern Discovery and Text Mining
auteur
Nadia Pisanti, Maxime Crochemore, Roberto Grossi, Marie-France Sagot
article
2002
Accès au texte intégral et bibtex
https://hal.science/hal-00627828/file/Hal.pdf BibTex

Thèse

titre
Complexité structurelle et algorithmique des pavages et des automates cellulaires
auteur
Julien Cervelle
article
Computer Science [cs]. Université de provence, 2002. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://hal.science/tel-01208375/file/these.pdf BibTex

2001

Article dans une revue

titre
Logic over words on denumerable ordinals
auteur
Nicolas Bedon
article
Journal of Computer and System Sciences, 2001, 63 (3), pp.394-431
Accès au bibtex
BibTex
titre
Star-free sets of words on ordinals
auteur
Nicolas Bedon
article
Information and Computation, 2001, 166 (2), pp.93-111
Accès au bibtex
BibTex
titre
Computing Evolutionary Chains in Musical Sequences
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon
article
The Electronic Journal of Combinatorics, 2001, 8 (2), 10pp
Accès au bibtex
BibTex
titre
Algorithms for extracting structured motifs using a suffix tree with application to promoter and regulatory site consensus identification
auteur
Laurent Marsan, Marie-France Sagot
article
Journal of Computational Biology, 2001, 7 (1), pp.345-360
Accès au bibtex
BibTex
titre
A fast and practical bit-vector algorithms for the longest common subsequence problem
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon, James Reid
article
Information Processing Letters, 2001, 80 (6), pp.279-285
Accès au bibtex
BibTex
titre
An exercise on Fibonacci representations
auteur
Jean Berstel
article
Informatique Théorique et Applications, 2001, 35 (6), pp.491-498
Accès au bibtex
BibTex

Communication dans un congrès

titre
A Real-Time Admission Control into CORBA Audio/Video Stream Architecture
auteur
Laurent George, Serge Midonnet
article
9th IEEE International Conference on Software, Telecommunications and Computer Networks (SoftCOM'01), Oct 2001, Split, Croatia, Croatia. pp.537-544
Accès au bibtex
BibTex
titre
Algorithmic Information Theory and Cellular Automata Dynamics
auteur
Julien Cervelle, Bruno Durand, Enrico Formenti
article
26th International Symposium on Mathematical Foundations of Computer Science (MFCS'01), Aug 2001, Marianske Lazne, Czech Republic, Czech Republic. pp.248-259
Accès au bibtex
BibTex
titre
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
auteur
Jean Berstel, Stefano Crespi Reghizzi, Pierluigi San Pietro, Gilles Roussel
article
International Conference on Software Engineering (ICSE'01), May 2001, Canada. pp.453-462
Accès au bibtex
BibTex
titre
Approximate String Matching in Musical Sequences
auteur
Maxime Crochemore, Costas S. Iliopoulos, Thierry Lecroq, Yoan J. Pinzon
article
PSC'2001, Prague Stringoly Club (Prague, 2001), 2001, Czech Republic. pp.26-36
Accès au texte intégral et bibtex
https://hal.science/hal-00619981/file/psc01.pdf BibTex
titre
Length distributions and regular sequences
auteur
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin
article
Codes, systems, and graphical models (Minneapolis, MN, 1999), 2001, United States. pp.415-437
Accès au texte intégral et bibtex
https://hal.science/hal-00619863/file/hal.pdf BibTex
titre
Efficient Experimental String Matching by Weak Factor Recognition
auteur
Cyril Allauzen, Maxime Crochemore, Mathieu Raffinot
article
12th Symposium on Combinatorial Pattern Matching (CPM'2001), 2001, Jerusalem, Israel, Israel. pp.51-72
Accès au bibtex
BibTex
titre
Speeding-up Hirschberg and Hunt-Szymanski LCS algorithms
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon
article
8th String Processing and Information Retrieval (SPIRE 2001), 2001, Laguna de San Rafael, Chile, Chile. pp.59-67
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Enumerative combinatorics on words
auteur
Dominique Perrin
article
Crapo Henri, Rota Gian-Carlo. Algebraic Combinatorics and Computer Science, Springer-Verlag, pp.391-430, 2001
Accès au texte intégral et bibtex
https://hal.science/hal-00620805/file/ActesMaratea.pdf BibTex

Ouvrages

titre
Algorithmique du texte
auteur
Maxime Crochemore, Christophe Hancart, Thierry Lecroq
article
Vuibert, 347pp., 2001
Accès au bibtex
BibTex
titre
Proceedings of the 8th Journées Montoises d'Informatique
auteur
Frédérique Bassino, Véronique Bruyère
article
Bulletin of the Belg. Math. Soc., 2001
Accès au bibtex
BibTex

Rapport

titre
A Simple Dispatch Technique for Pure Java Multi-Methods
auteur
Rémi Forax, Étienne Duris, Gilles Roussel
article
2001
Accès au texte intégral et bibtex
https://hal.science/hal-00627863/file/Hal.pdf BibTex

2000

Article dans une revue

titre
Les automates finis
auteur
Dominique Perrin
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2000, 19 (3), pp.395-402
Accès au texte intégral et bibtex
https://hal.science/hal-00793910/file/AutomatesFinis.pdf BibTex
titre
Computing the prefix of an automaton
auteur
Marie-Pierre Béal, Olivier Carton
article
Informatique Théorique et Applications, 2000, 34 (6), pp.503-514
Accès au texte intégral et bibtex
https://hal.science/hal-00619217/file/hal.pdf BibTex
titre
Data compression using antidictionaries
auteur
Maxime Crochemore, Filippo Mignosi, Antonio Restivo, Sergio Salemi
article
Proceedings of the I.E.E.E., 2000, 88 (11), pp.1756-1768. ⟨10.1109/5.892711⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619579/file/0007-DCA.pdf BibTex
titre
Formal Properties of XML Grammars and Languages
auteur
Jean Berstel, Luc Boasson
article
CoRR, 2000, cs.DM/0011011 (1), 10pp
Accès au bibtex
BibTex
titre
A finite state version of the Kraft-McMillan theorem
auteur
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin
article
SIAM Journal on Computing, 2000, 30 (4), pp.1211-1230
Accès au texte intégral et bibtex
https://hal.science/hal-00619334/file/hal.pdf BibTex
titre
Forbidden words in symbolic dynamics
auteur
Marie-Pierre Béal, F. Mignosi, A. Restivo, M. Sciortino
article
Advances in Applied Mathematics, 2000, 25 (2), pp.163-193
Accès au bibtex
BibTex
titre
Simple optimal string matching algorithm
auteur
Cyril Allauzen, Mathieu Raffinot
article
Journal of Algorithms in Cognition, Informatics and Logic, 2000, 36 (1), pp.102--116. ⟨10.1006/jagm.2000.1087⟩
Accès au bibtex
BibTex
titre
Infering regulatory elements from a whole genome. An application to the analysis of genome of $\itemize{Helicobacter Pylori}$ $\sigma_{80}$ family of promoter signals
auteur
A. Vanet, Laurent Marsan, A. Labigne, Marie-France Sagot
article
Journal of Molecular Biology, 2000, 297 (1), pp.335-353
Accès au bibtex
BibTex
titre
A failure function for multiple two-dimensional pattern matching
auteur
Maxime Crochemore, Costas Iliopoulos, Maureen Korda, James Reid
article
Combinatorial Mathematics and Combinatorial Computing, 2000, 35 (1), pp.225-238
Accès au bibtex
BibTex
titre
Asynchronous sliding block maps
auteur
Marie-Pierre Béal, Olivier Carton
article
Informatique Théorique et Applications, 2000, 34 (2), pp.139-156
Accès au texte intégral et bibtex
https://hal.science/hal-00619216/file/hal.pdf BibTex

Communication dans un congrès

titre
Java Multi-Method Framework
auteur
Rémi Forax, Étienne Duris, Gilles Roussel
article
International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'00), Nov 2000, Sydney, Australia, Australia. pp.45-56
Accès au bibtex
BibTex
titre
CLAGS CORBA-Based Group Communication and Monitoring over Internet
auteur
F. Kooh, Serge Midonnet
article
13th International Conference on Parallel and Distributed Computing Systems, Aug 2000, Las Vegas, USA, United States. pp.19-26
Accès au bibtex
BibTex
titre
Squaring transducers: An efficient procedure for deciding functionality and sequentiality
auteur
Marie-Pierre Béal, Olivier Carton, Christophe Prieur, Jacques Sakarovitch
article
4th Latin American Theoretical INformatics (LATIN'2000), Apr 2000, Punta del Este, Uruguay, Uruguay. pp.407-416
Accès au bibtex
BibTex
titre
Tilings : recursivity and regularity
auteur
Julien Cervelle, Bruno Durand
article
17th International Symposium on Theoretical Aspects of Computer Science (STACS'00), Feb 2000, Lille, France, France. pp.491-502
Accès au bibtex
BibTex
titre
Fast Evolutionary Chains
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon
article
Sofsem 2000--Theory and Practice of Informatics, 2000, Czech Republic. pp.306-317
Accès au bibtex
BibTex
titre
A fast and practical bit-vector algorithms for the longest common subsequence problem
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon, James Reid
article
Proceedings of the eleventh Australasian Workshop on Combinatorial Algorithms, AWOCA'2000, 2000, Australia. pp.75-86
Accès au bibtex
BibTex
titre
Determinization of transducers over infinite words
auteur
Marie-Pierre Béal, Olivier Carton
article
27thInternational Colloquium on Automata, Languages and Programming (ICALP 2000), 2000, Switzerland. pp.561-570
Accès au texte intégral et bibtex
https://hal.science/hal-00619850/file/hal.pdf BibTex
titre
Finding Motifs with Gaps
auteur
Maxime Crochemore, Costas S. Iliopoulos, Yoan J. Pinzon, Wojciech Rytter
article
Proceedings of International Symposium on Music Information Retrieval (ISMIR'00), 2000, Plymouth, Massachusetts, United States. pp.306-317
Accès au bibtex
BibTex
titre
XML grammars
auteur
Jean Berstel, Luc Boasson
article
International Symposium on Mathematical Foundations of Computer Science (MFCS 2000), 2000, Czech Republic. pp.182-191
Accès au bibtex
BibTex

Ouvrages

titre
Java et Internet: concepts et programmation
auteur
Gilles Roussel, Étienne Duris
article
Vuibert Informatique, 576pp., 2000
Accès au bibtex
BibTex
titre
Matching Patterns
auteur
Maxime Crochemore, Leszek Gąsieniec
article
Hermès, 2000
Accès au bibtex
BibTex

Rapport

titre
Java Multi-Method Framework
auteur
Rémi Forax, Étienne Duris, Gilles Roussel
article
2000
Accès au texte intégral et bibtex
https://hal.science/hal-00627861/file/Hal.pdf BibTex

Thèse

titre
Réplication optimiste pour les applications collaboratives asynchrones
auteur
Olivier Dedieu
article
Réseaux et télécommunications [cs.NI]. Université de Marne la Vallée, 2000. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00651743/file/these.pdf BibTex

1999

Article dans une revue

titre
Constant-space string matching in sublinear average time
auteur
Maxime Crochemore, Leszek Gąsieniec, Wojciech Rytter
article
Theoretical Computer Science, 1999, 218 (1), pp.197-203
Accès au bibtex
BibTex
titre
Generating functions of circular codes
auteur
Frédérique Bassino
article
Advances in Applied Mathematics, 1999, 22 (1), pp.1-24
Accès au bibtex
BibTex
titre
Enumerative sequences of leaves and nodes in rational trees
auteur
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin
article
Theoretical Computer Science, 1999, 221 (1-2), pp.41-60
Accès au texte intégral et bibtex
https://hal.science/hal-00619336/file/hal.pdf BibTex
titre
Ouverture
auteur
Dominique Perrin
article
Travaux et Recherches de l'UMLV, 1999, pp.4
Accès au bibtex
BibTex
titre
Computing the Rabin index of a parity automaton
auteur
Olivier Carton, R Maceiras
article
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 1999, 33 (6), pp.495--505. ⟨10.1051/ita:1999129⟩
Accès au bibtex
BibTex
titre
Fast practical multi-pattern matching
auteur
Maxime Crochemore, Artur Czumaj, Leszek Gąsieniec, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter
article
Information Processing Letters, 1999, 71 (3-4), pp.107-113. ⟨10.1016/S0020-0190(99)00092-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619554/file/ipl3.pdf BibTex
titre
Partial words and a theorem of Fine and Wilf
auteur
Jean Berstel, Luc Boasson
article
Theoretical Computer Science, 1999, 218 (1), pp.135-141
Accès au bibtex
BibTex
titre
A note on list languages
auteur
Jean Berstel, Luc Boasson
article
International Journal of Algebra and Computation, 1999, 9 (3-4), pp.263-270
Accès au bibtex
BibTex
titre
Zones of low entropy in genomic sequences
auteur
Maxime Crochemore, Renaud Vérin
article
Computers and Chemistry, 1999, 324 (23), pp.275-282
Accès au bibtex
BibTex
titre
Asymptotic estimation of the average number of terminal states in DAWGs
auteur
Mathieu Raffinot
article
Discrete Applied Mathematics, 1999, 92 (2-3), pp.193--203. ⟨10.1016/S0166-218X(99)00047-5⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Factor oracle : a new structure for pattern matching
auteur
Cyril Allauzen, Maxime Crochemore, Mathieu Raffinot
article
26th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'99), Nov 1999, Milovy, Czech Republic, Czech Republic. pp.291-306, ⟨10.1007/3-540-47849-3_18⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619846/file/9911-sofsem.pdf BibTex
titre
Large-Scale Agreement In Partitionable Network Using CORBA Framework
auteur
F. Kooh, Serge Midonnet
article
11th International Conference on Parallel and Distributed Computing and Systems (PDCS'99), Nov 1999, Las Vegas, USA, United States. pp.1040-1045
Accès au bibtex
BibTex
titre
Equational Semantics
auteur
Loic Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
6th International Symposium on Static Analysis (SAS '99), Sep 1999, Venice, Italy, Italy. pp.264-283
Accès au bibtex
BibTex
titre
Declarative Program Transformation: A Deforestation Case-Study
auteur
Loic Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
Principles and Practice of Declarative Programming, International Conference (PPDP'99), Sep 1999, Paris, France, France. pp.360-377
Accès au bibtex
BibTex
titre
Towards Non-Blocking Agreement through Internet
auteur
F. Kooh, Serge Midonnet
article
5th International Conference for Young Computer Scientists (ICYCS'99), Aug 1999, Nanjing, China, China. pp.287-294
Accès au bibtex
BibTex
titre
Text Compression Using Antidictionaries
auteur
Maxime Crochemore, Filippo Mignosi, Antonio Restivo, Sergio Salemi
article
International Conference on Automata, Languages an Programming (Prague, 1999), 1999, France. pp.261-270, ⟨10.1007/3-540-48523-6_23⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619991/file/9806-TC.pdf BibTex
titre
Algorithms for computing approximate repetitions in musical sequences
auteur
Emilios Cambouropoulos, Maxime Crochemore, Costas S. Iliopoulos, Laurent Mouchard, Yoan J. Pinzón Ardila
article
Australasian Workshop On Combinatorial Algorithms, 1999, Australia. pp.129-144
Accès au texte intégral et bibtex
https://hal.science/hal-00452240/file/99-AWOCA.pdf BibTex
titre
Recursive Types and Pattern-Matching in Java
auteur
Rémi Forax, Gilles Roussel
article
First Internatinal Symposium on Generative and Component-Based Software Engineering (GCSE'99), 1999, France. pp.147-164
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
On the index of Sturmian words
auteur
Jean Berstel
article
Karhumäki Juhani, Maurer Hermann A., Paun Gheorghe, Rozenberg Grzegorz. Jewels are forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, Springer-Verlag, pp.287-294, 1999
Accès au bibtex
BibTex

Ouvrages

titre
Informatics and the genome
auteur
Alain Hénaut, Maxime Crochemore, Andrzej K. Konopka, Jean-Loup Risler, Pierre Rouzé
article
Pergamon, 1999
Accès au bibtex
BibTex
titre
Combinatorial Pattern Matching, 10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999, Proceedings
auteur
Maxime Crochemore, Mike Paterson
article
Springer-Verlag, 293pp., 1999
Accès au bibtex
BibTex

Rapport

titre
How to Deforest in Accumulative Parameters?
auteur
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
[Research Report] RR-3608, INRIA. 1999
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00073070/file/RR-3608.pdf BibTex

1998

Article dans une revue

titre
Automata, semigroups and recognizability of words on ordinals
auteur
Nicolas Bedon
article
International Journal of Algebra and Computation, 1998, 8 (1), pp.1-21
Accès au bibtex
BibTex
titre
D0L-systems and surface automorphisms
auteur
Lm Lopez, P Narbel
article
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 (?), pp.522--532
Accès au bibtex
BibTex
titre
Automata and forbidden words
auteur
Maxime Crochemore, Filippo Mignosi, Antonio Restivo
article
Information Processing Letters, 1998, 67 (3), pp.111-117. ⟨10.1016/S0020-0190(98)00104-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619578/file/9806-IPL.pdf BibTex
titre
A constant-time optimal parallel algorithm for two-dimensional pattern matching
auteur
Maxime Crochemore, Leszek Gąsieniec, Ramesh Hariharan, S. Muthukrishnan, Wojciech Rytter
article
SIAM Journal on Computing, 1998, 27 (3), pp.668-681
Accès au bibtex
BibTex
titre
On the bound of the synchronization delay of a local automaton
auteur
Marie-Pierre Béal, Jean Senellart
article
Theoretical Computer Science, 1998, 205 (1-2), pp.297-306
Accès au texte intégral et bibtex
https://hal.science/hal-00619330/file/hal.pdf BibTex
titre
Two-dimensional prefix string matching and covering on square matrices
auteur
Maxime Crochemore, Costas S. Iliopoulos, Maureen Korda
article
Algorithmica, 1998, 20 (1), pp.353-373. ⟨10.1007/PL00009200⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619570/file/97-02-CIK.pdf BibTex

Communication dans un congrès

titre
Schéma générique de développement par composition
auteur
Loic Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
Approches Formelles dans l'Assistance au Développement de Logiciel (AFADL'98), Sep 1998, Poitiers, France, France. 14pp
Accès au bibtex
BibTex
titre
Operations on extended automata
auteur
Dominique Revuz
article
2nd International Workshop on Implementing Automata (WIA '97), Sep 1998, London, Canada, Canada. pp.171-175
Accès au bibtex
BibTex
titre
Generic Programming by Program Composition (position paper)
auteur
Loic Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
Workshop on Generic Programming (WGP'98), Jun 1998, Marstrand, Sweden, Sweden. 13pp
Accès au bibtex
BibTex
titre
Super-state automata and rational trees
auteur
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin
article
3rd Latin American Theoretical INformatics (LATIN'98), Apr 1998, Campinas, Brazil. pp.42-52
Accès au texte intégral et bibtex
https://hal.science/hal-00619862/file/hal.pdf BibTex
titre
An Eilenberg theorem for words on countable ordinals
auteur
Nicolas Bedon, Olivier Carton
article
3rd Latin American Theoretical INformatics (LATIN'1998), Apr 1998, Campinas, Brazil, Brazil. pp.53-64
Accès au bibtex
BibTex
titre
Composition Symbolique
auteur
Loic Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
Actes des Journées Francophones des Langages Applicatifs (JFLA'98), Feb 1998, Come, Italie, Italy. pp.47-68
Accès au bibtex
BibTex
titre
Algorithms for computing evolutionary chains in molecular and musical sequences
auteur
Maxime Crochemore, Costas S. Iliopoulos, Hiafeng Yu
article
Proceedings of the ninth Australian Workshop on Combinatorial Algorithms AWOCA'98 (Perth, 1998), 1998, France. pp.172-184
Accès au texte intégral et bibtex
https://hal.science/hal-00619988/file/9807-EC.pdf BibTex
titre
Minimal forbidden words and factor automata
auteur
Maxime Crochemore, Filippo Mignosi, Antonio Restivo
article
Mathematical Foundations of Computer Science (Brno, 1998), 1998, France. pp.665-673
Accès au texte intégral et bibtex
https://hal.science/hal-00619990/file/minimal_forbidden_words_and_factor_automata.pdf BibTex
titre
Two-dimensional dictionary prefix-matching
auteur
Maxime Crochemore, Costas S. Iliopoulos, Maureen Korda, James F. Reid
article
Proceedings of the ninth Australian Workshop on Combinatorial Algorithms, AWOCA'98 (Perth, 1998), 1998, France. pp.147-158
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Pattern matching in strings
auteur
Maxime Crochemore, Christophe Hancart
article
J. Atallah Mikhail. Algorithms and Theory of Computation Handbook, CRC Press, pp.11.1-11.28, 1998
Accès au texte intégral et bibtex
https://hal.science/hal-00620790/file/Pattern_matching_in_strings.pdf BibTex

Rapport

titre
Symbolic Composition
auteur
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
article
[Research Report] RR-3348, INRIA. 1998
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00073341/file/RR-3348.pdf BibTex
titre
On rotationally invariant codes
auteur
Marie-Pierre Béal
article
1998
Accès au texte intégral et bibtex
https://hal.science/hal-00628163/file/Hal.pdf BibTex

Thèse

titre
Langages reconnaissables de mots indexés par des ordinaux
auteur
Nicolas Bedon
article
Autre [cs.OH]. Université de Marne la Vallée, 1998. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00003586/file/tel-00003586.pdf BibTex

1997

Article dans une revue

titre
Sur les facteurs des mots automatiques.
auteur
Isabelle Fagnot
article
Theoretical Computer Science, 1997, 172 (1-2), pp.67-89
Accès au bibtex
BibTex
titre
The Wadge-Wagner hierarchy of omega-rational sets
auteur
Olivier Carton, D Perrin
article
AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 (?), pp.17--35
Accès au bibtex
BibTex
titre
Nonnegative companion matrices and star-height of N-rational series
auteur
Frédérique Bassino
article
Theoretical Computer Science, 1997, 180 (1-2), pp.61-80
Accès au bibtex
BibTex
titre
Sturmian words, Lyndon words and trees
auteur
Jean Berstel, Aldo de Luca
article
Theoretical Computer Science, 1997, 178 (1-2), pp.171-203
Accès au bibtex
BibTex
titre
The set of Lyndon words is not context-free
auteur
Jean Berstel, Luc Boasson
article
Bulletin- European Association for Theoretical Computer Science, 1997, 1 (63), pp.139-140
Accès au bibtex
BibTex
titre
Tight bounds on the complexity of the Apostolico-Giancarlo algorithm
auteur
Maxime Crochemore, Thierry Lecroq
article
Information Processing Letters, 1997, 63 (4), pp.195-203. ⟨10.1016/S0020-0190(97)00107-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619574/file/ipl2.pdf BibTex
titre
On the Subword Equivalence Problem for Morphic Words.
auteur
Isabelle Fagnot
article
Discrete Applied Mathematics, 1997, 75 (3), pp.231-253
Accès au bibtex
BibTex
titre
The set of minimal words of a context-free language is context-free
auteur
Jean Berstel, L. Boasson
article
Journal of Computer and System Sciences, 1997, 55 (3), pp.477-488
Accès au bibtex
BibTex
titre
Multiple sequence comparison - A peptide matching approach
auteur
Marie-France Sagot, Alain Viari, H Soldano
article
Theoretical Computer Science, 1997, 180 (1-2), pp.115--137. ⟨10.1016/S0304-3975(96)00137-5⟩
Accès au bibtex
BibTex
titre
Constant-time randomized parallel string matching
auteur
Maxime Crochemore, Zvi Galil, Leszek Gąsieniec, Kunsoo Park, Wojciech Rytter
article
SIAM Journal on Computing, 1997, 26 (4), pp.950-960
Accès au bibtex
BibTex

Communication dans un congrès

titre
Constant-space string matching in sublinear average time
auteur
Maxime Crochemore, Leszek Gąsieniec, Wojciech Rytter
article
Compression and Complexity of Sequences (Positano, 1997), Jun 1997, Salerno, Italy. pp.230-239, ⟨10.1109/SEQUEN.1997.666918⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00619976/file/seq97.pdf BibTex
titre
Direct construction of compact Directed Acyclic Word Graphs
auteur
Maxime Crochemore, Renaud Vérin
article
Combinatorial Pattern Matching (Aarhus, 1997), 1997, France. pp.116-129
Accès au texte intégral et bibtex
https://hal.science/hal-00620006/file/97-CPM.pdf BibTex
titre
Distributions de longueurs des codes circulaires
auteur
Frédérique Bassino
article
9-th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC'97), 1997, Austria. pp.61-72
Accès au bibtex
BibTex
titre
Off-line exact serial string searching
auteur
Maxime Crochemore
article
Pattern Matching Algorithms, 1997, France. pp.1-53
Accès au bibtex
BibTex
titre
Enumerative sequences of leaves in rational trees
auteur
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin
article
International Colloquium on Automata, Languages and Programming (ICALP 1997), 1997, Italy. pp.76-86
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
On Compact Directed Acyclic Word Graphs
auteur
Maxime Crochemore, Renaud Vérin
article
Mycielski J., Rozenberg G., Salomaa A. Structures in Logic and Computer Science, 1261, Springer-Verlag, pp.192-211, 1997, LNCS
Accès au texte intégral et bibtex
https://hal.science/hal-00620801/file/9703-CSA.pdf BibTex
titre
Context-free languages and pushdown automata
auteur
Jean-Michel Autebert, Jean Berstel, Luc Boasson
article
Rozenberg Grzegorz, Salomaa Arto. Handbook of formal languages, Vol. 1, Springer-Verlag, pp.111-174, 1997
Accès au bibtex
BibTex
titre
Chapter 10: Symbolic dynamics and finite automata
auteur
Marie-Pierre Béal, Dominique Perrin
article
Rosenberg G., Salomaa A. Handbook of formal languages, 2, Springer-Verlag, pp.463-505, 1997
Accès au bibtex
BibTex
titre
Pattern matching and text compression algorithms
auteur
Maxime Crochemore, Thierry Lecroq
article
B. Tucker Allen. The Computer Science and Engineering Handbook, CRC Press, pp.162-202, 1997
Accès au bibtex
BibTex
titre
Automata for matching patterns
auteur
Maxime Crochemore, Christophe Hancart
article
Rozenberg G., Salomaa A. Handbook of Formal Languages, 2, Linear Modeling: Background and Application, Springer-Verlag, pp.399-462, 1997
Accès au texte intégral et bibtex
https://hal.science/hal-00620792/file/B4.pdf BibTex

1996

Article dans une revue

titre
Finite automata and ordinals
auteur
Nicolas Bedon
article
Theoretical Computer Science, 1996, 156 (1), pp.119-144
Accès au bibtex
BibTex
titre
Random generation of finite Sturmian words
auteur
Jean Berstel, Michel Pocchiola
article
Discrete Mathematics, 1996, 153 (1-3), pp.29-39
Accès au bibtex
BibTex
titre
Local languages and the Berry-Sethi algorithm
auteur
Jean Berstel, Jean-Eric Pin
article
Theoretical Computer Science, 1996, 155 (2), pp.439-446
Accès au bibtex
BibTex
titre
Towards an algebraic theory of context-free languages
auteur
Jean Berstel, L. Boasson
article
Fundamenta Informaticae, 1996, 25 (3-4), pp.217-239
Accès au bibtex
BibTex
titre
Langage de Lukasiewicz et diagonales de séries formelles
auteur
Isabelle Fagnot
article
Journal de Théorie des Nombres de Bordeaux, 1996, 8 (1), pp.31-45
Accès au texte intégral et bibtex
https://hal.science/hal-00619598/file/hal.pdf BibTex
titre
Pattern matching and text compression algorithms
auteur
Maxime Crochemore, Thierry Lecroq
article
ACM Computing Surveys, 1996, 28 (1), pp.39-41
Accès au bibtex
BibTex

Communication dans un congrès

titre
Tight bounds on the complexity of the Apostolico-Giancarlo algorithm
auteur
Maxime Crochemore, Thierry Lecroq
article
South American Workshop on String Processing (WSP 1996), 1996, France. pp.64-74
Accès au texte intégral et bibtex
https://hal.science/hal-00619989/file/lir9612.pdf BibTex
titre
Boyer-Moore strategy to efficient approximate string matching
auteur
Nadia El Mabrouk, Maxime Crochemore
article
Combinatorial Pattern Matching (Labuna Beach, California, 1996), 1996, France. pp.24-38
Accès au texte intégral et bibtex
https://hal.science/hal-00620020/file/cpm96.pdf BibTex
titre
Random generation of finite Sturmian words
auteur
Jean Berstel, Michel Pocchiola
article
5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993), 1996, Italy. pp.29-39
Accès au bibtex
BibTex
titre
Recent results in Sturmian words
auteur
Jean Berstel
article
International Conference on Developments in Language Theory(DLT 1995), 1996, France. pp.13-24
Accès au bibtex
BibTex
titre
Star-height of an N-rational series
auteur
Frédérique Bassino
article
13th International Symposium on Theoretical Aspects of Computer Science (STACS'96), 1996, France. pp.125-135
Accès au bibtex
BibTex
titre
Minimal forbidden words and symbolic dynamics
auteur
Marie-Pierre Béal, Filippo Mignosi, Antonio Restivo
article
13th International Symposium on Theoretical Aspects of Computer Science (STACS 96), 1996, France. pp.555-566
Accès au bibtex
BibTex
titre
Cyclic languages and strongly cyclic languages
auteur
Marie-Pierre Béal, Olivier Carton, Christophe Reutenauer
article
International Symposium on Theoretical Aspects of Computer Science (STACS 96), 1996, Grenoble, France. pp.49-59
Accès au texte intégral et bibtex
https://hal.science/hal-00619852/file/hal.pdf BibTex

Thèse

titre
Séries rationnelles et distributions de longueurs
auteur
Frédérique Bassino
article
Combinatoire [math.CO]. Université de Marne la Vallée, 1996. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00719366/file/these_bassino.pdf BibTex

1995

Article dans une revue

titre
A relative of the Thue-Morse sequence
auteur
Jean-Paul Allouche, André Arnold, Jean Berstel, Srečko Brlek, William Jockusch, Simon Plouffe, Bruce E. Sagan
article
Discrete Mathematics, 1995, 139 (1-3), pp.455-461
Accès au bibtex
BibTex
titre
Les débuts de la théorie des automates
auteur
Dominique Perrin
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1995, 14 (4), pp.409-433
Accès au texte intégral et bibtex
https://hal.science/hal-00793909/file/LesDebuts.pdf BibTex
titre
Squares, cubes and time-space efficient string-searching
auteur
Maxime Crochemore, Wojciech Rytter
article
Algorithmica, 1995, 13 (5), pp.405-425
Accès au bibtex
BibTex
titre
Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique
auteur
Marie-Pierre Béal
article
Informatique Théorique et Applications, 1995, 29 (2), pp.85-103
Accès au bibtex
BibTex
titre
Fast parallel Lyndon factorization and applications
auteur
Alberto Apostolico, Maxime Crochemore
article
Mathematical System Theory, 1995, 28 (2), pp.89-108
Accès au texte intégral et bibtex
https://hal.science/hal-00619181/file/Fast_Parallel_Lyndon_Factorization_With_Applications.pdf BibTex

Communication dans un congrès

titre
On the Subword Equivalence Problem for Infinite Words.
auteur
Isabelle Fagnot
article
12th International Symposium on Theoretical Aspects of Computer Science, Mar 1995, Munich, Germany, France. pp.107-118
Accès au bibtex
BibTex
titre
Two-dimensional pattern matching in linear time and small space
auteur
Maxime Crochemore, Leszek Gąsieniec, Wojciech Plandowski, Wojciech Rytter
article
12th International Symposium on Theoretical Aspects of Computer Science (STACS 1995), 1995, France. pp.181-192
Accès au bibtex
BibTex
titre
On Linear-Time Alphabet-Independent 2-Dimensional Pattern Matching
auteur
Maxime Crochemore, Wojciech Rytter
article
2nd Latin American Theoretical INformatics (LATIN'95), 1995, France. pp.220-229
Accès au bibtex
BibTex

1994

Article dans une revue

titre
Morphismes de Sturm
auteur
Jean Berstel, Patrice Séébold
article
Bulletin of the Belgian Mathematical Society - Simon Stevin, 1994, 1 (2), pp.175-189
Accès au bibtex
BibTex
titre
Efficient computation of addition chains
auteur
F. Bergeron, Jean Berstel, S. Brlek
article
Journal de Théorie des Nombres de Bordeaux, 1994, 6 (1), pp.21-38
Accès au bibtex
BibTex
titre
Average cost of Duval's algorithm for generating Lyndon words
auteur
Jean Berstel, M. Pocchiola
article
Theoretical Computer Science, 1994, 132 (1-2), pp.415-425
Accès au bibtex
BibTex
titre
A remark on morphic Sturmian words
auteur
Jean Berstel, Patrice Séébold
article
Informatique Théorique et Applications, 1994, 28 (3-4), pp.255-263
Accès au bibtex
BibTex
titre
On two-dimensional pattern matching by optimal parallel algorithms
auteur
Maxime Crochemore, Wojciech Rytter
article
Theoretical Computer Science, 1994, 132 (1-2), pp.403-414
Accès au bibtex
BibTex
titre
Speeding up two string-matching algorithms
auteur
Maxime Crochemore, Artur Czumaj, Leszek Gąsieniec, Stefan Jarominek, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter
article
Algorithmica, 1994, 12 (4-5), pp.247-267
Accès au bibtex
BibTex
titre
A note on the method of poles for code construction
auteur
Jonathan Ashley, Marie-Pierre Béal
article
IEEE Transactions on Information Theory, 1994, 40 (2), pp.512-517
Accès au bibtex
BibTex

Communication dans un congrès

titre
A rewriting of Fife's theorem about overlap-free words
auteur
Jean Berstel
article
Results and trends in theoretical computer science (Graz, 1994), 1994, France. pp.19-29
Accès au bibtex
BibTex

Ouvrages

titre
Combinatorial Pattern Matching, 5th Annual Symposium, CPM 94, Asilomar, California, USA, June 5-8, 1994, Proceedings
auteur
Maxime Crochemore, Dan Gusfield
article
Springer-Verlag, 325pp., 1994
Accès au bibtex
BibTex
titre
Text algorithms
auteur
Maxime Crochemore, Wojciech Rytter
article
Oxford University Press, 412pp., 1994
Accès au bibtex
BibTex

1993

Article dans une revue

titre
On the expressive power of temporal logic for finite words
auteur
Joelle Cohen, Dominique Perrin, Jean-Eric Pin
article
Journal of Computer and System Sciences, 1993, 46, pp.271-294. ⟨10.1016/0022-0000(93)90005-H⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00020069/file/CohenPerrinPin.pdf BibTex
titre
Two-dimensional pattern matching by sampling
auteur
Maxime Crochemore, Leszek Gąsieniec, Wojciech Rytter
article
Information Processing Letters, 1993, 46 (4), pp.159-162
Accès au bibtex
BibTex
titre
A geometric proof of the enumeration formula for Sturmian words
auteur
Jean Berstel, Michel Pocchiola
article
International Journal of Algebra and Computation, 1993, 3 (3), pp.349-355
Accès au bibtex
BibTex
titre
A characterization of overlap-free morphisms
auteur
Jean Berstel, Patrice Séébold
article
Discrete Applied Mathematics, 1993, 46 (3), pp.275-281
Accès au bibtex
BibTex

Communication dans un congrès

titre
Optimally fast parallel algorithms for preprocessing and pattern matching in one and two dimensions
auteur
Richard Cole, Maxime Crochemore, Zvi Galil, Leszek Gąsieniec, Ramesh Hariharan, S. Muthukrishnan, Kunsoo Park, Wojciech Rytter
article
34th IEEE Annual Symposium on Foundations of Computer Science (FOCS'93), 1993, Palo Alto, California, United States. pp.248-258
Accès au bibtex
BibTex
titre
A characterization of Sturmian morphisms
auteur
Jean Berstel, Patrice Séébold
article
International Symposium on Mathematical Foundations of Computer Science (MFCS 1993), 1993, Poland. pp.281-290
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Periodic prefixes in texts
auteur
Maxime Crochemore, Wojciech Rytter
article
Capocelli R., De Santis A., Vaccaro U. Sequences II (Positano, 1991), Springer-Verlag, New York, pp.153-165, 1993
Accès au bibtex
BibTex
titre
Les automates finis
auteur
Maxime Crochemore, Dominique Perrin, Jean-Eric Pin
article
?. Le Courrier du C.N.R.S., la recherche en informatique, C.N.R.S., pp.48-51, 1993
Accès au bibtex
BibTex

Ouvrages

titre
Combinatorial Pattern Matching, 4th Annual Symposium, CPM 93, Padova, Italy, June 2-4, 1993, Proceedings
auteur
Alberto Apostolico, Maxime Crochemore, Galil Zvi, Manber Udi
article
Springer-Verlag, 684, pp.265, 1993
Accès au bibtex
BibTex
titre
Informatique et génome (Marne-la-Vallée, 1993)
auteur
Maxime Crochemore
article
I.G.M., Université de Marne-la-Vallée, ??pp., 1993
Accès au bibtex
BibTex

1992

Article dans une revue

titre
Minimisation of acyclic deterministic automata in linear time
auteur
Dominique Revuz
article
Theoretical Computer Science, 1992, 92 (1), pp.181-189
Accès au bibtex
BibTex
titre
A string-matching interpretation of the equation $x^{m}y^{n}=z^{p}$
auteur
Jean Néraud, Maxime Crochemore
article
Theoretical Computer Science, 1992, 92 (1), pp.145-164
Accès au bibtex
BibTex
titre
String-Matching on Ordered Alphabets
auteur
Maxime Crochemore
article
Theoretical Computer Science, 1992, 92 (1), pp.33-47
Accès au bibtex
BibTex

Communication dans un congrès

titre
Note on two-dimensional pattern matching by optimal parallel algorithms
auteur
Maxime Crochemore, Wojciech Rytter
article
Parallel Image Analysis (Ube, 1992), 1992, France. pp.100-112
Accès au bibtex
BibTex
titre
Compression for an effective management of telemetry data
auteur
Jean-Paul Arcangeli, Maxime Crochemore, Jean-Noël Hourcastagnou, Jean-Eric Pin
article
1992, pp.823-830
Accès au bibtex
BibTex
titre
Deux méthodes pour accélérer l'algorithme de Boyer-Moore
auteur
Maxime Crochemore, Artur Czumaj, Leszek Gąsieniec, Stefan Jarominek, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter
article
Théorie des automates et applications, Université de Rouen, 1992, France. pp.45-63
Accès au bibtex
BibTex
titre
Speeding up two string-matching algorithms
auteur
Maxime Crochemore, Artur Czumaj, Leszek Gąsieniec, Stefan Jarominek, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter
article
9th International Symposium on Theoretical Aspects of Computer Science (STACS 1992), 1992, France. pp.589-600
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Géométrie algorithmique.
auteur
Jean Berstel, Michel Pocchiola
article
Gagnepain Jean-Jacques. Le Courrier du C.N.R.S., la recherche en informatique, 80, La recherche en informatique, pp.58-59, 1992
Accès au bibtex
BibTex
titre
Axel Thue's papers on repetitions in words: a translation
auteur
Jean Berstel
article
??. Monographies du LaCIM, 11, LaCIM, pp.65-80, 1992
Accès au bibtex
BibTex

Ouvrages

titre
Combinatorial Pattern Matching, Third Annual Symposium, CPM 92, Tucson, Arizona, USA, April 29 - May 1, 1992, Proceedings
auteur
Alberto Apostolico, Maxime Crochemore, Zvi Galil, Udi Manber
article
Springer-Verlag, 282pp., 1992
Accès au bibtex
BibTex
titre
Eléments d'algorithmique
auteur
Danièle Beauquier, Jean Berstel, Philippe Chrétienne
article
Masson, 463pp., 1992
Accès au bibtex
BibTex
titre
Combinatorial Pattern Matching, First Annual Symposium, CPM 90, Paris, FRANCE, July 9-13, 1990, Proceedings
auteur
Maxime Crochemore
article
Elsevier, 1992
Accès au bibtex
BibTex

1991

Article dans une revue

titre
On the parallel recognition of unambiguous context-free languages
auteur
Maxime Crochemore, Michal Chytil, Burkhard Monien, Wojciech Rytter
article
Theoretical Computer Science, 1991, 81 (2), pp.311-316
Accès au bibtex
BibTex
titre
Efficient parallel algorithms to test square-freeness and factorize strings
auteur
Maxime Crochemore, Wojciech Rytter
article
Information Processing Letters, 1991, 38 (2), pp.57-60
Accès au bibtex
BibTex
titre
Usefulness of the Karp-Miller-Rosenberg algorithm in parallel computations on strings and arrays
auteur
Maxime Crochemore, Wojciech Rytter
article
Theoretical Computer Science, 1991, 88 (1), pp.59-82
Accès au bibtex
BibTex
titre
Optimal canonization of all substrings of a string
auteur
Alberto Apostolico, Maxime Crochemore
article
Information and Computation, 1991, 95 (1), pp.76-95
Accès au bibtex
BibTex
titre
Mutually avoiding ternary words of small exponent
auteur
Maxime Crochemore, Pavel Goralcik
article
International Journal of Algebra and Computation, 1991, 1 (4), pp.407-410
Accès au bibtex
BibTex
titre
Two-way string-matching
auteur
Maxime Crochemore, Dominique Perrin
article
J. Assoc. Comput. Mach., 1991, 38 (3), pp.651-675
Accès au bibtex
BibTex

Ouvrages

titre
Mathématiques et Informatique: Problèmes résolus
auteur
Jean Berstel, Jean-Eric Pin, Michel Pocchiola
article
McGraw Hill France, 257pp., 1991
Accès au bibtex
BibTex

1986

Article dans une revue

titre
Computing LCF in linear time
auteur
Maxime Crochemore
article
Bulletin- European Association for Theoretical Computer Science, 1986, 30 (1), pp.57-61
Accès au bibtex
BibTex