{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T22:17:39Z","timestamp":1768429059027,"version":"3.49.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031208331","type":"print"},{"value":"9783031208348","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-20834-8_9","type":"book-chapter","created":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T20:03:58Z","timestamp":1668715438000},"page":"180-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0856-9771","authenticated-orcid":false,"given":"Oleksandr","family":"Letychevskyi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6201-4569","authenticated-orcid":false,"given":"Yuliia","family":"Tarasich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1013-9877","authenticated-orcid":false,"given":"Volodymyr","family":"Peschanenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4766-9284","authenticated-orcid":false,"given":"Vladislav","family":"Volkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9622-310X","authenticated-orcid":false,"given":"Hanna","family":"Sokolova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9861-4438","authenticated-orcid":false,"given":"Maksym","family":"Poltoratskyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,18]]},"reference":[{"issue":"6","key":"9_CR1","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1021\/ed075p665","volume":"75","author":"NS Gettys","year":"1998","unstructured":"Gettys, N.S.: Challenges for chemistry in the 21st century: report on the American chemical society presidential event. J. Chem. Educ. 75(6), 665 (1998). https:\/\/doi.org\/10.1021\/ed075p665","journal-title":"J. Chem. Educ."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Manley, J.B., Anastas, P.T., Cue Jr, B.W.: Frontiers in green chemistry: meeting the grand challenges for sustainability in R&D and manufacturing. J. Cleaner Prod. 16(6), 743\u2013750 (2008)","DOI":"10.1016\/j.jclepro.2007.02.025"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.3389\/fchem.2017.00083","volume":"5","author":"TD James","year":"2017","unstructured":"James, T.D.: Specialty grand challenges in supramolecular chemistry. Front. Chem. 5, 83 (2017)","journal-title":"Front. Chem."},{"issue":"34","key":"9_CR4","doi-asserted-by":"publisher","first-page":"10629","DOI":"10.1021\/jacs.8b01302","volume":"140","author":"J Li","year":"2018","unstructured":"Li, J., Peng, Z., Wang, E.: Tackling grand challenges of the 21st century with electroanalytical chemistry. J. Am. Chem. Soc. 140(34), 10629\u201310638 (2018). https:\/\/doi.org\/10.1021\/jacs.8b01302","journal-title":"J. Am. Chem. Soc."},{"key":"9_CR5","unstructured":"Peplow, M.: Chemistry\u2019s grand challenges. https:\/\/www.chemistryworld.com\/features\/chemistrys-grand-challenges\/6500.article. Accessed 21 Jan 2022"},{"key":"9_CR6","unstructured":"The website of the Dial-a-Molecule EPSRC Grand Challenge Network. http:\/\/generic.wordpress.soton.ac.uk\/dial-a-molecule\/. Accessed 21 Jan 2022"},{"key":"9_CR7","unstructured":"https:\/\/www.ccdc.cam.ac.uk\/Community\/initiatives\/cspblindtests\/. Accessed 21 Jan 2022"},{"key":"9_CR8","unstructured":"The Cambridge Crystallographic Data Centre (CCDC). https:\/\/www.ccdc.cam.ac.uk\/. Accessed 21 Jan 2022"},{"key":"9_CR9","unstructured":"The Carbon Dioxide Utilisation Network. http:\/\/co2chem.co.uk\/. Accessed 21 Jan 2022"},{"key":"9_CR10","unstructured":"The Human Epigenome Consortium. https:\/\/www.epigenome.org\/index.php. Accessed 21 Jan 2022"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Letichevsky, A., Letychevskyi, O., Peschanenko, V., Poltorackij, M.: An algebraic approach for analyzing of legal requirements. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 209\u2013212, IEEE. (2017)","DOI":"10.1109\/REW.2017.51"},{"key":"9_CR12","unstructured":"Letychevskyi, O., Peschanenko, V., Radchenko, V., Poltoratskiy, M., Tarasich, Y.: Formalization and algebraic modeling of tokenomics projects. In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, pp. 577\u2013584 (2019)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Letychevsky, O., Peschanenko, V., Radchenko, V., Hryniuk, Y., Yakovlev, V..: Algebraic patterns of vulnerabilities in binary code. In: Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies, DESSERT 2019, 8770033, pp. 70\u201373 (2019)","DOI":"10.1109\/DESSERT.2019.8770033"},{"issue":"7","key":"9_CR14","doi-asserted-by":"publisher","first-page":"433","DOI":"10.3103\/S0146411613070213","volume":"47","author":"A Kolchin","year":"2013","unstructured":"Kolchin, A., Letichevsky, A., Peschanenko, V., Drobintsev, P., Kotlyarov, V.: An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control. Comput. Sci. 47(7), 433\u2013442 (2013). https:\/\/doi.org\/10.3103\/S0146411613070213","journal-title":"Autom. Control. Comput. Sci."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Letychevsky, O., Peschanenko, V., Radchenko, V., Orlovsky, M., Sobol A.: Algebraic approach to verification and testing of distributed application. PervasiveHealth: Pervasive Comput. Technol. Healthc. 37\u201343 (2019)","DOI":"10.1145\/3343147.3343159"},{"key":"9_CR16","unstructured":"Letychevskyi, O., Peschanenko, V., Poltoratskyi, M., Tarasich, Y.: Platform for modeling of algebraic behavior: experience and conclusions. In: Proceedings of the 16th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, vol. 2732, pp. 42\u201357 (2020)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-24912-4_1","volume-title":"SDL 2015: Model-Driven Engineering for Smart Cities","author":"A Letichevsky","year":"2015","unstructured":"Letichevsky, A., Letychevskyi, O., Peschanenko, V., Weigert, T.: Insertion modeling and symbolic verification of large systems. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds.) SDL 2015. LNCS, vol. 9369, pp. 3\u201318. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24912-4_1"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1016\/S0959-440X(96)80061-3","volume":"6","author":"T Lengauer","year":"1996","unstructured":"Lengauer, T., Rarey, M.: Computational methods for biomolecular docking. Curr. Opin. Struct. Biol. 6(3), 402\u2013406 (1996). https:\/\/doi.org\/10.1016\/S0959-440X(96)80061-3","journal-title":"Curr. Opin. Struct. Biol."},{"key":"9_CR19","volume-title":"Molecular Dynamics Simulation","author":"JM Haile","year":"1992","unstructured":"Haile, J.M.: Molecular Dynamics Simulation. John Wiley, New York (1992)"},{"key":"9_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816581","volume-title":"The Art of Molecular Dynamics Simulation","author":"DC Rapaport","year":"2004","unstructured":"Rapaport, D.C.: The Art of Molecular Dynamics Simulation. Cambridge University Press (2004). https:\/\/doi.org\/10.1017\/CBO9780511816581"},{"issue":"247","key":"9_CR21","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1080\/01621459.1949.10483310","volume":"44","author":"N Metropolis","year":"1949","unstructured":"Metropolis, N., Stanislaw, U.: The monte carlo method. J. Am. Stat. Assoc. 44(247), 335\u2013341 (1949)","journal-title":"J. Am. Stat. Assoc."},{"key":"9_CR22","doi-asserted-by":"publisher","DOI":"10.1002\/9781118631980","volume-title":"Simulation and the monte carlo method","author":"RY Rubinstein","year":"2016","unstructured":"Rubinstein, R.Y., Kroese, D.P.: Simulation and the monte carlo method. John Wiley, Hoboken, New Jersey (2016)"},{"key":"9_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-409547-2.13915-0","volume-title":"Reference Module in Chemistry, Molecular Sciences and Chemical Engineering","author":"NSV Barbosa","year":"2017","unstructured":"Barbosa, N.S.V., de Almeida Lima, E.R., Tavares, F.W.: Molecular modeling in chemical engineering. In: Reference Module in Chemistry, Molecular Sciences and Chemical Engineering. Elsevier (2017). https:\/\/doi.org\/10.1016\/B978-0-12-409547-2.13915-0"},{"key":"9_CR24","unstructured":"THE BioSPI PROJECT. http:\/\/www.wisdom.weizmann.ac.il\/~biospi\/index_main.html. Accessed 21 Jan 2022"},{"key":"9_CR25","unstructured":"Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Bioconcur 2004, ENTCS (2004)"},{"key":"9_CR26","unstructured":"Sneha ,T., Georrge, J.J.: In silico protein engineering: methods and tools. In: Proceedings of 10th National Science Symposium on Recent Trends in Science and Technology. Gujarat, India: Christ Publications, Gujara, pp. 73\u201380 (2018)"},{"issue":"17","key":"9_CR27","doi-asserted-by":"publisher","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"ML Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinf. (Oxford, England) 20(17), 3289\u20133291 (2004). https:\/\/doi.org\/10.1093\/bioinformatics\/bth378","journal-title":"Bioinf. (Oxford, England)"},{"issue":"21","key":"9_CR28","doi-asserted-by":"publisher","first-page":"3366","DOI":"10.1093\/bioinformatics\/btw469","volume":"32","author":"LA Harris","year":"2016","unstructured":"Harris, L.A., et al.: BioNetGen 2.2: advances in rule-based modeling. Bioinformatics 32(21), 3366\u20133368 (2016). https:\/\/doi.org\/10.1093\/bioinformatics\/btw469","journal-title":"Bioinformatics"},{"issue":"11","key":"9_CR29","doi-asserted-by":"publisher","first-page":"1374","DOI":"10.1080\/0284186X.2017.1343496","volume":"56","author":"B Jones","year":"2017","unstructured":"Jones, B.: Clinical radiobiology of proton therapy: modeling of RBE. Acta oncologica (Stockholm, Sweden) 56(11), 1374\u20131378 (2017). https:\/\/doi.org\/10.1080\/0284186X.2017.1343496","journal-title":"Acta oncologica (Stockholm, Sweden)"},{"issue":"3","key":"9_CR30","first-page":"357","volume":"24","author":"A Letichevsky","year":"2016","unstructured":"Letichevsky, A., Letychevskyi, O., Peschanenko, V.: Insertion modeling and its applications. Comput. Sci. J. Moldova 24(3), 357\u2013370 (2016)","journal-title":"Comput. Sci. J. Moldova"},{"key":"9_CR31","unstructured":"APS & IMS. http\/\/www.apsystem.org.ua. Accessed 21 Jan 2022"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-44616-3_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A Letichevsky","year":"2000","unstructured":"Letichevsky, A., Gilbert, D.: A model for interaction of agents and environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, pp. 311\u2013328. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-540-44616-3_18"},{"key":"9_CR33","unstructured":"Baranov, S., Jervis, C., Kotlyarov, V., Letichevsky, A., Weigert T. Leveraging: UML to deliver correct telecom applications. In: Lavagno, L., Martin, G., Selic, B., (eds.) UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Amsterdam, (2003)"},{"key":"9_CR34","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10559-005-0083-y","volume":"41","author":"A Letichevsky","year":"2005","unstructured":"Letichevsky, A., et al.: System specification with basic protocols. Cybern. Syst. Anal. 41, 479\u2013493 (2005)","journal-title":"Cybern. Syst. Anal."},{"issue":"4","key":"9_CR35","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s10559-010-9229-7","volume":"46","author":"A Letichevsky","year":"2010","unstructured":"Letichevsky, A., Godlevsky, A., Letychevsky, A., Potiyenko, S., Peschanenko, V.: Properties of a predicate transformer of the VRS system. Cybern. Syst. Anal. 46(4), 521\u2013532 (2010)","journal-title":"Cybern. Syst. Anal."},{"issue":"5","key":"9_CR36","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1016\/j.comnet.2005.05.005","volume":"49","author":"A Letichevsky","year":"2005","unstructured":"Letichevsky, A., Kapitonova, J., Letichevsky, A., Jr., Volkov, V., Baranov, S., Weigert, T.: Basic protocols, message sequence charts, and the verification of requirements specifications. Comput. Netw. 49(5), 661\u2013675 (2005)","journal-title":"Comput. Netw."},{"key":"9_CR37","unstructured":"Omega: a solver for quantifier-free problems in Presburger Arithmetic. https:\/\/coq.inria.fr\/refman\/addendum\/omega.html. Accessed 21 Jan 2022"},{"key":"9_CR38","unstructured":"CVC3. https:\/\/cs.nyu.edu\/acsys\/cvc3\/. Accessed 21 Jan 2022"},{"key":"9_CR39","unstructured":"Z3Prover. https:\/\/github.com\/Z3Prover\/z3. Accessed 21 Jan 2022"},{"key":"9_CR40","unstructured":"Mathsat. http:\/\/mathsat.fbk.eu. Accessed 21 Jan 2022"},{"key":"9_CR41","unstructured":"Richard F.W.; Bader, Atoms in Molecules. A Quantum Theory, Oxford University Press, Oxford, (1990)"},{"issue":"10","key":"9_CR42","doi-asserted-by":"publisher","first-page":"1527","DOI":"10.1007\/s12039-016-1172-3","volume":"128","author":"PSHYAMVINOD KUMAR","year":"2016","unstructured":"Kumar, P.S.V., Raghavendra, V., Subramanian, V.: Bader\u2019s theory of atoms in molecules (AIM) and its applications to chemical bonding. J. Chem. Sci. 128(10), 1527\u20131536 (2016). https:\/\/doi.org\/10.1007\/s12039-016-1172-3","journal-title":"J. Chem. Sci."},{"key":"9_CR43","doi-asserted-by":"publisher","unstructured":"Jiang, C., Jin, X, Dong, Y., Chen, M.: Kekule.js: an open source javascript chemoinformatics toolkit . J. Chem. Inf. Model. 56(6), 1132\u20131138 (2016) https:\/\/doi.org\/10.1021\/acs.jcim.6b00167","DOI":"10.1021\/acs.jcim.6b00167"},{"key":"9_CR44","unstructured":"Private Enterprise LitSoft. http:\/\/litsoft.com.ua\/ Accessed 21 Jan 2022"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20834-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T20:08:07Z","timestamp":1668715687000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20834-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031208331","9783031208348"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20834-8_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"18 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTERI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kherson","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ukraine","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icteri2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icteri.org\/icteri-2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1.6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}