Dorel Lucanu
AuthID: R-007-1T4
1
TÃTULO: Automatic equivalence proofs for non-deterministic coalgebras Full Text
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
AUTORES: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 9
2
TÃTULO: Automatic Equivalence Proofs for Non-deterministic Coalgebras PDF
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
AUTORES: Marcello M. Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J. M. M. Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.1994
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv3
TÃTULO: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTORES: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
AUTORES: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLICAÇÃO: 2010, FONTE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
