Computer Science @ University of St Andrews

University of St Andrews crest

Dr Alexander Konovalov

Dr Alexander Konovalov

Position: Research Fellow

Research profile

Email (@st-andrews.ac.uk): alexander.konovalov

Office: JC1.02 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 1633

Home page: https://alexk.host.cs.st-andrews.ac.uk

Recent Publications

Case Studies and Challenges in Reproducibility in the Computational Sciences

Arabas, S, Bareford, MR, Gent, IP, Gorman, BM, Hajiarabderkani, M, Henderson, T, Hutton, L, Konovalov, A, Kotthoff, L, McCreesh, C, Paul, RR, Petrie, KEJ, Razaq, A, Reijsbergen, D & Takeda, K Case Studies and Challenges in Reproducibility in the Computational Sciences.

Polynomial algebra reveals diverging roles of the unfolded protein response in endothelial cells during ischemia–reperfusion injury

S-crucial and bicrucial permutations with respect to squares

Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

UPCGAP: A UPC package for the GAP system

Johnson, N, Konovalov, A, Janjic, V & Linton, SA 2013, 'UPCGAP: A UPC package for the GAP system' Paper presented at 7th International Conference on PGAS Programming Models, Edinburgh, United Kingdom, 3/10/13 - 4/10/13, pp. 217-221.

Interfacing Coq + SSReflect with GAP

Integral group ring of the Mathieu simple group $M_{24}$

Parallel programming support in GAP

HPC-GAP project 2012, 'Parallel programming support in GAP'. in ACM Communications in Computer Algebra. vol. 46, ACM Communications in Computer Algebra, ACM, pp. 162-163, International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble, France, 22-25 July., 10.1145/2429135.2429172

On the Prime Graph of the Unit Group of Integral Group Rings of Finite Groups II

Kimmerle, W & Konovalov, A 2012 'On the Prime Graph of the Unit Group of Integral Group Rings of Finite Groups II' Stuttgarter Mathematische Berichte, no. 2012-018.

View of Computer Algebra Data from Coq

Komendantsky, V, Konovalov, A & Linton, S 2011, 'View of Computer Algebra Data from Coq' Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, 18/07/11 - 23/07/11, pp. 74-89.