Stavros Konstantinidis
AuthID: R-006-FKP
21
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
22
TITLE: Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
AUTHORS: Stavros Konstantinidis;
PUBLISHED: 2013, SOURCE: CIAA, VOLUME: 7982
AUTHORS: Stavros Konstantinidis;
PUBLISHED: 2013, SOURCE: CIAA, VOLUME: 7982
INDEXED IN: DBLP
23
TITLE: Implementation and Application of Automata
AUTHORS: Stavros Konstantinidis;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
AUTHORS: Stavros Konstantinidis;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
24
TITLE: Computing Maximal Error-detecting Capabilities and Distances of Regular Languages Full Text
AUTHORS: Konstantinidis, S; Silva, PV ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 101, ISSUE: 4
AUTHORS: Konstantinidis, S; Silva, PV ;
PUBLISHED: 2010, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 101, ISSUE: 4