List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Spectral properties of <i>k</i> -uniform threshold hypergraphs Linear and Multilinear Algebra | 2026-09-30 | Paper |
| On the spectra of k-uniform threshold hypergraphs (available as arXiv preprint) | 2026-01-01 | Paper |
| scientific article; zbMATH DE number 6787684 (Why is no real title available?) | 2017-10-06 | Paper |
| Set Venn diagrams applied to inclusions and non-inclusions Journal of Logic, Language and Information | 2016-07-05 | Paper |
| Introducing polymodal neighbourhood logics Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
| Propositional dynamic logic with storing, recovering and parallel composition Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
| Reasoning with graphs Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
| A completeness result for relation algebra with binders Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
| On vague notions and modalities: a modular approach Logic Journal of the IGPL | 2010-07-26 | Paper |
| On graph reasoning Information and Computation | 2009-10-09 | Paper |
| Positive Fork Graph Calculus Logical Foundations of Computer Science | 2009-02-24 | Paper |
| A note on proofs with graphs Science of Computer Programming | 2008-11-20 | Paper |
| On a Graph Calculus for Algebras of Relations Logic, Language, Information and Computation | 2008-07-10 | Paper |
| On Positive Relational Calculi Logic Journal of the IGPL | 2008-01-18 | Paper |
| On fork arrow logic and its expressive power Journal of Philosophical Logic | 2007-10-22 | Paper |
| An Application of Logic Engineering Logic Journal of the IGPL | 2005-08-03 | Paper |
| Squares in fork arrow logic Journal of Philosophical Logic | 2003-08-28 | Paper |
Research outcomes over time
This page was built for person: Renata P. de Freitas
