• About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
Login
  • About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society

Articles

Hybrid assessment method for software engineering decisions

Article

Published in 01/04/2011

Authors

Rita Ribeiro, Ana Moreira, Pim van den Broek, Rita Almeida Ribeiro, Ana Moreira, Afonso Pimentel, Pim van den Broek,

Towards a Behavioral Algebraic Theory of Logical Valuations

Article

Published in 01/04/2011

Authors

Ricardo Gonçalves, C. Caleiro,

Hybrid assessment method for software engineering decisions

Article

Published in 01/04/2011

Authors

Rita Ribeiro, Ana Moreira, Pim van den Broek, Rita Almeida Ribeiro, Ana Moreira, Afonso Pimentel, Pim van den Broek,

Detecting concurrency anomalies in transactional memory programs

Article

Published in 01/04/2011

Authors

João Lourenço, Diogo Sousa, Bruno Cavaca Teixeira, Ricardo Dias,

On the Expressiveness and Decidability of Higher-Order Process Calculi

Article

Published in 01/02/2011

Authors

Ivan Lanese, Jorge A Pérez, Davide Sangiorgi, Alan Schmitt,

Learning specifications of interaction protocols and business processes and proving their properties

Article

Published in 01/02/2011

Authors

Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari,

RITAS: Services for Randomized Intrusion Tolerance

Article

Published in 01/01/2011

Authors

Henrique Moniz, Nuno Ferreira Neves, Miguel Pupo Correia,

Polylingual text classification in the legal domain

Article

Published in 01/01/2011

Authors

Teresa Gonçalves,

Randomized Consensus in Wireless Environments

Article

Published in 01/01/2011

Authors

Bruno Vavala, Henrique Moniz, Nuno Ferreira Neves,

Non-Markovian Control in the Situation Calculus

Article

Published in 01/01/2011

Authors

Alfredo Gabaldon,

Posts pagination

Previous 1 … 29 30 31 … 67 Next
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UIDB/04516/2020 UIDP/04516/2020