E-LIB Suche - Ergebnisse für: Oliveira, José N.

1

Alloy Goes Fuzzy:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Silva, Pedro ; Cunha, Alcino ; Macedo, Nuno. - p. 61-79 , 2024

2

Quantitative relational modelling with QAlloy:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Silva, Pedro ; Oliveira, José N. ; Macedo, Nuno. - p. 885-896 , 2022

Link: https://dl.acm.org/doi/1..

3

Verification of railway network models with EVEREST:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Martins, João ; Fonseca, José M. ; Costa, Rafael... - p. 345-355 , 2022

Link: https://dl.acm.org/doi/1..

4

Compiling Quantamorphisms for the IBM Q Experience:

Neri, Ana ; Barbosa, Rui Soares ; Oliveira, Jose N.
IEEE Transactions on Software Engineering. 48 (2022) 11 - p. 4339-4356 , 2022

Link: https://doi.org/10.1109/..

5

Formal Methods. FM 2019 International Workshops: Porto, Por..

Programming and Software Engineering, 12233

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

6

Formal Methods. FM 2019 International Workshops: Porto, Por..

Programming and Software Engineering, 12232

Sekerinski, Emil ; Moreira, Nelma ; Oliveira, José N... - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

7

Type your matrices for great good: a Haskell library of typ..:

, In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell,

Santos, Armando ; Oliveira, José N. - p. 54-66 , 2020

Link: https://dl.acm.org/doi/1..

8

Formal Methods – The Next 30 Years: Third World Congress, F..

Programming and Software Engineering, 11800

ter Beek, Maurice H ; McIver, Annabelle ; Oliveira, José N - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

9

Computer Aided Verification of Relational Models by Strateg..:

Necco, Claudia Mónica ; Oliveira, José N. ; Visser, Joost.
Journal of Computer Science and Technology. 17 (2017) 2 - p. e19 , 2017

Link: https://doi.org/10.24215..

10

A relation-algebraic approach to the "Hoare logic" of funct..:

Oliveira, José N.
Journal of Logical and Algebraic Methods in Programming. 83 (2014) 2 - p. 249-262 , 2014

Link: https://doi.org/10.1016/..

11

Alloy Meets the Algebra of Programming: A Case Study:

Oliveira, Jose N. ; Ferreira, Miguel A.
IEEE Transactions on Software Engineering. 39 (2013) 3 - p. 305-326 , 2013

Link: https://doi.org/10.1109/..

12

Towards a linear algebra of programming:

Oliveira, José N.
Formal Aspects of Computing. 24 (2012) 4-6 - p. 433-458 , 2012

Link: https://doi.org/10.1007/..

13

'Galculator' : functional prototype of a Galois-connecti..:

, In: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming,

Silva, Paulo F. ; Oliveira, José N. - p. 44-55 , 2008

Link: https://dl.acm.org/doi/1..

14

Transposing partial components—An exercise on coalgebraic r..:

Barbosa, Luís S. ; Oliveira, José N.
Theoretical Computer Science. 365 (2006) 1-2 - p. 2-22 , 2006

Link: https://doi.org/10.1016/..

15

Advanced Functional Programming

Third International School, AFP’98, Braga, Portugal, Septem... Lecture Notes in Computer Science ; 1608

Swierstra, S. Doaitse ; Oliveira, José N. ; Henriques, Pedro R. , 1999

Link: https://doi.org/10.1007/..