Pascal Weil

From MaRDI portal
(Redirected from Person:711614)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Random generation of subgroups of the modular group with a fixed isomorphism type
The Electronic Journal of Combinatorics
2024-11-09Paper
The central tree property and algorithmic problems on subgroups of free groups
Journal of Group Theory
2024-09-27Paper
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages2024-08-13Paper
Silhouettes and generic properties of subgroups of the modular group2023-11-14Paper
Random generation of subgroups of the modular group with a fixed isomorphism type2023-10-29Paper
The central tree property and algorithmic problems on subgroups of free groups2023-03-26Paper
On the Generalized Membership Problem in Relatively Hyperbolic Groups
Fields of Logic and Computation III
2022-11-09Paper
scientific article; zbMATH DE number 7566078 (Why is no real title available?)
(available as arXiv preprint)
2022-08-02Paper
scientific article; zbMATH DE number 7566078 (Why is no real title available?)2022-08-02Paper
The Quantifier Alternation Hierarchy of Synchronous Relations2022-07-21Paper
scientific article; zbMATH DE number 7559475 (Why is no real title available?)
(available as arXiv preprint)
2022-07-18Paper
Varieties
(available as arXiv preprint)
2022-02-04Paper
Statistics of subgroups of the modular group
International Journal of Algebra and Computation
2022-01-13Paper
Silhouettes and generic properties of subgroups of the modular group2020-11-18Paper
On two distributions of subgroups of free groups
2010 Proceedings of the Seventh Workshop on Analytic Algorithmics and Combinatorics (ANALCO)
2019-09-16Paper
On the generalized membership problem in relatively hyperbolic groups
(available as arXiv preprint)
2019-08-09Paper
Covering and separation for logical fragments with modular predicates
(available as arXiv preprint)
2019-05-17Paper
PSPACE-completeness of certain algorithmic problems on the subgroups of free groups
Automata, Languages and Programming
2019-04-29Paper
Polynomial closure and unambiguous product
Automata, Languages and Programming
2019-01-10Paper
Stallings graphs for quasi-convex subgroups
Journal of Algebra
2017-09-04Paper
Generic properties of subgroups of free groups and finite presentations
Algebra and Computer Science
2017-04-11Paper
Random presentations and random subgroups: a survey
(available as arXiv preprint)
2017-02-07Paper
An extension of the wreath product principle for finite Mazurkiewicz traces
Information Processing Letters
2016-06-09Paper
On the genericity of Whitehead minimality
Journal of Group Theory
2016-01-19Paper
From algebra to logic: there and back again. The story of a hierarchy (invited paper)
Developments in Language Theory
2014-10-14Paper
Generic properties of random subgroups of a free group for general distributions.2014-09-29Paper
Statistical properties of subgroups of free groups.
Random Structures & Algorithms
2013-05-28Paper
Branching processes of general Petri nets
Fundamenta Informaticae
2013-04-18Paper
An introduction to finite automata and their connection to logic
Modern Applications of Automata Theory
2013-02-26Paper
The \(\mathrm{FO}^2\) alternation hierarchy is decidable
(available as arXiv preprint)
2012-11-22Paper
Star-free languages are Church-Rosser congruential
Theoretical Computer Science
2012-10-11Paper
On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages
Logical Methods in Computer Science
2012-08-15Paper
Branching Processes of General Petri Nets
Applications and Theory of Petri Nets
2011-06-29Paper
On the lattice of sub-pseudovarieties of DA.
Semigroup Forum
2010-10-27Paper
Automorphic orbits in free groups: words versus subgroups.
International Journal of Algebra and Computation
2010-08-11Paper
On finite-index extensions of subgroups of free groups.
Journal of Group Theory
2010-06-02Paper
Algebraic characterization of logically defined tree languages
International Journal of Algebra and Computation
2010-05-25Paper
On FO 2 Quantifier Alternation over Words
Mathematical Foundations of Computer Science 2009
2009-10-16Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science
2009-08-06Paper
scientific article; zbMATH DE number 5343239 (Why is no real title available?)
(available as arXiv preprint)
2008-09-12Paper
RANDOM GENERATION OF FINITELY GENERATED SUBGROUPS OF A FREE GROUP
International Journal of Algebra and Computation
2008-08-26Paper
On an algorithm to decide whether a free group is a free factor of another
RAIRO - Theoretical Informatics and Applications
2008-07-29Paper
On an algorithm to decide whether a free group is a free factor of another
RAIRO - Theoretical Informatics and Applications
2008-07-29Paper
ON THE COMPLEXITY OF THE WHITEHEAD MINIMIZATION PROBLEM
International Journal of Algebra and Computation
2008-05-20Paper
Graphs, intersections of subgroups of free groups and corank
Electronic Notes in Discrete Mathematics
2007-05-29Paper
The recognizability of sets of graphs is a robust property
Theoretical Computer Science
2005-09-22Paper
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science
2005-08-22Paper
Algebraic recognizability of regular tree languages
Theoretical Computer Science
2005-08-01Paper
scientific article; zbMATH DE number 2143018 (Why is no real title available?)2005-03-08Paper
A note on the continuous extensions of injective morphisms between free groups to relatively free profinite groups.
Publicacions Matemàtiques
2004-10-25Paper
Covers for monoids.
Journal of Algebra
2004-02-03Paper
scientific article; zbMATH DE number 2016096 (Why is no real title available?)2003-12-10Paper
THE WREATH PRODUCT PRINCIPLE FOR ORDERED SEMIGROUPS
Communications in Algebra
2003-08-24Paper
ORDERED CATEGORIES AND ORDERED SEMIGROUPS
Communications in Algebra
2003-07-01Paper
A conjecture on the concatenation product
RAIRO - Theoretical Informatics and Applications
2003-03-05Paper
A conjecture on the concatenation product
RAIRO - Theoretical Informatics and Applications
2003-03-05Paper
A conjecture on the concatenation product
RAIRO - Theoretical Informatics and Applications
2003-03-05Paper
Subgroups of free groups: a contribution to the Hanna Neumann conjecture
Geometriae Dedicata
2003-02-04Paper
SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS
Communications in Algebra
2003-01-30Paper
Rationality in algebras with a series operation
Information and Computation
2003-01-14Paper
CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA
International Journal of Algebra and Computation
2002-12-15Paper
PROFINITE METHODS IN SEMIGROUP THEORY
International Journal of Algebra and Computation
2002-12-15Paper
scientific article; zbMATH DE number 1652000 (Why is no real title available?)
SCOPOS
2001-09-27Paper
UNIFORMITIES ON FREE SEMIGROUPS
International Journal of Algebra and Computation
2000-11-07Paper
\texttt{PSPACE}-complete problems for subgroups of free groups and inverse finite automata
Theoretical Computer Science
2000-08-21Paper
scientific article; zbMATH DE number 1419260 (Why is no real title available?)2000-08-09Paper
Series-parallel languages and the bounded-width property
Theoretical Computer Science
2000-06-04Paper
scientific article; zbMATH DE number 1302032 (Why is no real title available?)1999-06-16Paper
scientific article; zbMATH DE number 1300965 (Why is no real title available?)1999-06-16Paper
Irreducibility of certain pseudovarieties1
Communications in Algebra
1998-11-23Paper
The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
Algebra Universalis
1998-11-23Paper
Profinite categories and semidirect products
Journal of Pure and Applied Algebra
1998-07-19Paper
scientific article; zbMATH DE number 1136090 (Why is no real title available?)1998-04-01Paper
scientific article; zbMATH DE number 988808 (Why is no real title available?)1997-11-04Paper
Defining Relations and the Algebraic Structure of the Group SL2 over Integral Hamilton Quaternions
International Journal of Algebra and Computation
1997-09-15Paper
Polynomial closure and unambiguous product
Theory of Computing Systems
1997-07-28Paper
Profinite semigroups, Mal'cev products, and identities
Journal of Algebra
1997-03-05Paper
A Reiterman theorem for pseudovarieties of finite first-order structures
Algebra Universalis
1996-08-27Paper
Free profinite semigroups over semidirect products
Russian Mathematics
1996-05-21Paper
REDUCED FACTORIZATIONS IN FREE PROFINITE GROUPS AND JOIN DECOMPOSITIONS OF PSEUDOVARIETIES
International Journal of Algebra and Computation
1995-01-30Paper
scientific article; zbMATH DE number 459336 (Why is no real title available?)1994-11-21Paper
Some results on the dot-depth hierarchy
Semigroup Forum
1993-05-16Paper
Closure of varieties of languages under products with counter
Journal of Computer and System Sciences
1993-01-17Paper
On a conjecture concerning dot-depth two languages
Theoretical Computer Science
1993-01-16Paper
Semigroups whose idempotents form a subsemigroup
Mathematical Proceedings of the Cambridge Philosophical Society
1992-09-27Paper
scientific article; zbMATH DE number 17829 (Why is no real title available?)1992-06-26Paper
scientific article; zbMATH DE number 17319 (Why is no real title available?)1992-06-26Paper
SEMIGROUPS WITH IDEMPOTENT STABILIZERS AND APPLICATIONS TO AUTOMATA THEORY
International Journal of Algebra and Computation
1992-01-01Paper
Products of languages with counter
Theoretical Computer Science
1990-01-01Paper
Inverse monoids of dot-depth two
Theoretical Computer Science
1989-01-01Paper
Groups in the syntactic monoid of a composed code
Journal of Pure and Applied Algebra
1986-01-01Paper
scientific article; zbMATH DE number 3918681 (Why is no real title available?)1985-01-01Paper


Research outcomes over time


This page was built for person: Pascal Weil