BibTeX records: Nikolay Ivanov

download as .bib file

@article{DBLP:journals/corr/abs-2402-16654,
  author       = {Pavel Blinov and
                  Konstantin Egorov and
                  Ivan Sviridov and
                  Nikolay Ivanov and
                  Stepan Botman and
                  Evgeniy Tagin and
                  Stepan Kudin and
                  Galina Zubkova and
                  Andrey Savchenko},
  title        = {GigaPevt: Multimodal Medical Assistant},
  journal      = {CoRR},
  volume       = {abs/2402.16654},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.16654},
  doi          = {10.48550/ARXIV.2402.16654},
  eprinttype    = {arXiv},
  eprint       = {2402.16654},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-16654.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/IvanovLYS0L23,
  author       = {Nikolay Ivanov and
                  Chenning Li and
                  Qiben Yan and
                  Zhiyuan Sun and
                  Zhichao Cao and
                  Xiapu Luo},
  title        = {Security Threat Mitigation for Smart Contracts: {A} Comprehensive
                  Survey},
  journal      = {{ACM} Comput. Surv.},
  volume       = {55},
  number       = {14s},
  pages        = {326:1--326:37},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593293},
  doi          = {10.1145/3593293},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/IvanovLYS0L23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmmod/WangICWNY23,
  author       = {Guangjing Wang and
                  Nikolay Ivanov and
                  Bocheng Chen and
                  Qi Wang and
                  ThanhVu Nguyen and
                  Qiben Yan},
  title        = {Graph Learning for Interactive Threat Detection in Heterogeneous Smart
                  Home Rule Data},
  journal      = {Proc. {ACM} Manag. Data},
  volume       = {1},
  number       = {1},
  pages        = {102:1--102:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588956},
  doi          = {10.1145/3588956},
  timestamp    = {Wed, 30 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmmod/WangICWNY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tifs/IvanovYK23,
  author       = {Nikolay Ivanov and
                  Qiben Yan and
                  Anurag Kompalli},
  title        = {TxT: Real-Time Transaction Encapsulation for Ethereum Smart Contracts},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {18},
  pages        = {1141--1155},
  year         = {2023},
  url          = {https://doi.org/10.1109/TIFS.2023.3234895},
  doi          = {10.1109/TIFS.2023.3234895},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tifs/IvanovYK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/IvanovY23,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {AutoThing: {A} Secure Transaction Framework for Self-Service Things},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {16},
  number       = {2},
  pages        = {983--995},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSC.2022.3185114},
  doi          = {10.1109/TSC.2022.3185114},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/IvanovY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secon/ChenIWY23,
  author       = {Bocheng Chen and
                  Nikolay Ivanov and
                  Guangjing Wang and
                  Qiben Yan},
  title        = {DynamicFL: Balancing Communication Dynamics and Client Manipulation
                  for Federated Learning},
  booktitle    = {20th Annual {IEEE} International Conference on Sensing, Communication,
                  and Networking, {SECON} 2023, Madrid, Spain, September 11-14, 2023},
  pages        = {312--320},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SECON58729.2023.10287430},
  doi          = {10.1109/SECON58729.2023.10287430},
  timestamp    = {Mon, 06 Nov 2023 17:21:38 +0100},
  biburl       = {https://dblp.org/rec/conf/secon/ChenIWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-08806,
  author       = {Nikolay Ivanov and
                  Qiben Yan and
                  Anurag Kompalli},
  title        = {TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/2301.08806},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.08806},
  doi          = {10.48550/ARXIV.2301.08806},
  eprinttype    = {arXiv},
  eprint       = {2301.08806},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-08806.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07347,
  author       = {Nikolay Ivanov and
                  Chenning Li and
                  Qiben Yan and
                  Zhiyuan Sun and
                  Zhichao Cao and
                  Xiapu Luo},
  title        = {Security Threat Mitigation For Smart Contracts: {A} Survey},
  journal      = {CoRR},
  volume       = {abs/2302.07347},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.07347},
  doi          = {10.48550/ARXIV.2302.07347},
  eprinttype    = {arXiv},
  eprint       = {2302.07347},
  timestamp    = {Thu, 23 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-07347.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-06267,
  author       = {Bocheng Chen and
                  Nikolay Ivanov and
                  Guangjing Wang and
                  Qiben Yan},
  title        = {DynamicFL: Balancing Communication Dynamics and Client Manipulation
                  for Federated Learning},
  journal      = {CoRR},
  volume       = {abs/2308.06267},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.06267},
  doi          = {10.48550/ARXIV.2308.06267},
  eprinttype    = {arXiv},
  eprint       = {2308.06267},
  timestamp    = {Wed, 30 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-06267.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06010,
  author       = {Yuanda Wang and
                  Qiben Yan and
                  Nikolay Ivanov and
                  Xun Chen},
  title        = {A Practical Survey on Emerging Threats from AI-driven Voice Attacks:
                  How Vulnerable are Commercial Voice Control Systems?},
  journal      = {CoRR},
  volume       = {abs/2312.06010},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.06010},
  doi          = {10.48550/ARXIV.2312.06010},
  eprinttype    = {arXiv},
  eprint       = {2312.06010},
  timestamp    = {Wed, 03 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-06010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiaccs/GuoYIZ0H22,
  author       = {Hanqing Guo and
                  Qiben Yan and
                  Nikolay Ivanov and
                  Ying Zhu and
                  Li Xiao and
                  Eric J. Hunter},
  editor       = {Yuji Suga and
                  Kouichi Sakurai and
                  Xuhua Ding and
                  Kazue Sako},
  title        = {{SUPERVOICE:} Text-Independent Speaker Verification Using Ultrasound
                  Energy in Human Speech},
  booktitle    = {{ASIA} {CCS} '22: {ACM} Asia Conference on Computer and Communications
                  Security, Nagasaki, Japan, 30 May 2022 - 3 June 2022},
  pages        = {1019--1033},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3488932.3517420},
  doi          = {10.1145/3488932.3517420},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asiaccs/GuoYIZ0H22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GuoWI0Y22,
  author       = {Hanqing Guo and
                  Yuanda Wang and
                  Nikolay Ivanov and
                  Li Xiao and
                  Qiben Yan},
  editor       = {Heng Yin and
                  Angelos Stavrou and
                  Cas Cremers and
                  Elaine Shi},
  title        = {{SPECPATCH:} Human-In-The-Loop Adversarial Audio Spectrogram Patch
                  Attack on Speech Recognition},
  booktitle    = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
                  7-11, 2022},
  pages        = {1353--1366},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548606.3560660},
  doi          = {10.1145/3548606.3560660},
  timestamp    = {Sat, 17 Dec 2022 01:15:29 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/GuoWI0Y22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-14496,
  author       = {Hanqing Guo and
                  Qiben Yan and
                  Nikolay Ivanov and
                  Ying Zhu and
                  Li Xiao and
                  Eric J. Hunter},
  title        = {SuperVoice: Text-Independent Speaker Verification Using Ultrasound
                  Energy in Human Speech},
  journal      = {CoRR},
  volume       = {abs/2205.14496},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.14496},
  doi          = {10.48550/ARXIV.2205.14496},
  eprinttype    = {arXiv},
  eprint       = {2205.14496},
  timestamp    = {Wed, 01 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-14496.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08356,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {Et tu, Blockchain? Outsmarting Smart Contracts via Social Engineering},
  journal      = {CoRR},
  volume       = {abs/2209.08356},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.08356},
  doi          = {10.48550/ARXIV.2209.08356},
  eprinttype    = {arXiv},
  eprint       = {2209.08356},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-08356.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08370,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {Decentralization Paradox: {A} Study of Hegemonic and Risky {ERC-20}
                  Tokens},
  journal      = {CoRR},
  volume       = {abs/2209.08370},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.08370},
  doi          = {10.48550/ARXIV.2209.08370},
  eprinttype    = {arXiv},
  eprint       = {2209.08370},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-08370.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-09127,
  author       = {Nikolay Ivanov},
  title        = {Is Rust C++-fast? Benchmarking System Languages on Everyday Routines},
  journal      = {CoRR},
  volume       = {abs/2209.09127},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.09127},
  doi          = {10.48550/ARXIV.2209.09127},
  eprinttype    = {arXiv},
  eprint       = {2209.09127},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09127.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiaccs/IvanovLC0Y21,
  author       = {Nikolay Ivanov and
                  Jianzhi Lou and
                  Ting Chen and
                  Jin Li and
                  Qiben Yan},
  editor       = {Jiannong Cao and
                  Man Ho Au and
                  Zhiqiang Lin and
                  Moti Yung},
  title        = {Targeting the Weakest Link: Social Engineering Attacks in Ethereum
                  Smart Contracts},
  booktitle    = {{ASIA} {CCS} '21: {ACM} Asia Conference on Computer and Communications
                  Security, Virtual Event, Hong Kong, June 7-11, 2021},
  pages        = {787--801},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3433210.3453085},
  doi          = {10.1145/3433210.3453085},
  timestamp    = {Wed, 09 Jun 2021 15:14:39 +0200},
  biburl       = {https://dblp.org/rec/conf/asiaccs/IvanovLC0Y21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cns/IvanovY21,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {EthClipper: {A} Clipboard Meddling Attack on Hardware Wallets with
                  Address Verification Evasion},
  booktitle    = {{IEEE} Conference on Communications and Network Security, {CNS} 2021,
                  Tempe, AZ, USA, October 4-6, 2021},
  pages        = {191--199},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CNS53000.2021.9705033},
  doi          = {10.1109/CNS53000.2021.9705033},
  timestamp    = {Fri, 18 Feb 2022 10:36:40 +0100},
  biburl       = {https://dblp.org/rec/conf/cns/IvanovY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/IvanovYW21,
  author       = {Nikolay Ivanov and
                  Qiben Yan and
                  Qingyang Wang},
  title        = {Blockumulus: {A} Scalable Framework for Smart Contracts on the Cloud},
  booktitle    = {41st {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2021, Washington DC, USA, July 7-10, 2021},
  pages        = {607--617},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICDCS51616.2021.00064},
  doi          = {10.1109/ICDCS51616.2021.00064},
  timestamp    = {Wed, 29 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/IvanovYW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/IvanovGY21,
  author       = {Nikolay Ivanov and
                  Hanqing Guo and
                  Qiben Yan},
  editor       = {Debin Gao and
                  Qi Li and
                  Xiaohong Guan and
                  Xiaofeng Liao},
  title        = {Rectifying Administrated {ERC20} Tokens},
  booktitle    = {Information and Communications Security - 23rd International Conference,
                  {ICICS} 2021, Chongqing, China, November 19-21, 2021, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12918},
  pages        = {22--37},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86890-1\_2},
  doi          = {10.1007/978-3-030-86890-1\_2},
  timestamp    = {Tue, 21 Sep 2021 19:14:09 +0200},
  biburl       = {https://dblp.org/rec/conf/icics/IvanovGY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/IvanovY21,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  editor       = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Shujun Li and
                  Radha Poovendran and
                  Herv{\'{e}} Debar and
                  Moti Yung},
  title        = {System-Wide Security for Offline Payment Terminals},
  booktitle    = {Security and Privacy in Communication Networks - 17th {EAI} International
                  Conference, SecureComm 2021, Virtual Event, September 6-9, 2021, Proceedings,
                  Part {II}},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {399},
  pages        = {99--119},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90022-9\_6},
  doi          = {10.1007/978-3-030-90022-9\_6},
  timestamp    = {Tue, 23 Nov 2021 14:40:29 +0100},
  biburl       = {https://dblp.org/rec/conf/securecomm/IvanovY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00132,
  author       = {Nikolay Ivanov and
                  Jianzhi Lou and
                  Ting Chen and
                  Jin Li and
                  Qiben Yan},
  title        = {Targeting the Weakest Link: Social Engineering Attacks in Ethereum
                  Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/2105.00132},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.00132},
  eprinttype    = {arXiv},
  eprint       = {2105.00132},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-00132.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14194,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {Constraint-Based Inference of Heuristics for Foreign Exchange Trade
                  Model Optimization},
  journal      = {CoRR},
  volume       = {abs/2105.14194},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.14194},
  eprinttype    = {arXiv},
  eprint       = {2105.14194},
  timestamp    = {Wed, 02 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-14194.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-04904,
  author       = {Nikolay Ivanov and
                  Qiben Yan and
                  Qingyang Wang},
  title        = {Blockumulus: {A} Scalable Framework for Smart Contracts on the Cloud},
  journal      = {CoRR},
  volume       = {abs/2107.04904},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.04904},
  eprinttype    = {arXiv},
  eprint       = {2107.04904},
  timestamp    = {Wed, 29 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-04904.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08490,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {System-Wide Security for Offline Payment Terminals},
  journal      = {CoRR},
  volume       = {abs/2107.08490},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.08490},
  eprinttype    = {arXiv},
  eprint       = {2107.08490},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-08490.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-10979,
  author       = {Nikolay Ivanov and
                  Hanqing Guo and
                  Qiben Yan},
  title        = {Rectifying Administrated {ERC20} Tokens},
  journal      = {CoRR},
  volume       = {abs/2107.10979},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.10979},
  eprinttype    = {arXiv},
  eprint       = {2107.10979},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-10979.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-14004,
  author       = {Nikolay Ivanov and
                  Qiben Yan},
  title        = {EthClipper: {A} Clipboard Meddling Attack on Hardware Wallets with
                  Address Verification Evasion},
  journal      = {CoRR},
  volume       = {abs/2108.14004},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.14004},
  eprinttype    = {arXiv},
  eprint       = {2108.14004},
  timestamp    = {Fri, 03 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-14004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/IvanovLY20,
  author       = {Nikolay Ivanov and
                  Jianzhi Lou and
                  Qiben Yan},
  editor       = {Noseong Park and
                  Kun Sun and
                  Sara Foresti and
                  Kevin R. B. Butler and
                  Nitesh Saxena},
  title        = {SmartWiFi: Universal and Secure Smart Contract-Enabled WiFi Hotspot},
  booktitle    = {Security and Privacy in Communication Networks - 16th {EAI} International
                  Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020,
                  Proceedings, Part {I}},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {335},
  pages        = {425--445},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63086-7\_23},
  doi          = {10.1007/978-3-030-63086-7\_23},
  timestamp    = {Tue, 15 Dec 2020 15:14:02 +0100},
  biburl       = {https://dblp.org/rec/conf/securecomm/IvanovLY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cgf/KrugerHIMTPE19,
  author       = {Robert Kr{\"{u}}ger and
                  Qi Han and
                  Nikolay Ivanov and
                  Sanae Mahtal and
                  Dennis Thom and
                  Hanspeter Pfister and
                  Thomas Ertl},
  title        = {Bird's-Eye - Large-Scale Visual Analytics of City Dynamics using Social
                  Location Data},
  journal      = {Comput. Graph. Forum},
  volume       = {38},
  number       = {3},
  pages        = {595--607},
  year         = {2019},
  url          = {https://doi.org/10.1111/cgf.13713},
  doi          = {10.1111/CGF.13713},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cgf/KrugerHIMTPE19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/IvanovV12,
  author       = {Nikolay Ivanov and
                  Dimiter Vakarelov},
  title        = {A System of Relational Syllogistic Incorporating Full Boolean Reasoning},
  journal      = {J. Log. Lang. Inf.},
  volume       = {21},
  number       = {4},
  pages        = {433--459},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10849-012-9165-1},
  doi          = {10.1007/S10849-012-9165-1},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/IvanovV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/KuhnRSBBBBBCCDFGHIIMLLLMMPPRRRSNWSHG12,
  author       = {Simone K{\"{u}}hn and
                  Alexander Romanowski and
                  Christina Schilling and
                  Tobias Banaschewski and
                  Alexis Barbot and
                  Gareth J. Barker and
                  R{\"{u}}diger Br{\"{u}}hl and
                  Christian B{\"{u}}chel and
                  Patricia J. Conrod and
                  Katharina Czech and
                  Jeff W. Dalley and
                  Herta Flor and
                  Hugh Garavan and
                  Ines H{\"{a}}ke and
                  Bernd Ittermann and
                  Nikolay Ivanov and
                  Karl Mann and
                  Mark Lathrop and
                  Eva Loth and
                  Katharina L{\"{u}}demann and
                  Catherine Mallik and
                  Jean{-}Luc Martinot and
                  Carla Palafox and
                  Jean{-}Baptiste Poline and
                  Jan Reuter and
                  Marcella Rietschel and
                  Trevor W. Robbins and
                  Michael N. Smolka and
                  Frauke Nees and
                  Bernadeta Walaszek and
                  Gunter Schumann and
                  Andreas Heinz and
                  J{\"{u}}rgen Gallinat},
  title        = {Manual dexterity correlating with right lobule {VI} volume in right-handed
                  14-year-olds},
  journal      = {NeuroImage},
  volume       = {59},
  number       = {2},
  pages        = {1615--1621},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.neuroimage.2011.08.100},
  doi          = {10.1016/J.NEUROIMAGE.2011.08.100},
  timestamp    = {Thu, 21 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/KuhnRSBBBBBCCDFGHIIMLLLMMPPRRRSNWSHG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-4496,
  author       = {Nikolay Ivanov and
                  Dimiter Vakarelov},
  title        = {Relational Syllogistics},
  journal      = {CoRR},
  volume       = {abs/1102.4496},
  year         = {2011},
  url          = {http://arxiv.org/abs/1102.4496},
  eprinttype    = {arXiv},
  eprint       = {1102.4496},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1102-4496.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/RudolphPINBH93,
  author       = {Brian A. Rudolph and
                  William Poucher and
                  Nikolay Ivanov and
                  Sven Neirynck and
                  Raewyn Boersen and
                  C. J. Hwang},
  editor       = {Stan C. Kwasny and
                  John F. Buck},
  title        = {The Globalized Growth of the {ACM} Scholastic Programming Contest
                  (abstract)},
  booktitle    = {Proceedings of the {ACM} 21th Conference on Computer Science, {CSC}
                  '93, Indianapolis, IN, USA, February 16-18, 1993},
  pages        = {521},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/170791.171152},
  doi          = {10.1145/170791.171152},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acm/RudolphPINBH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics