Institut Blaise Pascal

Publications internes Litp 1996 / Litp research reports 1996

La langue du titre indique la langue du document. Tous les rapports ont un résumé en français.
The language of the document is the same as used for the title. Abstract in english always available.


01

Irreducibility of certain pseudovarieties
S. Margolis, P. Weil, M. Sapir

02

Generalized Rational Relations and their Logical Definability
C. Choffrut, L.Guerra

03

Recent developments in trace theory
V. Diekert, P. Gastin, A. Petit

04

Partial Commutation and Traces
V. DiekerT, Y. Métivier

05

Une implémentation de Zermelo Fraenkel en CoQ
G. ALEXANDRE

06

Fault tolerant solutions to the firing squad synchronization problem
J-B. YUNÈS

07

Ranks of binary relations
V. FROIDURE

08

Noncommutative Symmetric Functions III: Déformations of Cauchy and Convulation Algebras
G. Duchamp, A. Klyachko, D. Krob,
J-Y. Thibon

09

Any Lifting of a Trace Coding is a Word Coding
V. BRUYERE , C. DE FELICE

10

The Meet Operation in the Lattice of Codes
V. BRUYERE, D. DERENCOURT, M. LATTEUX

11

Galois Groups and the Simplification of Polynomials
J.H. Davenport

12

Noncommutative symmetric functions IV: Quantum linear groups and Hecke algebras at q =0
D.Krob , J.Y Thibon

13

UET-UCT scheduling on 2 processors with constrained communications
C. PICOULEAU

14

Linear Speed-Up for Cellular Automata Synchronizers and Applications
O. Heen

15

An heuristic for axiomatic theories : the case of zermelo set theory
G. Alexandre, P. Maunoury

16

The Finite Power Property for Rational Sets of the Free Group
F. D'Alessandro, J. Sakarovitch

17

Context-Free Languages and Pushdown Automata
J.-M. Autebert, J. BersteL, L. Boasson

18

Syntactic semigroups
J.E.PIN

19

Connections between the lattices of subpseudovarieties of B and DA
P. Trotter, P. Weil

20

On Some Geometrical Problems of Paperfolding
J. JUSTIN

21

On the sequentiality of the successor function
C. Frougny

22

Preuve de correction de programmes fonctionnels de tris dans le systèmes Coq
P. MANOURY

23

Congruences represented by partial orders, diamond and lattice properties
S. BAUGET

24

Variable-Length Maximal Codes

V.BRUYERE, M. LATTEUX

25

Asynchronous cellular automata for pomsets
without auto-concurrency

P. GASTIN

26

Approximating Traces

V. Diekert, P. Gastin

27

The expressive power of existential first order sentences of Büchi's sequential calculus

J-E PIN

28

Scheduling with Augmented BNF Grammars

S.CRESPI REGHIZZI, L. BREVEGLIERI, A. CHERUBINI

29

Resource Traces: A Domain for Processes Sharing
Exclusive Resources

P. Gastin, Dan Teodosiu

30

The Schützenberger construct and two applications
J. sakarovitch

31

Actes de MCU/UMC'95, Proceedings of MCU/UMC'95
M. MARGENSTERN , J.B YUNES

32

Addition in negative base and some related complex number systems
Christiane Frougny

33

The Finite Power Property in Free Group
F. D'ALESSANDRO, J. SAKAROVITCH

34

List Schedules for Cyclic Scheduling
P. Chretienne

35

A Crystalizable version of Uq (gln)*
D. Krob and J.Y. Thibon

36

The gap between partial and full
J. Almeida, M.V. Volkov

37

Algorithms for computing finite semigroups
Véronique FROIDURE and Jean-Eric PIN

38

One the representation of finite deterministic 2-tape automata
Maryse Pelletier & Jacques Sakarovitc

39

PSPACE - complete problems for subgroups of free groups and inverse finite automata
J.C. BIRGET, S. MARGOLIS, J. MEAKIN & P. Weil

40

DECIMATIONS AND STURMIAN WORDS
J. JUSTIN and G. PIRILLO

Th01

PROBLEME DU MOT DES MONOIDES PRÉSENTÉS PAR UN SEUL RELATEU
G. Watier

Th02

Modélisation du parallélisme par congruences et ordres partiels
S. BAUGET

Th03

Mots ultimement periodiques des langages rationnels de mots infinis.
H. Calbrix

Th04

Evaluation partielle symbolique : une analyse sémantique des programmes C en vue de leur vérification.
P. FONTALBE

Th05

Transformations de programmes logiques avec contraintes.

BENSAOU Nacera

Th06

Quelques algorithmes parallèles et séquentiels de traitement de graphes
et applications


L. Viennot

Th08

UNIX, Une étude de cas
Encyclique de troisième thèse

J-M Moreno

Th09

Comparaison de Séquences Biologiques

Saïd ABDEDDAÏM

Th10

The Meet Operation in the Lattice of Codes

V. BRUYERE- D. DERENCOURT- M. LATTEUX

Th11

Extension de l'Isomorphisme de Curry-Howard
au Traitement des Exceptions
(application d'une étude de la dualité en logique intuitionniste)


CROLARD TristaN

Th07

Saving ressources on cellular automatates cellulaires


O HEEN

Publications internes LIP6 / LIP6 research reports

webmaster@lip6.fr