Casey Meijer
AuthID: R-00H-3PV
1
TÃTULO: Symbolic Manipulation of Code Properties
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, NÚMERO: 1-3
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2018, FONTE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, NÚMERO: 1-3
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP2
TÃTULO: Implementation of Code Properties via Transducers Full Text
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2016, FONTE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2016, FONTE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705
3
TÃTULO: Symbolic Manipulation of Code Properties PDF
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1504.04715
AUTORES: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1504.04715
INDEXADO EM: DBLP 
arXiv
DBLP arXiv