Mikolás Janota

	2012
19		Huan Chen, Mikolás Janota, João Marques-Silva: QBf-based boolean function bi-decomposition. DATE 2012: 816-819
18		Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva: PackUp: Tools for Package Upgradability Solving. JSAT 8(1/2): 89-94 (2012)
	2011
17		Mikolás Janota, João P. Marques Silva: On Deciding MUS Membership with QBF. CP 2011: 414-428
16		Mikolás Janota, João Marques-Silva: cmMUS: A Tool for Circumscription-Based MUS Membership Testing. LPNMR 2011: 266-271
15		Mikolás Janota, João P. Marques Silva: Abstraction-Based Algorithm for 2QBF. SAT 2011: 230-244
14		Huan Chen, Mikolás Janota, João P. Marques Silva: QBF-Based Boolean Function Bi-Decomposition CoRR abs/1112.2313: (2011)
	2010
13		João Marques-Silva, Mikolás Janota, Inês Lynce: On Computing Backbones of Propositional Theories. ECAI 2010: 15-20
12		Mikolás Janota, Radu Grigore, João Marques-Silva: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. JELIA 2010: 195-207
11		Mikolás Janota, Goetz Botterweck, Radu Grigore, João P. Marques Silva: How to Complete an Interactive Configuration Process? SOFSEM 2010: 528-539
10		Mikolás Janota, João Marques-Silva, Radu Grigore: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription CoRR abs/1006.5896: (2010)
	2009
9		Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210
8		Goetz Botterweck, Mikolás Janota, Denny Schneeweiss: A Design of a Configurable Feature Model Configurator. VaMoS 2009: 165-168
7		Mikolás Janota, João Marques-Silva, Radu Grigore: Algorithms for finding dispensable variables CoRR abs/0910.0013: (2009)
6		Mikolás Janota, Goetz Botterweck, Radu Grigore, João Marques-Silva: How to Complete an Interactive Configuration Process? CoRR abs/0910.3913: (2009)
	2008
5		Mikolás Janota, Goetz Botterweck: Formal Approach to Integrating Feature and Architecture Models. FASE 2008: 31-45
4		Mikolás Janota, Victoria Kuzina, Andrzej Wasowski: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. MoDELS 2008: 431-445
3		Mikolás Janota: Do SAT Solvers Make Good Configurators? SPLC (2) 2008: 191-195
	2007
2		Mikolás Janota, Radu Grigore, Michal Moskal: Reachability analysis for annotated code. SAVCBS 2007: 23-30
1		Mikolás Janota, Joseph Kiniry: Reasoning about Feature Models in Higher-Order Logic. SPLC 2007: 13-22

Coauthor Index

1	Goetz Botterweck	[5] [6] [8] [11]
2	Julien Charles	[9]
3	Huan Chen	[14] [19]
4	Dermot Cochran	[9]
5	Fintan Fairmichael	[9]
6	Radu Grigore	[2] [6] [7] [9] [10] [11] [12]
7	Viliam Holub	[9]
8	Joseph Kiniry (Joseph R. Kiniry)	[1] [9]
9	Victoria Kuzina	[4]
10	Inês Lynce	[13] [18]
11	Vasco M. Manquinho	[18]
12	Michal Moskal	[2]
13	Denny Schneeweiss	[8]
14	João P. Marques Silva (João Marques-Silva)	[6] [7] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
15	Andrzej Wasowski	[4]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page