
J.N.Oliveira  Papers, reports, talks etc

[ DI/UM ]


 J. N. Oliveira and H. D. Macedo.
The data cube as a typed linear algebra operator.
In Proc. of the 16th Int. Symposium on Database Programming Languages, DBPL '17, pages 6:16:11, New York, NY, USA, 2017. ACM. (DOI:10.1145/3122831.3122834; Slides.)
 R. Pontes, M. Matos, J.N. Oliveira, J.O. Pereira.
Implementing a Linear Algebra Approach to Data Processing.
LNCS 10223, 215222, 2017.
 J.N. Oliveira.
Measuring probabilistic contracts.
Contributed talk to IFIP WG 2.1 Meeting #75,
Montevideo, Febr 2017.
 J.N. Oliveira.
First steps in a (linear) algebra of (quantum) functional programming .
Contributed talk to IFIP WG 2.1 Meeting #75,
Montevideo, Febr 2017.
 V.C. Miraldo, J.N. Oliveira,
'Keep definition, change category'  a practical approach to statebased system calculi.
In Journal of Logical and Algebraic Methods in Programming,
Volume 85, Issue 4, June 2016, pages 449474.
DOI: 10.1016/j.jlamp.2015.11.007.
 C.M. Necco, J.N. Oliveira, J. Visser and R. Uzal
Computer Aided Verification of Relational Models. Pages 647658 of the proc. of
CACIC'16,
San Luis, Argentina, 37th October, 2016.
 J.N. Oliveira. What can Industry 4.0 learn from software engineering?
Special lecture 2, Opening Session Programme, CIRP'16, Guimarães, 2127th August 2016.
 J.N. Oliveira.
On the 'divide & conquer' metaphor  the 'quinta essentia' of programming.
InfoBlender talk, HASLab/INESC TEC & U.Minho, 13th Jul. 2016.
(Slides).
 J.N. Oliveira.
Towards a linear algebra semantics for query languages.
Contributed talk to IFIP WG 2.1 Meeting #74,
University of Strathclyde in Glasgow, June 2016.
(Slides
of this talk, also given at the
School of Computer Science
of the Univ. of Newcastle, UK,
and TTÜ Küberneetika Instituut, Tallinn).
 J.N. Oliveira,
'Keep definition, change category'  a practical approach to monadic model evolution.
Seminar, TTÜ Küberneetika Instituut, Tallinn,
Apr 21st, 2016.
 D. Murta and J.N. Oliveira.
A study of riskaware program transformation.
Science of Computer Programming, 110:5177, 2015.
DOI: 10.1016/j.scico.2015.04.008
 J.N. Oliveira.
Metaphorisms in Programming.
In RAMICS 2015, volume 9348 of LNCS, pages 171190. Springer, 2015.
DOI: 10.1007/9783319247045_11
(Slides)
 H.D. Macedo and J.N. Oliveira.
A linear algebra approach to OLAP.
Formal Aspects of Computing, 27(2):283307, 2015.
 J.N. Oliveira.
Why category theory matters: a functional programmer's
perspective.
Tutorial talk, AMS/EMS/SPM 2015 Meeting (Special Session 7), FCUP, Porto.
13th June 2015.
 J.N. Oliveira.
On the 'A' that links the 'M's of Maths, Music and Maps ('Da Capo').
Presented at Lab. de I&D de Computação Sonora e Musical, FEUP, Porto, 10 December 2014.
 J.N. Oliveira.
A relationalgebraic approach to the "Hoare logic" of functional dependencies.
Journal of Log. Algebraic Programming,
Volume 83, Issue 2, March 2014, Pages 249262
(DOI:10.1016/j.jlap.2014.02.013).
 J.N. Oliveira.
Preparing Relational Algebra for "Just Good Enough" Hardware.
In RAMiCS, volume 8428 of LNCS, pages 119138
(DOI: 10.1007/9783319062518_8), Springer Berlin / Heidelberg, 2014.
(Slides
of presentation.)
 J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. Journal paper. IJFSC Vol. 24, No. 6 (2013), 709728, World Scientific Pub. Comp.
