Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bakhadyr Khoussainov
@article{DBLP:journals/tdsc/ZhangLLYZKG24, author = {Zijian Zhang and Xuyang Liu and Meng Li and Hao Yin and Liehuang Zhu and Bakh Khoussainov and Keke Gai}, title = {{HCA:} Hashchain-Based Consensus Acceleration Via Re-Voting}, journal = {{IEEE} Trans. Dependable Secur. Comput.}, volume = {21}, number = {2}, pages = {775--788}, year = {2024}, url = {https://doi.org/10.1109/TDSC.2023.3262283}, doi = {10.1109/TDSC.2023.3262283}, timestamp = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tdsc/ZhangLLYZKG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BerdinskyJKS23, author = {Dmitry Berdinsky and Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan}, title = {String compression in FA-presentable structures}, journal = {Theor. Comput. Sci.}, volume = {947}, pages = {113705}, year = {2023}, url = {https://doi.org/10.1016/j.tcs.2023.113705}, doi = {10.1016/J.TCS.2023.113705}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BerdinskyJKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsg/HeZMZLKLZ23, author = {Jialing He and Zijian Zhang and Liran Ma and Zhouyu Zhang and Meng Li and Bakh Khoussainov and Jiamou Liu and Liehuang Zhu}, title = {InFocus: Amplifying Critical Feature Influence on Non-Intrusive Load Monitoring Through Self-Attention Mechanisms}, journal = {{IEEE} Trans. Smart Grid}, volume = {14}, number = {5}, pages = {3828--3840}, year = {2023}, url = {https://doi.org/10.1109/TSG.2023.3236792}, doi = {10.1109/TSG.2023.3236792}, timestamp = {Thu, 14 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsg/HeZMZLKLZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/HeLZCLKZ23, author = {Jialing He and Jiamou Liu and Zijian Zhang and Yang Chen and Yiwei Liu and Bakh Khoussainov and Liehuang Zhu}, editor = {Brian Williams and Yiling Chen and Jennifer Neville}, title = {{MSDC:} Exploiting Multi-State Power Consumption in Non-intrusive Load Monitoring Based on a Dual-CNN Model}, booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023}, pages = {5078--5086}, publisher = {{AAAI} Press}, year = {2023}, url = {https://doi.org/10.1609/aaai.v37i4.25636}, doi = {10.1609/AAAI.V37I4.25636}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/HeLZCLKZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MaX0K23, author = {Mengfan Ma and Mingyu Xiao and Tian Bai and Bakh Khoussainov}, editor = {Brian Williams and Yiling Chen and Jennifer Neville}, title = {Facility Location Games with Entrance Fees}, booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023}, pages = {5797--5804}, publisher = {{AAAI} Press}, year = {2023}, url = {https://doi.org/10.1609/aaai.v37i5.25719}, doi = {10.1609/AAAI.V37I5.25719}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aaai/MaX0K23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asunam/LiuLKQYZ23, author = {Yiping Liu and Jiamou Liu and Bakh Khoussainov and Miao Qiao and Bo Yan and Mengxiao Zhang}, editor = {B. Aditya Prakash and Dong Wang and Tim Weninger}, title = {Centralization Problem for Opinion Convergence in Decentralized Networks}, booktitle = {Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, {ASONAM} 2023, Kusadasi, Turkey, November 6-9, 2023}, pages = {658--665}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3625007.3627291}, doi = {10.1145/3625007.3627291}, timestamp = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asunam/LiuLKQYZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/ZhangCTKWL23, author = {Libo Zhang and Yang Chen and Toru Takisaka and Bakh Khoussainov and Michael Witbrock and Jiamou Liu}, editor = {Noa Agmon and Bo An and Alessandro Ricci and William Yeoh}, title = {Learning Density-Based Correlated Equilibria for Markov Games}, booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May 2023 - 2 June 2023}, pages = {652--660}, publisher = {{ACM}}, year = {2023}, url = {https://dl.acm.org/doi/10.5555/3545946.3598696}, doi = {10.5555/3545946.3598696}, timestamp = {Tue, 23 May 2023 14:27:14 +0200}, biburl = {https://dblp.org/rec/conf/atal/ZhangCTKWL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/JiaZLK23, author = {Fengjuan Jia and Mengxiao Zhang and Jiamou Liu and Bakh Khoussainov}, editor = {Noa Agmon and Bo An and Alessandro Ricci and William Yeoh}, title = {Differentially Private Diffusion Auction: The Single-unit Case}, booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May 2023 - 2 June 2023}, pages = {2724--2726}, publisher = {{ACM}}, year = {2023}, url = {https://dl.acm.org/doi/10.5555/3545946.3599056}, doi = {10.5555/3545946.3599056}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/JiaZLK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoon/LiangKY23, author = {Zihui Liang and Bakh Khoussainov and Haidong Yang}, editor = {Weili Wu and Guangmo Tong}, title = {Topological Network-Control Games}, booktitle = {Computing and Combinatorics - 29th International Conference, {COCOON} 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14423}, pages = {144--156}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-49193-1\_11}, doi = {10.1007/978-3-031-49193-1\_11}, timestamp = {Thu, 04 Jan 2024 08:13:45 +0100}, biburl = {https://dblp.org/rec/conf/cocoon/LiangKY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/FangZLKX23, author = {Yuan Fang and Mengxiao Zhang and Jiamou Liu and Bakh Khoussainov and Mingyu Xiao}, editor = {Kobi Gal and Ann Now{\'{e}} and Grzegorz J. Nalepa and Roy Fairstein and Roxana Radulescu}, title = {Multi-Unit Auction over a Social Network}, booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems {(PAIS} 2023)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {372}, pages = {676--683}, publisher = {{IOS} Press}, year = {2023}, url = {https://doi.org/10.3233/FAIA230331}, doi = {10.3233/FAIA230331}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/FangZLKX23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/XiaoLKS23, author = {Mingyu Xiao and Guixin Lin and Bakh Khoussainov and Yuchao Song}, editor = {Kobi Gal and Ann Now{\'{e}} and Grzegorz J. Nalepa and Roy Fairstein and Roxana Radulescu}, title = {Characterizations of Network Auctions and Generalizations of {VCG}}, booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems {(PAIS} 2023)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {372}, pages = {2736--2743}, publisher = {{IOS} Press}, year = {2023}, url = {https://doi.org/10.3233/FAIA230583}, doi = {10.3233/FAIA230583}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecai/XiaoLKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esa/LiangKTX23, author = {Zihui Liang and Bakh Khoussainov and Toru Takisaka and Mingyu Xiao}, editor = {Inge Li G{\o}rtz and Martin Farach{-}Colton and Simon J. Puglisi and Grzegorz Herman}, title = {Connectivity in the Presence of an Opponent}, booktitle = {31st Annual European Symposium on Algorithms, {ESA} 2023, September 4-6, 2023, Amsterdam, The Netherlands}, series = {LIPIcs}, volume = {274}, pages = {79:1--79:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ESA.2023.79}, doi = {10.4230/LIPICS.ESA.2023.79}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esa/LiangKTX23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uai/JiaZLK23, author = {Fengjuan Jia and Mengxiao Zhang and Jiamou Liu and Bakh Khoussainov}, editor = {Robin J. Evans and Ilya Shpitser}, title = {Incentivising Diffusion while Preserving Differential Privacy}, booktitle = {Uncertainty in Artificial Intelligence, {UAI} 2023, July 31 - 4 August 2023, Pittsburgh, PA, {USA}}, series = {Proceedings of Machine Learning Research}, volume = {216}, pages = {963--972}, publisher = {{PMLR}}, year = {2023}, url = {https://proceedings.mlr.press/v216/jia23a.html}, timestamp = {Mon, 28 Aug 2023 17:23:08 +0200}, biburl = {https://dblp.org/rec/conf/uai/JiaZLK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-01009, author = {Dmitry Berdinsky and Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan}, title = {String Compression in FA-Presentable Structures}, journal = {CoRR}, volume = {abs/2302.01009}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.01009}, doi = {10.48550/ARXIV.2302.01009}, eprinttype = {arXiv}, eprint = {2302.01009}, timestamp = {Thu, 09 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-01009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-05565, author = {Jialing He and Jiamou Liu and Zijian Zhang and Yang Chen and Yiwei Liu and Bakh Khoussainov and Liehuang Zhu}, title = {{MSDC:} Exploiting Multi-State Power Consumption in Non-intrusive Load Monitoring based on {A} Dual-CNN Model}, journal = {CoRR}, volume = {abs/2302.05565}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.05565}, doi = {10.48550/ARXIV.2302.05565}, eprinttype = {arXiv}, eprint = {2302.05565}, timestamp = {Fri, 21 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-05565.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-07072, author = {Fengjuan Jia and Mengxiao Zhang and Jiamou Liu and Bakh Khoussainov}, title = {Differentially Private Diffusion Auction: The Single-unit Case}, journal = {CoRR}, volume = {abs/2302.07072}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.07072}, doi = {10.48550/ARXIV.2302.07072}, eprinttype = {arXiv}, eprint = {2302.07072}, timestamp = {Mon, 20 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-07072.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-08001, author = {Libo Zhang and Yang Chen and Toru Takisaka and Bakh Khoussainov and Michael Witbrock and Jiamou Liu}, title = {Learning Density-Based Correlated Equilibria for Markov Games}, journal = {CoRR}, volume = {abs/2302.08001}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.08001}, doi = {10.48550/ARXIV.2302.08001}, eprinttype = {arXiv}, eprint = {2302.08001}, timestamp = {Mon, 20 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-08001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-08924, author = {Yuan Fang and Mengxiao Zhang and Jiamou Liu and Bakh Khoussainov and Mingyu Xiao}, title = {Multi-unit Auction over a Social Network}, journal = {CoRR}, volume = {abs/2302.08924}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.08924}, doi = {10.48550/ARXIV.2302.08924}, eprinttype = {arXiv}, eprint = {2302.08924}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-08924.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-09237, author = {Mingyu Xiao and Guixin Lin and Bakh Khoussainov and Yuchao Song}, title = {Characterizations of Network Auctions and Generalizations of {VCG}}, journal = {CoRR}, volume = {abs/2302.09237}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.09237}, doi = {10.48550/ARXIV.2302.09237}, eprinttype = {arXiv}, eprint = {2302.09237}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-09237.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-08783, author = {Zihui Liang and Bakh Khoussainov and Toru Takisaka and Mingyu Xiao}, title = {Connectivity in the presence of an opponent}, journal = {CoRR}, volume = {abs/2304.08783}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.08783}, doi = {10.48550/ARXIV.2304.08783}, eprinttype = {arXiv}, eprint = {2304.08783}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-08783.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-04655, author = {Zihui Liang and Bakh Khoussainov and Mingyu Xiao}, title = {Two new algorithms for solving M{\"{u}}ller games and their applications}, journal = {CoRR}, volume = {abs/2311.04655}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.04655}, doi = {10.48550/ARXIV.2311.04655}, eprinttype = {arXiv}, eprint = {2311.04655}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-04655.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/YinZHMZLK22, author = {Hao Yin and Zijian Zhang and Jialing He and Liran Ma and Liehuang Zhu and Meng Li and Bakh Khoussainov}, title = {Proof of Continuous Work for Reliable Data Storage Over Permissionless Blockchain}, journal = {{IEEE} Internet Things J.}, volume = {9}, number = {10}, pages = {7866--7875}, year = {2022}, url = {https://doi.org/10.1109/JIOT.2021.3115568}, doi = {10.1109/JIOT.2021.3115568}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iotj/YinZHMZLK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/CaoYGZKXZ22, author = {Haotian Cao and Hao Yin and Feng Gao and Zijian Zhang and Bakh Khoussainov and Shubin Xu and Liehuang Zhu}, title = {Chain-Based Covert Data Embedding Schemes in Blockchain}, journal = {{IEEE} Internet Things J.}, volume = {9}, number = {16}, pages = {14699--14707}, year = {2022}, url = {https://doi.org/10.1109/JIOT.2020.3040389}, doi = {10.1109/JIOT.2020.3040389}, timestamp = {Fri, 29 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iotj/CaoYGZKXZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/KhoussainovT22, author = {Bakh Khoussainov and Toru Takisaka}, title = {Infinite Strings and their Large Scale Properties}, journal = {J. Symb. Log.}, volume = {87}, number = {2}, pages = {585--625}, year = {2022}, url = {https://doi.org/10.1017/jsl.2020.70}, doi = {10.1017/JSL.2020.70}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsyml/KhoussainovT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/CaludeJKLS22, author = {Cristian S. Calude and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Frank Stephan}, title = {Deciding Parity Games in Quasi-polynomial Time}, journal = {{SIAM} J. Comput.}, volume = {51}, number = {2}, pages = {17--152}, year = {2022}, url = {https://doi.org/10.1137/17m1145288}, doi = {10.1137/17M1145288}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/CaludeJKLS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmc/HeZMMKJZ22, author = {Jialing He and Zijian Zhang and Jian Mao and Liran Ma and Bakh Khoussainov and Rui Jin and Liehuang Zhu}, title = {Video Aficionado: We Know What You Are Watching}, journal = {{IEEE} Trans. Mob. Comput.}, volume = {21}, number = {8}, pages = {3041--3052}, year = {2022}, url = {https://doi.org/10.1109/TMC.2020.3045730}, doi = {10.1109/TMC.2020.3045730}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmc/HeZMMKJZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/XiaoSK22, author = {Mingyu Xiao and Yuchao Song and Bakh Khoussainov}, title = {Multi-Unit Auction in Social Networks with Budgets}, booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {5228--5235}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i5.20458}, doi = {10.1609/AAAI.V36I5.20458}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aaai/XiaoSK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infocom/TaoXKP22, author = {Binglin Tao and Mingyu Xiao and Bakhadyr Khoussainov and Junqiang Peng}, title = {Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures}, booktitle = {{IEEE} {INFOCOM} 2022 - {IEEE} Conference on Computer Communications, London, United Kingdom, May 2-5, 2022}, pages = {1109--1118}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/INFOCOM48880.2022.9796753}, doi = {10.1109/INFOCOM48880.2022.9796753}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/infocom/TaoXKP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/WangZXK22, author = {Zhengren Wang and Yi Zhou and Mingyu Xiao and Bakhadyr Khoussainov}, editor = {Fr{\'{e}}d{\'{e}}rique Laforest and Rapha{\"{e}}l Troncy and Elena Simperl and Deepak Agarwal and Aristides Gionis and Ivan Herman and Lionel M{\'{e}}dini}, title = {Listing Maximal k-Plexes in Large Real-World Graphs}, booktitle = {{WWW} '22: The {ACM} Web Conference 2022, Virtual Event, Lyon, France, April 25 - 29, 2022}, pages = {1517--1527}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3485447.3512198}, doi = {10.1145/3485447.3512198}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/www/WangZXK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2202-08737, author = {Zhengren Wang and Yi Zhou and Mingyu Xiao and Bakhadyr Khoussainov}, title = {Listing Maximal k-Plexes in Large Real-World Graphs}, journal = {CoRR}, volume = {abs/2202.08737}, year = {2022}, url = {https://arxiv.org/abs/2202.08737}, eprinttype = {arXiv}, eprint = {2202.08737}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-08737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2204-11282, author = {Mengfan Ma and Mingyu Xiao and Tian Bai and Bakh Khoussainov}, title = {Facility Location with Entrance Fees}, journal = {CoRR}, volume = {abs/2204.11282}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2204.11282}, doi = {10.48550/ARXIV.2204.11282}, eprinttype = {arXiv}, eprint = {2204.11282}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-11282.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-16041, author = {Yiping Liu and Jiamou Liu and Bakhadyr Khoussainov and Miao Qiao and Bo Yan}, title = {Centralization Problem for Opinion Convergence in Decentralized Networks}, journal = {CoRR}, volume = {abs/2210.16041}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.16041}, doi = {10.48550/ARXIV.2210.16041}, eprinttype = {arXiv}, eprint = {2210.16041}, timestamp = {Wed, 02 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-16041.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/comcom/ZhuYZLLKX21, author = {Zhengjia Zhu and Hao Yin and Zijian Zhang and Tielei Li and Jiamou Liu and Bakh Khoussainov and Chang Xu}, title = {Exploring active attacks for three incorrect implementations of the {ISO/IEC} 9798 in satellite networks}, journal = {Comput. Commun.}, volume = {172}, pages = {93--101}, year = {2021}, url = {https://doi.org/10.1016/j.comcom.2021.02.023}, doi = {10.1016/J.COMCOM.2021.02.023}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/comcom/ZhuYZLLKX21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tnse/YinZZLDGK21, author = {Hao Yin and Zijian Zhang and Liehuang Zhu and Meng Li and Xiaojiang Du and Mohsen Guizani and Bakh Khoussainov}, title = {A Blockchain-Based Storage System With Financial Incentives for Load-balancing}, journal = {{IEEE} Trans. Netw. Sci. Eng.}, volume = {8}, number = {2}, pages = {1178--1188}, year = {2021}, url = {https://doi.org/10.1109/TNSE.2020.3034803}, doi = {10.1109/TNSE.2020.3034803}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tnse/YinZZLDGK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/LiuLWQ0KZ21, author = {Yiwei Liu and Jiamou Liu and Kaibin Wan and Zhan Qin and Zijian Zhang and Bakhadyr Khoussainov and Liehuang Zhu}, editor = {Marina Meila and Tong Zhang}, title = {From Local to Global Norm Emergence: Dissolving Self-reinforcing Substructures with Incremental Social Instruments}, booktitle = {Proceedings of the 38th International Conference on Machine Learning, {ICML} 2021, 18-24 July 2021, Virtual Event}, series = {Proceedings of Machine Learning Research}, volume = {139}, pages = {6871--6881}, publisher = {{PMLR}}, year = {2021}, url = {http://proceedings.mlr.press/v139/liu21n.html}, timestamp = {Wed, 25 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icml/LiuLWQ0KZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobicase/ZhangLL0K21, author = {Siyu Zhang and Jiamou Liu and Yiwei Liu and Zijian Zhang and Bakhadyr Khoussainov}, editor = {Shuiguang Deng and Albert Y. Zomaya and Ning Li}, title = {Improving Togetherness Using Structural Entropy}, booktitle = {Mobile Computing, Applications, and Services - 12th {EAI} International Conference, MobiCASE 2021, Virtual Event, November 13-14, 2021, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {434}, pages = {85--98}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-99203-3\_6}, doi = {10.1007/978-3-030-99203-3\_6}, timestamp = {Tue, 09 May 2023 16:54:06 +0200}, biburl = {https://dblp.org/rec/conf/mobicase/ZhangLL0K21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mobicase/WanLLZK21, author = {Kaibin Wan and Jiamou Liu and Yiwei Liu and Zijian Zhang and Bakhadyr Khoussainov}, editor = {Shuiguang Deng and Albert Y. Zomaya and Ning Li}, title = {Attacking Community Detectors: Mislead Detectors via Manipulating the Graph Structure}, booktitle = {Mobile Computing, Applications, and Services - 12th {EAI} International Conference, MobiCASE 2021, Virtual Event, November 13-14, 2021, Proceedings}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {434}, pages = {112--128}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-99203-3\_8}, doi = {10.1007/978-3-030-99203-3\_8}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mobicase/WanLLZK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-14654, author = {Yang Chen and Jiamou Liu and Bakhadyr Khoussainov}, title = {Maximum Entropy Inverse Reinforcement Learning for Mean Field Games}, journal = {CoRR}, volume = {abs/2104.14654}, year = {2021}, url = {https://arxiv.org/abs/2104.14654}, eprinttype = {arXiv}, eprint = {2104.14654}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-14654.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-13238, author = {Bakhadyr Khoussainov and Kh{\'{\i}}{-}U{\'{\i}} Soo}, title = {Quasi-Isometric Graph-Simplifications}, journal = {CoRR}, volume = {abs/2111.13238}, year = {2021}, url = {https://arxiv.org/abs/2111.13238}, eprinttype = {arXiv}, eprint = {2111.13238}, timestamp = {Wed, 01 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-13238.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/ZhangALKLGZ20, author = {Zijian Zhang and Nurilla Avazov and Jiamou Liu and Bakh Khoussainov and Xin Li and Keke Gai and Liehuang Zhu}, title = {WiPOS: {A} {POS} Terminal Password Inference System Based on Wireless Signals}, journal = {{IEEE} Internet Things J.}, volume = {7}, number = {8}, pages = {7506--7516}, year = {2020}, url = {https://doi.org/10.1109/JIOT.2020.2986700}, doi = {10.1109/JIOT.2020.2986700}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iotj/ZhangALKLGZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bsci/LiuFGKZLZ20, author = {Shaoyuan Liu and Zhi Fang and Feng Gao and Bakh Khoussainov and Zijian Zhang and Jiamou Liu and Liehuang Zhu}, editor = {Keke Gai and Kim{-}Kwang Raymond Choo and Jiamou Liu}, title = {Whispers on Ethereum: Blockchain-based Covert Data Embedding Schemes}, booktitle = {{BSCI} '20: Proceedings of the 2nd {ACM} International Symposium on Blockchain and Secure Critical Infrastructure, co-located with AsiaCCS 2020, Taipei, Taiwan, October 6, 2020}, pages = {171--179}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3384943.3409433}, doi = {10.1145/3384943.3409433}, timestamp = {Fri, 29 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bsci/LiuFGKZLZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/GanardiK20, author = {Moses Ganardi and Bakhadyr Khoussainov}, editor = {Maribel Fern{\'{a}}ndez and Anca Muscholl}, title = {Automatic Equivalence Structures of Polynomial Growth}, booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020, January 13-16, 2020, Barcelona, Spain}, series = {LIPIcs}, volume = {152}, pages = {21:1--21:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.CSL.2020.21}, doi = {10.4230/LIPICS.CSL.2020.21}, timestamp = {Mon, 06 Jan 2020 16:44:23 +0100}, biburl = {https://dblp.org/rec/conf/csl/GanardiK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computability/Harrison-Trainor19a, author = {Matthew Harrison{-}Trainor and Bakh Khoussainov and Daniel Turetsky}, title = {Effective aspects of algorithmically random structures}, journal = {Comput.}, volume = {8}, number = {3-4}, pages = {359--375}, year = {2019}, url = {https://doi.org/10.3233/COM-180101}, doi = {10.3233/COM-180101}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computability/Harrison-Trainor19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/JainKSS19, author = {Sanjay Jain and Bakhadyr Khoussainov and Philipp Schlicht and Frank Stephan}, title = {The isomorphism problem for tree-automatic ordinals with addition}, journal = {Inf. Process. Lett.}, volume = {149}, pages = {19--24}, year = {2019}, url = {https://doi.org/10.1016/j.ipl.2019.05.004}, doi = {10.1016/J.IPL.2019.05.004}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/JainKSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcnn/AvazovLK19, author = {Nurilla Avazov and Jiamou Liu and Bakhadyr Khoussainov}, title = {Periodic Neural Networks for Multivariate Time Series Analysis and Forecasting}, booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2019 Budapest, Hungary, July 14-19, 2019}, pages = {1--8}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/IJCNN.2019.8851710}, doi = {10.1109/IJCNN.2019.8851710}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/ijcnn/AvazovLK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/GaoJKLMSS19, author = {Ziyuan Gao and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Alexander G. Melnikov and Karen Seidel and Frank Stephan}, editor = {Peter Rossmanith and Pinar Heggernes and Joost{-}Pieter Katoen}, title = {Random Subgroups of Rationals}, booktitle = {44th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2019, August 26-30, 2019, Aachen, Germany}, series = {LIPIcs}, volume = {138}, pages = {25:1--25:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2019.25}, doi = {10.4230/LIPICS.MFCS.2019.25}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/GaoJKLMSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1901-04743, author = {Ziyuan Gao and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Alexander G. Melnikov and Karen Seidel and Frank Stephan}, title = {Random Subgroups of Rationals}, journal = {CoRR}, volume = {abs/1901.04743}, year = {2019}, url = {http://arxiv.org/abs/1901.04743}, eprinttype = {arXiv}, eprint = {1901.04743}, timestamp = {Sat, 02 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1901-04743.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-00688, author = {Gafurjan I. Ibragimov and Bakh Khoussainov and Arno Pauly}, title = {Computability Aspects of Differential Games in Euclidian Spaces}, journal = {CoRR}, volume = {abs/1903.00688}, year = {2019}, url = {http://arxiv.org/abs/1903.00688}, eprinttype = {arXiv}, eprint = {1903.00688}, timestamp = {Fri, 27 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-00688.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-03800, author = {Bakhadyr Khoussainov and Toru Takisaka}, title = {Large Scale Geometries of Infinite Strings}, journal = {CoRR}, volume = {abs/1908.03800}, year = {2019}, url = {http://arxiv.org/abs/1908.03800}, eprinttype = {arXiv}, eprint = {1908.03800}, timestamp = {Mon, 19 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-03800.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computability/JainKS18, author = {Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan}, title = {Finitely generated semiautomatic groups}, journal = {Comput.}, volume = {7}, number = {2-3}, pages = {273--287}, year = {2018}, url = {https://doi.org/10.3233/COM-180089}, doi = {10.3233/COM-180089}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computability/JainKS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/Khoussainov18, author = {Bakh Khoussainov}, editor = {Florin Manea and Russell G. Miller and Dirk Nowotka}, title = {A Journey to Computably Enumerable Structures (Tutorial Lectures)}, booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10936}, pages = {1--19}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-94418-0\_1}, doi = {10.1007/978-3-319-94418-0\_1}, timestamp = {Wed, 16 Nov 2022 11:08:36 +0100}, biburl = {https://dblp.org/rec/conf/cie/Khoussainov18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/Khoussainov18, author = {Bakhadyr Khoussainov}, editor = {Mizuho Hoshi and Shinnosuke Seki}, title = {A Brief Excursion to Parity Games}, booktitle = {Developments in Language Theory - 22nd International Conference, {DLT} 2018, Tokyo, Japan, September 10-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11088}, pages = {24--35}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98654-8\_3}, doi = {10.1007/978-3-319-98654-8\_3}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/Khoussainov18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-13153, author = {Sanjay Jain and Bakhadyr Khoussainov and Philipp Schlicht and Frank Stephan}, title = {The isomorphism problem for tree-automatic ordinals with addition}, journal = {CoRR}, volume = {abs/1810.13153}, year = {2018}, url = {http://arxiv.org/abs/1810.13153}, eprinttype = {arXiv}, eprint = {1810.13153}, timestamp = {Thu, 08 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-13153.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/JainKSTZ17, author = {Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan and Dan Teng and Siyuan Zou}, title = {Semiautomatic Structures}, journal = {Theory Comput. Syst.}, volume = {61}, number = {4}, pages = {1254--1287}, year = {2017}, url = {https://doi.org/10.1007/s00224-017-9792-7}, doi = {10.1007/S00224-017-9792-7}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/JainKSTZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KhoussainovT17, author = {Bakh Khoussainov and Toru Takisaka}, title = {Large scale geometries of infinite strings}, booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017}, pages = {1--12}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/LICS.2017.8005078}, doi = {10.1109/LICS.2017.8005078}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KhoussainovT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/CaludeJKL017, author = {Cristian S. Calude and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Frank Stephan}, editor = {Hamed Hatami and Pierre McKenzie and Valerie King}, title = {Deciding parity games in quasipolynomial time}, booktitle = {Proceedings of the 49th Annual {ACM} {SIGACT} Symposium on Theory of Computing, {STOC} 2017, Montreal, QC, Canada, June 19-23, 2017}, pages = {252--263}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3055399.3055409}, doi = {10.1145/3055399.3055409}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stoc/CaludeJKL017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2017downey, editor = {Adam R. Day and Michael R. Fellows and Noam Greenberg and Bakhadyr Khoussainov and Alexander G. Melnikov and Frances A. Rosamond}, title = {Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10010}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-50062-1}, doi = {10.1007/978-3-319-50062-1}, isbn = {978-3-319-50061-4}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2017downey.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/algorithmica/GavryushkinKKL16, author = {Alex Gavryushkin and Bakhadyr Khoussainov and Mikhail Kokho and Jiamou Liu}, title = {Dynamic Algorithms for Multimachine Interval Scheduling Through Analysis of Idle Intervals}, journal = {Algorithmica}, volume = {76}, number = {4}, pages = {1160--1180}, year = {2016}, url = {https://doi.org/10.1007/s00453-016-0148-5}, doi = {10.1007/S00453-016-0148-5}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithmica/GavryushkinKKL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/BerdinskyK16, author = {Dmitry Berdinsky and Bakhadyr Khoussainov}, title = {Cayley Automatic Representations of Wreath Products}, journal = {Int. J. Found. Comput. Sci.}, volume = {27}, number = {2}, pages = {147--160}, year = {2016}, url = {https://doi.org/10.1142/S0129054116400049}, doi = {10.1142/S0129054116400049}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/BerdinskyK16.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} }
@article{DBLP:journals/tcs/GavryushkinKS16, author = {Alex Gavryushkin and Bakhadyr Khoussainov and Frank Stephan}, title = {Reducibilities among equivalence relations induced by recursively enumerable structures}, journal = {Theor. Comput. Sci.}, volume = {612}, pages = {137--152}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2015.11.042}, doi = {10.1016/J.TCS.2015.11.042}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GavryushkinKS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JainKSS16, author = {Sanjay Jain and Bakhadyr Khoussainov and Philipp Schlicht and Frank Stephan}, title = {Tree-automatic scattered linear orders}, journal = {Theor. Comput. Sci.}, volume = {626}, pages = {83--96}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.02.008}, doi = {10.1016/J.TCS.2016.02.008}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/JainKSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/JainKS16, author = {Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan}, editor = {Arnold Beckmann and Laurent Bienvenu and Natasa Jonoska}, title = {Finitely Generated Semiautomatic Groups}, booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9709}, pages = {282--291}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40189-8\_29}, doi = {10.1007/978-3-319-40189-8\_29}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cie/JainKS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/Khoussainov16, author = {Bakhadyr Khoussainov}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {A Quest for Algorithmically Random Infinite Structures, {II}}, booktitle = {Logical Foundations of Computer Science - International Symposium, {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9537}, pages = {159--173}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-27683-0\_12}, doi = {10.1007/978-3-319-27683-0\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/Khoussainov16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Khoussainov16, author = {Bakh Khoussainov}, editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar}, title = {Quantifier Free Definability on Infinite Algebras}, booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}, pages = {730--738}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2933575.2934572}, doi = {10.1145/2933575.2934572}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/Khoussainov16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wia/KhoussainovL16, author = {Bakhadyr Khoussainov and Jiamou Liu}, editor = {Yo{-}Sub Han and Kai Salomaa}, title = {Decision Problems for Finite Automata over Infinite Algebraic Structures}, booktitle = {Implementation and Application of Automata - 21st International Conference, {CIAA} 2016, Seoul, South Korea, July 19-22, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9705}, pages = {3--11}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40946-7\_1}, doi = {10.1007/978-3-319-40946-7\_1}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/wia/KhoussainovL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GavruskinKKL15, author = {Alexander Gavruskin and Bakhadyr Khoussainov and Mikhail Kokho and Jiamou Liu}, title = {Dynamic algorithms for monotonic interval scheduling problem}, journal = {Theor. Comput. Sci.}, volume = {562}, pages = {227--242}, year = {2015}, url = {https://doi.org/10.1016/j.tcs.2014.09.046}, doi = {10.1016/J.TCS.2014.09.046}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GavruskinKKL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BerdinskyK15, author = {Dmitry Berdinsky and Bakhadyr Khoussainov}, title = {Cayley automatic representations of wreath products}, journal = {CoRR}, volume = {abs/1511.01630}, year = {2015}, url = {http://arxiv.org/abs/1511.01630}, eprinttype = {arXiv}, eprint = {1511.01630}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BerdinskyK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/GavruskinJKS14, author = {Alexander Gavruskin and Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan}, title = {Graphs realised by r.e. equivalence relations}, journal = {Ann. Pure Appl. Log.}, volume = {165}, number = {7-8}, pages = {1263--1290}, year = {2014}, url = {https://doi.org/10.1016/j.apal.2014.04.001}, doi = {10.1016/J.APAL.2014.04.001}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/GavruskinJKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Khoussainov14, author = {Bakhadyr Khoussainov}, editor = {Thomas A. Henzinger and Dale Miller}, title = {A quest for algorithmically random infinite structures}, booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014}, pages = {56:1--56:9}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2603088.2603114}, doi = {10.1145/2603088.2603114}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csl/Khoussainov14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csr/JainKSTZ14, author = {Sanjay Jain and Bakhadyr Khoussainov and Frank Stephan and Dan Teng and Siyuan Zou}, editor = {Edward A. Hirsch and Sergei O. Kuznetsov and Jean{-}{\'{E}}ric Pin and Nikolay K. Vereshchagin}, title = {Semiautomatic Structures}, booktitle = {Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8476}, pages = {204--217}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06686-8\_16}, doi = {10.1007/978-3-319-06686-8\_16}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csr/JainKSTZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/BerdinskyK14, author = {Dmitry Berdinsky and Bakhadyr Khoussainov}, editor = {Arseny M. Shur and Mikhail V. Volkov}, title = {On Automatic Transitive Graphs}, 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 = {1--12}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09698-8\_1}, doi = {10.1007/978-3-319-09698-8\_1}, timestamp = {Thu, 09 Nov 2023 20:20:35 +0100}, biburl = {https://dblp.org/rec/conf/dlt/BerdinskyK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaac/GavruskinKKL14, author = {Alexander Gavruskin and Bakhadyr Khoussainov and Mikhail Kokho and Jiamou Liu}, editor = {Hee{-}Kap Ahn and Chan{-}Su Shin}, title = {Dynamic Interval Scheduling for Multiple Machines}, booktitle = {Algorithms and Computation - 25th International Symposium, {ISAAC} 2014, Jeonju, Korea, December 15-17, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8889}, pages = {235--246}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13075-0\_19}, doi = {10.1007/978-3-319-13075-0\_19}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/isaac/GavruskinKKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GavryushkinKKL14, author = {Alex Gavryushkin and Bakhadyr Khoussainov and Mikhail Kokho and Jiamou Liu}, title = {Dynamic Algorithms for Interval Scheduling on a Single Machine}, journal = {CoRR}, volume = {abs/1412.8005}, year = {2014}, url = {http://arxiv.org/abs/1412.8005}, eprinttype = {arXiv}, eprint = {1412.8005}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GavryushkinKKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijguc/YeK13, author = {Xinfeng Ye and Bakh Khoussainov}, title = {Fine-grained access control for cloud computing}, journal = {Int. J. Grid Util. Comput.}, volume = {4}, number = {2/3}, pages = {160--168}, year = {2013}, url = {https://doi.org/10.1504/IJGUC.2013.056252}, doi = {10.1504/IJGUC.2013.056252}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijguc/YeK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/YeZK13, author = {Xinfeng Ye and Jupeng Zheng and Bakh Khoussainov}, title = {A Robust Service Recommendation Scheme}, booktitle = {2013 {IEEE} International Conference on Services Computing, Santa Clara, CA, USA, June 28 - July 3, 2013}, pages = {73--80}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/SCC.2013.105}, doi = {10.1109/SCC.2013.105}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEscc/YeZK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/GavruskinK13, author = {Alexander Gavruskin and Bakhadyr Khoussainov}, editor = {Paola Bonizzoni and Vasco Brattka and Benedikt L{\"{o}}we}, title = {On Decidable and Computable Models of Theories}, booktitle = {The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7921}, pages = {200--209}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39053-1\_23}, doi = {10.1007/978-3-642-39053-1\_23}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/GavruskinK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwoca/GavruskinKKL13, author = {Alexander Gavruskin and Bakhadyr Khoussainov and Mikhail Kokho and Jiamou Liu}, editor = {Thierry Lecroq and Laurent Mouchard}, title = {Dynamising Interval Scheduling: The Monotonic Case}, booktitle = {Combinatorial Algorithms - 24th International Workshop, {IWOCA} 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8288}, pages = {178--191}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-45278-9\_16}, doi = {10.1007/978-3-642-45278-9\_16}, timestamp = {Wed, 25 Sep 2019 18:08:04 +0200}, biburl = {https://dblp.org/rec/conf/iwoca/GavruskinKKL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdcat/YeZK13, author = {Xinfeng Ye and Jupeng Zheng and Bakh Khoussainov}, editor = {Shi{-}Jinn Horng}, title = {A Game Theory-Based Approach to Service Rating}, booktitle = {International Conference on Parallel and Distributed Computing, Applications and Technologies, {PDCAT} 2013, Taipei, Taiwan, December 16-18, 2013}, pages = {163--170}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/PDCAT.2013.33}, doi = {10.1109/PDCAT.2013.33}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/pdcat/YeZK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smc/ChenKY13, author = {Yi Chen and Bakh Khoussainov and Xinfeng Ye}, title = {A Game Theoretic Approach to Service Discovery and Selection}, booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics, Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013}, pages = {4072--4079}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/SMC.2013.695}, doi = {10.1109/SMC.2013.695}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/smc/ChenKY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/ws/KhoussainovK12, author = {Bakhadyr Khoussainov and Nodira Khoussainova}, title = {Lectures on Discrete Mathematics for Computer Science}, series = {Algebra and Discrete Mathematics}, volume = {3}, publisher = {World Scientific}, year = {2012}, url = {https://doi.org/10.1142/8084}, doi = {10.1142/8084}, isbn = {978-981-4340-50-2}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/KhoussainovK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/KhoussainovK12, author = {Bakhadyr Khoussainov and Tomasz Kowalski}, title = {Computable Isomorphisms of Boolean Algebras with Operators}, journal = {Stud Logica}, volume = {100}, number = {3}, pages = {481--496}, year = {2012}, url = {https://doi.org/10.1007/s11225-012-9411-1}, doi = {10.1007/S11225-012-9411-1}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/KhoussainovK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cats/GandhiKL12, author = {Aniruddh Gandhi and Bakhadyr Khoussainov and Jiamou Liu}, editor = {Juli{\'{a}}n Mestre}, title = {Solving infinite games on trees with back-edges}, booktitle = {Eighteenth Computing: The Australasian Theory Symposium, {CATS} 2012, Melbourne, Australia, January 2012}, series = {{CRPIT}}, volume = {128}, pages = {113--122}, publisher = {Australian Computer Society}, year = {2012}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV128Gandhi.html}, timestamp = {Mon, 08 Feb 2021 13:26:47 +0100}, biburl = {https://dblp.org/rec/conf/cats/GandhiKL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/GandhiKL12, author = {Aniruddh Gandhi and Bakhadyr Khoussainov and Jiamou Liu}, editor = {Hsu{-}Chun Yen and Oscar H. Ibarra}, title = {On State Complexity of Finite Word and Tree Languages}, booktitle = {Developments in Language Theory - 16th International Conference, {DLT} 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7410}, pages = {392--403}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31653-1\_35}, doi = {10.1007/978-3-642-31653-1\_35}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/GandhiKL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tamc/GandhiKL12, author = {Aniruddh Gandhi and Bakhadyr Khoussainov and Jiamou Liu}, editor = {Manindra Agrawal and S. Barry Cooper and Angsheng Li}, title = {Finite Automata over Structures - (Extended Abstract)}, booktitle = {Theory and Applications of Models of Computation - 9th Annual Conference, {TAMC} 2012, Beijing, China, May 16-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7287}, pages = {373--384}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29952-0\_37}, doi = {10.1007/978-3-642-29952-0\_37}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/tamc/GandhiKL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2012calude, editor = {Michael J. Dinneen and Bakhadyr Khoussainov and Andr{\'{e}} Nies}, title = {Computation, Physics and Beyond - International Workshop on Theoretical Computer Science, {WTCS} 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {7160}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27654-5}, doi = {10.1007/978-3-642-27654-5}, isbn = {978-3-642-27653-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2012calude.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GandhiKL11, author = {Aniruddh Gandhi and Bakhadyr Khoussainov and Jiamou Liu}, title = {Efficient Algorithms for Games Played on Trees with Back-edges}, journal = {Fundam. Informaticae}, volume = {111}, number = {4}, pages = {391--412}, year = {2011}, url = {https://doi.org/10.3233/FI-2011-569}, doi = {10.3233/FI-2011-569}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GandhiKL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cats/GandhiKK11, author = {Aniruddh Gandhi and Nan Rosemary Ke and Bakhadyr Khoussainov}, editor = {Alex Potanin and Taso Viglas}, title = {Descriptional Complexity of Determinization and Complementation for Finite Automata}, booktitle = {Seventeenth Computing: The Australasian Theory Symposium, {CATS} 2011, Perth, Australia, January 2011}, series = {{CRPIT}}, volume = {119}, pages = {95--104}, publisher = {Australian Computer Society}, year = {2011}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV119Gandhi.html}, timestamp = {Mon, 08 Feb 2021 13:26:46 +0100}, biburl = {https://dblp.org/rec/conf/cats/GandhiKK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/KhaliqKL11, author = {Imran Khaliq and Bakhadyr Khoussainov and Jiamou Liu}, editor = {Benedikt L{\"{o}}we and Dag Normann and Ivan N. Soskov and Alexandra A. Soskova}, title = {Extracting Winning Strategies in Update Games}, 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 = {142--151}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21875-0\_15}, doi = {10.1007/978-3-642-21875-0\_15}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cie/KhaliqKL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/Khoussainov11, author = {Bakhadyr Khoussainov}, editor = {Adrian{-}Horia Dediu and Shunsuke Inenaga and Carlos Mart{\'{\i}}n{-}Vide}, title = {Automatic Structures and Groups}, 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 = {22--40}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21254-3\_2}, doi = {10.1007/978-3-642-21254-3\_2}, timestamp = {Sun, 02 Oct 2022 16:11:11 +0200}, biburl = {https://dblp.org/rec/conf/lata/Khoussainov11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1107-3645, author = {Olga Kharlampovich and Bakhadyr Khoussainov and Alexei Miasnikov}, title = {From automatic structures to automatic groups}, journal = {CoRR}, volume = {abs/1107.3645}, year = {2011}, url = {http://arxiv.org/abs/1107.3645}, eprinttype = {arXiv}, eprint = {1107.3645}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1107-3645.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/KhoussainovM10, author = {Bakhadyr Khoussainov and Antonio Montalb{\'{a}}n}, title = {A computable Alef\({}_{\mbox{0}}\)-categorical structure whose theory computes true arithmetic}, journal = {J. Symb. Log.}, volume = {75}, number = {2}, pages = {728--740}, year = {2010}, url = {https://doi.org/10.2178/jsl/1268917501}, doi = {10.2178/JSL/1268917501}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/KhoussainovM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/KhoussainovM10, author = {Bakhadyr Khoussainov and Andrei S. Morozov}, editor = {Fernando Ferreira and Benedikt L{\"{o}}we and Elvira Mayordomo and Lu{\'{\i}}s Mendes Gomes}, title = {On Index Sets of Some Properties of Computable Algebras}, booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6158}, pages = {219--228}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13962-8\_25}, doi = {10.1007/978-3-642-13962-8\_25}, timestamp = {Fri, 26 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cie/KhoussainovM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aml/CenzerCK09, author = {Douglas A. Cenzer and Barbara F. Csima and Bakhadyr Khoussainov}, title = {Linear orders with distinguished function symbol}, journal = {Arch. Math. Log.}, volume = {48}, number = {1}, pages = {63--76}, year = {2009}, url = {https://doi.org/10.1007/s00153-008-0112-4}, doi = {10.1007/S00153-008-0112-4}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aml/CenzerCK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KhoussainovL09, author = {Bakhadyr Khoussainov and Jiamou Liu}, title = {On complexity of Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} games}, journal = {Ann. Pure Appl. Log.}, volume = {161}, number = {3}, pages = {404--415}, year = {2009}, url = {https://doi.org/10.1016/j.apal.2009.07.011}, doi = {10.1016/J.APAL.2009.07.011}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KhoussainovL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KhoussainovM09, author = {Bakhadyr Khoussainov and Mia Minnes}, title = {Model-theoretic complexity of automatic structures}, journal = {Ann. Pure Appl. Log.}, volume = {161}, number = {3}, pages = {416--426}, year = {2009}, url = {https://doi.org/10.1016/j.apal.2009.07.012}, doi = {10.1016/J.APAL.2009.07.012}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/KhoussainovM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/KhoussainovLM09, author = {Bakhadyr Khoussainov and Jiamou Liu and Mia Minnes}, title = {Unary automatic graphs: an algorithmic perspective}, journal = {Math. Struct. Comput. Sci.}, volume = {19}, number = {1}, pages = {133--152}, year = {2009}, url = {https://doi.org/10.1017/S0960129508007342}, doi = {10.1017/S0960129508007342}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/KhoussainovLM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/KhoussainovLK09, author = {Bakhadyr Khoussainov and Jiamou Liu and Imran Khaliq}, editor = {Rastislav Kr{\'{a}}lovic and Damian Niwinski}, title = {A Dynamic Algorithm for Reachability Games Played on Trees}, 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 = {477--488}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03816-7\_41}, doi = {10.1007/978-3-642-03816-7\_41}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/KhoussainovLK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KhoussainovSY08, author = {Bakhadyr Khoussainov and Frank Stephan and Yue Yang}, title = {Computable categoricity and the Ershov hierarchy}, journal = {Ann. Pure Appl. Log.}, volume = {156}, number = {1}, pages = {86--95}, year = {2008}, url = {https://doi.org/10.1016/j.apal.2008.06.010}, doi = {10.1016/J.APAL.2008.06.010}, timestamp = {Sat, 27 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/KhoussainovSY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/KhoussainovN08, author = {Bakhadyr Khoussainov and Anil Nerode}, title = {Open Questions in the Theory of Automatic Structures}, journal = {Bull. {EATCS}}, volume = {94}, pages = {181--204}, year = {2008}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/KhoussainovN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/BroughKN08, author = {Michael Brough and Bakhadyr Khoussainov and Peter Nelson}, editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt L{\"{o}}we}, title = {Sequential Automatic Algebras}, booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5028}, pages = {84--93}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69407-6\_9}, doi = {10.1007/978-3-540-69407-6\_9}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/cie/BroughKN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/CsimaKL08, author = {Barbara F. Csima and Bakhadyr Khoussainov and Jiamou Liu}, editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt L{\"{o}}we}, title = {Computable Categoricity of Graphs with Finite Components}, booktitle = {Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5028}, pages = {139--148}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69407-6\_15}, doi = {10.1007/978-3-540-69407-6\_15}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cie/CsimaKL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/CsimaK08, author = {Barbara F. Csima and Bakhadyr Khoussainov}, editor = {Masami Ito and Masafumi Toyama}, title = {When Is Reachability Intrinsically Decidable?}, booktitle = {Developments in Language Theory, 12th International Conference, {DLT} 2008, Kyoto, Japan, September 16-19, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5257}, pages = {216--227}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85780-8\_17}, doi = {10.1007/978-3-540-85780-8\_17}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/CsimaK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/HjorthKMN08, author = {Greg Hjorth and Bakhadyr Khoussainov and Antonio Montalb{\'{a}}n and Andr{\'{e}} Nies}, title = {From Automatic Structures to Borel Structures}, booktitle = {Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}}, pages = {431--441}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/LICS.2008.28}, doi = {10.1109/LICS.2008.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/HjorthKMN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tamc/KhoussainovM08, author = {Bakhadyr Khoussainov and Mia Minnes}, editor = {Manindra Agrawal and Ding{-}Zhu Du and Zhenhua Duan and Angsheng Li}, title = {Model Theoretic Complexity of Automatic Structures (Extended Abstract)}, booktitle = {Theory and Applications of Models of Computation, 5th International Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4978}, pages = {514--525}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79228-4\_45}, doi = {10.1007/978-3-540-79228-4\_45}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tamc/KhoussainovM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tamc/KhoussainovLM08, author = {Bakhadyr Khoussainov and Jiamou Liu and Mia Minnes}, editor = {Manindra Agrawal and Ding{-}Zhu Du and Zhenhua Duan and Angsheng Li}, title = {Unary Automatic Graphs: An Algorithmic Perspective}, booktitle = {Theory and Applications of Models of Computation, 5th International Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4978}, pages = {542--553}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-79228-4\_47}, doi = {10.1007/978-3-540-79228-4\_47}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tamc/KhoussainovLM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2007P7441, editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, title = {Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07441}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2008}, url = {http://drops.dagstuhl.de/portals/07441/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2007P7441.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} }
@article{DBLP:journals/lmcs/KhoussainovNRS07, author = {Bakhadyr Khoussainov and Andr{\'{e}} Nies and Sasha Rubin and Frank Stephan}, title = {Automatic Structures: Richness and Limitations}, journal = {Log. Methods Comput. Sci.}, volume = {3}, number = {2}, year = {2007}, url = {https://doi.org/10.2168/LMCS-3(2:2)2007}, doi = {10.2168/LMCS-3(2:2)2007}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/KhoussainovNRS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/KhoussainovL07, author = {Bakhadyr Khoussainov and Jiamou Liu}, editor = {Sergei N. Art{\"{e}}mov and Anil Nerode}, title = {On Complexity of Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Games}, 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 = {293--309}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72734-7\_21}, doi = {10.1007/978-3-540-72734-7\_21}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/KhoussainovL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/DowneyKKLV07, author = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, title = {07441 Summary -- Algorithmic-Logical Theory of Infinite Structures}, booktitle = {Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07441}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1411}, timestamp = {Thu, 10 Jun 2021 13:02:09 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyKKLV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/DowneyKKLV07a, author = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, editor = {Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi}, title = {07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures}, booktitle = {Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07441}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1412}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/DowneyKKLV07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0703064, author = {Bakhadyr Khoussainov and Andr{\'{e}} Nies and Sasha Rubin and Frank Stephan}, title = {Automatic Structures: Richness and Limitations}, journal = {CoRR}, volume = {abs/cs/0703064}, year = {2007}, url = {http://arxiv.org/abs/cs/0703064}, eprinttype = {arXiv}, eprint = {cs/0703064}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0703064.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} }
@article{DBLP:journals/ijac/KhoussainovLS05, author = {Bakhadyr Khoussainov and Steffen Lempp and Theodore A. Slaman}, title = {Computably Enumerable Algebras, Their Expansions, and Isomorphisms}, journal = {Int. J. Algebra Comput.}, volume = {15}, number = {3}, pages = {437--454}, year = {2005}, url = {https://doi.org/10.1142/S0218196705002281}, doi = {10.1142/S0218196705002281}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijac/KhoussainovLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/KhoussainovRS05, author = {Bakhadyr Khoussainov and Sasha Rubin and Frank Stephan}, title = {Automatic linear orders and trees}, journal = {{ACM} Trans. Comput. Log.}, volume = {6}, number = {4}, pages = {675--700}, year = {2005}, url = {https://doi.org/10.1145/1094622.1094625}, doi = {10.1145/1094622.1094625}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tocl/KhoussainovRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/KhoussainovR05, author = {Bakhadyr Khoussainov and Sasha Rubin}, editor = {C.{-}H. Luke Ong}, title = {Decidability of Term Algebras Extending Partial Algebras}, booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3634}, pages = {292--308}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11538363\_21}, doi = {10.1007/11538363\_21}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/KhoussainovR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SinhaRK05, author = {Roopak Sinha and Partha S. Roop and Bakhadyr Khoussainov}, editor = {Juliana K{\"{u}}ster Filipe and Iman Poernomo and Ralf H. Reussner and Sandeep K. Shukla}, title = {Adaptive Verification using Forced Simulation}, booktitle = {Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {141}, number = {3}, pages = {171--197}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.02.047}, doi = {10.1016/J.ENTCS.2005.02.047}, timestamp = {Tue, 13 Dec 2022 10:40:59 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SinhaRK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KhoussainovNRS04, author = {Bakhadyr Khoussainov and Andr{\'{e}} Nies and Sasha Rubin and Frank Stephan}, title = {Automatic Structures: Richness and Limitations}, booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings}, pages = {44--53}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/LICS.2004.1319599}, doi = {10.1109/LICS.2004.1319599}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KhoussainovNRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/KhoussainovRS04, author = {Bakhadyr Khoussainov and Sasha Rubin and Frank Stephan}, editor = {Volker Diekert and Michel Habib}, title = {Definability and Regularity in Automatic Structures}, booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2996}, pages = {440--451}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24749-4\_39}, doi = {10.1007/978-3-540-24749-4\_39}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/KhoussainovRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/KhoussainovR03, author = {Bakhadyr Khoussainov and Sasha Rubin}, title = {Automatic Structures: Overview and Future Directions}, journal = {J. Autom. Lang. Comb.}, volume = {8}, number = {2}, pages = {287--301}, year = {2003}, url = {https://doi.org/10.25596/jalc-2003-287}, doi = {10.25596/JALC-2003-287}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/KhoussainovR03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jda/DinneenK03, author = {Michael J. Dinneen and Bakhadyr Khoussainov}, title = {Update games and update networks}, journal = {J. Discrete Algorithms}, volume = {1}, number = {1}, pages = {53--65}, year = {2003}, url = {https://doi.org/10.1016/S1570-8667(03)00006-6}, doi = {10.1016/S1570-8667(03)00006-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jda/DinneenK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/HirschfeldtKS03, author = {Denis R. Hirschfeldt and Bakhadyr Khoussainov and Richard A. Shore}, title = {A computably categorical structure whose expansion by a constant has infinite computable dimension}, journal = {J. Symb. Log.}, volume = {68}, number = {4}, pages = {1199--1241}, year = {2003}, url = {https://doi.org/10.2178/jsl/1067620182}, doi = {10.2178/JSL/1067620182}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/HirschfeldtKS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Khoussainov03, author = {Bakhadyr Khoussainov}, title = {On algebraic and logical specifications of classes of regular languages}, journal = {Theor. Comput. Sci.}, volume = {298}, number = {2}, pages = {325--346}, year = {2003}, url = {https://doi.org/10.1016/S0304-3975(02)00812-5}, doi = {10.1016/S0304-3975(02)00812-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Khoussainov03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/Khoussainov03, author = {Bakhadyr Khoussainov}, editor = {Matthias Baaz and Johann A. Makowsky}, title = {On Algebraic Specifications of Abstract Data Types}, booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium, {KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2803}, pages = {299--313}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45220-1\_25}, doi = {10.1007/978-3-540-45220-1\_25}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/Khoussainov03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dmtcs/Khoussainov03, author = {Bakhadyr Khoussainov}, editor = {Cristian Calude and Michael J. Dinneen and Vincent Vajnovszki}, title = {Finite State Strategies in One Player McNaughton Games}, booktitle = {Discrete Mathematics and Theoretical Computer Science, 4th International Conference, {DMTCS} 2003, Dijon, France, July 7-12, 2003. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2731}, pages = {203--214}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45066-1\_16}, doi = {10.1007/3-540-45066-1\_16}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/dmtcs/Khoussainov03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/KhoussainovRS03, author = {Bakhadyr Khoussainov and Sasha Rubin and Frank Stephan}, title = {On Automatic Partial Orders}, booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003), 22-25 June 2003, Ottawa, Canada, Proceedings}, pages = {168--177}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/LICS.2003.1210056}, doi = {10.1109/LICS.2003.1210056}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/KhoussainovRS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/HirschfeldtKSS02, author = {Denis R. Hirschfeldt and Bakhadyr Khoussainov and Richard A. Shore and Arkadii M. Slinko}, title = {Degree spectra and computable dimensions in algebraic structures}, journal = {Ann. Pure Appl. Log.}, volume = {115}, number = {1-3}, pages = {71--113}, year = {2002}, url = {https://doi.org/10.1016/S0168-0072(01)00087-2}, doi = {10.1016/S0168-0072(01)00087-2}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/HirschfeldtKSS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BodlaenderDK02, author = {Hans L. Bodlaender and Michael J. Dinneen and Bakhadyr Khoussainov}, title = {Relaxed Update and Partition Network Games}, journal = {Fundam. Informaticae}, volume = {49}, number = {4}, pages = {301--312}, year = {2002}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi49-4-02}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BodlaenderDK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/IshiharaKR02, author = {Hajime Ishihara and Bakhadyr Khoussainov and Sasha Rubin}, title = {Some Results on Automatic Structures}, booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings}, pages = {235}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/LICS.2002.1029832}, doi = {10.1109/LICS.2002.1029832}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/IshiharaKR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/IshiharaK02, author = {Hajime Ishihara and Bakhadyr Khoussainov}, editor = {Ludek Kucera}, title = {Complexity of Some Infinite Games Played on Finite Graphs}, booktitle = {Graph-Theoretic Concepts in Computer Science, 28th International Workshop, {WG} 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2573}, pages = {270--281}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36379-3\_24}, doi = {10.1007/3-540-36379-3\_24}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/IshiharaK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/KhoussainovR01, author = {Bakhadyr Khoussainov and Sasha Rubin}, title = {Graphs with Automatic Presentations over a Unary Alphabet}, journal = {J. Autom. Lang. Comb.}, volume = {6}, number = {4}, pages = {467--480}, year = {2001}, url = {https://doi.org/10.25596/jalc-2001-467}, doi = {10.25596/JALC-2001-467}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/KhoussainovR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CaludeHKW01, author = {Cristian Calude and Peter Hertling and Bakhadyr Khoussainov and Yongge Wang}, title = {Recursively enumerable reals and Chaitin Omega numbers}, journal = {Theor. Comput. Sci.}, volume = {255}, number = {1-2}, pages = {125--149}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(99)00159-0}, doi = {10.1016/S0304-3975(99)00159-0}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CaludeHKW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaac/BodlaenderDK01, author = {Hans L. Bodlaender and Michael J. Dinneen and Bakhadyr Khoussainov}, editor = {Peter Eades and Tadao Takaoka}, title = {On Game-Theoretic Models of Networks}, booktitle = {Algorithms and Computation, 12th International Symposium, {ISAAC} 2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2223}, pages = {550--561}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45678-3\_47}, doi = {10.1007/3-540-45678-3\_47}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isaac/BodlaenderDK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/Khoussainov00, author = {Bakhadyr Khoussainov}, title = {On Computability Theoretic Properties of Structures and Their Cartesian Products}, journal = {Math. Log. Q.}, volume = {46}, number = {4}, pages = {467--475}, year = {2000}, url = {https://doi.org/10.1002/1521-3870(200010)46:4\&\#60;467::AID-MALQ467\&\#62;3.0.CO;2-V}, doi = {10.1002/1521-3870(200010)46:4\&\#60;467::AID-MALQ467\&\#62;3.0.CO;2-V}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/Khoussainov00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CaludeCK00, author = {Cristian Calude and Elena Calude and Bakhadyr Khoussainov}, title = {Finite nondeterministic automata: Simulation and minimality}, journal = {Theor. Comput. Sci.}, volume = {242}, number = {1-2}, pages = {219--235}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(98)00221-7}, doi = {10.1016/S0304-3975(98)00221-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CaludeCK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/DinneenK00, author = {Michael J. Dinneen and Bakhadyr Khoussainov}, editor = {Ulrik Brandes and Dorothea Wagner}, title = {Update Networks and Their Routing Strategies}, booktitle = {Graph-Theoretic Concepts in Computer Science, 26th International Workshop, {WG} 2000, Konstanz, Germany, June 15-17, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1928}, pages = {127--136}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-40064-8\_13}, doi = {10.1007/3-540-40064-8\_13}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/DinneenK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/tcs/Khoussainov00, author = {Bakhadyr Khoussainov}, editor = {David A. Wolfram}, title = {Algebraic constraints, automata, and regular languages}, booktitle = {Computing: the Australasian Theory Symposium, {CATS} 2000, Canberra, Australia, January 1-2, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {31}, pages = {104--117}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80333-0}, doi = {10.1016/S1571-0661(05)80333-0}, timestamp = {Fri, 11 Nov 2022 16:02:13 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Khoussainov00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KhoussainovS99, author = {Bakhadyr Khoussainov and Richard A. Shore}, title = {Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families"}, journal = {Ann. Pure Appl. Log.}, volume = {98}, number = {1-3}, pages = {297--298}, year = {1999}, url = {https://doi.org/10.1016/S0168-0072(98)00049-9}, doi = {10.1016/S0168-0072(98)00049-9}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KhoussainovS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/CholakGKS99, author = {Peter Cholak and Sergei S. Goncharov and Bakhadyr Khoussainov and Richard A. Shore}, title = {Computably Categorical Structures and Expansions by Constants}, journal = {J. Symb. Log.}, volume = {64}, number = {1}, pages = {13--37}, year = {1999}, url = {https://doi.org/10.2307/2586747}, doi = {10.2307/2586747}, timestamp = {Thu, 31 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/CholakGKS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Khoussainov98, author = {Bakhadyr Khoussainov}, title = {Randomness, Computability, and Algebraic Specifications}, journal = {Ann. Pure Appl. Log.}, volume = {91}, number = {1}, pages = {1--15}, year = {1998}, url = {https://doi.org/10.1016/S0168-0072(97)00040-7}, doi = {10.1016/S0168-0072(97)00040-7}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Khoussainov98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/IshiharaKN98, author = {Hajime Ishihara and Bakhadyr Khoussainov and Anil Nerode}, title = {Decidable Kripke Models of Intuitionistic Theories}, journal = {Ann. Pure Appl. Log.}, volume = {93}, number = {1-3}, pages = {115--123}, year = {1998}, url = {https://doi.org/10.1016/S0168-0072(97)00057-2}, doi = {10.1016/S0168-0072(97)00057-2}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/IshiharaKN98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/KhoussainovS98, author = {Bakhadyr Khoussainov and Richard A. Shore}, title = {Computable Isomorphisms, Degree Spectra of Relations, and Scott Families}, journal = {Ann. Pure Appl. Log.}, volume = {93}, number = {1-3}, pages = {153--193}, year = {1998}, url = {https://doi.org/10.1016/S0168-0072(97)00059-6}, doi = {10.1016/S0168-0072(97)00059-6}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/KhoussainovS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/IshiharaKN98, author = {Hajime Ishihara and Bakhadyr Khoussainov and Anil Nerode}, title = {Computable Kripke Models and Intermediate Logics}, journal = {Inf. Comput.}, volume = {143}, number = {2}, pages = {205--230}, year = {1998}, url = {https://doi.org/10.1006/inco.1998.2704}, doi = {10.1006/INCO.1998.2704}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/IshiharaKN98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mlq/KhoussainovYY98, author = {Bakhadyr Khoussainov and Alexander Yakhnis and Vladimir Yakhnis}, title = {Games with Unknown Past}, journal = {Math. Log. Q.}, volume = {44}, pages = {185--204}, year = {1998}, url = {https://doi.org/10.1002/malq.19980440206}, doi = {10.1002/MALQ.19980440206}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mlq/KhoussainovYY98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/CaludeHKW98, author = {Cristian Calude and Peter Hertling and Bakhadyr Khoussainov and Yongge Wang}, editor = {Michel Morvan and Christoph Meinel and Daniel Krob}, title = {Recursively Enumerable Reals and Chaitin Omega Numbers}, 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 = {596--606}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0028594}, doi = {10.1007/BFB0028594}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/CaludeHKW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CaludeCK97, author = {Cristian Calude and Elena Calude and Bakhadyr Khoussainov}, title = {Deterministic Automata: Simulation, Universality and Minimality}, journal = {Ann. Pure Appl. Log.}, volume = {90}, number = {1-3}, pages = {263--276}, year = {1997}, url = {https://doi.org/10.1016/S0168-0072(97)00039-0}, doi = {10.1016/S0168-0072(97)00039-0}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/CaludeCK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/CaludeHK97, author = {Cristian Calude and Peter Hertling and Bakhadyr Khoussainov}, title = {Do the Zeros of Riemann's Zeta-Function Form a Random Sequence?}, journal = {Bull. {EATCS}}, volume = {62}, year = {1997}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/CaludeHK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/BridgesCDK97, author = {Douglas S. Bridges and Cristian Calude and Michael J. Dinneen and Bakhadyr Khoussainov}, title = {Logic in Computer Science}, journal = {J. Univers. Comput. Sci.}, volume = {3}, number = {11}, pages = {1133}, year = {1997}, url = {http://www.jucs.org/jucs\_3\_11/logic\_in\_computer\_science}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jucs/BridgesCDK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/IshiharaK97, author = {Hajime Ishihara and Bakhadyr Khoussainov}, title = {Effectiveness of the Completeness Theorem for an Intermediate Logic}, journal = {J. Univers. Comput. Sci.}, volume = {3}, number = {11}, pages = {1255--1265}, year = {1997}, url = {https://doi.org/10.3217/jucs-003-11-1255}, doi = {10.3217/JUCS-003-11-1255}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/IshiharaK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ndjfl/KhoussainovNS97, author = {Bakhadyr Khoussainov and Andr{\'{e}} Nies and Richard A. Shore}, title = {Computable Models of Theories with Few Models}, journal = {Notre Dame J. Formal Log.}, volume = {38}, number = {2}, pages = {165--178}, year = {1997}, url = {https://doi.org/10.1305/ndjfl/1039724885}, doi = {10.1305/NDJFL/1039724885}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ndjfl/KhoussainovNS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/CaludeCK97, author = {Cristian S. Calude and Elena Calude and Bakhadyr Khoussainov}, editor = {Symeon Bozapalidis}, title = {Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract}, booktitle = {Proceedings of the 3rd International Conference Developments in Language Theory, {DLT} 1997, Thessaloniki, Greece, July 20-23, 1997}, pages = {519--537}, publisher = {Aristotle University of Thessaloniki}, year = {1997}, timestamp = {Tue, 20 May 2008 10:45:10 +0200}, biburl = {https://dblp.org/rec/conf/dlt/CaludeCK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dmtcs/KhoussainovS96, author = {Bakhadyr Khoussainov and Richard A. Shore}, editor = {Douglas S. Bridges and Cristian S. Calude and Jeremy Gibbons and Steve Reeves and Ian H. Witten}, title = {Categoricity and Scott Families}, booktitle = {First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, {DMTCS} 1996, Auckland, New Zealand, December, 9-13, 1996}, pages = {299--307}, publisher = {Springer-Verlag, Singapore}, year = {1996}, timestamp = {Tue, 14 Apr 2015 20:10:07 +0200}, biburl = {https://dblp.org/rec/conf/dmtcs/KhoussainovS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/Khoussainov94, author = {Bakhadyr Khoussainov}, title = {Recursive Unary Algebras and Trees}, journal = {Ann. Pure Appl. Log.}, volume = {67}, number = {1-3}, pages = {213--268}, year = {1994}, url = {https://doi.org/10.1016/0168-0072(94)90012-4}, doi = {10.1016/0168-0072(94)90012-4}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apal/Khoussainov94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lcc/KhoussainovN94, author = {Bakhadyr Khoussainov and Anil Nerode}, editor = {Daniel Leivant}, title = {Automatic Presentations of Structures}, booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop {LCC} '94, Indianapolis, Indiana, USA, 13-16 October 1994}, series = {Lecture Notes in Computer Science}, volume = {960}, pages = {367--392}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60178-3\_93}, doi = {10.1007/3-540-60178-3\_93}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/lcc/KhoussainovN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lfcs/KhoussainovN94, author = {Bakhadyr Khoussainov and Anil Nerode}, editor = {Anil Nerode and Yuri V. Matiyasevich}, title = {The Notion of Rank and Games}, booktitle = {Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {813}, pages = {204--217}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58140-5\_21}, doi = {10.1007/3-540-58140-5\_21}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/lfcs/KhoussainovN94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.