|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 17 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira |
Logic Training through Algorithmic Problem Solving.  |
TICTTL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-Cheng Mu, José Nuno Oliveira |
Programming from Galois Connections. |
RAMICS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hugo Daniel Macedo, José Nuno Oliveira |
Towards Linear Algebras of Components. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Daniel Macedo, José Nuno Oliveira |
Matrices as Arrows! |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | César Jesus Rodrigues, José Nuno Oliveira, Luís Soares Barbosa |
A Single Complete Relational Rule for Coalgebraic Refinement. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, José Nuno Oliveira (eds.) |
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Alexandre Ferreira, José Nuno Oliveira |
An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira |
Extended Static Checking by Calculation Using the Pointfree Transform. |
LerNet ALFA Summer School |
2008 |
DBLP DOI BibTeX RDF |
formal methods, Theoretical foundations, proof obligations, extended static checking |
| 1 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva |
Calculating Invariants as Coreflexive Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
| 1 | Paulo F. Silva, José Nuno Oliveira |
'Galculator': functional prototype of a Galois-connection based proof assistant. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
point-free notation, haskell, DSL, Galois connections, proof assistant, GADT |
| 1 | Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira |
A Relational Model for Confined Separation Logic. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
point-free, confined separation logic, relational |
| 1 | José Nuno Oliveira |
Transforming Data by Calculation. |
GTTSE |
2007 |
DBLP DOI BibTeX RDF |
mapping scenarios, refinement by calculation, Theoretical foundations, transformational design |
| 1 | Luís Soares Barbosa, José Nuno Oliveira |
Transposing partial components - An exercise on coalgebraic refinement. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira, César Jesus Rodrigues |
Pointfree Factorization of Operation Refinement. |
FM |
2006 |
DBLP DOI BibTeX RDF |
reusable theories, refinement, Theoretical foundations, calculation |
| 1 | Alcino Cunha, José Nuno Oliveira, Joost Visser |
Type-Safe Two-Level Data Transformation. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Miguel Cruz, Luís Soares Barbosa, José Nuno Oliveira |
From Algebras to Objects: Generation and Composition. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tiago L. Alves, Paulo F. Silva, Joost Visser, José Nuno Oliveira |
Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Cortes, José Nuno Oliveira |
Relational Sampling for Data Quality Auditing and Decision Support. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | José Nuno Oliveira |
A Survey of Formal Methods Courses in European Higher Education. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues |
Transposing Relations: From Maybe Functions to Hash Tables. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, José Nuno Oliveira |
State-based Components Made Generic. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Soares Barbosa, José Nuno Oliveira |
Coinductive Interpreters for Process Calculi. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
coinductive types, applications, functional programming |
| 1 | José Nuno Oliveira |
"Bagatelle in C arranged for VDM SoLo". |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gustavo Villavicencio, José Nuno Oliveira |
Reverse Program Calculation Supported by Code Slicing. (PDF / PS) |
WCRE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira, Pamela Zave (eds.) |
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings |
FME |
2001 |
DBLP BibTeX RDF |
|
| 1 | B. Tim Denvir, José Nuno Oliveira, Nico Plat |
The Cash-Point (ATM) `Problem'. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Cash-point (ATM) problem, FM'99, Tools exhibition, Formal methods, Competition |
| 1 | Roland Carl Backhouse, José Nuno Oliveira (eds.) |
Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings |
MPC |
2000 |
DBLP BibTeX RDF |
|
| 1 | S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira (eds.) |
Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures |
|
1999 |
DBLP BibTeX RDF |
|
| 1 | José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira |
CAMILA: Prototyping and Refinement of Constructive Specifications. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira |
A Reification Calculus for Model-Oriented Software Specification. |
Formal Asp. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Mário Martins, José Nuno Oliveira |
Archetype-oriented user interfaces. |
Computers & Graphics |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Oliveira, I. R. Wilson |
An Analysis of Microcomputer Implementation of Pascal. |
Softw., Pract. Exper. |
1983 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")