Ekaterina Komendantskaya
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 63
Publications (10 Years): 63
Publications
- Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya
- Parth Padalkar, Natalia Slusarz, Ekaterina Komendantskaya, Gopal Gupta
- Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
- Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
- Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
- Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya, Luca Arnaboldi, Omri Isac, Matthew L. Daggitt, Guy Katz, Verena Rieser, Oliver Lemon
- Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
- Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
- Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
- Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
- Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi
- Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
- Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
- Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
- Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
- Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones
- Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
- Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew Daggit
- Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart
- Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya
- Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke
- Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew L. Daggitt
- Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya
- Daniel Kienitz, Ekaterina Komendantskaya, Michael A. Lones
- Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
- Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
- Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
- Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz
- Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
- Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
- Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
- Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
- Pascal Bacchus, Robert J. Stewart, Ekaterina Komendantskaya
- Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones
- Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
- Henning Basold, Ekaterina Komendantskaya, Yue Li
- Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
- Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus
- Ekaterina Komendantskaya, Yue LiCoinductive Uniform Proofs. CoRR (2019)
- Ekaterina Komendantskaya, Yue Li
- Ekaterina Komendantskaya, John Power
- Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
- Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
- Henning Basold, Ekaterina Komendantskaya, Yue Li
- Peng Fu, Ekaterina Komendantskaya
- Ekaterina Komendantskaya, Jónathan Heras
- Ekaterina Komendantskaya, Yue Li
- Ekaterina Komendantskaya, Jónathan Heras
- Ekaterina Komendantskaya, Yue Li
- Ekaterina Komendantskaya, John Power
- Ekaterina Komendantskaya, Frantisek FarkaCoALP-Ty'16. CoRR (2016)
- Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
- Ekaterina Komendantskaya, John Power
- Peng Fu, Ekaterina Komendantskaya
- Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
- Ekaterina Komendantskaya, John Power
- Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
- Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
- Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
- Ekaterina Komendantskaya, John Power, Martin Schmidt
- Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya
- Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond
- Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
- Peng Fu, Ekaterina Komendantskaya
- Peng Fu, Ekaterina Komendantskaya
- Ekaterina Komendantskaya, Patricia Johann
- Patricia Johann, Ekaterina Komendantskaya, Vladimir Komendantskiy
- Peng Fu, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya
- Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
- Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
- Ekaterina Komendantskaya, John Power, Martin Schmidt
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina KomendantskayaML4PG: proof-mining in Coq CoRR (2013)
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
- Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
- Ekaterina Komendantskaya, Jónathan Heras, Gudmund Grov
- Ekaterina Komendantskaya, Kacper Lichota
- Ekaterina Komendantskaya
- Ekaterina Komendantskaya, John Power
- Ekaterina Komendantskaya, Qiming Zhang
- Ekaterina Komendantskaya
- Ekaterina Komendantskaya, John Power
- Ekaterina Komendantskaya, Guy McCusker, John Power
- Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez
- Ekaterina Komendantskaya
- Ekaterina Komendantskaya
- Ekaterina Komendantskaya, Anthony Karel Seda
- Yves Bertot, Ekaterina Komendantskaya
- Yves Bertot, Ekaterina Komendantskaya
- Yves Bertot, Ekaterina Komendantskaya
- Ekaterina Komendantskaya