publicações selecionadas
-
artigo académico
- On difunctions. Journal of Logical and Algebraic Methods in Programming. 2023
- Compiling Quantamorphisms for the IBM Q Experience. IEEE Transactions on Software Engineering. 2022
- Programming from metaphorisms. Journal of Logical and Algebraic Methods in Programming. 2018
- ``Keep definition, change category''. Journal of Logical and Algebraic Methods in Programming. 2016
- A linear algebra approach to OLAP. Formal Aspects of Computing. 2015
- A relation-algebraic approach to the "Hoare logic" of functional dependencies. Journal of Logical and Algebraic Methods in Programming. 2014
- Formal Aspects of Computing: Editorial. Formal Aspects of Computing. 2009
- Visualization of Domain-Specific Programs' Behavior. 2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis. 2009
- A relational model for confined separation logic. Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008. 2008
- Pointfree factorization of operation refinement. Computational Methods in Applied Sciences. 2006
- Type-safe two-level data transformation. Computational Methods in Applied Sciences. 2006
- From algebras to objects: Generation and composition. Journal of Universal Computer Science. 2005
- Strategic term rewriting and its application to a Vdm-sl to Sql conversion 2005
- Relational sampling for data quality auditing and decision support. ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems. 2004
- Science of Computer Programming: Preface. Computational Methods in Applied Sciences. 2002
- Reverse program calculation supported by code slicing. Reverse Engineering - Working Conference Proceedings. 2001
- The cash-point (ATM) 'problem'. Formal Aspects of Computing. 2000
- CAD tool extension for formal building description language. Advances in Engineering Software. 1998
- Software reification using the SETS calculus 1992
- Archetype-oriented user interfaces. Computers & Graphics-Uk. 1990
- GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY. 1985
-
artigo de conferência
- Quantitative relational modelling with QAlloy 2022
- Verification of railway network models with EVEREST 2022
- Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl) 2020
- Implementing a linear algebra approach to data processing. Computational Methods in Applied Sciences. 2017
- The data cube as a typed linear algebra operator 2017
- Metaphorisms in programming. Computational Methods in Applied Sciences. 2015
- Unfuzzying fuzzy parsing. OASIcs: OpenAccess Series in Informatics. 2014
- Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011
- Preparing for a literature survey of software architecture using Formal Concept Analysis 2011
- Matrices as arrows! A biproduct approach to typed linear algebra. Computational Methods in Applied Sciences. 2010
- An integrated formal methods tool-chain and its application to verifying a file system model. Computational Methods in Applied Sciences. 2009
- Applying program comprehension techniques to Karel robot programs 2009
- Extended static checking by calculation using the pointfree transform. Computational Methods in Applied Sciences. 2009
- Galois: a language for proofs using galois connections and fork algebras 2009
- Influence of domain-specific notation to program Understanding 2009
- 'Galculator' Functional prototype of a galois-connection based proof assistant 2008
- Pointfree factorization of operation refinement. Computational Methods in Applied Sciences. 2006
- Type-safe two-level data transformation. Computational Methods in Applied Sciences. 2006
- Camila Revival: VDM meets Haskell 2005
- Strategic term rewriting and its application to a VDM-SL to SQL conversion. Computational Methods in Applied Sciences. 2005
- Coinductive interpreters for process calculi. Computational Methods in Applied Sciences. 2002
- CAMILA: Prototyping and Refinement of Constructive Specifications. Computational Methods in Applied Sciences. 1997
- CAMILA: formal software engineering supported by functional programming 1997
-
artigo de revista
- A study of risk-aware program transformation. Computational Methods in Applied Sciences. 2015
- Alloy meets the algebra of programming: a case study. IEEE Transactions on Software Engineering. 2013
- Composing least-change lenses. Electronic Communications of the EASST. 2013
- Typing linear algebra: A biproduct-oriented approach. Computational Methods in Applied Sciences. 2013
- Weighted Automata as Coalgebras in Categories of Matrices. International Journal of Foundations of Computer Science. 2013
- Functions as types or the "Hoare logic" of functional dependencies 2012
- Programming from Galois connections. Computational Methods in Applied Sciences. 2012
- Towards a linear algebra of programming. Formal Aspects of Computing. 2012
- WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing. Information Services & Use. 2012
- A Single Complete Relational Rule for Coalgebraic Refinement. Electronic Notes in Theoretical Computer Science. 2009
- Transposing partial components-An exercise on coalgebraic refinement. Theoretical Computer Science. 2006
- From algebras to objects: generation and composition. Journal of Universal Computer Science. 2005
- State-based components made generic. Electronic Notes in Theoretical Computer Science. 2003
- "Bagatelle in C arranged for VDM SoLo" 2001
- Software reification using the SETS calculus 1992
- A reification calculus for model-oriented software specification. Formal Aspects of Computing. 1990
-
capítulo de livro
- Why Adjunctions Matter—A Functional Programmer Perspective 2023
- Relational Algebra for ``Just Good Enough" Hardware 2014
- Towards linear algebras of components 2012
- Typed linear algebra for weigthed (probabilistic) automata. Computational Methods in Applied Sciences. 2012
- Calculating invariants as coreflexive bisimulations. Computational Methods in Applied Sciences. 2008
- Transforming data by calculation. Computational Methods in Applied Sciences. 2008
- Transposing relations: From Maybe functions to Hash tables 2004
-
livro
- Formal Methods. FM 2019 International Workshops 2020
- Formal Methods – The Next 30 Years 2019
- Preface 2015
- Relational and Algebraic Methods in Computer Science: 15th international conference, RAMiCS 2015 Braga, Portugal, September 28 - October 1, 2015 proceedings 2015
- Preface 2000
- CAMILA: Prototyping and refinement of constructive specifications 1997
-
relatório
-
teses
- Towards an efficient OLAP engine based on linear algebra 2018
- Analysing call graphs for software architecture quality profiling 2012
- Benchmark-based software product quality evaluation 2012
- Bidirectional data transformation by calculation 2012
- From natural language requirements to formal descriptions in Alloy through boilerplates 2012
- Matrices as arrows: why categories of matrices matter 2012
- Invariant detection meets Random test case generation 2011
- pGML - estudo de um subconjunto "preciso" do GML 2.12 2004