???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Michael Kinyon Kinyon

Nomes de citação

  • Kinyon, Michael

Identificadores de autor

Ciência ID
2A10-E0DD-5A23
ORCID iD
0000-0002-5227-8632

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
1991
Concluído
 N/A (Doctor of Philosophy)
The University of Utah Department of Mathematics, Estados Unidos
"The Adjoint Problem for Coupled Linear Operators" (TESE/DISSERTAÇÃO)
 A
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2015 - Atual Professor Catedrático Convidado (Docente Universitário) Universidade Aberta, Portugal
2006/09/01 - Atual Professor Catedrático (Docente Universitário) University of Denver Division of Natural Sciences and Mathematics, Estados Unidos
Projetos

Bolsa

Designação Financiadores
2015/09 - 2020/08 Moufang semiloops
359872
 Simons Foundation
Produções

Publicações

Artigo em conferência
  1. Bloch, Anthony; Drakunov, Sergey; Kinyon, Michael. "Nonholonomic stabilization and isospectral flows". 1998.
  2. Bloch, Anthony; Drakunov, Sergey; Kinyon, Michael. "Stabilization of Brockett's generalized canonical driftless system". 1997.
Artigo em revista
  1. Marco Bonatto; Michael Kinyon; David Stanovský; Petr Vojtechovský. "Involutive latin solutions of the Yang-Baxter equation". Journal of Algebra (2021): https://doi.org/10.1016/j.jalgebra.2020.09.001.
    10.1016/j.jalgebra.2020.09.001
  2. Michael Kinyon. "Proof simplification and automated theorem proving". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 377 2140 (2019): 20180034-20180034. https://doi.org/10.1098/rsta.2018.0034.
    10.1098/rsta.2018.0034
  3. Kinyon, Michael. "Four notions of conjugacy for abstract semigroups". Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2017):
    10.1017/S0308210517000099
  4. Kinyon, Michael. "Bol loops and Bruck loops of order pq". (2017):
    10.1016/j.jalgebra.2016.11.023
  5. Kinyon, Michael. "Sylow theory for quasigroups II". Journal of Combinatorial Designs (2016):
    10.1002/jcd.21535
  6. Kinyon, Michael. "The structure of automorphic loops". Transactions of the American Mathematical Society (2016):
    10.1090/tran/6622
  7. Kinyon, Michael. "Half-isomorphisms of Moufang loops". Journal of Algebra (2016):
    10.1016/j.jalgebra.2015.10.022
  8. Kinyon, Michael. "Loops with exponent 3 in all isotopes". International Journal of Algebra and Computation (2015):
    10.1142/S0218196715500356
  9. Kinyon, Michael. "Distributivity in skew lattices". Semigroup Forum (2015):
    10.1007/s00233-015-9722-4
  10. Kinyon, Michael. "Buchsteiner loops: associators and constructions". Journal of Algebra and its Applications (2015):
    10.1142/S0219498815500504
  11. Kinyon, Michael. "Solvability of commutative automorphic loops". Proceedings of the American Mathematical Society (2014):
    10.1090/S0002-9939-2014-12053-3
  12. Araújo, J.P.; Kinyon, M.. "A natural characterization of semilattices of rectangular bands and groups of exponent two". Semigroup Forum (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84908286460&partnerID=MN8TOARS.
    10.1007/s00233-014-9644-6
  13. Araújo, J.; Kinyon, M.. "Inverse semigroups with idempotent-fixing automorphisms". Semigroup Forum 89 2 (2014): 469-474. http://www.scopus.com/inward/record.url?eid=2-s2.0-84908114286&partnerID=MN8TOARS.
    10.1007/s00233-014-9585-0
  14. Felipe-Sosa, R.; Felipe, R.; Sánchez-Ortega, J.; Bremner, M.R.; Kinyon, M.K.. "The Cayley-Dickson process for dialgebras". Linear and Multilinear Algebra 62 6 (2014): 811-830. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899570393&partnerID=MN8TOARS.
    10.1080/03081087.2013.791817
  15. Araújo, J.; Kinyon, M.; Malheiro, A.. "A characterization of adequate semigroups by forbidden subsemigroups". Proceedings of the Royal Society of Edinburgh Section A: Mathematics 143 6 (2013): 1115-1122. http://www.scopus.com/inward/record.url?eid=2-s2.0-84896983967&partnerID=MN8TOARS.
    10.1017/S030821051100182X
  16. Kinyon, M.; Leech, J.. "Categorical Skew Lattices". Order 30 3 (2013): 763-777. http://www.scopus.com/inward/record.url?eid=2-s2.0-84885660518&partnerID=MN8TOARS.
    10.1007/s11083-012-9275-z
  17. Kinyon, M.; Pula, K.; Vojtechovský, P.. "Incidence properties of cosets in loops". Journal of Combinatorial Designs 20 3 (2012): 179-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-84859738167&partnerID=MN8TOARS.
    10.1002/jcd.20308
  18. Araújo, J.; Kinyon, M.. "Axioms for Unary Semigroups via Division Operations". Communications in Algebra 40 2 (2012): 719-737. http://www.scopus.com/inward/record.url?eid=2-s2.0-84858131633&partnerID=MN8TOARS.
    10.1080/00927872.2010.536604
  19. Chein, O.; Goodaire, E.G.; Kinyon, M.. "When is a bol loop moufang?". Algebra Colloquium 19 SPL. ISS. (2012): 927-946. http://www.scopus.com/inward/record.url?eid=2-s2.0-84868551882&partnerID=MN8TOARS.
  20. Araújo, J.; Kinyon, M.. "On a problem of M. Kambites regarding abundant semigroups". Communications in Algebra 40 12 (2012): 4439-4447. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874299387&partnerID=MN8TOARS.
    10.1080/00927872.2011.610072
  21. Greer, M.; Kinyon, M.. "Pseudoautomorphisms of Bruck loops and their generalizations". Commentationes Mathematicae Universitatis Carolinae 53 3 (2012): 383-389. http://www.scopus.com/inward/record.url?eid=2-s2.0-84872783046&partnerID=MN8TOARS.
  22. Jedlicka, P.; Kinyon, M.; Vojtechovský, P.. "Nilpotency in automorphic loops of prime power order". Journal of Algebra 350 1 (2012): 64-76. http://www.scopus.com/inward/record.url?eid=2-s2.0-82255192011&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2011.09.034
  23. Araújo, J.; Kinyon, M.; Konieczny, J.. "Minimal paths in the commuting graphs of semigroups". European Journal of Combinatorics 32 2 (2011): 178-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-78049499562&partnerID=MN8TOARS.
    10.1016/j.ejc.2010.09.004
  24. Jedliçka, P.; Kinyon, M.C.; Vojtechovsk'Y, P.. "The structure of commutative automorphic loops". Transactions of the American Mathematical Society 363 1 (2011): 365-384. http://www.scopus.com/inward/record.url?eid=2-s2.0-78651319339&partnerID=MN8TOARS.
    10.1090/S0002-9947-2010-05088-3
  25. Araújo, J.; Kinyon, M.. "An elegant 3-basis for inverse semigroups". Semigroup Forum 82 2 (2011): 319-323. http://www.scopus.com/inward/record.url?eid=2-s2.0-79953082429&partnerID=MN8TOARS.
    10.1007/s00233-010-9280-8
  26. Cvetko-Vah, K.; Kinyon, M.; Leech, J.; Spinks, M.. "Cancellation in Skew Lattices". Order 28 1 (2011): 9-32. http://www.scopus.com/inward/record.url?eid=2-s2.0-79952101658&partnerID=MN8TOARS.
    10.1007/s11083-010-9151-7
  27. Araújo, J.; Kinyon, M.. "Independent axiom systems for nearlattices". Czechoslovak Mathematical Journal 61 4 (2011): 975-992. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856359091&partnerID=MN8TOARS.
    10.1007/s10587-011-0062-6
  28. Kinyon, M.. "Ken Kunen: Algebraist". Topology and its Applications 158 18 (2011): 2468-2472. http://www.scopus.com/inward/record.url?eid=2-s2.0-80054848215&partnerID=MN8TOARS.
    10.1016/j.topol.2011.08.009
  29. Kinyon, M.K.; Krapex¿, A.; Phillips, J.D.. "Right product quasigroups and loops". Quasigroups and Related Systems 19 2 (2011): 239-264. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861369315&partnerID=MN8TOARS.
  30. Foguel, T.; Kinyon, M.. "Uniquely 2-divisible bol loops". Journal of Algebra and its Applications 9 4 (2010): 591-601. http://www.scopus.com/inward/record.url?eid=2-s2.0-77956469495&partnerID=MN8TOARS.
    10.1142/S0219498810004129
  31. Bertram, W.; Kinyon, M.. "Associative geometries. I: Torsors, linear relations and Grassmannians". Journal of Lie Theory 20 2 (2010): 215-252. http://www.scopus.com/inward/record.url?eid=2-s2.0-78249250894&partnerID=MN8TOARS.
  32. Bertram, W.; Kinyon, M.. "Associative Geometries. II: Involutions, the classical torsors, and their homotopes". Journal of Lie Theory 20 2 (2010): 253-282. http://www.scopus.com/inward/record.url?eid=2-s2.0-78249270125&partnerID=MN8TOARS.
  33. Jedlicka, P.; Kinyon, M.K.; Vojtechovský, P.. "Constructions of commutative automorphic loops". Communications in Algebra 38 9 (2010): 3243-3267. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957747108&partnerID=MN8TOARS.
    10.1080/00927870903200877
  34. Kinyon, M.K.; Pula, K.; Vojtechovský, P.. "XAdmissible orders of Jordan loops". Journal of Combinatorial Designs 17 2 (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-84890572468&partnerID=MN8TOARS.
    10.1002/jcd.20186
  35. CsÖrg, P.; DrÁpal, A.; Kinyon, M.K.. "Buchsteiner loops". International Journal of Algebra and Computation 19 8 (2009): 1049-1088. http://www.scopus.com/inward/record.url?eid=2-s2.0-77149121097&partnerID=MN8TOARS.
    10.1142/S0218196709005482
  36. Kinyon, M.K.; Vojtechovský, P.. "Primary decompositions in varieties of commutative diassociative loops". Communications in Algebra 37 4 (2009): 1428-1444. http://www.scopus.com/inward/record.url?eid=2-s2.0-69249175093&partnerID=MN8TOARS.
    10.1080/00927870802278917
  37. Kinyon, M.K.; Phillips, J.D.; Vojtechovskýy, P.. "When is the commutant of a bol loop a subloop?". Transactions of the American Mathematical Society 360 5 (2008): 2393-2408. http://www.scopus.com/inward/record.url?eid=2-s2.0-67149085137&partnerID=MN8TOARS.
    10.1090/S0002-9947-07-04391-7
  38. Kepka, T.; Kinyon, M.K.; Phillips, J.D.. "The structure of F-quasigroups". Journal of Algebra 317 2 (2007): 435-461. http://www.scopus.com/inward/record.url?eid=2-s2.0-35348964156&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2007.05.007
  39. Kinyon, M.K.. "Leibniz algebras, Lie racks, and digroups". Journal of Lie Theory 17 1 (2007): 99-114. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846466032&partnerID=MN8TOARS.
  40. Aschbacher, M.; Kinyon, M.K.; Phillips, J.D.. "Finite bruck loops". Transactions of the American Mathematical Society 358 7 (2006): 3061-3075. http://www.scopus.com/inward/record.url?eid=2-s2.0-33746167339&partnerID=MN8TOARS.
  41. Foguel, T.; Kinyon, M.K.; Phillips, J.D.. "On twisted subgroups and Bol loops of odd order". Rocky Mountain Journal of Mathematics 36 1 (2006): 183-212. http://www.scopus.com/inward/record.url?eid=2-s2.0-33745669916&partnerID=MN8TOARS.
    10.1216/rmjm/1181069494
  42. Kinyon, M.K.; Kunen, K.. "Power-associative, conjugacy closed loops". Journal of Algebra 304 2 (2006): 679-711. http://www.scopus.com/inward/record.url?eid=2-s2.0-33748055805&partnerID=MN8TOARS.
    10.1016/j.jalgebra.2006.01.034
  43. Kinyon, M.K.; Phillips, J.D.. "Rectangular quasigroups and rectangular loops". Computers and Mathematics with Applications 49 11-12 (2005): 1679-1685. http://www.scopus.com/inward/record.url?eid=2-s2.0-27544457725&partnerID=MN8TOARS.
    10.1016/j.camwa.2005.01.018
  44. Kinyon, M.K.; Phillips, J.D.. "Commutants of Bol loops of odd order". Proceedings of the American Mathematical Society 132 3 (2004): 617-619. http://www.scopus.com/inward/record.url?eid=2-s2.0-1442278240&partnerID=MN8TOARS.
  45. Kinyon, M.K.; Kunen, K.; Phillips, J.D.. "Diassociativity in conjugacy closed loops". Communications in Algebra 32 2 (2004): 767-786. http://www.scopus.com/inward/record.url?eid=2-s2.0-22544435530&partnerID=MN8TOARS.
    10.1081/AGB-120027928
  46. Kinyon, M.K.; Kunen, K.; Phillips, J.D.. "Every diassociative A-loop is Moufang". Proceedings of the American Mathematical Society 130 3 (2002): 619-624. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035994161&partnerID=MN8TOARS.
    10.1090/S0002-9939-01-06090-7
  47. Kinyon, M.K.; Kunen, K.; Phillips, J.D.. "A generalization of Moufang and Steiner loops". Algebra Universalis 48 1 (2002): 81-101. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036435184&partnerID=MN8TOARS.
    10.1007/s00012-002-8205-0
  48. Kinyon, M.K.; Sagle, A.A.. "Nahm algebras". Journal of Algebra 247 2 (2002): 269-294. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037081588&partnerID=MN8TOARS.
    10.1006/jabr.2001.9008
  49. Kinyon, M.K.; Weinstein, A.. "Leibniz algebras, Courant algebroids, and multiplications on reductive homogeneous spaces". American Journal of Mathematics 123 3 (2001): 525-550. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035374081&partnerID=MN8TOARS.
  50. Alvis, D.; Kinyon, M.. "Birkhoff's Theorem for Panstochastic Matrices". American Mathematical Monthly 108 1 (2001): 28-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035589490&partnerID=MN8TOARS.
  51. Bloch, A.M.; Drakunov, S.V.; Kinyon, M.K.. "Stabilization of nonholonomic systems using isospectral flows". SIAM Journal on Control and Optimization 38 3 (2000): 855-874. http://www.scopus.com/inward/record.url?eid=2-s2.0-0000615033&partnerID=MN8TOARS.
  52. Kinyon, M.K.; Jones, O.. "Loops and Semidirect products". Communications in Algebra 28 9 (2000): 4137-4164. http://www.scopus.com/inward/record.url?eid=2-s2.0-0034337010&partnerID=MN8TOARS.
  53. Hopkins, N.C.; Kinyon, M.K.. "Quadratic differential equations in Z2- graded algebras". Transactions of the American Mathematical Society 351 11 (1999): 4545-4559. http://www.scopus.com/inward/record.url?eid=2-s2.0-22844453548&partnerID=MN8TOARS.
  54. Kinyon, M.K.; Walcher, S.. "On ordinary differential equations admitting a finite linear group of symmetries". Journal of Mathematical Analysis and Applications 216 1 (1997): 180-196. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031284333&partnerID=MN8TOARS.
    10.1006/jmaa.1997.5668
  55. Kinyon, M.K.; Sagle, A.A.. "Quadratic Dynamical Systems and Algebras". Journal of Differential Equations 117 1 (1995): 67-126. http://www.scopus.com/inward/record.url?eid=2-s2.0-0002041001&partnerID=MN8TOARS.
    10.1006/jdeq.1995.1049
  56. Coles, W.J.; Kinyon, M.K.. "Summability methods for oscillation of linear second-order matrix differential equations". Rocky Mountain Journal of Mathematics 24 1 (1993): 19-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881190386&partnerID=MN8TOARS.
    10.1216/rmjm/1181072450
  57. Kinyon, M.K.; Sagle, A.A.. "Automorphisms and derivations of differential equations and algebras". Rocky Mountain Journal of Mathematics 24 1 (1993): 135-154. http://www.scopus.com/inward/record.url?eid=2-s2.0-0008338904&partnerID=MN8TOARS.
    10.1216/rmjm/1181072457
  58. Kinyon, M.K.. "The Adjoint Problem for Coupled Linear Operators". Results in Mathematics 18 1 (1990): 60-73. http://www.scopus.com/inward/record.url?eid=2-s2.0-84951636907&partnerID=MN8TOARS.
    10.1007/BF03323155
  59. Neff Bryan, R.; Kinyon, M.K.; Tucker, D.H.. "Coupled linear operators". Results in Mathematics 15 1 (1989): 1-14. http://www.scopus.com/inward/record.url?eid=2-s2.0-3943094737&partnerID=MN8TOARS.
    10.1007/BF03322443
Capítulo de livro
  1. Kinyon, Michael. "Torsors and ternary Moufang loops arising in projective geometry". 2014.
    10.1007/978-3-642-55361-5_20
Livro
  1. Kinyon, M.; Veroff, R.; Vojtechovský, P.. Loops with Abelian inner mapping groups: An application of automated deduction. 2013.
    10.1007/978-3-642-36675-8-8