• 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

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,

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,

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,

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,

MWeb: A principled framework for modular web rule bases and its semantics.

Article

Published in 01/01/2011

Authors

Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio,

Unbalanced tree search on a manycore system using the GPI programming model

Article

Published in 01/01/2011

Authors

Rui Machado, Carsten Lojewski, Salvador Abreu, Franz-Josef Pfreundt,

Incipient Cognition Solves the Spatial Reciprocity Conundrum of Cooperation

Article

Published in 01/01/2011

Authors

Jeromos Vukov, Francisco Santos, Jorge M. Pacheco,

The universal set and diagonalization in Frege structures

Article

Published in 01/01/2011

Authors

Reinhard Kahle,

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