Edit Profile (opens in new tab) Ricci, Nicolás Co-Author Distance Author ID: ricci.nicolas Published as: Ricci, Nicolás Documents Indexed: 1 Publication since 2012 Co-Authors: 3 Co-Authors with 1 Joint Publication 47 Co-Co-Authors Co-Authors 0 single-authored 1 Aguirre, Nazareno M. 1 Maibaum, Thomas Stephen Edward 1 Regis, Germán Serials Fields 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Specifying and verifying declarative fluent temporal logic properties of workflows. Zbl 1372.68176 Regis, Germán; Ricci, Nicolás; Aguirre, Nazareno M.; Maibaum, Tom 1 2012 Specifying and verifying declarative fluent temporal logic properties of workflows. Zbl 1372.68176 Regis, Germán; Ricci, Nicolás; Aguirre, Nazareno M.; Maibaum, Tom 1 2012 Cited by 1 Author 1 Klimek, Radosław Cited in 1 Serial 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Citations by Year