M. Kufleitner, P. Weil. On logical hierarchies within FO2-definable languages.
76 - F. Bassino, A. Martino, C. Nicaud, E.Ventura, P. Weil. Statistical properties of subgroups of free groups, Random Structures and Algorithms, to appear.
75 - V. Diekert, M. Kufleitner, P. Weil. Star-Free Languages are Church-Rosser Congruential, Theoretical Computer Science (2012), to appear. DOI 10.1016/j.bbr.2011.03.031.
74 - H. Straubing, P. Weil. An introduction to finite automata and their connection to logic, in Modern applications of automata theory (D. D'Souza, Priti Shankar eds), IISc Research Monographs 2, World Scientific (2012), pp. 3-43.
73 - J.-M. Couvreur, D. Poitrenaud, P. Weil. Unfoldings for general Petri nets, Applications and Theory of Petri Nets 2011, Lecture Notes in Computer Science 6709 (Springer, 2011), pp. 129-148. DOI:10.1007/978-3-642-21834-7_8.
72 - M. Kufleitner, P. Weil. On the lattice of sub-pseudovarieties of DA, Semigroup Forum, 81 (2010) 243-254. The original publication is available at www.springer.com, DOI 10.1007/s00233-010-9258-6.
71 - P. Silva, P. Weil. Automorphic orbits in free groups: words versus subgroups, International Journal of Algebra and Computation, 20 (2010) 561-590.
70 - S. Albers, P. Weil eds. Special issue STACS 2008, Theory of Computing Systems 47:3 (2010).
69 - P. Silva, P. Weil. On finite-index extensions of subgroups of free groups, Journal of Group Theory, 13 (2010) 365-381.
68 - Z. Ésik, P. Weil. Algebraic characterization of logically defined tree languages, International Journal of Algebra and Computation, 20 (2010) 195-239.
67 - W. Thomas, P. Weil eds. Special issue STACS 2007, Theory of Computing Systems 46:3 (2010).
66 - F. Bassino, A. Martino, C. Nicaud, E.Ventura, P. Weil. On distributions of subgroups of free groups, SIAM Workshop on Analytic Algorithmics and Combinatorics (ANALCO'10), (SIAM, 2010), pp. 82-89.
65 - M. Kufleitner, P. Weil. On FO2 quantifier alternation over words, MFCS 2009, Lecture Notes in Computer Science 5734 (Springer, 2009), pp. 513-524.
64 - S. Albers, P. Weil eds. STACS 2008, Proceedings of the 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, IBFI Schloss Dagstuhl (2008). ISBN: 978-3-939897-06-4. Available on-line on HAL. Also as volume 1 of the LIPIcs series.
63 - F. Bassino, C. Nicaud, P. Weil. Random generation of finitely generated subgroups of a free group, International Journal of Algebra and Computation 18 (2008) 1-31.
62 - P.V. Silva, P. Weil. On
an algorithm to decide whether a free group is a free factor of
another, Theoretical Informatics and Applications 42
(2008) 395-414.
61 - A. Roig, E. Ventura, P. Weil. On
the complexity of the Whitehead minimization problem,
International Journal of Algebra and Computation 17
(2007) 1611-1634. Preprint 721, Centre de Recerca
Matemàtica, 2006. Slides
from my presentation in Manresa, September 2006.
60 - A.
Miasnikov, E. Ventura, P. Weil. Algebraic
extensions in free groups, in (G.N. Arzhantseva, L. Bartholdi, J.
Burillo, E. Ventura eds.) Geometric group theory, Geneva and
Barcelona conferences, Trends in Mathematics, Birkhaüser (2007),
pp. 225-253. Preprint 681, Centre de Recerca
Matemàtica, 2006. Slides
from my presentation in Lisboa, July 2005.
59 - W. Thomas, P. Weil eds. STACS
2007, Proceedings of the 24th Annual Symposium on Theoretical
Aspects of Computer Science,
Aachen, Germany, February 22-24, 2007, Lecture Notes in Computer
Science 4393
(Springer, 2007).
ISBN: 978-3-540-70917-6
58
- B. Courcelle, P. Weil. The
recognizability of sets of graphs is a robust property,
Theoretical Computer Science 342 (2005) 173-228.
57
- Z. Ésik, P. Weil. Algebraic
recognizability of regular tree languages, Theoretical
Computer Science 340 (2005) 291-321. Slides
from my presentation in Aachen, November 2006.
56 - P. Weil.
Algebraic
recognizability of languages, in MFCS 2004 (J. Fiala, V.
Koubek, J. Kratochvíl eds.), Lecture Notes in Computer Science 3153
(Springer, 2004) 149-175. Slides
from my presentation in Prague, August 2004.
55 - P. Weil. On
the logical definability of certain graph and poset languages, J.
of Automata, Languages and Computation 9 (2004)
147-165.
54 - J. Fountain, J.-E. Pin, P. Weil. Covers for
monoids, J. Algebra 271 (2004) 529-586. .ps.gz
.
53 - Z. Ésik, P. Weil. On logically defined recognizable
tree languages, in FST TCS 2003 (Paritosh K. Pandya, Jaikumar
Radhakrishnan eds.), Lecture Notes in Computer Science 2914
(Springer, 2003) 195-207. .pdf.
52 - T. Coulbois, M. Sapir, P. Weil. A note on the continuous extensions of injective morphisms between free groups to relatively free profinite groups, Publicacions Matemàtiques 47 (2003) 477-487. .pdf .
51 - J. Meakin, P. Weil. Subgroups of free groups: a contribution to the Hanna Neumann conjecture, Geometriæ Dedicata 94 (2002) 33-43. .ps.gz .
50 - J.-E. Pin, P. Weil. The wreath product principle for ordered semigroups, Communications in Algebra 30 (2002) 5677-5713. .ps.gz .
49 - J.-E. Pin, A. Pinguet, P. Weil. Ordered categories and ordered semigroups, Communications in Algebra 30 (2002) 5651-5675. .ps.gz .
48 - J.-E. Pin, P. Weil. Semidirect products of ordered semigroups, Communications in Algebra 30 (2002) 149-169. .ps.gz .
47 - P. Weil. Profinite methods in semigroup theory, Intern. J. Algebra and Computation 12 (2002) 137-178. .ps .
46 - J.-E. Pin, P. Weil. A conjecture on the concatenation product, Theoretical Informatics and Applications 35 (2001) 597-618. .ps.gz .
45 - K. Lodaya, P. Weil. Rationality in algebras with a series operation, Information and Computation 171 (2001) 269-293. .ps.gz .
44 - P. Weil. Graphs, intersections of subgroups of free groups and corank, in (J. Nesetril, M. Noy and O. Serra eds.) Proceedings of EuroComb'01 , Electronic Notes in Discrete Mathematics 10 (Elsevier, 2001). .ps.gz
43 - S. Margolis, M. Sapir, P. Weil. Closed subgroups in the pro-V topologies, and the extension problem for inverse automata, Intern. J. Algebra and Computation 11 (2001) 405-445. .ps.gz .
42 - E. Badouel, S. Boucheron, A. Dicky, M. Santha, A. Petit, P. Weil, M. Zeitoun. Problèmes d'informatique fondamentale : voyages au pays de l'informatique au gré de problèmes de concours , Scopos 13, Springer, 2001.
41 - J.-C. Birget, S. Margolis, J. Meakin, P. Weil. PSPACE-completeness of certain algorithmic problems on the subgroups of free groups, Theoretical Computer Science 242 (2000) 247 - 281. .ps.gz .
40 - K. Lodaya, P. Weil. Series-parallel languages and the bounded-width property, Theoretical Computer Science, 237 (2000) 347 - 380. .ps.gz .
39 - P. Weil. Computing closures of finitely generated subgroups of the free group in Algorithmic Problems in Groups and Semigroups (J.-C. Birget, S. Margolis, J. Meakin, M. Sapir éds.), Birkhaüser, 2000, 289 - 307. .ps.gz .
38 - J.-E. Pin, P. Weil. Uniformities on free semigroups, Intern. J. Algebra and Computation 9 (1999) 431 - 453. .ps.gz .
37 - T.E. Hall, P. Weil. On radical congruence systems, Semigroup Forum 59 (1999) 56 - 73. .ps.gz .
36 - K. Lodaya, P. Weil. A Kleene iteration for parallelism, in FST and TCS 98, Lecture Notes in Computer Science (V. Arvind, R. Ramanujam éds.), Lecture Notes in Computer Science 1530 (Springer, 1998) 355 - 366. .ps.gz .
35 - G. Guaiana, R. Meyer, A. Petit, P. Weil. An extension of the wreath product principle for finite Mazurkiewicz traces, Information Processing Letters 67 (1998) 277 - 282. .ps.gz .
34 - S. Margolis, M. Sapir, P. Weil. Irreducibility of certain pseudovarieties, Communications in Algebra 26 (1998) 779 - 792. .ps.gz.
33 - J. Almeida, P. Weil. Profinite categories and semidirect products, J. Pure and Applied Algebra 123 (1998) 1 - 50. .ps.gz .
32 - K. Lodaya, P. Weil. Series-parallel posets: algebra, automata and languages, in STACS 98 (M. Morvan, Ch. Meinel, D. Krob éds.), Lecture Notes in Computer Science 1373 (Springer, 1998) 555 - 565. .ps.gz.
31 - L. Albert, P. Gastin, B. Petazzoni, A. Petit, N. Puech, P. Weil. Cours et exercices d'informatique, Classes préparatoires, 1er et 2nd cycles universitaires, International Thompson Publishing, Paris, 1997; Vuibert, Paris, 1998.
30 - P. Trotter, P. Weil. The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue, Algebra Universalis 37 (1997) 491 - 526. .ps.gz.
29 - J. Almeida, P. Weil. Free profinite R - trivial monoids, Intern. J. Algebra and Computation 7 (1997) 625 - 671. .ps.gz .
28 - J.-E. Pin, P. Weil. Polynomial closure and unambiguous products, Theory of Computing Systems 30 (1997) 383 - 422. .ps.gz .
27 - J.-E. Pin, P. Weil. A Reiterman theorem for pseudovarieties of finite first-order structures, Algebra Universalis 35 (1996) 577 - 595. résumé / abstract . .ps.gz .
26 - J.-E. Pin, P. Weil. Profinite semigroups, Mal'cev products and identities, J. Algebra 182 (1996) 604 - 626. résumé / abstract . .ps.gz .
25 - S. Margolis, M. Sapir, P. Weil. On the indecomposibility of certain language classes, in Proc. 4th Israel Symposium on Theory of Computing and Systems , IEEE Computer Society, 1996, 129 - 135.
24 - J. Rhodes, P. Weil. Algebraic and topological theory of languages, RAIRO Informatique Théorique et Applications 29 (1995) 1 - 44. .ps.gz .
23 - J.-E. Pin, P. Weil. Polynomial closure and unambiguous products, in 22nd ICALP , Lecture Notes in Computer Science 944 (Springer, 1995) 348 - 359.
22 - J. Almeida, P. Weil. Free profinite semigroups over semidirect products, Izvestiya VUZ Matematika 39 (1995) 3 - 31. Version anglaise, Russian Mathem. (Iz. VUZ.)39 (1995) 1 - 28. .ps.gz .
21 - J. Almeida, P. Weil. Relatively free profinite monoids: an introduction and examples, in NATO Advanced Study Institute "Semigroups, formal languages and groups'' (J. Fountain éd.), Kluwer, 1995, 73 - 117. .ps.gz .
20 - J.-C. Birget, S. Margolis, J. Meakin, P. Weil. PSPACE-completeness of certain algorithmic problems on the subgroups of free groups, in ICALP 94 (S. Abiteboul et E. Shamir éds.), Lecture Notes in Computer Science 820 (Springer, 1994) 274 - 285.
19 - J. Almeida, P. Weil. Reduced factorization in free profinite groups and join decompositions of pseudo-varieties, International Journal of Algebra and Computation 4 (1994) 375 - 403.
18 - P. Weil. Some results on the dot-depth hierarchy, Semigroup Forum 46 (1993) 352 - 370. .ps.gz .
17 - H. Straubing, P. Weil. On a conjecture concerning dot-depth two languages, Theoretical Computer Science 104 (1992) 161 - 183.
16 - P. Weil. Closure of varieties under products with counter, Journal of Computing and System Science 45 (1992) 316 - 339.
15 - J. Almeida, J.-E. Pin, P. Weil. Semigroups whose idempotents form a subsemigroup, Math. Proceedings Camb. Phil. Soc. 111 (1992) 241 - 253.
14 - P. Weil. Implicit operations on pseudo-varieties : an introduction, in Monoids and Semigroups with Applications (J. Rhodes éd.), World Scientific, Singapour, 1991.
13 - B. Le Saëc, J.-E. Pin, P. Weil. Semigroups with idempotent stabilizers and applications to automata theory, International Journal of Algebra and Computation 1 (1991) 291 - 314. résumé / abstract .pdf.
12 - B. Le Saëc, J.-E. Pin, P. Weil. A purely algebraic proof of McNaughton's theorem on infinite words, in FST - TCS (S. Biswas et K.V. Nori éds.), Lecture Notes in Computer Science 560 (Springer, 1991) 141 - 151.
11 - P. Weil. An extension of the Schützenberger product, in Lattices, Semigroups and Universal Algebra (J. Almeida, G. Bordalo et Ph. Dwinger éds.), Plenum, New York, 1990.
10 - P. Weil. Products of languages with counter, Theoretical Computer Science 76 (1990) 251 – 260, pdf.
9 - P. Weil. Problèmes de composition et de décomposition en théorie des langages, mémoire d'habilitation, Université de Paris-6, 1989.
8 - P. Weil. On varieties of languages closed under products with counter, in MFCS 1989, Lecture Notes in Computer Science 379 (Springer, 1989) 534 - 544.
7 - J. Rhodes, P. Weil. Decomposition techniques for finite semigroups using categories, I, Journal of Pure and Applied Algebra 62 (1989) 269 - 284.
6 - J. Rhodes, P. Weil. Decomposition techniques for finite semigroups using categories, II, Journal of Pure and Applied Algebra 62 (1989) 285 - 312.
5 - P. Weil. Inverse monoids of dot-depth two, Theoretical Computer Science 66 (1989) 233 - 245.
4 - P. Weil. Inverse monoids and the dot-depth hierarchy, Ph.D. Thesis, University of Nebraska, 1988.
3 - P. Weil. Groups in the syntactic monoid of a composed code, Journal of Pure and Applied Algebra 42 (1986) 297 - 319.
2 - P. Weil. Groups, codes and unambiguous automata, in STACS 85 , Lecture Notes in Computer Science 182 (Springer, 1985) 351 - 362.
1 - P. Weil. Produits et décompositions d'automates : applications à la théorie des langages, thèse de troisième cycle, Université de Paris-7, 1985.