19 results on '"Oliveira, José Nuno"'
Search Results
2. A tribute to José Manuel Valença
3. Implementing a Linear Algebra Approach to Data Processing
4. Towards Linear Algebras of Components
5. Programming from Galois Connections
6. Matrices as Arrows!
7. An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model
8. Type-Safe Two-Level Data Transformation
9. Transposing Relations: From Maybe Functions to Hash Tables
10. Coinductive Interpreters for Process Calculi
11. Programming from metaphorisms
12. “Keep definition, change category” — A practical approach to state-based system calculi
13. A study of risk-aware program transformation
14. A linear algebra approach to OLAP
15. Relational Sampling for Data Quality Auditing and Decision Support
16. Typing linear algebra: A biproduct-oriented approach
17. WIKI::SCORE A collaborative environment for music transcription and publishing1
18. Programming from Galois connections
19. CAD tool extension for formal building description language
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.