José Nuno Oliveira

64 papers B 6C 6Misc 2Journal 28Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	How much is in a square? Calculating functional programs with squares. J. Funct. Program. José Nuno Oliveira
2025	J	`jnl`	Logic and Calculi for All on the occasion of Luís Barbosa's 60th birthday. J. Log. Algebraic Methods Program. Alexandre Madeira, José Nuno Oliveira, José Proença, Renato Neves
2024	J	`jnl`	First Steps towards K-12 Computer Science Education in Portugal - Experience Report. CoRR Fernando Luis Neves, José Nuno Oliveira
2023	J	`jnl`	On difunctions. J. Log. Algebraic Methods Program. Roland Carl Backhouse, José Nuno Oliveira
2022	J	`jnl`	A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques
2022	—	`conf`	Why Adjunctions Matter - A Functional Programmer Perspective. WADT José Nuno Oliveira
2018	J	`jnl`	Programming from metaphorisms. J. Log. Algebraic Methods Program. José Nuno Oliveira
2017	J	`jnl`	Programming from Metaphorisms. CoRR José Nuno Oliveira
2017	—	`conf`	The data cube as a typed linear algebra operator. DBPL José Nuno Oliveira, Hugo Daniel Macedo
2016	J	`jnl`	"Keep definition, change category" - A practical approach to state-based system calculi. J. Log. Algebraic Methods Program. José Nuno Oliveira, Victor Cacciari Miraldo
2015	J	`jnl`	A linear algebra approach to OLAP. Formal Aspects Comput. Hugo Daniel Macedo, José Nuno Oliveira
2015	J	`jnl`	A study of risk-aware program transformation. Sci. Comput. Program. Daniel Murta, José Nuno Oliveira
2015	—	`conf`	Implementing a Linear Algebra Approach to Data Processing. GTTSE Rogerio Pontes, Miguel Matos, José Nuno Oliveira, José Orlando Pereira
2015	C	`conf`	Metaphorisms in Programming. RAMiCS José Nuno Oliveira
2015	C	`ed.`	Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings RAMiCS Wolfram Kahl, Michael Winter, José Nuno Oliveira
2014	J	`jnl`	A relation-algebraic approach to the "Hoare logic" of functional dependencies. J. Log. Algebraic Methods Program. José Nuno Oliveira
2014	C	`conf`	Preparing Relational Algebra for "Just Good Enough" Hardware. RAMiCS José Nuno Oliveira
2013	J	`jnl`	Alloy Meets the Algebra of Programming: A Case Study. IEEE Trans. Software Eng. José Nuno Oliveira, Miguel Alexandre Ferreira
2013	J	`jnl`	Calculating risk in functional programming. CoRR Daniel Murta, José Nuno Oliveira
2013	J	`jnl`	Composing Least-change Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira
2013	J	`jnl`	Typing linear algebra: A biproduct-oriented approach. CoRR Hugo Daniel Macedo, José Nuno Oliveira
2013	J	`jnl`	Typing linear algebra: A biproduct-oriented approach. Sci. Comput. Program. Hugo Daniel Macedo, José Nuno Oliveira
2013	J	`jnl`	Weighted Automata as Coalgebras in Categories of Matrices. Int. J. Found. Comput. Sci. José Nuno Oliveira
2012	J	`jnl`	Programming from Galois connections. J. Log. Algebraic Methods Program. Shin-Cheng Mu, José Nuno Oliveira
2012	J	`jnl`	Towards a linear algebra of programming. Formal Aspects Comput. José Nuno Oliveira
2012	C	`conf`	Typed Linear Algebra for Weigthed (Probabilistic) Automata. CIAA José Nuno Oliveira
2012	—	`conf`	WIKI: : SCORE - A Collaborative Environment For Music Transcription And Publishing. ELPUB José João Almeida, Nuno Ramos Carvalho, José Nuno Oliveira
2011	—	`conf`	Logic Training through Algorithmic Problem Solving. TICTTL João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
2011	C	`conf`	Programming from Galois Connections. RAMiCS Shin-Cheng Mu, José Nuno Oliveira
2011	J	`jnl`	WIKI: : SCORE A collaborative environment for music transcription and publishing. Inf. Serv. Use José João Almeida, Nuno Ramos Carvalho, José Nuno Oliveira
2010	B	`conf`	Matrices as Arrows! MPC Hugo Daniel Macedo, José Nuno Oliveira
2010	—	`conf`	Towards Linear Algebras of Components. FACS Hugo Daniel Macedo, José Nuno Oliveira
2009	—	`conf`	A Single Complete Relational Rule for Coalgebraic Refinement. REFINE@FMWeek César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa
2009	—	`conf`	An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. SBMF Miguel Alexandre Ferreira, José Nuno Oliveira
2009	J	`jnl`	Editorial. Formal Aspects Comput. Paul Boca, Raymond T. Boute, David Duce, José Nuno Oliveira
2009	—	`ed.`	Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings TFM Jeremy Gibbons, José Nuno Oliveira
2008	C	`conf`	'Galculator': functional prototype of a Galois-connection based proof assistant. PPDP Paulo F. Silva, José Nuno Oliveira
2008	Misc	`conf`	A Relational Model for Confined Separation Logic. TASE Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira
2008	—	`conf`	Calculating Invariants as Coreflexive Bisimulations. AMAST Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva
2008	—	`conf`	Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School José Nuno Oliveira
2007	—	`conf`	Transforming Data by Calculation. GTTSE José Nuno Oliveira
2006	B	`conf`	Pointfree Factorization of Operation Refinement. FM José Nuno Oliveira, César Jesus Rodrigues
2006	J	`jnl`	Transposing partial components - An exercise on coalgebraic refinement. Theor. Comput. Sci. Luís Soares Barbosa, José Nuno Oliveira
2006	B	`conf`	Type-Safe Two-Level Data Transformation. FM Alcino Cunha, José Nuno Oliveira, Joost Visser
2005	J	`jnl`	From Algebras to Objects: Generation and Composition. J. Univers. Comput. Sci. A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira
2005	B	`conf`	Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira
2004	—	`conf`	A Survey of Formal Methods Courses in European Higher Education. TFM José Nuno Oliveira
2004	—	`conf`	Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (1) Bruno Cortes, José Nuno Oliveira
2004	—	`conf`	Relational Sampling for Data Quality Auditing and Decision Support. ICEIS (Selected Papers) Bruno Cortes, José Nuno Oliveira
2004	B	`conf`	Transposing Relations: From Maybe Functions to Hash Tables. MPC José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues
2003	—	`conf`	State-based Components Made Generic. CMCS Luís Soares Barbosa, José Nuno Oliveira
2002	Misc	`conf`	Coinductive Interpreters for Process Calculi. FLOPS Luís Soares Barbosa, José Nuno Oliveira
2001	J	`jnl`	"Bagatelle in C arranged for VDM SoLo". J. Univers. Comput. Sci. José Nuno Oliveira
2001	—	`ed.`	FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings FME José Nuno Oliveira, Pamela Zave
2001	—	`conf`	Reverse Program Calculation Supported by Code Slicing. WCRE Gustavo Villavicencio, José Nuno Oliveira
2000	B	`ed.`	Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings MPC Roland Carl Backhouse, José Nuno Oliveira
2000	J	`jnl`	The Cash-Point (ATM) 'Problem'. Formal Aspects Comput. B. Tim Denvir, José Nuno Oliveira, Nico Plat
1999	—	`ed.`	Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira
1997	—	`conf`	CAMILA: Prototyping and Refinement of Constructive Specifications. AMAST José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira
1990	J	`jnl`	A Reification Calculus for Model-Oriented Software Specification. Formal Aspects Comput. José Nuno Oliveira
1990	J	`jnl`	Archetype-oriented user interfaces. Comput. Graph. F. Mário Martins, José Nuno Oliveira
1985	—	`conf`	Graphics Programming with "Archetypes" - A Preliminary Study. Eurographics Fernando Mário Martins, José Nuno Oliveira
1984	—	`—`	The formal semantics of deterministic dataflow programs. José Nuno Oliveira
1983	J	`jnl`	An Analysis of Microcomputer Implementation of Pascal. Softw. Pract. Exp. José Nuno Oliveira, I. R. Wilson