http://dx.doi.org/10.1142/S0129054113400145.
 J.N. Oliveira.
On the 'A' that links the 'M's of Maths, Music and Maps.
Contributed talk to the 2013 CEHUM Autumn Colloquium XV
(Maths and Computer Science Panel), U.Minho, Braga, 2123 November 2013.
 J.N. Oliveira.
Calculating Risk in functional programming.
Contributed talk to IFIP WG 2.1 Meeting #70, Ulm, Germany, July 2013.
 D. Murta and J.N. Oliveira.
Calculating fault propagation in functional programs.
Technical Report TRHASLab:01:2013, May 2013.
 H.D. Macedo and J.N. Oliveira.
Typing Linear Algebra: a Biproductoriented Approach.
Science of Comp. Programming. Volume 78, pp.21602191
(DOI:10.1016/j.scico.2012.07.012).
 N. Macedo, H. Pacheco, A. Cunha, J.N. Oliveira.
Composing leastchange lenses.
In P. Stevens, J. Terwilliger, editors, BX'13, Electronic
Communications of the EASST, 2013.
ISSN 18632122.
 J.N. Oliveira, M.A. Ferreira. Alloy Meets the Algebra of Programming: A Case Study.
IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305326, March 2013,
doi:10.1109/TSE.2012.15.
 J.N. Oliveira. Computeraided musicology: challenges and opportunities.
Slides
(in Portuguese). Contribution
to the Maths Afternoons seminar series.
Portuguese Mathematics Society (SPM), Braga, March 9th, 2013.
 J.N. Oliveira. Calculating Fault Propagation in Functional Programs using the Linear Algebra of Programming (LAoP). Talk at HASLab
seminar, 5thDec2012. (Repeated at FEUP, 30Jan2013.)
 J.N. Oliveira.
