Oliveira, José Nuno Fonseca

artigo académico

Introduction to the Special Collection from FACS 2022. Formal Aspects of Computing. 2025
How much is in a square? Calculating functional programs with squares. Journal of Functional Programming. 2025
On difunctions. Journal of Logical and Algebraic Methods in Programming. 2023
Compiling Quantamorphisms for the IBM Q Experience. IEEE Transactions on Software Engineering. 2022
A tribute to José Manuel Valença. Journal of Logical and Algebraic Methods in Programming. 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 study of risk-aware program transformation. International Journal on Software Tools for Technology Transfer. 2015
A relation-algebraic approach to the "Hoare logic" of functional dependencies. Journal of Logical and Algebraic Methods in Programming. 2014
Composing least-change lenses. Electronic Communications of the EASST. 2013
Alloy meets the algebra of programming: a case study. IEEE Transactions on Software Engineering. 2013
Typing linear algebra: A biproduct-oriented approach. International Journal on Software Tools for Technology Transfer. 2013
Weighted Automata as Coalgebras in Categories of Matrices. Int. Journal of Found. of Comp. Science. 2013
Programming from Galois connections. International Journal on Software Tools for Technology Transfer. 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
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
Transposing partial components-An exercise on coalgebraic refinement. Theoretical Computer Science. 2006
Type-safe two-level data transformation. International Journal on Software Tools for Technology Transfer. 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
State-based components made generic. Electronic Notes in Theoretical Computer Science. 2003
Science of Computer Programming: Preface. International Journal on Software Tools for Technology Transfer. 2002
"Bagatelle in C arranged for VDM SoLo" 2001
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
A reification calculus for model-oriented software specification. Formal Aspects of Computing. 1990
Archetype-oriented user interfaces. Computers & Graphics-Uk. 1990
GRAPHICS PROGRAMMING WITH 'ARCHETYPES' - A PRELIMINARY STUDY. 1985

Oliveira, José Nuno Fonseca

posições

Publicações

publicações selecionadas

artigo académico

artigo de conferência

capítulo de livro

documento

livro

teses

Pesquisas

investigador principal

outras atividades de investigação

Fundo

prémios e distinções

Contato

nome completo