José N. Oliveira
Orcid: 0000000201964229Affiliations:
 INESC TEC, High Assurance Software Laboratory
 University of Minho, Braga, Computer Science Department
According to our database^{1},
José N. Oliveira
authored at least 59 papers
between 1983 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on di.uminho.pt

on dl.acm.org
On csauthors.net:
Bibliography
2023
J. Log. Algebraic Methods Program., August, 2023
2022
IEEE Trans. Software Eng., 2022
J. Log. Algebraic Methods Program., 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022
2020
Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl).
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 2020
2018
J. Log. Algebraic Methods Program., 2018
CoRR, 2018
2017
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. Algebraic Methods Program., 2016
2015
Sci. Comput. Program., 2015
Formal Aspects Comput., 2015
Proceedings of the Grand Timely Topics in Software Engineering, 2015
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015
2014
J. Log. Algebraic Methods Program., 2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
IEEE Trans. Software Eng., 2013
Sci. Comput. Program., 2013
Int. J. Found. Comput. Sci., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
CoRR, 2013
2012
J. Log. Algebraic Methods Program., 2012
Formal Aspects Comput., 2012
CoRR, 2012
Proceedings of the Implementation and Application of Automata, 2012
2011
Inf. Serv. Use, 2011
Proceedings of the Tools for Teaching Logic  Third International Congress, 2011
2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the Formal Aspects of Component Software  7th International Workshop, 2010
2009
Formal Aspects Comput., 2009
Proceedings of the 14th BCSFACS Refinement Workshop, 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
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008
Proceedings of the Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the FM 2006: Formal Methods, 2006
Proceedings of the FM 2006: Formal Methods, 2006
2005
J. Univers. Comput. Sci., 2005
Proceedings of the FM 2005: Formal Methods, 2005
2004
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
Proceedings of the Enterprise Information Systems VI, 2004
2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
2002
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
2001
J. Univers. Comput. Sci., 2001
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001
2000
Formal Aspects Comput., 2000
1997
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Classifying Internet Objects.
World Wide Web J., 1996
1992
Proceedings of the 5th Refinement Workshop, 1992
1990
Formal Aspects Comput., 1990
Comput. Graph., 1990
1985
Proceedings of the 6th European Computer Graphics Conference and Exhibition, 1985
1984
PhD thesis, 1984
1983
Softw. Pract. Exp., 1983