Stavros Konstantinidis
AuthID: R-006-FKP
21
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 arXiv22
TÃTULO: Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
AUTORES: Stavros Konstantinidis;
PUBLICAÇÃO: 2013, FONTE: CIAA, VOLUME: 7982
AUTORES: Stavros Konstantinidis;
PUBLICAÇÃO: 2013, FONTE: CIAA, VOLUME: 7982
INDEXADO EM: DBLP
DBLP23
TÃTULO: Implementation and Application of Automata
AUTORES: Stavros Konstantinidis;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: Stavros Konstantinidis;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef24
TÃTULO: Computing Maximal Error-detecting Capabilities and Distances of Regular Languages Full Text
AUTORES: Konstantinidis, S; Silva, PV ;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 101, NÚMERO: 4
AUTORES: Konstantinidis, S; Silva, PV ;
PUBLICAÇÃO: 2010, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 101, NÚMERO: 4
