Doctoral dissertations and Habilitation theses Articles in

Project-Team noproject
version of November 26, 2008
Doctoral dissertations and Habilitation theses
[1] F. Jousse, Transformations d'arbres XML avec des modèles probabilistes pour l'annotation, PhD
Thesis, Université Charles de Gaulle, Lille 3, 2007.
[2] P. Marty, Induction d'extraction n-aire pour les documents semi-structurés, PhD Thesis, Université Charles de Gaulle, Lille 3, 2007.
Articles in referred journals and book chapters
[3] Y. André,
A.-C. Caron,
semistructured data,
D. Debarbieux,
Y. Roos,
S. Tison,
Path constraints in
Theoretical Computer Science 385, 2007-10-15, p. 1133,
archives-ouvertes.fr/hal-00189067/en/.
http://hal.
[4] D. Béchet, A. Foret, I. Tellier, Learnability of Pregroup Grammars, Studia Logica, 2007,
p. 225252,
http://hal.inria.fr/inria-00191112/en/.
[5] J. Carme, R. Gilleron, A. Lemay, J. Niehren, Interactive Learning of Node Selecting Tree
Transducers, Machine Learning 66, 2007, p. 3367,
en/.
http://hal.inria.fr/inria-00087226/
[6] K. Erk, J. Niehren, Dominance Constraints in Stratied Context Unication, Information
Processing Letters 101, 2007, p. 141147,
[7] W. Martens, J. Niehren,
http://hal.inria.fr/inria-00094787/en/.
On the Minimization of XML-Schemas and Tree Automata for
Unranked Trees, Journal of Computer and System Science 73, 2007, p. 550583,
inria.fr/inria-00088406/en/.
http://hal.
Publications in Conferences and Workshops
[8] E. Filiot, J. Niehren, J.-M. Talbot, S. Tison, Polynomial Time Fragments of XPath with
Variables,
in :
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database
Systems, p. 205214, Chine Beijing, 2007,
http://hal.inria.fr/inria-00135678/en/.
[9] E. Filiot, J.-M. Talbot, S. Tison, Satisability of a Spatial Logic with Tree Variables, in :
16th EACSL Annual Conference on Computer Science and Logic Computer Science Logic Lecture
Notes in Computer Science, 4646, Springer Berlin / Heidelberg, p. 130145,
2007,
http://hal.inria.fr/inria-00148462/en/.
Suisse Lausanne,
[10] C. Kuttler, C. Lhoussaine, J. Niehren, A Stochastic Pi Calculus for Concurrent Objects,
in : Second International Conference on Algebraic Biology, 4545, SV, p. 232246, Autriche Linz,
2007,
http://hal.inria.fr/inria-00136015/en/.
[11] J. Niehren, D. Sabel, M. Schmidt-Schauÿ, J. Schwinghammer, Observational Semantics
for a Concurrent Lambda Calculus with Reference Cells and Futures, in : 23rd Conference on
Mathematical Foundations of Programming Semantics Electronic Notes in Theoretical Computer
Science, 173, p. 313337,
en/.
New Orleans, 2007-04-11,
http://hal.inria.fr/inria-00128861/
[12] I. Tellier, Grammatical inference by specialization as a state splitting strategy, in : Proceedings of the Amsterdam Colloquium, p. 223228, 2007.
1
Project-Team noproject
[13] S. Tison, G. Godoy,
version of November 26, 2008
On the Normalization and Unique Normalization Properties of Term
Rewrite Systems, in : CADE, 4603/2007, SPRINGER Berlin /heidelberg, p. 247262, Allemagne,
2007,
http://hal.archives-ouvertes.fr/hal-00190004/en/.
2