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 .

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

Le Pape, S, Dimitrova, E, Hannaert, P , Konovalov, A , Volmer, R, Ron, D, Thuillier, R & Hauet, T 2014, ' Polynomial algebra reveals diverging roles of the unfolded protein response in endothelial cells during ischemia–reperfusion injury ' FEBS Letters , vol 588, no. 17, pp. 3062-3067.

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

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.