Antonina Kolokolova

ScholarGPS® ID: 25013782684691

Affiliation

Memorial University of Newfoundland, St. John's, Canada

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Top Specialties

Logic | Artificial Intelligence | Combinatorial Optimization

Metrics Summary

Publication Count

Predicted Citations

250

Predicted h-index

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
Personalized Classifier Selection for EEG-Based BCIs (journal article) Rahimipour Anaraki, Javad \| Kolokolova, Antonina \| Chau, Tom Computers, volume 13, issue 7, pages 158- (2024). 10.3390/computers13070158 Cite \| Source
Banksformer: A Deep Generative Model for Synthetic Transaction Sequences (book chapter) In Machine Learning and Knowledge Discovery in Databases Nickerson, Kyle \| Tricco, Terrence \| Kolokolova, Antonina \| Shoeleh, Farzaneh \| Robertson, Charles \| Hawkin, John \| Hu, Ting Springer Nature Switzerland (2023) 10.1007/978-3-031-26422-1_8 Cited by (1) \| Cite \| Source
LEARN-Uniform Circuit Lower Bounds and Provability in Bounded Arithmetic (conference) Carmosino, Marco \| Kabanets, Valentine \| Kolokolova, Antonina \| Oliveira, Igor C. 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (2022) Denver, CO, USA 10.1109/FOCS52979.2021.00080 Cited by (1) \| Cite \| Source
Creating Diverse Ensembles for Classification with Genetic Programming and Neuro-MAP-Elites (book chapter) In Genetic Programming Nickerson, Kyle \| Kolokolova, Antonina \| Hu, Ting Springer International Publishing (2022) 10.1007/978-3-031-02056-8_14 Cited by (2) \| Cite \| Source
On the Hierarchical Community Structure of Practical Boolean Formulas (book chapter) In Theory and Applications of Satisfiability Testing – SAT 2021 Li, Chunxiao \| Chung, Jonathan \| Mukherjee, Soham \| Vinyals, Marc \| Fleming, Noah \| Kolokolova, Antonina \| Mu, Alice \| Ganesh, Vijay Springer International Publishing (2021) 10.1007/978-3-030-80223-3_25 Cited by (1) \| Cite \| Source
Expander construction in VNC1 (journal article) Buss, Sam \| Kabanets, Valentine \| Kolokolova, Antonina \| Koucký, Michal Annals of Pure and Applied Logic, volume 171, issue 7, pages 102796- (2020). 10.1016/j.apal.2020.102796 Cited by (4) \| Cite \| Source
Completeness for First-order Properties on Sparse Structures with Algorithmic Applications (journal article) Gao, Jiawei \| Impagliazzo, Russell \| Kolokolova, Antonina \| Williams, Ryan ACM Transactions on Algorithms, volume 15, issue 2, pages 1-35 (2019). 10.1145/3196275 Cited by (11) \| Cite \| Source
Compression Improves Image Classification Accuracy (book chapter) In Advances in Artificial Intelligence Ozah, Nnamdi \| Kolokolova, Antonina Springer International Publishing (2019) 10.1007/978-3-030-18305-9_55 Cited by (13) \| Cite \| Source
The Proof Complexity of SMT Solvers (book chapter) In Computer Aided Verification Robere, Robert \| Kolokolova, Antonina \| Ganesh, Vijay Springer International Publishing (2018) 10.1007/978-3-319-96142-2_18 Cited by (9) \| Cite \| Source \| Open Access
Expander Construction in VNC1 (conference) Buss, Sam \| Kabanets, Valentine \| Kolokolova, Antonina \| Koucky, Michal Conference on Innovations in Theoretical Computer Science (2017) 10.4230/LIPIcs.ITCS.2017.31 Cited by (2) \| Cite \| Source
Does Looking Inside a Circuit Help (conference) Impagliazzo, Russell \| Kabanets, Valentine \| Kolokolova, Antonina \| McKenzie, Pierre \| Romani, Shadab Mathematical Foundations of Computer Science (2017) 10.4230/LIPIcs.MFCS.2017.1 Cite \| Source
Agnostic Learning from Tolerant Natural Proofs. (conference) Carmosino, Marco L. \| Impagliazzo, Russell \| Kabanets, Valentine \| Kolokolova, Antonina International Workshop and International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (2017) 10.4230/LIPIcs.APPROX-RANDOM.2017.35 Cited by (2) \| Cite \| Source
Complexity Barriers as Independence (book chapter) In The Incomputable Kolokolova, Antonina Springer International Publishing (2017) 10.1007/978-3-319-43669-2_10 Cite \| Source
Completeness for First-Order Properties on Sparse Structures with Algorithmic Applications (conference) Gao, Jiawei \| Impagliazzo, Russell \| Kolokolova, Antonina \| Williams, Ryan Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (2017) 10.1137/1.9781611974782.141 Cited by (8) \| Cite \| Source \| Open Access
Learning algorithms from natural proofs (conference) Carmosino, Marco L. \| Impagliazzo, Russell \| Kabanets, Valentine \| Kolokolova, Antonina Conference on Computational Complexity (2016) 10.4230/LIPIcs.CCC.2016.10 Cited by (25) \| Cite \| Source
Complexity of alignment and decoding problems: restrictions and approximations (journal article) Fleming, Noah \| Kolokolova, Antonina \| Nizamee, Renesa Machine Translation, volume 29, issue 3-4, pages 163-187 (2015). 10.1007/s10590-015-9172-5 Cite \| Source
Mining Circuit Lower Bound Proofs for Meta-Algorithms (journal article) Chen, Ruiwen \| Kabanets, Valentine \| Kolokolova, Antonina \| Shaltiel, Ronen \| Zuckerman, David computational complexity, volume 24, issue 2, pages 333-392 (2015). 10.1007/s00037-015-0100-0 Cited by (36) \| Cite \| Source \| Open Access
Tighter Connections between Derandomization and Circuit Lower Bounds (conference) Carmosino, Marco L. \| Impagliazzo, Russell \| Kabanets, Valentine \| Kolokolova, Antonina International Workshop and International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (2015) 10.4230/LIPIcs.APPROX-RANDOM.2015.645 Cited by (4) \| Cite \| Source
Mining Circuit Lower Bound Proofs for Meta-algorithms (conference) Chen, Ruiwen \| Kabanets, Valentine \| Kolokolova, Antonina \| Shaltiel, Ronen \| Zuckerman, David 2014 IEEE Conference on Computational Complexity (CCC) (2014) Vancouver, BC, Canada 10.1109/CCC.2014.34 Cited by (19) \| Cite \| Source \| Open Access
Expressing versus Proving: Relating Forms of Complexity in Logic (journal article) Kolokolova, A. Journal of Logic and Computation, volume 22, issue 2, pages 267-280 (2012). 10.1093/logcom/exq008 Cited by (1) \| Cite \| Source