Casey Meijer
AuthID: R-00H-3PV
1
TITLE: Symbolic Manipulation of Code Properties
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2018, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 23, ISSUE: 1-3
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2
TITLE: Implementation of Code Properties via Transducers Full Text
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: 21st International Conference on Implementation and Application of Automata (CIAA) in Implementation and Application of Automata, VOLUME: 9705
3
TITLE: Symbolic Manipulation of Code Properties PDF
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.04715
AUTHORS: Stavros Konstantinidis; Casey Meijer; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.04715
INDEXED IN: DBLP 
arXiv
DBLP arXiv