Computer Science @ University of St Andrews

University of St Andrews crest

Dr Alexander Konovalov

Dr Alexander Konovalov

Position: Research Fellow

Research profile

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

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

Phone: +44 (0)1334 46 1633

Home page: http://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 .

S-crucial and bicrucial permutations with respect to squares

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

Interfacing Coq + SSReflect with GAP

Komendantsky, V , Konovalov, A & Linton, SA 2012, ' Interfacing Coq + SSReflect with GAP ' Electronic Notes in Theoretical Computer Science , vol 285, no. 19, pp. 17-28.

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

Bovdi, V & Konovalov, A 2012, ' Integral group ring of the Mathieu simple group $M_{24}$ ' JOURNAL OF ALGEBRA AND ITS APPLICATIONS , vol 11, no. 1, 1250016.

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.

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.

The modular isomorphism problem for the groups of order 512

Eick, B & Konovalov, A 2011, ' The modular isomorphism problem for the groups of order 512 '. in Groups St. Andrews 2009 in Bath. Vol. 2. vol. 388, London Math. Soc. Lecture Note Ser., Cambridge University Press, Cambridge, pp. 375-383.

Torsion Units in Integral Group Rings of Conway Simple Groups

Bovdi, V , Konovalov, A & Linton, SA 2011, ' Torsion Units in Integral Group Rings of Conway Simple Groups ' International Journal of Algebra and Computation , vol 21, no. 4, pp. 615.