Kira V. Adaricheva

39 papers A* 1C 2Misc 1Journal 32Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Kira V. Adaricheva, Jonathan T. Brockman, Gillian Z. Elston, Lawrence Hobbie, Skylar Homan, Mohamad Khalefa, Jiyun V. Kim, Rochelle K. Nelson, Sarah Samad, Oren Segal
2025 J jnl
Theor. Comput. Sci.
Kira V. Adaricheva, Lhouari Nourine, Simon Vilmin
2025 J jnl
CoRR
Skylar Homan, Anoop Krishnadas, Kira V. Adaricheva
2025 J jnl
CoRR
Kira V. Adaricheva, Simon Vilmin
2025 conf
CONCEPTS
Kira V. Adaricheva, Simon Vilmin
2024 J jnl
CoRR
Kira V. Adaricheva, Lhouari Nourine, Simon Vilmin
2022 J jnl
Graphs Comb.
Kira V. Adaricheva, Heather C. Smith Blake, Chassidy Bozeman, Nancy E. Clarke, Ruth Haas, Margaret-Ellen Messinger, Karen Seyffarth
2022 J jnl
Int. J. Algebra Comput.
Kira V. Adaricheva, Ralph Freese, James B. Nation
2021 J jnl
J. Comput. Biol.
James B. Nation, Justin Cabot-Miller, Oren Segal, Robert Lucito, Kira V. Adaricheva
2019 C conf
ICFCA
Kira V. Adaricheva, Taylor Ninesling
2019 J jnl
Discret. Math.
Kira V. Adaricheva, Madina Bolat
2018 J jnl
CoRR
Kira V. Adaricheva, Taylor Ninesling
2018 J jnl
Order
Kira V. Adaricheva, Jennifer Hyndman, Steffen Lempp, James B. Nation
2018 J jnl
CoRR
Oren Segal, Justin Cabot-Miller, Kira V. Adaricheva, James B. Nation, Anuar Sharafudinov
2017 J jnl
Theor. Comput. Sci.
Kira V. Adaricheva, James B. Nation
2017 J jnl
Theor. Comput. Sci.
Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, György Turán
2017 J jnl
Int. J. Gen. Syst.
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
2017 J jnl
Order
Kira V. Adaricheva, Maurice Pouzet
2017 J jnl
Discret. Appl. Math.
Kira V. Adaricheva
2016 J jnl
Electron. J. Comb.
Kira V. Adaricheva, James B. Nation
2015 J jnl
CoRR
Kira V. Adaricheva, James B. Nation
2015 conf
CLA
Estrella Rodríguez Lorenzo, Kira V. Adaricheva, Pablo Cordero, Manuel Enciso, Ángel Mora
2015 C conf
ICFCA
Kira V. Adaricheva, James B. Nation, Gordon Okimoto, Vyacheslav Adarichev, Adina Amanbekkyzy, Shuchismita Sarkar, Alibek Sailanbayev, Nazar Seidalin, Kenneth Alibek
2014 J jnl
Dagstuhl Reports
Kira V. Adaricheva, Giuseppe F. Italiano, Hans Kleine Büning, György Turán
2014 J jnl
Discret. Appl. Math.
Kira V. Adaricheva, James B. Nation
2014 J jnl
Eur. J. Comb.
Kira V. Adaricheva
2013 J jnl
Discret. Appl. Math.
Kira V. Adaricheva, James B. Nation, Robert Rand
2012 A* conf
KR
Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán
2012 J jnl
Int. J. Algebra Comput.
Kira V. Adaricheva, James B. Nation
2012 J jnl
Int. J. Algebra Comput.
Kira V. Adaricheva, James B. Nation
2012 Misc conf
ISAIM
Kira V. Adaricheva, James B. Nation, Robert Rand
2011 conf
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán
2011 J jnl
CoRR
Kira V. Adaricheva, James B. Nation, Robert Rand
2010 J jnl
Eur. J. Comb.
Kira V. Adaricheva, Marcel Wild
2006 J jnl
Stud Logica
Kira V. Adaricheva, Ralph McKenzie, Eric Richard Zenk, Miklós Maróti, James B. Nation
2004 J jnl
Stud Logica
M. E. Adams, Kira V. Adaricheva, Wieslaw Dziobiak, A. V. Kravchenko
2004 J jnl
Stud Logica
Kira V. Adaricheva, V. A. Gorbunov
2004 J jnl
Stud Logica
M. E. Adams, Kira V. Adaricheva, Wieslaw Dziobiak, A. V. Kravchenko
2003 J jnl
Order
Kira V. Adaricheva, Friedrich Wehrung