Typed linear algebra for weighted (probabilistic) automata.
LNCS Volume 7381/2012, 5265
(DOI: 10.1007/9783642316067_5).
17th Int. Conf. on Implementation and Application of Automata, Porto (invited talk).
[Slides]
[Superseded by http://dx.doi.org/10.1142/S0129054113400145]
 ShinCheng Mu
and
J.N. Oliveira.
Programming from Galois connections.
The Journal of Logic and Algebraic Programming 81:680704 (2012)
(DOI:10.1016/j.jlap.2012.05.003).
 J.N. Oliveira.
Towards a Linear Algebra of Programming.
(DOI:10.1007/s0016501202409)
Formal Asp. Comput., 24 (46): 433458, 2012.
 J.J. Almeida, N.R. Carvalho, and J.N. Oliveira.
Wiki::score  a collaborative environment for music transcription and publishing.
Information Services and Use, 31(34):177187, 2011.
DOI 10.3233/ISU20120647.
 J.N. Oliveira.
Functions as types or the 'Hoare logic' of functional dependencies".
Available from arXiv:1210.4661v1 [cs.LO],
May 2012. [Superseded by DOI:10.1016/j.jlap.2014.02.013]
 H.D. Macedo and J.N. Oliveira.
Towards Linear Algebras of Components. LNCS 6921, pp. 300303, 2011.
 H.D. Macedo and J.N. Oliveira.
Do the two middle letters of "OLAP" stand for Linear Algebra ("LA")?
Technical Report TRHASLab:04:2011, July 2011.
(See also H. Macedo's research blog
and the slides
of a talk at Software Improvement Group
on this subject).
 J.N. Oliveira.
Pointfree foundations for (generic) lossless
decomposition.
Technical Report TRHASLab:03:2011, HASLab, University of Minho and
INESC TEC, Gualtar Campus, Braga, 2011.
 ShinCheng Mu
and
J.N. Oliveira.
Programming from Galois connections. Conference paper, pages
294313
of LNCS volume 6663.
(Superseded by DOI:10.1016/j.jlap.2012.05.003).
 J.N. Oliveira.
On the meaning of curry(M) for M a matrix.
Contributed talk to IFIP WG 2.1 Meeting #67, Reykjavik,
Iceland, May 2011.
 J. Ferreira, A. Mendes, A. Cunha, C. Baquero, P. Silva, L. Barbosa and J.N. Oliveira.
Logic training through algorithmic problem solving. LNCS 6680, pages 6269, 2011.
 L. Couto, J.N. Oliveira, M.A. Ferreira, E. Bouwers.
Preparing for a Literature Survey of Software Architecture using Formal Concept Analysis.
Proc. of the SQM'2011 workshop, colocated with
CSMR 2011, Oldenburg, Germany.
 J.N. Oliveira.
Hands on a Verification Challenge: Proving a Journaled File System Correct.
Inforum 2010
(invited talk), 10Sep 2010.
 J.N. Oliveira.
A (Calculational) Look at Optimization.
Talk at the 1st Workhsop of the Mondrian
Project, Aveiro, 9July 2010.
 H.D. Macedo and J.N. Oliveira.
Matrices As Arrows! A Biproduct Approach to Typed Linear Algebra.
In MPC 2010, volume 6120 of Lecture Notes in Computer Science, pages 271287. Springer, 2010.
 H.D. Macedo and J.N. Oliveira.
Can we teach computers to generate fast OLAP code?
Technical note (see the corresponding HASLab talk
on the 9th of June).
 M.A. Ferreira and J.N. Oliveira.
Variations on an Alloycentric toolchain in verifying a journaled file system model.
Technical Report DICCTC1007, DI/CCTC, University of Minho, Gualtar
Campus, Braga, January 2010.
 J.N. Oliveira.
An AoP Approach to Typed Linear Algebra.
Talk at IFIP WG 2.1 #65 Meeting, Póvoa de Lanhoso,
Portugal, January 2010.
 J.N. Oliveira.
A Look at Program ``G''alculation.
Talk at IFIP WG 2.1 #65 Meeting, Póvoa de Lanhoso,
Portugal, January 2010.
 J.N. Oliveira.
Computing theories refactoring via the PFtransform: the
data dependency case study (extended abstract;
slides). Habilitation
Lecture, University of Minho, Jan. 12th 2010.
 M.A. Ferreira and J.N. Oliveira.
An Integrated Formal Methods ToolChain and Its
Application to Verifying a File System
Model.
In M.V. Oliveira and J. Woodcock, editors, SBMF,
volume 5902 of LNCS, pages 153169. Springer, 2009.
 C.J. Rodrigues, J.N. Oliveira and L.S. Barbosa.
A single complete relational rule for coalgebraic refinement.
Refinement Workshop 2009
(an workshop of the FMWeek), Eindhoven, 3 Nov 2009.
 P.F. Silva, J. Visser, and J.N. Oliveira.
Galois: A Language for Proofs Using Galois
Connections and Fork Algebras, 2009.
PLMMS'09
 ACM SIGSAM 2009 International Workshop on Programming Languages for
Mechanized Mathematics Systems. Munich, Germany; August 21.
 J.N. Oliveira.
Extended Static Checking by Calculation using the
Pointfree Transform .
In A. Bove et al., editor, LerNet ALFA Summer School 2008,
volume 5520 of LNCS, pages 195251. SpringerVerlag, 2009.
 J.N. Oliveira.
Towards "middle school MPC".
Talk at IFIP WG 2.1 #64 Meeting, Weltenburg,
Germany, MarchApril 2009.
 J.N. Oliveira.
Calculating with Pointfree Alloy.
Talk at IFIP WG 2.1 #64 Meeting, Weltenburg,
Germany, MarchApril 2009.
 Paulo F. Silva, J.N. Oliveira.
'Galculator': functional prototype of a
Galoisconnection based proof
assistant.
In PPDP '08: Proceedings of the 10th international ACM SIGPLAN
conference on Principles and practice of declarative programming, pages
4455, New York, NY, USA, 2008. ACM.
 J.N. Oliveira.
Transforming Data by
Calculation.
In GTTSE'07, volume 5235 of LNCS, pages 134195.
Springer, 2008.
 L.S. Barbosa, J.N. Oliveira, and A.M. Silva.
Calculating Invariants as Coreflexive Bisimulations.
In AMAST'08,
LNCS 5140: 8399. Springer, 2008.
 Shuling Wang, L.S. Barbosa, J.N. Oliveira.
A Relational Model for Confined Separation
Logic.
In TASE
2008, pages 263270, Los Alamitos, CA, USA,
2008. IEEE Computer Society.
 M.A. Ferreira, S.S. Silva, and J.N. Oliveira.
Verifying Intel flash file system core specification.
Pages 5471 in (J.S. Fitzgerald, P.G. Larsen, and S. Sahara, editors) Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. School of Computing Science, Newcastle University, 2008.
Technical Report
CSTR1099.
[ Slides: PDF
]
 J.N. Oliveira.
Data Transformation by Calculation
In GTTSE 2007 Proceedings, pages 139198, June 2007.
International Summer School, July 27.
Tutorial slides: (PDF).
Superseded by pages 134195 of LNCS volume 5235.
 C. Necco, J.N. Oliveira, and J. Visser.
Extended static checking by strategic rewriting of pointfree
relational expressions.
Technical Report FAST:07.01, CCTC Research Centre, University of
Minho, 2007.
 J.N. Oliveira.
Data dependency theory made generic  by
calculation, December 2006.
Presentation at the IFIP WG 2.1 #62 Meeting, Namur,
Belgium.
 J.N. Oliveira, A. Silva, and L.S. Barbosa.
Invariants as coreflexive bisimulations  in a
coalgebraic setting, December 2006.
Presentation at the IFIP WG 2.1 #62 Meeting, Namur,
Belgium.
 J.N. Oliveira.
Reinvigorating penandpaper proofs in VDM: the pointfree approach , 2006.
Presentation at the Third OVERTURE Workshop , Newcastle, UK, 2728 November
 L.S. Barbosa and J.N. Oliveira.
Transposing Partial Components  an Exercise on Coalgebraic Refinement.
TCS
365 (2006) : 222
[ slides
of a presentation related to this paper ]
 M.A. Cunha, J.N. Oliveira, J. Visser.
Typesafe twolevel data transformation.
FM'06 ,
LNCS 4085:284289. Springer, 2006.
[slides in PDF ]
 J.N. Oliveira and C.J. Rodrigues.
Pointfree Factorization of Operation Refinement.
FM'06 ,
LNCS 4085:236251. Springer, 2006.
[slides in PDF ]
 B. Cortes
and J.N. Oliveira.
Relational sampling for data quality auditing and decision support.
In I. Seruca, J. Cordeiro, S. Hammoudi, and J. Filipe, editors, Enterprise Information Systems VI . Springer, 2006.
ISNB: 1402036744.
 C.M. Necco, J.N. Oliveira, L. Quintas.
A functional approach for on line analytical processing, 2006.
WISBD, III Workshop de Ingeniería de Software y Bases de Datos.
CACIC'06, XII Congreso Argentino de Ciencias de la Computación, Universidad
Nacional de San Luis, Argentina.
 A. Cruz, L. Barbosa, and J. Oliveira.
From Algebras to Objects: Generation and Composition.
JUCS, 11(10):15801612, 2005.
 T.L. Alves, P.F. Silva, J. Visser, J.N. Oliveira.
Strategic term rewriting and its application to a VDMSL
to SQL conversion.
FM'05 ,
LNCS 3582:399414. Springer, 2005.
 Joost Visser, J.N. Oliveira, L.S. Barbosa, J.F. Ferreira, and A. Mendes.
Camila Revival: VDM meets Haskell , July 2005.
Presented at the Overture
Workshop, July 18, colocated with FM 2005:
13th International Symposium on Formal Methods, University of Newcastle upon
Tyne, United Kingdom  July 1822, 2005.
 J.N. Oliveira.
Functional dependency theory made 'simpler'.
Technical Report DIPURe05.01.01, DI/CCTC, University of Minho,
Gualtar Campus, Braga, 2005.
 J.N. Oliveira.
First steps in pointfree functional dependency theory, 2005.
Unpublished manuscript (PDF ), DI/UM, Universidade do Minho.
 C. Necco and J.N. Oliveira.
Toward generic data processing.
In Proc. WISBD'05 , a workshop of
CACIC'05
(XI Congreso
Argentino de Ciencias de la Computación, 1721 Oct. 2005, Concordia  Entre
Ríos  Argentina)., October 2005.
 FME Subgroup on Education (convenor: J.N. Oliveira).
A Survey of Formal Methods Courses in European Higher Education.
CoLogNet / FME TFM'04 ,
LNCS 3294:235248. Springer, 2004.
Web version (HTML) available from http://www.fmeurope.org/ > Formal Methods > Education.
 Calculate databases with
`simplicity', September 2004.
Presentation at the IFIP WG 2.1 #59 Meeting,
Nottingham, UK.
 J.N. Oliveira and C.J. Rodrigues.
Transposing relations: from Maybe functions to hash tables.
,
MPC'04 ,
LNCS 3125:334356. Springer, 2004.
 B. Cortes
and J.N. Oliveira.
Relational sampling for data quality auditing and decision support.
In ICEIS'04
: 6th
International Conference on Enterprise Information Systems, volume 1, pages
376382, April 2004.
Porto, 1417 April (ISBN 9728865007).
 L. S. Barbosa
and J. N. Oliveira.
Statebased components made generic.
In H. Peter Gumm, editor, Elect. Notes in Theor. Comp. Sci.
(CMCS'03  Workshop on Coalgebraic Methods in Computer Science), volume
82.1, Warsaw, April 2003.
 Ana Cristina Paiva, João Pascoal Faria, Raul Moreira Vidal and J.N. Oliveira.
Métodos formais na especificação de interfaces com o utilizador: a
linguagem VDM++ e o tratamento de eventos.
Actas da 3ª Conferência da Associação Portuguesa de Sistemas de
Informação, ISBN  972975487X, 2022 de Novembro.
 C.M. Necco
and J.N. Oliveira.
Generic data processing: A normalization exercise, 2002.
Presented at CACIC'02
: 8th Argentinian Computer Science Congress,
Univ. Buenos Aires, 1518th October.
 L.S. Barbosa, J.N. Oliveira.
Coinductive Interpreters for Process Calculi.
LNCS 2441, pp. 183197, 2002.
(FLOPS 2002

6th International Symposium on Functional and Logic Programming,
University of Aizu, Aizu, Japan, September 1517, 2002).
 On the Design of a «Periodic Table» of VDM Specifications.
Invited talk at the VDM'02
workshop, held in conjunction with FME'02
in Copenhagen on 2021 July 2002.
 Towards Formal Software Development in VS.NET .
MSDN
Seminars, 2002, May 14th (Lisbon), May 16th (Porto) (slides).
 G. Villavicencio and J.N. Oliveira.
Formal reverse calculation supported by code
slicing .
In Proceedings of the Eighth Working Conference on Reverse
Engineering (WCRE
2001) 25 October 2001, Stuttgart,
Germany, pages 3546. IEEE Computer Society, 2001.
 Bagatelle in C arranged for VDM SoLo.
Journal of Universal Computer Science, 7(8):754781,
2001.
Special Issue on Formal Aspects of Software Engineering
(Colloquium
in Honor of Peter Lucas , Institute for Software
Technology, Graz University of Technology, May 1819, 2001).
 Data processing by calculation.
Lecture notes for the
6th Estonian Winter School in Computer Science,
49 March 2001,
Palmse,
Estonia.
 Recursion in the pointfree style.
Departamento de Informática, Universidade do Minho. Chapter of book
in preparation (incomplete draft: 33p.).
 A Hierarchical Polytypic Construction and Associated Reduction
Morphisms.
Presented at the Joint ACL/LOGCOMP Meeting,
1011 February 1999, Hotel D. Luiz, Coimbra, Portugal.
 Converting Informal Metadata to VDMSL:
A Reverse Calculation Approach
(by ,
J.C. Silva
and J.N. Oliveira).
In VDM in Practice!
(Workshop colocated with FM'99,
Toulouse, France, 2021 September 1999.
 An introduction to pointfree programming
, 1999. 37p.
(chapter of book in preparation).
 Fight Induction! deduction is Forever
, 1999. Presented at the LOGCOMP Meeting,
6 December 1999, IST, Lisbon, Portugal.

Software Design by Calculation in the CAMILA Toolset
.
Seminar presented at the
IMADA Institute
, Odense University, 3rd February 1998, Denmark.

'Fractal' Types: an Attempt to Generalize Hash Table Calculation
.
Presented at
WGP98
,
June 18, 1998, Marstrand, Sweden.
 CAD Tool Extension for Formal Building Description Language.
in
Advances in Engineering Software,
Vol.29,No. 79, pp. 571586, 1998, Elsevier Science Ltd and
CivilComp Ltd.

"Explosive" Programming Controlled by Calculation.
Presented at
AFP'98
,
Sept., 1998, Braga, Portugal.

ART: Um Laboratório de Reificação Genética.
(by
F.L. Neves,
J.N. Oliveira)
.
In Proc.
Iberamia 1998,
Oct. 59, Lisbon, Portugal.

Data Quality: Do It Formally?
(by
J.V. Ranito,
L.M. Henriques,
L.M. Ferreira,
F.L. Neves,
J.N. Oliveira).
Proc. of
IASTED'98 (SE)
(IASTED Conf. on Software Engineering),
Oct. 2831, Las Vegas, USA,
pp. 260262, Acta Press, Calgary  Zurich.

Formal Specification, Rapid Prototyping and Program Calculation
 an Industrial Experiment using the CAMILA/SETS Approach
. Seminar at
UNU/IIST, Macau,
6 of May 1997.

An Experiment in CAD Tool Formal Specification
. Seminar at
UNU/IIST, Macau,
7 of May 1997.

Formal Calculi Applied to Software Component Classification and Retrieving
. Seminar at
UNU/IIST, Macau,
9 of May 1997.

A Calculational Approach to Reverse Specification
. Seminar at
UNU/IIST, Macau,
13 of May 1997.

Can Distribution Be (Statically) Calculated?
. Seminar at
UNU/IIST, Macau,
16 of May 1997.

University Education in Formal Methods 
Report on the Minho Experience
.
in Training & Education Workshop ,
FME'97
, Graz, Austria, 1519 September, 1997.

CAMILA: Formal Software Engineering Supported by Functional Programming
(by
J.J. Almeida,
L.S. Barbosa,
F.L. Neves,
J.N. Oliveira).
Presented at
CLaPF97:
2nd LatinAmerican Conference on Functional Programming,
Oct. 34, La Plata, Argentina.
 CAMILA: Prototyping and Refinement of Constructive Specifications
(by
J.J. Almeida,
L.S. Barbosa,
F.L. Neves,
J.N. Oliveira).
Presented at
AMAST'97:
Sixth International Conference on
Algebraic Methodology and Software Technology,
1317 December 1997, Macquarie University, Sydney, Australia.

Bringing CAMILA and SETS Together
 the bams.cam and ppd.cam CAMILA Toolset Demos
(by
J.J. Almeida,
L.S. Barbosa,
F.L. Neves,
J.N. Oliveira)
.
Technical Report, 45 p., DI/UM, Braga, December 1997.

Normalization is Data Reification.
Technical report, University of Minho, Dec. 1997.
 On the Development of a MetaCASE ObjectOriented Software
Architecture
(by F.M.Martins,
J.N.Oliveira,
L.Neves,
A.N. Ribeiro).
Proc. of OOP'96Object Oriented Portugal'96 Conference, Lisbon,
Portugal, 13 October, 1996.

Fuzzy Object Comparison and Its Application to
a SelfAdaptable Query Mechanism.
Proceedings of
IFSA'95  6th International Fuzzy Systems Association World Congress,
S. Paulo, 2228 July 1995, Volume I, 245248.
 Classifying Internet Objects
(by L.Neves
and J.Oliveira).
Best Paper Award in
Conferência Nacional "Informação Multimedia na Internet",
68 July 1995, Braga, Portugal.
Paper selected for presentation at the
Fourth International World Wide Web Conference
 ``The Web Revolution'' 
December 1114, 1995, Boston, Massachusetts, USA.

Software Reuse by Model Reification
(by L.Neves and J.Oliveira).
In
WRIS'95  6th Annual Workshop on Software Reuse.
August 2830, 1995, St.Charles Il, Illinois, USA.

Formal Specification and Prototyping of a Building Description
Language.
In "Developments in Computer Aided Design and Modelling for Structured
Engineering", 3751, Volume B of the Proc. of the
4th International Conference on The Application of Artificial
Intelligence to Civil and Structural Engineering,
Cambridge, 2830 August 1995.
 Hash Tables: A Case Study in SetsCalculation. Technical Report DI/INESC 94121, INESC Group 2361, Braga, December 1994.
 SOUR++ or Some Ideas For the Future. Sour'94  Advanced Techniques for Software Reuse, Braga, 1517 Dec 1994.
 SOUR Modules: Comparator & Modifier. Sour'94  Advanced Techniques for Software Reuse, Braga, 1517 Dec 1994.
 Especificação Formal, Prototipagem e Cálculo de Programas  Um Caso na Indústria Inforum'94  Controlo de Qualidade em Software, 78 October 1994, Braga.
 Formal Calculi Applied to Software Component Knowledge Elicitation (by Oliveira J.N. & Cruz A.M.). Technical Report #C19WP2D, Project "C.1.9. Sviluppo di Metodologie, Sistemi e Servizi Innovativi in Rete", INESC Group 2361, Braga, December 1993.
 Classification and Reasoning in SOUR. EU379 Workshop, INESC Lisbon, 25 February 1993.
 Components & Compositionality in SOUR. EU379 Workshop, INESC Lisbon, 25 February 1993.
 The CAMILA Strategy for Software Reusability. ERCIM News 14, 1314, July 1993.
 Software Reification using the SETS Calculus. BCS FACS 5th Refinement Workshop, "Theory and Practice of Formal Software Development", 810 January 1992, London, 140171, Springer Verlag.
 HITEX: Um Sistema em Desenvolvimento para Historiadores e Arquivistas. in "Ler Historia", 23 (1992) 127138 (republicado na revista FORUM).
 Historical Records Processing in the HiTeX System (by J.Oliveira, Araujo A. & Silva A.). In "Yesterday", 149168, Proc. of the 6th International Conference of the Association of History and Computing (AHC'91), Odense, Denmark, 2830 Aug. 1991.
 ArchetypeOriented User Interfaces (by Martins F.M. & Oliveira J.N.), Computers & Graphics, 1728, Vol.14(1), 1900, Jan. 1990.
 A Reification Calculus for ModelOriented Software Specification . Formal Aspects of Computing , Vol.2, 123, 1990, Springer Verlag.
 The Transformational Paradigm as a Means of Smoothing Abrupt Software Design Steps. Int.Report #CCESJNO:R2/85, University of Minho, Dec.85.
 Using FP for Dataflow Program Development Through Flowgraph level Transformation (by Oliveira J.N., J.R.Gurd). Internal Report CCESJNO/JRG:R1/85, September 1985, Univ. of Minho.
 Graphics Programming with `Archetypes'  A Preliminary Study (by F.M. Martins, J.N. Oliveira). Proceedings of the EUROGRAPHICS'85 Conference, 401412, September 1985, Nice, France.
 The Formal Semantics of Deterministic Dataflow Programs. Ph.D. Thesis, Department of Computer Science, University of Manchester, February 1984.
 An Analysis of Microcomputer Implementation of Pascal (by J.N. Oliveira, I.R. Wilson). SoftwarePractice & Experience, Vol.13, 373384, John Wiley & Sons (1983).
 Pascal on Small Microcomputers. M.Sc. Thesis, Department of Computer Science, University of Manchester, October 1981.
jno
20170105