Mikolas Janota
AuthID: R-004-VTA
91
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
ORCID92
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
93
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
ORCID94
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
ORCID95
TÃTULO: Formal approach to integrating feature and architecture models
AUTORES: Janota, M; Botterweek, G;
PUBLICAÇÃO: 2008, FONTE: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 4961
AUTORES: Janota, M; Botterweek, G;
PUBLICAÇÃO: 2008, FONTE: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 4961
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID96
TÃTULO: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
AUTORES: Janota, M; Kuzina, V; Wasowski, A;
PUBLICAÇÃO: 2008, FONTE: MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
AUTORES: Janota, M; Kuzina, V; Wasowski, A;
PUBLICAÇÃO: 2008, FONTE: MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID97
TÃTULO: Formal Approach to Integrating Feature and Architecture Models
AUTORES: Mikoláš Janota; Goetz Botterweck;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science - Fundamental Approaches to Software Engineering
AUTORES: Mikoláš Janota; Goetz Botterweck;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science - Fundamental Approaches to Software Engineering
98
TÃTULO: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
AUTORES: Mikoláš Janota; Victoria Kuzina; Andrzej Wąsowski;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science - Model Driven Engineering Languages and Systems
AUTORES: Mikoláš Janota; Victoria Kuzina; Andrzej Wąsowski;
PUBLICAÇÃO: 2008, FONTE: Lecture Notes in Computer Science - Model Driven Engineering Languages and Systems
99
TÃTULO: Reasoning about feature models in higher-order logic
AUTORES: Mikoláš Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: Proceedings - 11th International Software Product Line Conference, SPLC 2007
AUTORES: Mikoláš Janota; Joseph Kiniry;
PUBLICAÇÃO: 2007, FONTE: Proceedings - 11th International Software Product Line Conference, SPLC 2007
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID100
TÃTULO: Reachability analysis for annotated code
AUTORES: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLICAÇÃO: 2007, FONTE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
AUTORES: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLICAÇÃO: 2007, FONTE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
