Search - Université Paris Cité Access content directly

Filter your results

1 411 Results
Structure: Internal structure identifier : 1033

On graphs with no induced subdivision of K4

Benjamin Lévêque , Frédéric Maffray , Nicolas Trotignon
Journal of Combinatorial Theory, Series B, 2012, 102, pp.924-947. ⟨10.1016/j.jctb.2012.04.005⟩
Journal articles lirmm-00736503v1
Image document

NLC-2 graph recognition and isomorphism

Vincent Limouzy , Fabien de Montgolfier , Michaël Rao
Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007., Jun 2007, Dornburg, Germany. pp.86-98, ⟨10.1007/978-3-540-74839-7_9⟩
Conference papers hal-00134605v1

Analysis of HFE from a BDD point of view

Jean-Francis Michon , Pierre Valarcher , Jean-Baptiste Yunès
CCC'03, 2003, China
Conference papers hal-00081341v1
Image document

Noncommutative symmetric functions IV : Quantum linear groups and Hecke algebras at q = 0

Daniel Krob , Jean-Yves Thibon
Journal of Algebraic Combinatorics, 1997, 6, (4), pp.339-376
Journal articles hal-00018539v1

Trees and algebraic semantics

Irene Guessarian
Podelski Nivat. Trees, Automata and Languages, pp.291-310, 1992
Book sections hal-00020731v1

Correctness of basic systolic systems transformations

Irene Guessarian , J. Gruska
1994, pp.315-321
Conference papers hal-00020698v1

Iterative and recursive matrix theories

Irene Guessarian , David R. Benson
Journal of Algebra, 1984, 86, pp.302-314
Journal articles hal-00020942v1
Image document

Distribution of Avalanches on the (n,k)-wheel

Dominique Rossin , Arnaud Dartois
FPSAC/SFCA'03, 2003, Linkoping, Sweden
Conference papers hal-00016372v1
Image document

Utilisation de l'algèbre linéaire en théorie des automates

Jean-Eric Pin
1er Colloque AFCET-SMF de Mathématiques Appliquées, Sep 1978, Palaiseau, France. pp.85-92
Conference papers hal-00340773v1

The equational theory of omega-terms for finite R-trivial semigroups

Jorge Almeida , Marc Zeitoun
Proc. of Semigroups and Languages, 2004, Portugal. pp.1--23
Conference papers hal-00306424v1
Image document

The growth ratio of synchronous rational relations is unique

Olivier Carton
Theoretical Computer Science, 2007, 376, pp.52-59
Journal articles hal-00160891v1
Image document

Challenges in Timed Languages: From Applied Theory to Basic Theory

Eugene Asarin
Bulletin- European Association for Theoretical Computer Science, 2004, 83, pp.106-120
Journal articles hal-00157685v1
Image document

Propositional Dynamic Logic with Recursive Programs

Christof Loeding , Carsten Lutz , Olivier Serre
Journal of Logic and Algebraic Programming, 2007, 73 (1-2), pp.51-69. ⟨10.1016/j.jlap.2006.11.003⟩
Journal articles hal-00153571v1

On alpha-adic expansions in Pisot bases

Petr Ambrož , Christiane Frougny
Theoretical Computer Science, 2007, 380, pp.238-250
Journal articles hal-00159691v1
Image document

Complexity of pebble tree-walking automata

Mathias Samuelides , Luc Segoufin
16th International Symposium on Fundamentals of Computation Theory, Aug 2007, Budapest, Hungary
Conference papers hal-00158716v1
Image document

Bidimensional Sand Pile and Ice Pile Models

Enrica Duchi , Roberto Mantaci , Ha Duong Phan , Dominique Rossin
2007
Preprints, Working Papers, ... hal-00159487v1

Distributed programming for dummies: A shifting transformation technique.

Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Bastian Pochon
SRDS, Oct 2003, Florence, Italy. pp.349-360
Conference papers hal-00154853v1

(Almost) All Objects Are Universal in Message Passing Systems

Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui
DISC, Sep 2005, Cracow, Poland. pp.184-198
Conference papers hal-00154869v1
Image document

Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX

Aurore Collomb-Annichini , Mihaela Sighireanu
Proceedings of the Real-Time Tools Workshop (RT TOOLS'01), Aug 2001, Aalborg, Denmark. pp.1-20
Conference papers hal-00110454v1
Image document

A topological approach to transductions

Jean-Eric Pin , Pedro Silva
Theoretical Computer Science, 2005, 340, pp.443-456
Journal articles hal-00112837v1

Window Subsequence Problem for Compressed Texts

Patrick Cegielski , Irène Guessarian , Yuri Lifshits , Yuri Matiyasevich
Lecture Notes in Computer Science, 2006, 3697, pp.127-136
Journal articles hal-00095714v1

Representing Partitive Crossing Families and Union-Difference Families, with Application to Sesquimodular Decomposition

Binh-Minh Bui-Xuan , Michel Habib , Michaël Rao
RR-07031, 2007
Reports lirmm-00199916v1
Image document

A variant of the tandem duplication - random loss model of genome rearrangement

Mathilde Bouvel , Dominique Rossin
Theoretical Computer Science, 2009, 410 (8-10), pp.847-858. ⟨10.1016/j.tcs.2008.11.017⟩
Journal articles hal-00206178v1
Image document

Competitive Graph Searches

Binh-Minh Bui-Xuan , Michel Habib , Christophe Paul
RR-07017, 2007
Reports lirmm-00132103v3
Image document

Cycle time of stochastic max-plus linear systems

Glenn Merlet
Electronic Journal of Probability, 2008, 13 (2008), Paper 12, 322-340
Journal articles hal-00197850v2
Image document

Longest Common Separable Pattern between Permutations

Mathilde Bouvel , Dominique Rossin , Stéphane Vialette
Combinatorial Pattern Matching, 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, 2007, London, Canada. pp.316-327
Conference papers hal-00128750v1

Dyson's rank, overpartitions, and weak Maass forms

Jeremy Lovejoy , Kathrin Bringmann
International Mathematics Research Notices, 2007, pp.Articel ID rnm063
Journal articles hal-00173915v1
Image document

On a conjecture of Schnoebelen

Antonio Cano Gómez , Jean-Eric Pin
2003, pp.35--54
Conference papers hal-00112692v1

The number of Z-convex polyominoes

Enrica Duchi , Simone Rinaldi , Gilles Schaeffer
2006, pp.221-232
Conference papers hal-00159319v1
Image document

Abstract Regular Model Checking

Ahmed Bouajjani , Peter Habermehl , Tomas Vojnar
International Conference on Computer Aided Verification 2004, 2004, Boston, United States. pp.372-386
Conference papers hal-00159512v1