Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pavel Semukhin
@article{DBLP:journals/lmcs/BellS23,
author = {Paul C. Bell and
Pavel Semukhin},
title = {Decision Questions for Probabilistic Automata on Small Alphabets},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:36)2023},
doi = {10.46298/LMCS-19(4:36)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BellS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/BellNPS23,
author = {Paul C. Bell and
Reino Niskanen and
Igor Potapov and
Pavel Semukhin},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {On the Identity and Group Problems for Complex Heisenberg Matrices},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {42--55},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_4},
doi = {10.1007/978-3-031-45286-4\_4},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/BellNPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05283,
author = {Paul C. Bell and
Reino Niskanen and
Igor Potapov and
Pavel Semukhin},
title = {On the Identity and Group Problems for Complex Heisenberg Matrices},
journal = {CoRR},
volume = {abs/2307.05283},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05283},
doi = {10.48550/ARXIV.2307.05283},
eprinttype = {arXiv},
eprint = {2307.05283},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BellPS21,
author = {Paul C. Bell and
Igor Potapov and
Pavel Semukhin},
title = {On the mortality problem: From multiplicative matrix equations to
linear recurrence sequences and beyond},
journal = {Inf. Comput.},
volume = {281},
pages = {104736},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2021.104736},
doi = {10.1016/J.IC.2021.104736},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BellPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KieferSW21,
author = {Stefan Kiefer and
Pavel Semukhin and
Cas Widdershoven},
editor = {Serge Haddad and
Daniele Varacca},
title = {Linear-Time Model Checking Branching Processes},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {6:1--6:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.6},
doi = {10.4230/LIPICS.CONCUR.2021.6},
timestamp = {Fri, 13 Aug 2021 16:29:32 +0200},
biburl = {https://dblp.org/rec/conf/concur/KieferSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BellS21,
author = {Paul C. Bell and
Pavel Semukhin},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {Decision Questions for Probabilistic Automata on Small Alphabets},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.15},
doi = {10.4230/LIPICS.MFCS.2021.15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BellS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-10293,
author = {Paul C. Bell and
Pavel Semukhin},
title = {Decision Questions for Probabilistic Automata on Small Alphabets},
journal = {CoRR},
volume = {abs/2105.10293},
year = {2021},
url = {https://arxiv.org/abs/2105.10293},
eprinttype = {arXiv},
eprint = {2105.10293},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-10293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01687,
author = {Stefan Kiefer and
Pavel Semukhin and
Cas Widdershoven},
title = {Linear-Time Model Checking Branching Processes},
journal = {CoRR},
volume = {abs/2107.01687},
year = {2021},
url = {https://arxiv.org/abs/2107.01687},
eprinttype = {arXiv},
eprint = {2107.01687},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-01687.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BellS20,
author = {Paul C. Bell and
Pavel Semukhin},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Decidability of Cutpoint Isolation for Probabilistic Finite Automata
on Letter-Bounded Inputs},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {22:1--22:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.22},
doi = {10.4230/LIPICS.CONCUR.2020.22},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BellS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/DiekertPS20,
author = {Volker Diekert and
Igor Potapov and
Pavel Semukhin},
editor = {Ioannis Z. Emiris and
Lihong Zhi},
title = {Decidability of membership problems for flat rational subsets of GL(2,
{Q)} and singular matrices},
booktitle = {{ISSAC} '20: International Symposium on Symbolic and Algebraic Computation,
Kalamata, Greece, July 20-23, 2020},
pages = {122--129},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373207.3404038},
doi = {10.1145/3373207.3404038},
timestamp = {Tue, 04 Aug 2020 17:27:51 +0200},
biburl = {https://dblp.org/rec/conf/issac/DiekertPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07660,
author = {Paul C. Bell and
Pavel Semukhin},
title = {Decidability of cutpoint isolation for letter-monotonic probabilistic
finite automata},
journal = {CoRR},
volume = {abs/2002.07660},
year = {2020},
url = {https://arxiv.org/abs/2002.07660},
eprinttype = {arXiv},
eprint = {2002.07660},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PotapovS19,
author = {Igor Potapov and
Pavel Semukhin},
title = {Vector and scalar reachability problems in SL(2, {Z)}},
journal = {J. Comput. Syst. Sci.},
volume = {100},
pages = {30--43},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2018.09.003},
doi = {10.1016/J.JCSS.2018.09.003},
timestamp = {Fri, 07 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PotapovS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ColcombetOS019,
author = {Thomas Colcombet and
Jo{\"{e}}l Ouaknine and
Pavel Semukhin and
James Worrell},
editor = {Christel Baier and
Ioannis Chatzigiannakis and
Paola Flocchini and
Stefano Leonardi},
title = {On Reachability Problems for Low-Dimensional Matrix Semigroups},
booktitle = {46th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2019, July 9-12, 2019, Patras, Greece},
series = {LIPIcs},
volume = {132},
pages = {44:1--44:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2019.44},
doi = {10.4230/LIPICS.ICALP.2019.44},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/icalp/ColcombetOS019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BellPS19,
author = {Paul C. Bell and
Igor Potapov and
Pavel Semukhin},
editor = {Peter Rossmanith and
Pinar Heggernes and
Joost{-}Pieter Katoen},
title = {On the Mortality Problem: From Multiplicative Matrix Equations to
Linear Recurrence Sequences and Beyond},
booktitle = {44th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany},
series = {LIPIcs},
volume = {138},
pages = {83:1--83:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.83},
doi = {10.4230/LIPICS.MFCS.2019.83},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BellPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09597,
author = {Thomas Colcombet and
Jo{\"{e}}l Ouaknine and
Pavel Semukhin and
James Worrell},
title = {On reachability problems for low dimensional matrix semigroups},
journal = {CoRR},
volume = {abs/1902.09597},
year = {2019},
url = {http://arxiv.org/abs/1902.09597},
eprinttype = {arXiv},
eprint = {1902.09597},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-10188,
author = {Paul C. Bell and
Igor Potapov and
Pavel Semukhin},
title = {Decidability of the Mortality Problem: from multiplicative matrix
equations to linear recurrence sequences and beyond},
journal = {CoRR},
volume = {abs/1902.10188},
year = {2019},
url = {http://arxiv.org/abs/1902.10188},
eprinttype = {arXiv},
eprint = {1902.10188},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-10188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02302,
author = {Volker Diekert and
Igor Potapov and
Pavel Semukhin},
title = {Decidability of membership problems for flat rational subsets of GL(2,
{Q)} and singular matrices},
journal = {CoRR},
volume = {abs/1910.02302},
year = {2019},
url = {http://arxiv.org/abs/1910.02302},
eprinttype = {arXiv},
eprint = {1910.02302},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-02302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/PotapovS18,
author = {Igor Potapov and
Pavel Semukhin},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {29},
number = {2},
pages = {139--142},
year = {2018},
url = {https://doi.org/10.1142/S0129054118010013},
doi = {10.1142/S0129054118010013},
timestamp = {Wed, 18 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/PotapovS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PotapovS17,
author = {Igor Potapov and
Pavel Semukhin},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Membership Problem in GL(2, {Z)} Extended by Singular Matrices},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {44:1--44:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.44},
doi = {10.4230/LIPICS.MFCS.2017.44},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/PotapovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/PotapovS17,
author = {Igor Potapov and
Pavel Semukhin},
editor = {Philip N. Klein},
title = {Decidability of the Membership Problem for 2 {\texttimes} 2 integer
matrices},
booktitle = {Proceedings of the Twenty-Eighth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, {SODA} 2017, Barcelona, Spain, Hotel Porta Fira, January
16-19},
pages = {170--186},
publisher = {{SIAM}},
year = {2017},
url = {https://doi.org/10.1137/1.9781611974782.12},
doi = {10.1137/1.9781611974782.12},
timestamp = {Tue, 02 Feb 2021 17:07:33 +0100},
biburl = {https://dblp.org/rec/conf/soda/PotapovS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FokinaKST16,
author = {Ekaterina B. Fokina and
Bakhadyr Khoussainov and
Pavel Semukhin and
Daniel Turetsky},
title = {Linear Orders Realized by {C.E.} Equivalence Relations},
journal = {J. Symb. Log.},
volume = {81},
number = {2},
pages = {463--482},
year = {2016},
url = {https://doi.org/10.1017/jsl.2015.11},
doi = {10.1017/JSL.2015.11},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FokinaKST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/PotapovS16,
author = {Igor Potapov and
Pavel Semukhin},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Vector Reachability Problem in SL(2, {Z)}},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {84:1--84:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.84},
doi = {10.4230/LIPICS.MFCS.2016.84},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/PotapovS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PotapovS16,
author = {Igor Potapov and
Pavel Semukhin},
title = {Decidability of the Membership Problem for 2{\texttimes}2 integer
matrices},
journal = {CoRR},
volume = {abs/1604.02303},
year = {2016},
url = {http://arxiv.org/abs/1604.02303},
eprinttype = {arXiv},
eprint = {1604.02303},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PotapovS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PotapovS15,
author = {Igor Potapov and
Pavel Semukhin},
title = {Vector Reachability Problem in SL(2, {Z)}},
journal = {CoRR},
volume = {abs/1510.03227},
year = {2015},
url = {http://arxiv.org/abs/1510.03227},
eprinttype = {arXiv},
eprint = {1510.03227},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PotapovS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaseJOSS14,
author = {John Case and
Sanjay Jain and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
title = {Automatic learners with feedback queries},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {4},
pages = {806--820},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.12.001},
doi = {10.1016/J.JCSS.2013.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CaseJOSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SameiSYZ14,
author = {Rahim Samei and
Pavel Semukhin and
Boting Yang and
Sandra Zilles},
title = {Algebraic methods proving Sauer's bound for teaching complexity},
journal = {Theor. Comput. Sci.},
volume = {558},
pages = {35--50},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.09.024},
doi = {10.1016/J.TCS.2014.09.024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SameiSYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/SameiSYZ14,
author = {Rahim Samei and
Pavel Semukhin and
Boting Yang and
Sandra Zilles},
editor = {Maria{-}Florina Balcan and
Vitaly Feldman and
Csaba Szepesv{\'{a}}ri},
title = {Sample Compression for Multi-label Concept Classes},
booktitle = {Proceedings of The 27th Conference on Learning Theory, {COLT} 2014,
Barcelona, Spain, June 13-15, 2014},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {35},
pages = {371--393},
publisher = {JMLR.org},
year = {2014},
url = {http://proceedings.mlr.press/v35/samei14.html},
timestamp = {Wed, 29 May 2019 08:41:46 +0200},
biburl = {https://dblp.org/rec/conf/colt/SameiSYZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SemukhinS13,
author = {Pavel Semukhin and
Frank Stephan},
title = {Automatic models of first order theories},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {9},
pages = {837--854},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2013.03.001},
doi = {10.1016/J.APAL.2013.03.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SemukhinS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CaseJLOSS12,
author = {John Case and
Sanjay Jain and
Trong Dao Le and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
title = {Automatic learning of subclasses of pattern languages},
journal = {Inf. Comput.},
volume = {218},
pages = {17--35},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.07.001},
doi = {10.1016/J.IC.2012.07.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CaseJLOSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/SameiSYZ12,
author = {Rahim Samei and
Pavel Semukhin and
Boting Yang and
Sandra Zilles},
editor = {Nader H. Bshouty and
Gilles Stoltz and
Nicolas Vayatis and
Thomas Zeugmann},
title = {Sauer's Bound for a Notion of Teaching Complexity},
booktitle = {Algorithmic Learning Theory - 23rd International Conference, {ALT}
2012, Lyon, France, October 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7568},
pages = {96--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34106-9\_11},
doi = {10.1007/978-3-642-34106-9\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/SameiSYZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JainLSS11,
author = {Sanjay Jain and
Qinglong Luo and
Pavel Semukhin and
Frank Stephan},
title = {Uncountable automatic classes and learning},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {19},
pages = {1805--1820},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.12.057},
doi = {10.1016/J.TCS.2010.12.057},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JainLSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CaseJOSS11,
author = {John Case and
Sanjay Jain and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Automatic Learners with Feedback Queries},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {31--40},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_4},
doi = {10.1007/978-3-642-21875-0\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/CaseJOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/CaseJLOSS11,
author = {John Case and
Sanjay Jain and
Trong Dao Le and
Yuh Shin Ong and
Pavel Semukhin and
Frank Stephan},
editor = {Adrian{-}Horia Dediu and
Shunsuke Inenaga and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Automatic Learning of Subclasses of Pattern Languages},
booktitle = {Language and Automata Theory and Applications - 5th International
Conference, {LATA} 2011, Tarragona, Spain, May 26-31, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6638},
pages = {192--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21254-3\_14},
doi = {10.1007/978-3-642-21254-3\_14},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/CaseJLOSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NiesS09,
author = {Andr{\'{e}} Nies and
Pavel Semukhin},
title = {Finite automata presentable abelian groups},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {458--467},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.006},
doi = {10.1016/J.APAL.2009.07.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NiesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Semukhin09,
author = {Pavel Semukhin},
title = {Prime models of finite computable dimension},
journal = {J. Symb. Log.},
volume = {74},
number = {1},
pages = {336--348},
year = {2009},
url = {https://doi.org/10.2178/jsl/1231082315},
doi = {10.2178/JSL/1231082315},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Semukhin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/JainLSS09,
author = {Sanjay Jain and
Qinglong Luo and
Pavel Semukhin and
Frank Stephan},
editor = {Ricard Gavald{\`{a}} and
G{\'{a}}bor Lugosi and
Thomas Zeugmann and
Sandra Zilles},
title = {Uncountable Automatic Classes and Learning},
booktitle = {Algorithmic Learning Theory, 20th International Conference, {ALT}
2009, Porto, Portugal, October 3-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5809},
pages = {293--307},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04414-4\_25},
doi = {10.1007/978-3-642-04414-4\_25},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/JainLSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KhoussainovSS07,
author = {Bakhadyr Khoussainov and
Pavel Semukhin and
Frank Stephan},
title = {Applications of Kolmogorov complexity to computable model theory},
journal = {J. Symb. Log.},
volume = {72},
number = {3},
pages = {1041--1054},
year = {2007},
url = {https://doi.org/10.2178/jsl/1191333855},
doi = {10.2178/JSL/1191333855},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KhoussainovSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/NiesS07,
author = {Andr{\'{e}} Nies and
Pavel Semukhin},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Finite Automata Presentable Abelian Groups},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {422--436},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_29},
doi = {10.1007/978-3-540-72734-7\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/NiesS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KhoussainovSS06,
author = {Bakhadyr Khoussainov and
Theodore A. Slaman and
Pavel Semukhin},
title = {P\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)-Presentations of Algebras},
journal = {Arch. Math. Log.},
volume = {45},
number = {6},
pages = {769--781},
year = {2006},
url = {https://doi.org/10.1007/s00153-006-0013-3},
doi = {10.1007/S00153-006-0013-3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KhoussainovSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KhoussainovHS06,
author = {Bakhadyr Khoussainov and
Denis R. Hirschfeldt and
Pavel Semukhin},
title = {An Uncountably Categorical Theory Whose Only Computably Presentable
Model Is Saturated},
journal = {Notre Dame J. Formal Log.},
volume = {47},
number = {1},
pages = {63--71},
year = {2006},
url = {https://doi.org/10.1305/ndjfl/1143468311},
doi = {10.1305/NDJFL/1143468311},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KhoussainovHS06.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-01-24 20:39 CET 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:
