Mikoláš Janota

Cited by

	All	Since 2018
Citations	2577	1262
h-index	27	19
i10-index	54	31

320

160

240

200820092010201120122013201420152016201720182019202020212022202318 33 47 54 86 107 205 196 313 218 246 234 163 223 182 212

Public access

View all

57 articles

1 article

available

not available

Based on funding mandates

Co-authors

Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID, Instituto Superior Técnico (IST), Universidade de LisboaVerified email at tecnico.ulisboa.pt
William KlieberCarnegie MellonVerified email at cs.cmu.edu
Radu GrigoreFacebookVerified email at fb.com
Goetz BotterweckAssoc. Professor in Computer Science, Trinity College Dublin and LeroVerified email at lero.ie
Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyVerified email at uni-jena.de
António MorgadoUniversity of LleidaVerified email at udl.cat
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Jelle PiepenbrockRadboud University, Czech Technical University PragueVerified email at ru.nl
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Alessandro PrevitiEricsson ResearchVerified email at ericsson.com
Federico HerasUniversitat Pompeu FabraVerified email at upf.edu
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Pedro OrvalhoINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Florian LonsingVerified email at florianlonsing.com
Martina SeidlUniv.-Prof., JKU LinzVerified email at jku.at
Josef UrbanDistinguished Researcher at Czech Technical University in PragueVerified email at cvut.cz

Mikoláš Janota

CTU Prague

Verified email at cvut.cz - Homepage

SMT Machine learning Quantifiers Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Solving QBF with counterexample guided refinement M Janota, W Klieber, J Marques-Silva, E Clarke Artificial Intelligence 234, 1-25, 2016	306	2016
On computing minimal correction subsets J Marques-Silva, F Heras, M Janota, A Previti, A Belov Twenty-Third International Joint Conference on Artificial Intelligence, 2013	198	2013
Minimal sets over monotone predicates in boolean formulae J Marques-Silva, M Janota, A Belov Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	103	2013
Solving QBF by clause selection M Janota, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	97	2015
Expansion-based QBF solving versus Q-resolution M Janota, J Marques-Silva Theoretical Computer Science 577, 25-42, 2015	87	2015
Abstraction-based algorithm for 2QBF M Janota, J Marques-Silva Theory and Applications of Satisfiability Testing-SAT 2011: 14th …, 2011	87	2011
Proof complexity of resolution-based QBF calculi O Beyersdorff, L Chew, M Janota LIPI Symposium on Theoretical Aspects of Computer Science (STACS'15) 30, 76-89, 2015	83	2015
Reasoning about feature models in higher-order logic M Janota, J Kiniry 11th International Software Product Line Conference (SPLC 2007), 13-22, 2007	82	2007
Do SAT solvers make good configurators? M Janota SPLC (2), 191-195, 2008	71	2008
Playing with Quantified Satisfaction. NS Bjørner, M Janota LPAR (short papers) 35, 15-27, 2015	68	2015
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	66	2015
On unification of QBF resolution-based calculi O Beyersdorff, L Chew, M Janota Mathematical Foundations of Computer Science 2014: 39th International …, 2014	63	2014
Formal approach to integrating feature and architecture models M Janota, G Botterweck International Conference on Fundamental Approaches to Software Engineering …, 2008	63	2008
On Computing Backbones of Propositional Theories. J Marques-Silva, M Janota, I Lynce ECAI 215, 15-20, 2010	59	2010
A Design of a Configurable Feature Model Configurator. G Botterweck, M Janota, D Schneeweiss VaMoS 29, 165-168, 2009	58	2009
SAT solving in interactive configuration M Janota University College Dublin, 2010	57	2010
Efficient Model Based Diagnosis with Maximum Satisfiability. J Marques-Silva, M Janota, A Ignatiev, A Morgado IJCAI 15, 1966-1972, 2015	54	2015
Model construction with external constraints: An interactive journey from semantics to syntax M Janota, V Kuzina, A Wąsowski Model Driven Engineering Languages and Systems: 11th International …, 2008	48	2008
On propositional QBF expansions and Q-resolution M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2013	42	2013
Towards generalization in QBF solving via machine learning M Janota Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	40	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors