Mikolas Janota
AuthID: R-004-VTA
81
TÃTULO: How to Complete an Interactive Configuration Process?
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
82
TÃTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv83
TÃTULO: How to Complete an Interactive Configuration Process? Configuring as Shopping
AUTORES: Janota, M; Botterweck, G; Grigore, R; Marques Silva, J;
PUBLICAÇÃO: 2010, FONTE: SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 5901
AUTORES: Janota, M; Botterweck, G; Grigore, R; Marques Silva, J;
PUBLICAÇÃO: 2010, FONTE: SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 5901
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID84
TÃTULO: Algorithms for finding dispensable variables PDF
AUTORES: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.0013
AUTORES: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.0013
INDEXADO EM: DBLP arXiv
DBLP arXiv85
TÃTULO: How to Complete an Interactive Configuration Process? PDF
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.3913
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.3913
INDEXADO EM: DBLP arXiv
DBLP arXiv86
TÃTULO: CLOPS: A DSL for command line options
AUTORES: Mikoláš Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R Kiniry;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5658 LNCS
AUTORES: Mikoláš Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R Kiniry;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5658 LNCS
INDEXADO EM: 
Scopus
Scopus NO MEU: ORCID
ORCID87
TÃTULO: CLOPS: A DSL for Command Line Options
AUTORES: Janota, M; Fairmichael, F; Holub, V; Grigore, R; Charles, J; Cochran, D; Kiniry, JR;
PUBLICAÇÃO: 2009, FONTE: DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, VOLUME: 5658
AUTORES: Janota, M; Fairmichael, F; Holub, V; Grigore, R; Charles, J; Cochran, D; Kiniry, JR;
PUBLICAÇÃO: 2009, FONTE: DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, VOLUME: 5658
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID88
TÃTULO: CLOPS: A DSL for Command Line Options
AUTORES: Mikoláš Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R Kiniry;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science - Domain-Specific Languages
AUTORES: Mikoláš Janota; Fintan Fairmichael; Viliam Holub; Radu Grigore; Julien Charles; Dermot Cochran; Joseph R Kiniry;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science - Domain-Specific Languages
89
TÃTULO: Model construction with external constraints: An interactive journey from semantics to syntax
AUTORES: Mikoláš Janota; Victoria Kuzina; Andrzej Wa̧sowski;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5301 LNCS
AUTORES: Mikoláš Janota; Victoria Kuzina; Andrzej Wa̧sowski;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5301 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID90
TÃTULO: Formal approach to integrating feature and architecture models
AUTORES: Mikoláš Janota; Goetz Botterweck;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4961 LNCS
AUTORES: Mikoláš Janota; Goetz Botterweck;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4961 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID