• 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

Books Chapters

Static Analysis Techniques for Session-Oriented Calculi

Book Chapter

Published in 01/01/2011

Authors

Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira,

Evolving Logic Programs with Temporal Operators

Book Chapter

Published in 01/01/2011

Authors

José Júlio Alferes, Marcello Balduccini, Alfredo Gabaldon, Tran Cao Son, João Leite,

The Need for Early Aspects

Book Chapter

Published in 01/01/2011

Authors

Ana Moreira, João Araújo,

Evolutionary Psychology and the Unity of Sciences – Towards an evolutionary epistemology

Book Chapter

Published in 01/01/2011

Authors

Luís Moniz Pereira, Olga Pombo, Luís Moniz Pereira, O. Pombo, Luís Moniz Pereira, O. Pombo, J. Symons, J. Symons, J. Symons, J. M. Torres, J. M. Torres, J. M. Torres,

Stable Model implementation of Layer Supported Models by program transformation

Book Chapter

Published in 01/01/2011

Authors

Alexandre Pinto, Salvador Abreu, Luís Moniz Pereira, Salvador Abreu, Dietmar Siepel, Alexandre Pinto, Deitmar Seipel,

Evolutionary Psychology and the Unity of Sciences – Towards an evolutionary epistemology

Book Chapter

Published in 01/01/2011

Authors

Luís Moniz Pereira, Olga Pombo, Luís Moniz Pereira, O. Pombo, Luís Moniz Pereira, O. Pombo, J. Symons, J. Symons, J. Symons, J. M. Torres, J. M. Torres, J. M. Torres,

Variability Management

Book Chapter

Published in 01/01/2011

Authors

Steffen Zschaler, Pablo Sanchez, Ana Moreira, João Araújo, Lidia Fuentes,

Inspecting Side-Effects of Abduction in Logic Programs

Book Chapter

Published in 01/01/2011

Authors

Luís Moniz Pereira, M. Balduccini, Luís Moniz Pereira, M. Balduccini, Alexandre Pinto, Tran Cao Son, Alexandre Pinto, S. Tran,

The messianic effect of pathological altruism

Book Chapter

Published in 01/01/2011

Authors

Jorge M. Pacheco, Francisco Santos,

Hybrid Assessment Method for SPL

Book Chapter

Published in 01/01/2011

Authors

Afonso Pimentel, Rita Ribeiro, Ana Moreira, João Araújo, Pim van den Broek,

Posts pagination

Previous 1 … 8 9 10 … 21 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