Data | Título | Autor(es) | Tipo | Acesso |
26-Out-2016 | An enhanced model for stochastic coordination | Oliveira, Nuno Ernesto Salgado; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
3-Abr-2014 | Application of ontologies in identifying requirements patterns in use cases | Couto, Rui; Ribeiro, António Nestor; Campos, J. Creissac | Artigo em ata de conferência | Acesso aberto |
2013 | Bisimilarity and refinement for hybrid(ised) logics | Madeira, Alexandre; Martins, Manuel M.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
28-Ago-2013 | A coinductive approach to proof search | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
2014 | Confluence for classical logic through the distinction between values and computations | Espírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al. | Artigo em ata de conferência | Acesso aberto |
2017 | Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web | Fayollas, Camille; Martinie, Celia; Palanque, Philippe, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | Improving the visualization of alloy instances | Couto, Rui; Campos, José C.; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
2022 | A logic for paraconsistent transition systems | Ana Cruz; Alexandre Madeira; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
21-Jun-2016 | A note on strong normalization in classical natural deduction | Espírito Santo, José | Artigo em ata de conferência | Acesso aberto |
23-Mar-2023 | Paraconsistent transition systems | Cruz, Ana; Madeira, Alexandre; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2011 | Refinement by interpretation in φ-institutions | Rodrigues, César J.; Martins, Manuel A.; Madeira, A., et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Relating sequent calculi for bi-intuitionistic propositional logic | Pinto, Luís F.; Uustalu, Tarmo | Artigo em ata de conferência | Acesso aberto |
2019 | Simulation under arbitrary temporal logic constraints | Brunel, Julien; Chemouil, David; Cunha, Alcino, et al. | Artigo em ata de conferência | Acesso aberto |
2016 | Validating an approach to formalize use cases with ontologies | Couto, Rui; Ribeiro, António Nestor; Campos, José C. | Artigo em ata de conferência | Acesso aberto |
2016 | Worlds of events: deduction with partial knowledge about causality | Haeri, Seyed Hossein; Van Roy, Peter; Baquero, Carlos, et al. | Artigo em ata de conferência | Acesso aberto |