Alexander Konovalov

22 papers B 1C 2Misc 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2018 J jnl
The Status of the Zassenhaus Conjecture for Small Groups.
Exp. Math.
Andreas Bächle, Allen Herman, Alexander Konovalov, Leo Margolis, Gurmail Singh
2017 J jnl
On the Gruenberg-Kegel graph of integral group rings of finite groups.
Int. J. Algebra Comput.
W. Kimmerle, Alexander Konovalov
2016 J jnl
HPC-GAP: engineering a 21st-century high-performance computer algebra system.
Concurr. Comput. Pract. Exp.
Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
2016 C conf
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
CICM
Paul-Olivier Dehaye, Mihnea Iancu, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Tom Wiesing
2016 J jnl
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
CoRR
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov, Samuel Lelièvre, Markus Pfeiffer, Nicolas M. Thiéry
2016 J jnl
Ten Simple Rules for Taking Advantage of Git and GitHub.
PLoS Comput. Biol.
Yasset Pérez-Riverol, Laurent Gatto, Rui Wang, Timo Sachsenberg, Julian Uszkoreit, Felipe da Veiga Leprevost, Christian Fufezan, Tobias Ternent, Stephen J. Eglen, Daniel S. Katz, Tom J. Pollard, Alexander Konovalov, Robert M. Flight, Kai Blin, Juan Antonio Vizcaíno
2015 J jnl
S-Crucial and Bicrucial Permutations with Respect to Squares.
J. Integer Seq.
Ian P. Gent, Sergey Kitaev, Alexander Konovalov, Steve Linton, Peter Nightingale
2014 J jnl
An Open and Reproducible Paper on Openness and Reproducibility of Papers in Computational Science.
CoRR
Sylwester Arabas, Michael R. Bareford, Ian P. Gent, Benjamin M. Gorman, Masih Hajiarabderkani, Tristan Henderson, Luke Hutton, Alexander Konovalov, Lars Kotthoff, Ciaran McCreesh, Ruma R. Paul, Karen E. Petrie, Abdul Razaq, Daniël Reijsbergen
2013 J jnl
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.
J. Symb. Comput.
Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
2011 J jnl
Torsion Units in Integral Group Rings of Conway Simple Groups.
Int. J. Algebra Comput.
V. A. Bovdi, Alexander Konovalov, Steve Linton
2011 J jnl
Torsion units in integral group rings of Janko simple groups.
Math. Comput.
V. A. Bovdi, Eric Jespers, Alexander Konovalov
2011 — conf
View of Computer Algebra Data from Coq.
Calculemus/MKM
Vladimir Komendantsky, Alexander Konovalov, Steve Linton
2010 B conf
Easy composition of symbolic computation software: a new lingua franca for symbolic computation.
ISSAC
Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond
2010 — conf
Interfacing Coq + SSReflect with GAP.
UITP
Vladimir Komendantsky, Alexander Konovalov, Steve Linton
2010 — conf
Parallel computations in modular group algebras.
PASCO
Alexander Konovalov, Steve Linton
2010 — conf
Parallelising the computational algebra system GAP.
PASCO
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
2010 — conf
Towards High-Performance Computational Algebra with GAP.
ICMS
Reimer Behrends, Alexander Konovalov, Steve Linton, Frank Lübeck, Max Neunhöffer
2008 C conf
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.
ISPA
Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold
2008 — conf
Pattern Based Composition of Web Services for Symbolic Computations.
ICCS (1)
Alexandru Cârstea, Georgiana Macariu, Dana Petcu, Alexander Konovalov
2008 — conf
Symbolic Computation Software Composability.
AISC/MKM/Calculemus
Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond
2008 J jnl
Torsion Units in Integral Group Ring of the Mathieu Simple Group
LMS J. Comput. Math.
V. A. Bovdi, Alexander Konovalov, Steve Linton
2007 Misc conf
On Service-Oriented Symbolic Computing.
PPAM
Alexandru Cârstea, Marc Frîncu, Alexander Konovalov, Georgiana Macariu, Dana Petcu