Login

In Proceedings

Evaluating the efficiency of using a search-based automated model merge technique

InProceedings

Published in 01/10/2018

Authors

Ankica Barisic, Csaba Debreceni, Daniel Varro, Vasco Amaral, Miguel Goulão,

Counterfactual Thinking in Cooperation Dynamics (extended abstract)

InProceedings

Published in 01/10/2018

Authors

Luís Moniz Pereira, Francisco Santos,

Improving the developer experience with a low-code process modelling language

InProceedings

Published in 01/10/2018

Authors

Henrique Henriques, Vasco Amaral, Miguel Goulão,

Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax

InProceedings

Published in 01/10/2018

Authors

Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araújo,

MuSE: Multimodal Searchable Encryption for Cloud Applications

InProceedings

Published in 01/10/2018

Authors

Bernardo Ferreira, João Leitão, Henrique Domingos,

A Universal Session Type for Untyped Asynchronous Communication

InProceedings

Published in 31/08/2018

Authors

Stephanie Balzer, Frank Pfenning, Bernardo Toninho,

A Universal Session Type for Untyped Asynchronous Communication

InProceedings

Published in 31/08/2018

Authors

Stephanie Balzer, Frank Pfenning, Bernardo Toninho,

Weaving of Metaheuristics with Cooperative Parallelism

InProceedings

Published in 22/08/2018

Authors

Jheisson López, Danny Múnera, Daniel Diaz, Salvador Abreu,

On the Impact of Semantic Transparency on Understanding and Reviewing Social Goal Models

InProceedings

Published in 01/08/2018

Authors

Mafalda Santos, Catarina Gralha, Miguel Goulão, João Araújo, Ana Moreira,

Stream Processing on Hybrid CPU/Intel Xeon Phi Systems

InProceedings

Published in 01/08/2018

Authors

Hervé Paulino,