Login

articles

On ensconcement and contraction

Article

Published in 01/01/2017

Authors

Eduardo Fermé, Marco Garapa, Maurício Reis,

Semantic Languages for Developing Correct Language Translations

Article

Published in 01/01/2017

Authors

Bruno Barroca, Vasco Amaral, Didier Buchs,

Pot: Deterministic transactional execution

Article

Published in 01/12/2016

Authors

Tiago Vale, João A Silva, Ricardo Dias, João Lourenço,

Evolution in the number of authors of computer science publications

Article

Published in 01/12/2016

Authors

Miguel Monteiro,

Foundations of Session Types and Behavioural Contracts

Article

Published in 10/10/2016

Authors

Hans Hutttel, Ivan Lanese, Vasco Vasconcelos, Luis Caires, et. el,

Model Inferring for Spreadsheets

Article

Published in 01/09/2016

Authors

Jácome Cunha, Martin Erwig, Jorge Mendes,

Synergies and Tradeoffs in Software Reuse – a Systematic Mapping Study

Article

Published in 01/08/2016

Authors

Denise Bombonatti, Miguel Goulão, Ana Moreira,

Logic Programming for Modeling Morality

Article

Published in 01/08/2016

Authors

Ari Saptawijaya, Lorenzo Magnani, Luís Moniz Pereira, Claudia Casadio,

Quality in model-driven engineering: a tertiary study

Article

Published in 01/06/2016

Authors

Miguel Goulão, Vasco Amaral, Marjan Mernik,

Cache-Conscious Run-time Decomposition of Data Parallel Computations

Article

Published in 01/06/2016

Authors

Hervé Paulino, Nuno Delgado,