1. The Hadamard multiary quasigroup product
    with Raul M. Falcon and Lorenzo Mella, proceedings of the Loops '23 conference, published in Banach Center Publications 129 (2025), 85-101
  2. Moufang permutations over small abelian groups
    with Dylene Agda Souza de Barros, proceedings of the Loops '23 conference, published in Banach Center Publications 129 (2025), 67-83
  3. SAT-based techniques for lexicographically smallest finite models
    with Joao Araujo, Choiwah Chow, Mike Codish and Mikolas Janota, Proceedings of the AAAI Conference on Artificial Intelligence 38(8) (2024), 8048-8056. https://doi.org/10.1609/aaai.v38i8.28643
  4. Enumeration of involutory latin quandles, Bruck loops and commutative automorphic loops of odd prime power order
    with Izabella Stuhl, proceedings of the 4th Mile High Conference on Nonassociative Mathematics, University of Denver, July 29 - August 5, 2017, published in Nonassociative Mathematics and its Applications, Contemporary Mathematics 721 (2019), 261-276.
         > The GAP code used to enumerate Bruck loops of order 243
         > The GAP code used to enumerate (commutative) automorphic loops
         > Multiplication table of a Bruck loop whose associated Gamma loop is not automorphic
  5. Simply connected latin quandles
    with Marco Bonatto, Proceedings of Self-distributive systems and quandle (co)homology theory in algebra and low-dimensional topology, Korea Institute for Advanced Study, Busan, Korea, published in Journal of Knot Theory and its Ramifications 27, no. 11 (2018), paper no. 1843006 (32 pages).
  6. Central and medial quasigroups of small orders
    with David Stanovsky, to appear in Bulletin of the Academy of Sciences of Moldova (Belousov's 90th anniversary volume)
         > The GAP code used to enumerate small central and medial quasigroups
  7. Voronoi cells: An approach to individual-based environmental exposure estimation
    with Wan D. Bae, Shayma Alkobaisi, Wade Meyers and Sada Narayanappa, to appear in proceedings of the ACM SAC 2015.
  8. Three lectures on automorphic loops
    Proceedings of Workshops Loops '15 (Ohrid, Macedonia), published in Quasigroups and Related Systems 23 (2015), no. 1, 129-163.
  9. Loops with abelian inner mapping groups: an application of automated deduction
    with Michael Kinyon and Robert Veroff, in Automated Reasoning and Mathematics, Essays in Memory of William McCune, Lecture Notes in Artificial Intelligence 7788 (editors Maria Paola Bonacina and Mark E. Stickel), Springer 2013, pp. 151-164.
  10. The free commutative automorphic 2-generated loop of nilpotency class 3
    with Dylene Agda Souza de Barros and Alexander Grishkov, proceedings of the Loops '11 conference, Trest, June 2011, published in Commentationes Mathematicae Universitatis Carolinae 53 (2012), no. 3, 321-336
         > The Mathematica code used in the paper
  11. Overlapping latin subsquares and full products
    with Joshua Browning and Ian Wanless, proceedings of the 2nd Mile High Conference on Nonassociative Mathematics, University of Denver, June 2009, published in Commentationes Mathematicae Universitatis Carolinae 51 (June 2010), no. 2, 175-184
  12. Convex Onion Peeling Genetic Algorithm: An Efficient Solution to Map Labeling of Point-Feature
    with Wan D. Bae, Shayma Alkobaisi, Sada Narayanappa and Kye Bae, SAC '10, Proceedings of the 2010 ACM Symposium on Applied Computing, 892-899
  13. The truncated tornado in TMBB: Spatiotemporal uncertainty model for moving objects
    with Shayma Alkobaisi, Wan D. Bae, Seon H. Kim and Scott T. Leutenegger, proceedings of Database and Expert Systems Applications (DEXA) 2008, Turin, Italy, 33-40
  14. A scoop from groups: Equational foundations for loops
    with J. D. Phillips, proceedings of Loops '07, Prague, published in Comment. Math. Univ. Carolin. 49 (2008), no. 2, 279-290
  15. An interactive framework for raster data spatial joins
    with Shayma Alkobaisi, Wan D. Bae, Seon Ho Kim and Scott T. Leutenegger, Proceedings of the 15th ACM International Symposium on Advances in Geographic Information Systems, Seattle, Washington, USA 2007, 19-26
  16. Computing with small quasigroups and loops
    with G. P. Nagy, proceedings of the Workshops Loops '07, Prague, published in Quasigroups and Related Systems 15 (2007) no. 1, 77-94
  17. An improved approximation factor for the unit disk covering problem
    with S. Narayanappa, proceedings of the 18th Annual Canadian Conference on Computational Geometry (CCCG) 2006, Queen's University, Ontario, Canada, 15-18
  18. Mathematical concepts of evolution algebras in non-Mendelian genetics
    with J. P. Tian, proceedings of the Mile High Conference on Quasigroups, Loops, and Nonassociative Systems, Denver 2005, pubslihed in Quasigroups and Related Systems 14 (2006), no. 1, 111-122
  19. A class of Bol loops with a subgroup of index two
    proceedings of Loops '03, Prague, published in Comment. Math. Univ. Carolin., 45, no. 2 (2004), 371-381
  20. Combinatorial polarization, code loops, and codes of high level
    proceedings of CombinaTexas 2003, published in International Journal of Mathematics and Mathematical Sciences 29 (2004), 1533-1541
  21. Octonions, simple Moufang loops and triality
    with G. P. Nagy, proceedings of Workshops Loops '03, Prague, published in Quasigroups and Related Systems 10 (2003), 65-93
  22. Chevalley groups of type G2 as automorphism groups of loops
    proceedings of Groups St Andrews 2001 in Oxford, Volume II, published in London Mathematical Society Lecture Note Series, 305, 586-598, Cambridge University Press, 2003
  23. Combinatorial aspects of code loops
    proceedings of Loops '99, published in Comment. Math. Univ. Carolin. 41 (April 2000), no. 2, 429-435
  24. Distances of groups of prime order
    proceedings of Olomouc Workshop on General Algebra '98, published in Contributions to General Algebra 11, 225-231, Verlag Johannes Heyn, Klagenfurt, 1999