Mikolas Janota
AuthID: R-004-VTA
91
TITLE: Model construction with external constraints: An interactive journey from semantics to syntax
AUTHORS: Mikoláš Janota; Victoria Kuzina; Andrzej Wa̧sowski;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5301 LNCS
AUTHORS: Mikoláš Janota; Victoria Kuzina; Andrzej Wa̧sowski;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5301 LNCS
INDEXED IN:
Scopus

IN MY:
ORCID

92
TITLE: Formal approach to integrating feature and architecture models
AUTHORS: Mikoláš Janota; Goetz Botterweck;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4961 LNCS
AUTHORS: Mikoláš Janota; Goetz Botterweck;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4961 LNCS
INDEXED IN:
Scopus

IN MY:
ORCID

93
TITLE: Formal approach to integrating feature and architecture models
AUTHORS: Janota, M; Botterweek, G;
PUBLISHED: 2008, SOURCE: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 4961
AUTHORS: Janota, M; Botterweek, G;
PUBLISHED: 2008, SOURCE: FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 4961
INDEXED IN:
WOS

IN MY:
ORCID

94
TITLE: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
AUTHORS: Janota, M; Kuzina, V; Wasowski, A;
PUBLISHED: 2008, SOURCE: MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
AUTHORS: Janota, M; Kuzina, V; Wasowski, A;
PUBLISHED: 2008, SOURCE: MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301
INDEXED IN:
WOS

IN MY:
ORCID

95
TITLE: Formal Approach to Integrating Feature and Architecture Models
AUTHORS: Mikoláš Janota; Goetz Botterweck;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science - Fundamental Approaches to Software Engineering
AUTHORS: Mikoláš Janota; Goetz Botterweck;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science - Fundamental Approaches to Software Engineering
96
TITLE: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
AUTHORS: Mikoláš Janota; Victoria Kuzina; Andrzej Wąsowski;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science - Model Driven Engineering Languages and Systems
AUTHORS: Mikoláš Janota; Victoria Kuzina; Andrzej Wąsowski;
PUBLISHED: 2008, SOURCE: Lecture Notes in Computer Science - Model Driven Engineering Languages and Systems
97
TITLE: Reasoning about feature models in higher-order logic
AUTHORS: Mikoláš Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: Proceedings - 11th International Software Product Line Conference, SPLC 2007
AUTHORS: Mikoláš Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: Proceedings - 11th International Software Product Line Conference, SPLC 2007
INDEXED IN:
Scopus

IN MY:
ORCID

98
TITLE: Reachability analysis for annotated code
AUTHORS: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLISHED: 2007, SOURCE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
AUTHORS: Mikoláš Janota; Radu Grigore; Michał Moskal;
PUBLISHED: 2007, SOURCE: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
99
TITLE: Reasoning about feature models in higher-order logic
AUTHORS: Janota, M; Kiniry, J;
PUBLISHED: 2007, SOURCE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
AUTHORS: Janota, M; Kiniry, J;
PUBLISHED: 2007, SOURCE: SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXED IN:
WOS

IN MY:
ORCID

100
TITLE: Reasoning about Feature Models in Higher-Order Logic
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)
AUTHORS: Mikolas Janota; Joseph Kiniry;
PUBLISHED: 2007, SOURCE: 11th International Software Product Line Conference (SPLC 2007)