Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pascal Weil
@article{DBLP:journals/corr/abs-2303-14697,
author = {Mallika Roy and
Enric Ventura and
Pascal Weil},
title = {The central tree property and algorithmic problems on subgroups of
free groups},
journal = {CoRR},
volume = {abs/2303.14697},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14697},
doi = {10.48550/ARXIV.2303.14697},
eprinttype = {arXiv},
eprint = {2303.14697},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AdsulGSW22,
author = {Bharat Adsul and
Paul Gastin and
Saptarshi Sarkar and
Pascal Weil},
title = {Asynchronous wreath product and cascade decompositions for concurrent
behaviours},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:22)2022},
doi = {10.46298/LMCS-18(2:22)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AdsulGSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AdsulG0W22,
author = {Bharat Adsul and
Paul Gastin and
Saptarshi Sarkar and
Pascal Weil},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Propositional Dynamic Logic and Asynchronous Cascade Decompositions
for Regular Trace Languages},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {28:1--28:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.28},
doi = {10.4230/LIPICS.CONCUR.2022.28},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/AdsulG0W22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/BassinoNW21,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Cyril Nicaud and
Pascal Weil},
title = {Statistics of subgroups of the modular group},
journal = {Int. J. Algebra Comput.},
volume = {31},
number = {8},
pages = {1691--1751},
year = {2021},
url = {https://doi.org/10.1142/S0218196721500624},
doi = {10.1142/S0218196721500624},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/BassinoNW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ems/21/StraubingW21,
author = {Howard Straubing and
Pascal Weil},
editor = {Jean{-}{\'{E}}ric Pin},
title = {Varieties},
booktitle = {Handbook of Automata Theory},
pages = {569--614},
publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich,
Switzerland},
year = {2021},
url = {https://doi.org/10.4171/Automata-1/16},
doi = {10.4171/AUTOMATA-1/16},
timestamp = {Mon, 11 Apr 2022 14:12:30 +0200},
biburl = {https://dblp.org/rec/books/ems/21/StraubingW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10897,
author = {Bharat Adsul and
Paul Gastin and
Saptarshi Sarkar and
Pascal Weil},
title = {Asynchronous wreath product and cascade decompositions for concurrent
behaviours},
journal = {CoRR},
volume = {abs/2105.10897},
year = {2021},
url = {https://arxiv.org/abs/2105.10897},
eprinttype = {arXiv},
eprint = {2105.10897},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KharlampovichW20,
author = {Olga Kharlampovich and
Pascal Weil},
editor = {Andreas Blass and
Patrick C{\'{e}}gielski and
Nachum Dershowitz and
Manfred Droste and
Bernd Finkbeiner},
title = {On the Generalized Membership Problem in Relatively Hyperbolic Groups},
booktitle = {Fields of Logic and Computation {III} - Essays Dedicated to Yuri Gurevich
on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12180},
pages = {147--155},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48006-6\_11},
doi = {10.1007/978-3-030-48006-6\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KharlampovichW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AdsulGSW20,
author = {Bharat Adsul and
Paul Gastin and
Saptarshi Sarkar and
Pascal Weil},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Wreath/Cascade Products and Related Decomposition Results for the
Concurrent Setting of Mazurkiewicz Traces},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {19:1--19:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.19},
doi = {10.4230/LIPICS.CONCUR.2020.19},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AdsulGSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07940,
author = {Bharat Adsul and
Paul Gastin and
Saptarshi Sarkar and
Pascal Weil},
title = {Wreath/cascade products and related decomposition results for the
concurrent setting of Mazurkiewicz traces (extended version)},
journal = {CoRR},
volume = {abs/2007.07940},
year = {2020},
url = {https://arxiv.org/abs/2007.07940},
eprinttype = {arXiv},
eprint = {2007.07940},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/PlaceRW19,
author = {Thomas Place and
Varun Ramanathan and
Pascal Weil},
title = {Covering and separation for logical fragments with modular predicates},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:11)2019},
doi = {10.23638/LMCS-15(2:11)2019},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/PlaceRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Weil19,
author = {Pascal Weil},
title = {Foreword},
journal = {Theory Comput. Syst.},
volume = {63},
number = {4},
pages = {635--636},
year = {2019},
url = {https://doi.org/10.1007/s00224-018-9877-y},
doi = {10.1007/S00224-018-9877-Y},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Weil19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FigueiraRW19,
author = {Diego Figueira and
Varun Ramanathan and
Pascal Weil},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {The Quantifier Alternation Hierarchy of Synchronous Relations},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {29:1--29:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.29},
doi = {10.4230/LIPICS.MFCS.2019.29},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/FigueiraRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08883,
author = {Thomas Place and
Varun Ramanathan and
Pascal Weil},
title = {Covering and separation for logical fragments with modular predicates},
journal = {CoRR},
volume = {abs/1804.08883},
year = {2018},
url = {http://arxiv.org/abs/1804.08883},
eprinttype = {arXiv},
eprint = {1804.08883},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08883.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csr/2017,
editor = {Pascal Weil},
title = {Computer Science - Theory and Applications - 12th International Computer
Science Symposium in Russia, {CSR} 2017, Kazan, Russia, June 8-12,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10304},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58747-9},
doi = {10.1007/978-3-319-58747-9},
isbn = {978-3-319-58746-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csr/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amsmeet/BassinoNW16,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Cyril Nicaud and
Pascal Weil},
editor = {Delaram Kahrobaei and
Bren Cavallo and
David Garber},
title = {Generic properties of subgroups of free groups and finite presentations},
booktitle = {Algebra and Computer Science},
series = {Contemporary Mathematics},
volume = {677},
publisher = {American Mathematical Society},
year = {2016},
url = {http://www.ams.org/books/conm/677/13619},
timestamp = {Tue, 03 Nov 2020 17:58:27 +0100},
biburl = {https://dblp.org/rec/conf/amsmeet/BassinoNW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StraubingW15,
author = {Howard Straubing and
Pascal Weil},
title = {Varieties},
journal = {CoRR},
volume = {abs/1502.03951},
year = {2015},
url = {http://arxiv.org/abs/1502.03951},
eprinttype = {arXiv},
eprint = {1502.03951},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StraubingW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BassinoNW15,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Cyril Nicaud and
Pascal Weil},
title = {Generic properties of subgroups of free groups and finite presentations},
journal = {CoRR},
volume = {abs/1507.01088},
year = {2015},
url = {http://arxiv.org/abs/1507.01088},
eprinttype = {arXiv},
eprint = {1507.01088},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BassinoNW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Weil14,
author = {Pascal Weil},
editor = {Arseny M. Shur and
Mikhail V. Volkov},
title = {From Algebra to Logic: There and Back Again The Story of a Hierarchy
- (Invited Paper)},
booktitle = {Developments in Language Theory - 18th International Conference, {DLT}
2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8633},
pages = {275--278},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09698-8\_24},
doi = {10.1007/978-3-319-09698-8\_24},
timestamp = {Thu, 09 Nov 2023 20:20:35 +0100},
biburl = {https://dblp.org/rec/conf/dlt/Weil14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Weil14,
author = {Pascal Weil},
title = {From algebra to logic: there and back again - the story of a hierarchy},
journal = {CoRR},
volume = {abs/1406.1035},
year = {2014},
url = {http://arxiv.org/abs/1406.1035},
eprinttype = {arXiv},
eprint = {1406.1035},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Weil14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CouvreurPW13,
author = {Jean{-}Michel Couvreur and
Denis Poitrenaud and
Pascal Weil},
title = {Branching Processes of General Petri Nets},
journal = {Fundam. Informaticae},
volume = {122},
number = {1-2},
pages = {31--58},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-782},
doi = {10.3233/FI-2013-782},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CouvreurPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/BassinoMNVW13,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Armando Martino and
Cyril Nicaud and
Enric Ventura and
Pascal Weil},
title = {Statistical properties of subgroups of free groups},
journal = {Random Struct. Algorithms},
volume = {42},
number = {3},
pages = {349--373},
year = {2013},
url = {https://doi.org/10.1002/rsa.20407},
doi = {10.1002/RSA.20407},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsa/BassinoMNVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BassinoNW13,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Cyril Nicaud and
Pascal Weil},
title = {On the genericity of Whitehead minimality},
journal = {CoRR},
volume = {abs/1312.4510},
year = {2013},
url = {http://arxiv.org/abs/1312.4510},
eprinttype = {arXiv},
eprint = {1312.4510},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BassinoNW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-0713,
author = {Manfred Kufleitner and
Pascal Weil},
title = {On logical hierarchies within FO\({}^{\mbox{2}}\)-definable languages},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:11)2012},
doi = {10.2168/LMCS-8(3:11)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-0713.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiekertKW12,
author = {Volker Diekert and
Manfred Kufleitner and
Pascal Weil},
title = {Star-free languages are Church-Rosser congruential},
journal = {Theor. Comput. Sci.},
volume = {454},
pages = {129--135},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.01.028},
doi = {10.1016/J.TCS.2012.01.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DiekertKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KufleitnerW12,
author = {Manfred Kufleitner and
Pascal Weil},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {The {FO2} alternation hierarchy is decidable},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {426--439},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.426},
doi = {10.4230/LIPICS.CSL.2012.426},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/KufleitnerW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/automata2012/StraubingW12,
author = {Howard Straubing and
Pascal Weil},
editor = {Deepak D'Souza and
Priti Shankar},
title = {An Introduction to Finite Automata and their Connection to Logic},
booktitle = {Modern Applications of Automata Theory},
series = {IISc Research Monographs Series},
volume = {2},
pages = {3--44},
publisher = {World Scientific},
year = {2012},
url = {https://doi.org/10.1142/9789814271059\_0001},
doi = {10.1142/9789814271059\_0001},
timestamp = {Sat, 03 Aug 2019 22:52:51 +0200},
biburl = {https://dblp.org/rec/books/ws/automata2012/StraubingW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6152,
author = {Manfred Kufleitner and
Pascal Weil},
title = {The FO{\^{}}2 alternation hierarchy is decidable},
journal = {CoRR},
volume = {abs/1203.6152},
year = {2012},
url = {http://arxiv.org/abs/1203.6152},
eprinttype = {arXiv},
eprint = {1203.6152},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CouvreurPW11,
author = {Jean{-}Michel Couvreur and
Denis Poitrenaud and
Pascal Weil},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Branching Processes of General Petri Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {129--148},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_8},
doi = {10.1007/978-3-642-21834-7\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/CouvreurPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-4300,
author = {Volker Diekert and
Manfred Kufleitner and
Pascal Weil},
title = {Star-Free Languages are Church-Rosser Congruential},
journal = {CoRR},
volume = {abs/1111.4300},
year = {2011},
url = {http://arxiv.org/abs/1111.4300},
eprinttype = {arXiv},
eprint = {1111.4300},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/EsikW10,
author = {Zolt{\'{a}}n {\'{E}}sik and
Pascal Weil},
title = {Algebraic Characterization of Logically Defined Tree Languages},
journal = {Int. J. Algebra Comput.},
volume = {20},
number = {2},
pages = {195--239},
year = {2010},
url = {https://doi.org/10.1142/S0218196710005595},
doi = {10.1142/S0218196710005595},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/EsikW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/SilvaW10,
author = {Pedro V. Silva and
Pascal Weil},
title = {Automorphic orbits in Free Groups: Words versus Subgroups},
journal = {Int. J. Algebra Comput.},
volume = {20},
number = {4},
pages = {561--590},
year = {2010},
url = {https://doi.org/10.1142/S0218196710005790},
doi = {10.1142/S0218196710005790},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/SilvaW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ThomasW10,
author = {Wolfgang Thomas and
Pascal Weil},
title = {Preface of {STACS} 2007 Special Issue},
journal = {Theory Comput. Syst.},
volume = {46},
number = {3},
pages = {397},
year = {2010},
url = {https://doi.org/10.1007/s00224-009-9220-8},
doi = {10.1007/S00224-009-9220-8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ThomasW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AlbersW10,
author = {Susanne Albers and
Pascal Weil},
title = {{STACS} 2008 Foreword},
journal = {Theory Comput. Syst.},
volume = {47},
number = {3},
pages = {611--612},
year = {2010},
url = {https://doi.org/10.1007/s00224-009-9221-7},
doi = {10.1007/S00224-009-9221-7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/AlbersW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/analco/BassinoMNVW10,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Armando Martino and
Cyril Nicaud and
Enric Ventura and
Pascal Weil},
editor = {Mordecai J. Golin and
Robert Sedgewick},
title = {On Two Distributions of Subgroups of Free Groups},
booktitle = {Proceedings of the Seventh Workshop on Analytic Algorithmics and Combinatorics,
{ANALCO} 2010, Austin, Texas, USA, January 16, 2010},
pages = {82--89},
publisher = {{SIAM}},
year = {2010},
url = {https://doi.org/10.1137/1.9781611973006.11},
doi = {10.1137/1.9781611973006.11},
timestamp = {Thu, 01 Jun 2017 18:58:35 +0200},
biburl = {https://dblp.org/rec/conf/analco/BassinoMNVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-4472,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Armando Martino and
Cyril Nicaud and
Enric Ventura and
Pascal Weil},
title = {Statistical properties of subgroups of free groups},
journal = {CoRR},
volume = {abs/1001.4472},
year = {2010},
url = {http://arxiv.org/abs/1001.4472},
eprinttype = {arXiv},
eprint = {1001.4472},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-6491,
author = {Howard Straubing and
Pascal Weil},
title = {An introduction to finite automata and their connection to logic},
journal = {CoRR},
volume = {abs/1011.6491},
year = {2010},
url = {http://arxiv.org/abs/1011.6491},
eprinttype = {arXiv},
eprint = {1011.6491},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KufleitnerW09,
author = {Manfred Kufleitner and
Pascal Weil},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {On {FO2} Quantifier Alternation over Words},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {513--524},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_44},
doi = {10.1007/978-3-642-03816-7\_44},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KufleitnerW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2894,
author = {Manfred Kufleitner and
Pascal Weil},
title = {On {FO2} quantifier alternation over words},
journal = {CoRR},
volume = {abs/0904.2894},
year = {2009},
url = {http://arxiv.org/abs/0904.2894},
eprinttype = {arXiv},
eprint = {0904.2894},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/BassinoNW08,
author = {Fr{\'{e}}d{\'{e}}rique Bassino and
Cyril Nicaud and
Pascal Weil},
title = {Random Generation of Finitely Generated Subgroups of a Free Group},
journal = {Int. J. Algebra Comput.},
volume = {18},
number = {2},
pages = {375--405},
year = {2008},
url = {https://doi.org/10.1142/S0218196708004482},
doi = {10.1142/S0218196708004482},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/BassinoNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/SilvaW08,
author = {Pedro V. Silva and
Pascal Weil},
title = {On an algorithm to decide whether a free group is a free factor of
another},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {2},
pages = {395--414},
year = {2008},
url = {https://doi.org/10.1051/ita:2007040},
doi = {10.1051/ITA:2007040},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/SilvaW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AlbersW08,
author = {Susanne Albers and
Pascal Weil},
editor = {Susanne Albers and
Pascal Weil},
title = {Preface - 25th International Symposium on Theoretical Aspects of Computer
Science},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
pages = {1--6},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1326},
doi = {10.4230/LIPICS.STACS.2008.1326},
timestamp = {Tue, 22 Jun 2021 15:44:08 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AlbersW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AlbersW08a,
author = {Susanne Albers and
Pascal Weil},
editor = {Susanne Albers and
Pascal Weil},
title = {Abstracts Collection - 25th International Symposium on Theoretical
Aspects of Computer Science},
booktitle = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
url = {https://doi.org/10.4230/LIPIcs.STACS.2008.1378},
doi = {10.4230/LIPICS.STACS.2008.1378},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AlbersW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2008,
editor = {Susanne Albers and
Pascal Weil},
title = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 21-23, 2008, Proceedings},
series = {LIPIcs},
volume = {1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2008},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/RoigVW07,
author = {Abd{\'{o}} Roig and
Enric Ventura and
Pascal Weil},
title = {On the Complexity of the Whitehead Minimization Problem},
journal = {Int. J. Algebra Comput.},
volume = {17},
number = {8},
pages = {1611--1634},
year = {2007},
url = {https://doi.org/10.1142/S0218196707004244},
doi = {10.1142/S0218196707004244},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/RoigVW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2007,
editor = {Wolfgang Thomas and
Pascal Weil},
title = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
Science, Aachen, Germany, February 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4393},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-70918-3},
doi = {10.1007/978-3-540-70918-3},
isbn = {978-3-540-70917-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0709-2962,
author = {Zolt{\'{a}}n {\'{E}}sik and
Pascal Weil},
title = {Algebraic characterization of logically defined tree languages},
journal = {CoRR},
volume = {abs/0709.2962},
year = {2007},
url = {http://arxiv.org/abs/0709.2962},
eprinttype = {arXiv},
eprint = {0709.2962},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0709-2962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609048,
author = {Pascal Weil},
title = {On the logical definability of certain graph and poset languages},
journal = {CoRR},
volume = {abs/cs/0609048},
year = {2006},
url = {http://arxiv.org/abs/cs/0609048},
eprinttype = {arXiv},
eprint = {cs/0609048},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609109,
author = {Bruno Courcelle and
Pascal Weil},
title = {The recognizability of sets of graphs is a robust property},
journal = {CoRR},
volume = {abs/cs/0609109},
year = {2006},
url = {http://arxiv.org/abs/cs/0609109},
eprinttype = {arXiv},
eprint = {cs/0609109},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609109.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609110,
author = {Pascal Weil},
title = {Algebraic recognizability of languages},
journal = {CoRR},
volume = {abs/cs/0609110},
year = {2006},
url = {http://arxiv.org/abs/cs/0609110},
eprinttype = {arXiv},
eprint = {cs/0609110},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609113,
author = {Zolt{\'{a}}n {\'{E}}sik and
Pascal Weil},
title = {Algebraic recognizability of regular tree languages},
journal = {CoRR},
volume = {abs/cs/0609113},
year = {2006},
url = {http://arxiv.org/abs/cs/0609113},
eprinttype = {arXiv},
eprint = {cs/0609113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EsikW05,
author = {Zolt{\'{a}}n {\'{E}}sik and
Pascal Weil},
title = {Algebraic recognizability of regular tree languages},
journal = {Theor. Comput. Sci.},
volume = {340},
number = {1},
pages = {291--321},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.03.038},
doi = {10.1016/J.TCS.2005.03.038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EsikW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CourcelleW05,
author = {Bruno Courcelle and
Pascal Weil},
title = {The recognizability of sets of graphs is a robust property},
journal = {Theor. Comput. Sci.},
volume = {342},
number = {2-3},
pages = {173--228},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.03.018},
doi = {10.1016/J.TCS.2005.03.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CourcelleW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/Weil04,
author = {Pascal Weil},
title = {On the Logical Definability of Certain Graph and Poset Languages},
journal = {J. Autom. Lang. Comb.},
volume = {9},
number = {1},
pages = {147--165},
year = {2004},
url = {https://doi.org/10.25596/jalc-2004-147},
doi = {10.25596/JALC-2004-147},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/Weil04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Weil04,
author = {Pascal Weil},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Algebraic Recognizability of Languages},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {149--175},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_8},
doi = {10.1007/978-3-540-28629-5\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Weil04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/EsikW03,
author = {Zolt{\'{a}}n {\'{E}}sik and
Pascal Weil},
editor = {Paritosh K. Pandya and
Jaikumar Radhakrishnan},
title = {On Logically Defined Recognizable Tree Languages},
booktitle = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical
Computer Science, 23rd Conference, Mumbai, India, December 15-17,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2914},
pages = {195--207},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24597-1\_17},
doi = {10.1007/978-3-540-24597-1\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/EsikW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/Weil02,
author = {Pascal Weil},
title = {Profinite Methods in Semigroup Theory},
journal = {Int. J. Algebra Comput.},
volume = {12},
number = {1-2},
pages = {137--177},
year = {2002},
url = {https://doi.org/10.1142/S0218196702000912},
doi = {10.1142/S0218196702000912},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/Weil02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/CourcelleW02,
author = {Bruno Courcelle and
Pascal Weil},
editor = {Andrea Corradini and
Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Workshop on Logic, Graph Transformations and Discrete Structures},
booktitle = {Graph Transformation, First International Conference, {ICGT} 2002,
Barcelona, Spain, October 7-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2505},
pages = {455--458},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45832-8\_36},
doi = {10.1007/3-540-45832-8\_36},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/CourcelleW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Weil01,
author = {Pascal Weil},
title = {Graphs, intersections of subgroups of free groups and corank},
journal = {Electron. Notes Discret. Math.},
volume = {10},
pages = {286--290},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00412-3},
doi = {10.1016/S1571-0653(04)00412-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Weil01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LodayaW01,
author = {Kamal Lodaya and
Pascal Weil},
title = {Rationality in Algebras with a Series Operation},
journal = {Inf. Comput.},
volume = {171},
number = {2},
pages = {269--293},
year = {2001},
url = {https://doi.org/10.1006/inco.2001.3077},
doi = {10.1006/INCO.2001.3077},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LodayaW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/MargolisSW01,
author = {Stuart W. Margolis and
Mark V. Sapir and
Pascal Weil},
title = {Closed Subgroups in Pro-V Topologies and the Extension Problem for
Inverse Automata},
journal = {Int. J. Algebra Comput.},
volume = {11},
number = {4},
pages = {405--446},
year = {2001},
url = {https://doi.org/10.1142/S0218196701000498},
doi = {10.1142/S0218196701000498},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/MargolisSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/PinW01,
author = {Jean{-}Eric Pin and
Pascal Weil},
title = {A conjecture on the concatenation product},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {35},
number = {6},
pages = {597--618},
year = {2001},
url = {https://doi.org/10.1051/ita:2001134},
doi = {10.1051/ITA:2001134},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/PinW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LodayaW00,
author = {Kamal Lodaya and
Pascal Weil},
title = {Series-parallel languages and the bounded-width property},
journal = {Theor. Comput. Sci.},
volume = {237},
number = {1-2},
pages = {347--380},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(00)00031-1},
doi = {10.1016/S0304-3975(00)00031-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LodayaW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BirgetMMW00,
author = {Jean{-}Camille Birget and
Stuart W. Margolis and
John C. Meakin and
Pascal Weil},
title = {PSPACE-complete problems for subgroups of free groups and inverse
finite automata},
journal = {Theor. Comput. Sci.},
volume = {242},
number = {1-2},
pages = {247--281},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00225-4},
doi = {10.1016/S0304-3975(98)00225-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BirgetMMW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/PinW99,
author = {Jean{-}Eric Pin and
Pascal Weil},
title = {Uniformities on Free Semigroups},
journal = {Int. J. Algebra Comput.},
volume = {9},
number = {3-4},
pages = {431--454},
year = {1999},
url = {https://doi.org/10.1142/S0218196799000266},
doi = {10.1142/S0218196799000266},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/PinW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GuaianaMPW98,
author = {Giovanna Guaiana and
Rapha{\"{e}}l Meyer and
Antoine Petit and
Pascal Weil},
title = {An Extension of the Wreath Product Principle for Finite Mazurkiewicz
Traces},
journal = {Inf. Process. Lett.},
volume = {67},
number = {6},
pages = {277--282},
year = {1998},
url = {https://doi.org/10.1016/S0020-0190(98)00123-9},
doi = {10.1016/S0020-0190(98)00123-9},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/GuaianaMPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LodayaW98,
author = {Kamal Lodaya and
Pascal Weil},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {A Kleene Iteration for Parallelism},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {355--366},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_33},
doi = {10.1007/978-3-540-49382-2\_33},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/LodayaW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LodayaW98,
author = {Kamal Lodaya and
Pascal Weil},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {Series-Parallel Posets: Algebra, Automata and Languages},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {555--565},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028590},
doi = {10.1007/BFB0028590},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LodayaW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/AlmeidaW97,
author = {Jorge Almeida and
Pascal Weil},
title = {Free Profinite {\(\mathscr{R}\)}-Trivial Monoids},
journal = {Int. J. Algebra Comput.},
volume = {7},
number = {5},
pages = {625--672},
year = {1997},
url = {https://doi.org/10.1142/S0218196797000289},
doi = {10.1142/S0218196797000289},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/AlmeidaW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/PinW97,
author = {Jean{-}Eric Pin and
Pascal Weil},
title = {Ponynominal Closure and Unambiguous Product},
journal = {Theory Comput. Syst.},
volume = {30},
number = {4},
pages = {383--422},
year = {1997},
url = {https://doi.org/10.1007/BF02679467},
doi = {10.1007/BF02679467},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/PinW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istcs/MargolisSW96,
author = {Stuart W. Margolis and
Mark V. Sapir and
Pascal Weil},
title = {On the Indecomposibility of Certain Language Classes},
booktitle = {Fourth Israel Symposium on Theory of Computing and Systems, {ISTCS}
1996, Jerusalem, Israel, June 10-12, 1996, Proceedings},
pages = {129--134},
publisher = {{IEEE} Computer Society},
year = {1996},
timestamp = {Tue, 31 May 2016 15:27:26 +0200},
biburl = {https://dblp.org/rec/conf/istcs/MargolisSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/RhodesW95,
author = {John Rhodes and
Pascal Weil},
title = {Algebraic and Topological Theory of Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {29},
number = {1},
pages = {1--44},
year = {1995},
url = {https://doi.org/10.1051/ita/1995290100011},
doi = {10.1051/ITA/1995290100011},
timestamp = {Thu, 29 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/RhodesW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PinW95,
author = {Jean{-}Eric Pin and
Pascal Weil},
editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
Ferenc G{\'{e}}cseg},
title = {Polynomial Closure and Unambiguous Product},
booktitle = {Automata, Languages and Programming, 22nd International Colloquium,
ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {944},
pages = {348--359},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60084-1\_87},
doi = {10.1007/3-540-60084-1\_87},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PinW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/AlmeidaW94,
author = {Jorge Almeida and
Pascal Weil},
title = {Reduced Factorizations in Free Profinite Groups and Join Decompositions
of Pseudovarieties},
journal = {Int. J. Algebra Comput.},
volume = {4},
number = {3},
pages = {375--404},
year = {1994},
url = {https://doi.org/10.1142/S0218196794000051},
doi = {10.1142/S0218196794000051},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/AlmeidaW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BirgetMMW94,
author = {Jean{-}Camille Birget and
Stuart W. Margolis and
John C. Meakin and
Pascal Weil},
editor = {Serge Abiteboul and
Eli Shamir},
title = {PSPACE-Completeness of Certain Algorithmic Problems on the Subgroups
of Free Groups},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {274--285},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_75},
doi = {10.1007/3-540-58201-0\_75},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BirgetMMW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Weil92,
author = {Pascal Weil},
title = {Closure of Varieties of Languages under Products with Counter},
journal = {J. Comput. Syst. Sci.},
volume = {45},
number = {3},
pages = {316--339},
year = {1992},
url = {https://doi.org/10.1016/0022-0000(92)90029-I},
doi = {10.1016/0022-0000(92)90029-I},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Weil92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StraubingW92,
author = {Howard Straubing and
Pascal Weil},
title = {On a Conjecture Concerning Dot-Depth Two Languages},
journal = {Theor. Comput. Sci.},
volume = {104},
number = {2},
pages = {161--183},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90121-U},
doi = {10.1016/0304-3975(92)90121-U},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StraubingW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/SaecPW91,
author = {Bertrand Le Sa{\"{e}}c and
Jean{-}Eric Pin and
Pascal Weil},
title = {Semigroups with Idempotent stabilizers and Applications to Automata
Theory},
journal = {Int. J. Algebra Comput.},
volume = {1},
number = {3},
pages = {291--314},
year = {1991},
url = {https://doi.org/10.1142/S0218196791000195},
doi = {10.1142/S0218196791000195},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/SaecPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SaecPW91,
author = {Bertrand Le Sa{\"{e}}c and
Jean{-}Eric Pin and
Pascal Weil},
editor = {Somenath Biswas and
Kesav V. Nori},
title = {A Purely Algebraic Proof of McNaughton's Theorem on Infinite Words},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
11th Conference, New Delhi, India, December 17-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {560},
pages = {141--151},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54967-6\_66},
doi = {10.1007/3-540-54967-6\_66},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/SaecPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Weil90,
author = {Pascal Weil},
title = {Products of Languages with Counter},
journal = {Theor. Comput. Sci.},
volume = {76},
number = {2-3},
pages = {251--260},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90019-E},
doi = {10.1016/0304-3975(90)90019-E},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Weil90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Weil89,
author = {Pascal Weil},
title = {Inverse Monoids of Dot-Depth Two},
journal = {Theor. Comput. Sci.},
volume = {66},
number = {3},
pages = {233--245},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90151-5},
doi = {10.1016/0304-3975(89)90151-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Weil89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Weil89,
author = {Pascal Weil},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {On Varieties of Languages Closed Under Products with Counter},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {534--544},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_99},
doi = {10.1007/3-540-51486-4\_99},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Weil89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Weil88,
author = {Pascal Weil},
editor = {Jean{-}Eric Pin},
title = {Concatenation product: a survey},
booktitle = {Formal Properties of Finite Automata and Applications, {LITP} Spring
School on Theoretical Computer Science, Ramatuelle, France, May 23-27,
1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {386},
pages = {120--137},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0013116},
doi = {10.1007/BFB0013116},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/Weil88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Weil85,
author = {Pascal Weil},
editor = {Kurt Mehlhorn},
title = {Groups, Codes and Unambiguous Automata},
booktitle = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {182},
pages = {351--362},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0024023},
doi = {10.1007/BFB0024023},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Weil85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
