Emil Sekerinski
AuthID: R-00H-6X9
1
TÃTULO: Preface
AUTORES: Sekerinski, E; Moreira, N; Oliveira, JN;
PUBLICAÇÃO: 2020, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12232 LNCS
AUTORES: Sekerinski, E; Moreira, N; Oliveira, JN;
PUBLICAÇÃO: 2020, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12232 LNCS
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Preface
AUTORES: Sekerinski, E; Moreira, N; Oliveira, JN;
PUBLICAÇÃO: 2020, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12233 LNCS
AUTORES: Sekerinski, E; Moreira, N; Oliveira, JN;
PUBLICAÇÃO: 2020, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12233 LNCS
INDEXADO EM: Scopus
Scopus3
TÃTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (1), VOLUME: 12232
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (1), VOLUME: 12232
4
TÃTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (2), VOLUME: 12233
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (2), VOLUME: 12233
5
TÃTULO: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
AUTORES: Jayadev Misra; Tobias Nipkow; Emil Sekerinski;
PUBLICAÇÃO: 2006, FONTE: FM, VOLUME: 4085
AUTORES: Jayadev Misra; Tobias Nipkow; Emil Sekerinski;
PUBLICAÇÃO: 2006, FONTE: FM, VOLUME: 4085
INDEXADO EM: 
DBLP
DBLP