Arquivo de In Proceedings - Page 37 of 148 - NOVA LINCS NOVA LINCS

Login

Towards security modeling of e-voting systems

Published in 01/09/2016

Authors

Cristiano De Faveri, Ana Moreira, João Araújo, Vasco Amaral,

The View Update Problem in the OutSystems Aggregate Language

Published in 01/09/2016

Authors

João Costa Seco,

Forgiveness evolves to ensure cooperation in long-term agreements (abstract)

Published in 01/09/2016

Authors

Luis Martinez-Vaquero, Han The Anh, Luís Moniz Pereira, Tom Lenaerts,

Towards inconsistency management in reactive multi-context systems

Published in 01/08/2016

Authors

G. Brewka, João Leite, Matthias Knorr, Ricardo Gonçalves, S. Ellmauthaler,

Ephemeral Data Storage for Networks of Hand-held Devices

Published in 01/08/2016

Authors

João A Silva, Ricardo Monteiro, Hervé Paulino, João Lourenço,

On some properties of forgetting in ASP

Published in 01/08/2016

Authors

Ricardo Gonçalves, Matthias Knorr, João Leite,

You Can’t Always Forget What You Want: on the limits of forgetting in answer set programming

Published in 01/08/2016

Authors

Ricardo Gonçalves, Matthias Knorr, João Leite,

First steps towards coverage-based document alignment

Published in 01/08/2016

Authors

Luís Gomes, Gabriel Pereira Lopes,

English-Portuguese biomedical translation task using a genuine phrase-based statistical machine translation approach.

Published in 01/08/2016

Authors

José Aires, Luís Gomes, Gabriel Pereira Lopes,

Composing Interfering Abstract Protocols

Published in 22/07/2016

Authors

Filipe Militão, Jonathan Aldrich, Luis Caires, Shriram Krishnamurthi, Benjamin S. Lerner,