Georgiana Caltais


AuthID: R-007-1T2

Publications Awaiting Confirmation

1
TITLE: A coalgebraic view on decorated traces
AUTHORS: Bonchi, F; Bonsangue, M; Caltais, G; Rutten, J; Silva, A ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 7
INDEXED IN: WOS DBLP
2
TITLE: A coalgebraic view on decorated traces
AUTHORS: BONCHI, F; BONSANGUE, M; CALTAIS, G; RUTTEN, J; SILVA, A ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 26, ISSUE: 07
INDEXED IN: CrossRef: 1
3
TITLE: Automatic equivalence proofs for non-deterministic coalgebras  Full Text
AUTHORS: Marcello Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan Rutten; Alexandra Silva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4
5
TITLE: A Decision Procedure for Bisimilarity of Generalized Regular Expressions
AUTHORS: Marcello M Bonsangue; Georgiana Caltais; Eugen Ioan Goriac; Dorel Lucanu; Jan J M M Rutten; Alexandra Silva ;
PUBLISHED: 2010, SOURCE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
INDEXED IN: DBLP CrossRef: 5

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service