Research output per year
Research output per year
Personal profile
My group
Research Group(s)
Overview
Homepage: http://www.cs.man.ac.uk/~korovink/
iProver: https://gitlab.com/korovin/iprover
email: [email protected]
Areas of expertise
- QA75 Electronic computers. Computer science
- Logic, reasoning, formal methods, combination of reasoning and machine learning
- QA76 Computer software
Research Beacons, Institutes and Platforms
- Digital Futures
Fingerprint
Dive into the research topics where Konstantin Korovin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
ESBMC v7.4: Harnessing the Power of Intervals (Competition Contribution)
Menezes, R., Aldughaim, M., Farias, B., Li, X., Manino, E., Shmarov, F., Song, K., Brauße, F., Gadelha, M. R., Tihanyi, N., Korovin, K. & Cordeiro, L., 10 Feb 2024, (Accepted/In press) 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Graph Sequence Learning for Premise Selection
Holden, E. K. & Korovin, K., 27 Aug 2024, In: Journal of Symbolic Computation. 102376.Research output: Contribution to journal › Article › peer-review
Open Access -
ALASCA: Reasoning in Quantified Linear Arithmetic
Korovin, K., Kovács, L., Reger, G., Schoisswohl, J. & Voronkov, A., 22 Apr 2023, Proceedings of the 29th on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23). Springer Cham, p. 647-665 Chapter 33. (Tools and Algorithms for the Construction and Analysis of Systems; vol. 13993).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access -
Guiding an Instantiation Prover with Graph Neural Networks
Chvalovský, K., Korovin, K., Piepenbrock, J. & Urban, J., 3 Jun 2023, Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Easy Chair, Vol. 94. p. 112-123 12 p. ( LPAR 2023 (EPiC Series in Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
LGEM+: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction
Gower, A. H., Korovin, K., Brunnsåker, D., Tiukova, I. A. & King, R. D., 8 Oct 2023, (E-pub ahead of print) 26th International Conference, 2023. Springer Cham, Vol. 14276. p. 628-643 (Discovery Science; vol. 14276).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access
-
Centre for Digital Trust and Society
Barrett, E. (PI), Allmendinger, R. (Researcher), Elliot, M. (Researcher), Lord, N. (Researcher), Cordeiro, L. (Researcher), Gibson, R. (Researcher), Papamarkou, T. (Researcher), Dresner, D. (Researcher), Buil-Gil, D. (Researcher), Aldridge, J. (Researcher), Duncan, P. (Researcher), Banach, R. (Researcher), Brown, G. (Researcher), Dennis, L. (Researcher), Fisher, M. (Researcher), Korovin, K. (Researcher), Kotselidis, C.-E. (Researcher), Luján, M. (Researcher), Mustafa, M. (Researcher), Olivier, P. (Researcher), Reger, G. (Researcher), Zhang, N. (Researcher), Hodgkinson, G. (Researcher), Gulati, S. (Researcher), Ainsworth, J. (Researcher), Chen, Y.-W. (Researcher), Green, B. (Researcher), Healey, M. (Researcher), Uyarra, E. (Researcher), Zachariadis, M. (Researcher), Little, C. (Researcher), Mackey, E. (Researcher), Nenadic, G. (Researcher), Keane, J. (Researcher), Shlomo, N. (Researcher), Laskowski, N. (Researcher), Jarwar, M. A. (Researcher), Shariati Samani, S. (Researcher), Smith, D. (Researcher), Kambites, M. (Researcher), Thorpe, M. (Researcher), Rowley, P. (Researcher), Flynn, S. (Researcher), Turner, P. (Researcher), Wainwright, V. (Researcher), Czerwinsky, A. (PGR student), Nini, A. (Researcher), Broad, R. (Researcher), Shute, J. (Researcher), Deakin, J. (Researcher), Taboada, P. (PGR student), Knight, P. (Researcher), Hutchings, S. (Researcher), Whyte, J. (Researcher), Tolz-Zilitinkevic, V. (Researcher), Pilkington, H. (Researcher), Guharoy, S. (Researcher), Nicolo, A. (Researcher), Reggiani, C. (Researcher), Garcia Oliva, J. (Researcher), Van Someren, A. (Researcher), Bon, E. (Researcher), Cantijoch Cunill, M. (Researcher), Koch, D. (Researcher) & Chen, Y.-W. (Researcher)
11/05/21 → …
Project: Other
-
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research
Datasets
-
Supplementary material from "Computing exponentially faster: implementing a non-deterministic universal Turing machine using DNA"
Currin, A. (Contributor), Korovin, K. (Contributor), Ababi, M. (Contributor), Roper, K. (Contributor), Kell, D. (Contributor), Day, P. (Contributor) & King, R. (Contributor), figshare , 15 Feb 2017
DOI: 10.6084/m9.figshare.c.3691882.v1, https://figshare.com/collections/Supplementary_material_from_Computing_exponentially_faster_implementing_a_non-deterministic_universal_Turing_machine_using_DNA_/3691882/1
Dataset