José Nuno Oliveira
According to our database^{1}, José Nuno Oliveira
authored at least 51 papers
between 1983 and 2018.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org

at dl.acm.org
On csauthors.net:
Bibliography
2018
Programming from metaphorisms.
J. Log. Algebr. Meth. Program., 2018
2017
Programming from Metaphorisms.
CoRR, 2017
The data cube as a typed linear algebra operator.
Proceedings of The 16th International Symposium on Database Programming Languages, 2017
2016
"Keep definition, change category"  A practical approach to statebased system calculi.
J. Log. Algebr. Meth. Program., 2016
2015
A study of riskaware program transformation.
Sci. Comput. Program., 2015
A linear algebra approach to OLAP.
Formal Asp. Comput., 2015
Implementing a Linear Algebra Approach to Data Processing.
Proceedings of the Grand Timely Topics in Software Engineering, 2015
Metaphorisms in Programming.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
2014
A relationalgebraic approach to the "Hoare logic" of functional dependencies.
J. Log. Algebr. Meth. Program., 2014
Preparing Relational Algebra for "Just Good Enough" Hardware.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Alloy Meets the Algebra of Programming: A Case Study.
IEEE Trans. Software Eng., 2013
Typing linear algebra: A biproductoriented approach.
Sci. Comput. Program., 2013
Weighted Automata as Coalgebras in Categories of Matrices.
Int. J. Found. Comput. Sci., 2013
Composing Leastchange Lenses.
ECEASST, 2013
Calculating risk in functional programming.
CoRR, 2013
Typing linear algebra: A biproductoriented approach.
CoRR, 2013
2012
Programming from Galois connections.
J. Log. Algebr. Program., 2012
Towards a linear algebra of programming.
Formal Asp. Comput., 2012
Typed Linear Algebra for Weigthed (Probabilistic) Automata.
Proceedings of the Implementation and Application of Automata, 2012
WIKI: : SCORE  A Collaborative Environment For Music Transcription And Publishing.
Proceedings of the Social Shaping of Digital Publishing: Exploring the interplay between Culture and Technology, 2012
2011
WIKI: : SCORE A collaborative environment for music transcription and publishing.
Inf. Services and Use, 2011
Logic Training through Algorithmic Problem Solving.
Proceedings of the Tools for Teaching Logic  Third International Congress, 2011
Programming from Galois Connections.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
Matrices as Arrows!
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Towards Linear Algebras of Components.
Proceedings of the Formal Aspects of Component Software  7th International Workshop, 2010
2009
Editorial.
Formal Asp. Comput., 2009
A Single Complete Relational Rule for Coalgebraic Refinement.
Electr. Notes Theor. Comput. Sci., 2009
An Integrated Formal Methods ToolChain and Its Application to Verifying a File System Model.
Proceedings of the Formal Methods: Foundations and Applications, 2009
2008
A Relational Model for Confined Separation Logic.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008
'Galculator': functional prototype of a Galoisconnection based proof assistant.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Extended Static Checking by Calculation Using the Pointfree Transform.
Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008
Calculating Invariants as Coreflexive Bisimulations.
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Transforming Data by Calculation.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007
2006
Transposing partial components  An exercise on coalgebraic refinement.
Theor. Comput. Sci., 2006
Pointfree Factorization of Operation Refinement.
Proceedings of the FM 2006: Formal Methods, 2006
TypeSafe TwoLevel Data Transformation.
Proceedings of the FM 2006: Formal Methods, 2006
2005
From Algebras to Objects: Generation and Composition.
J. UCS, 2005
Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.
Proceedings of the FM 2005: Formal Methods, 2005
2004
A Survey of Formal Methods Courses in European Higher Education.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Transposing Relations: From Maybe Functions to Hash Tables.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
Relational Sampling for Data Quality Auditing and Decision Support.
Proceedings of the ICEIS 2004, 2004
2003
Statebased Components Made Generic.
Electr. Notes Theor. Comput. Sci., 2003
2002
Coinductive Interpreters for Process Calculi.
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
2001
"Bagatelle in C arranged for VDM SoLo".
J. UCS, 2001
Reverse Program Calculation Supported by Code Slicing.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001
2000
The CashPoint (ATM) 'Problem'.
Formal Asp. Comput., 2000
1997
CAMILA: Prototyping and Refinement of Constructive Specifications.
Proceedings of the Algebraic Methodology and Software Technology, 1997
1990
A Reification Calculus for ModelOriented Software Specification.
Formal Asp. Comput., 1990
Archetypeoriented user interfaces.
Computers & Graphics, 1990
1984
The formal semantics of deterministic dataflow programs.
PhD thesis, 1984
1983
An Analysis of Microcomputer Implementation of Pascal.
Softw., Pract. Exper., 1983