Maurice H. Ter Beek
AuthID: R-00G-ZT0
1
TÃTULO: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
AUTORES: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000
2
TÃTULO: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023
AUTORES: Maurice H ter Beek; Clemens Dubslaff;
PUBLICAÇÃO: 2023, FONTE: TiCSA@ETAPS, VOLUME: 392
AUTORES: Maurice H ter Beek; Clemens Dubslaff;
PUBLICAÇÃO: 2023, FONTE: TiCSA@ETAPS, VOLUME: 392
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
AUTORES: Maurice H ter Beek; Rosemary Monahan;
PUBLICAÇÃO: 2022, FONTE: IFM, VOLUME: 13274
AUTORES: Maurice H ter Beek; Rosemary Monahan;
PUBLICAÇÃO: 2022, FONTE: IFM, VOLUME: 13274
INDEXADO EM: DBLP
DBLP4
TÃTULO: Featured Team Automata
AUTORES: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2021, FONTE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
AUTORES: Maurice H ter Beek; Guillermina Cledou ; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2021, FONTE: Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, VOLUME: 13047
5
TÃTULO: Featured Team Automata
AUTORES: ter Beek, MH; Cledou, G; Hennicker, R; Proenca, J;
PUBLICAÇÃO: 2021, FONTE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
AUTORES: ter Beek, MH; Cledou, G; Hennicker, R; Proenca, J;
PUBLICAÇÃO: 2021, FONTE: 24th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2021, VOLUME: 13047
INDEXADO EM: 
Scopus 
WOS
Scopus WOS6
TÃTULO: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira;
PUBLICAÇÃO: 2019, FONTE: FM, VOLUME: 11800
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira;
PUBLICAÇÃO: 2019, FONTE: FM, VOLUME: 11800
INDEXADO EM: DBLP
DBLP7
TÃTULO: Formal Methods – The Next 30 Years. Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science
8
TÃTULO: Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
AUTORES: Maurice ter t Beek; Niels Lohmann;
PUBLICAÇÃO: 2013, FONTE: WS-FM, VOLUME: 7843
AUTORES: Maurice ter t Beek; Niels Lohmann;
PUBLICAÇÃO: 2013, FONTE: WS-FM, VOLUME: 7843
INDEXADO EM: DBLP
DBLP