Mikoláš Janota - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	1800	1254
Índice h	24	18
Índice i10	45	35

320

160

240

200820092010201120122013201420152016201720182019202016 32 49 56 78 108 199 188 313 211 259 231 49

Coautores

Joao Marques-SilvaResearch Chair, ANITI, Université Fédérale Toulouse Midi-Pyrénées, FranceDirección de correo verificada de acm.org
Ines LynceINESC-ID / IST, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
William KlieberCarnegie MellonDirección de correo verificada de cs.cmu.edu
Goetz BotterweckSenior Research Fellow, Lero and University of LimerickDirección de correo verificada de lero.ie
Radu GrigoreLecturer, University of KentDirección de correo verificada de kent.ac.uk
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Anton BelovSynopsys Inc.Dirección de correo verificada de belov-mcdowell.com
Olaf BeyersdorffProfessor of Theoretical Computer Science, Friedrich Schiller University Jena, GermanyDirección de correo verificada de uni-jena.de
Leroy ChewResearch Fellow, University of LeedsDirección de correo verificada de leeds.ac.uk
Alexey IgnatievFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaDirección de correo verificada de inesc-id.pt
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairDirección de correo verificada de acm.org
Alessandro PrevitiEricsson ResearchDirección de correo verificada de ericsson.com
Nikolaj BjornerMicrosoft ResearchDirección de correo verificada de cs.stanford.edu
Ruben MartinsCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Miguel Terra-NevesResearch Scientist, OutSystemsDirección de correo verificada de outsystems.com
Andrzej WąsowskiProfessor, IT University of Copenhagen, DenmarkDirección de correo verificada de itu.dk
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityDirección de correo verificada de ntu.edu.tw
Valeriy BalabanovGoogleDirección de correo verificada de google.com
Florian LonsingComputer Science Department, Stanford UniversityDirección de correo verificada de cs.stanford.edu

Mikoláš Janota

Assistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of Lisbon

Dirección de correo verificada de sat.inesc-id.pt - Página principal

SAT Solving Quantified Boolean Formula Formal Methods Proof Theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Solving QBF with counterexample guided refinement M Janota, W Klieber, J Marques-Silva, E Clarke International Conference on Theory and Applications of Satisfiability …, 2012	174	2012
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	127	2013
Solving QBF with counterexample guided refinement M Janota, W Klieber, J Marques-Silva, E Clarke Artificial Intelligence 234, 1-25, 2016	80	2016
Reasoning about feature models in higher-order logic M Janota, J Kiniry 11th International Software Product Line Conference (SPLC 2007), 13-22, 2007	77	2007
Abstraction-based algorithm for 2QBF M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2011	73	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	72	2015
Solving QBF by clause selection M Janota, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	67	2015
Expansion-based QBF solving versus Q-resolution M Janota, J Marques-Silva Theoretical Computer Science 577, 25-42, 2015	63	2015
Minimal sets over monotone predicates in boolean formulae J Marques-Silva, M Janota, A Belov International Conference on Computer Aided Verification, 592-607, 2013	62	2013
Do SAT solvers make good configurators? M Janota SPLC (2), 191-195, 2008	56	2008
Formal approach to integrating feature and architecture models M Janota, G Botterweck International Conference on Fundamental Approaches to Software Engineering …, 2008	56	2008
On unification of QBF resolution-based calculi O Beyersdorff, L Chew, M Janota International Symposium on Mathematical Foundations of Computer Science, 81-93, 2014	53	2014
A design of a configurable feature model configurator G Botterweck, M Janota, D Schneeweiss	49	2009
SAT solving in interactive configuration M Janota University College Dublin, 2010	48	2010
On Computing Backbones of Propositional Theories. J Marques-Silva, M Janota, I Lynce ECAI 215, 15-20, 2010	48	2010
Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015	43	2015
On propositional QBF expansions and Q-resolution M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2013	38	2013
Model construction with external constraints: An interactive journey from semantics to syntax M Janota, V Kuzina, A Wąsowski International Conference on Model Driven Engineering Languages and Systems …, 2008	37	2008
Efficient model based diagnosis with maximum satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	31	2015
Playing with Quantified Satisfaction. N Bjørner, M Janota LPAR (short papers) 35, 15-27, 2015	30	2015

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores