Login

in_proceedings

Usability of Requirements Techniques – A Systematic Literature Review

InProceedings

Published in 01/04/2016

Authors

Denise Bombonatti, Catarina Gralha, Ana Moreira, João Araújo, Miguel Goulão,

From Atomic Variables to Data-Centric Concurrency Control

InProceedings

Published in 01/04/2016

Authors

Hervé Paulino, Daniel Luis Landeiroto Parreira, Nuno Delgado, António Ravara, Ana Matos,

On the Relative Expressiveness of Higher-Order Session Processes

InProceedings

Published in 01/04/2016

Authors

Dimitrios Kouzapas, Jorge A Pérez, Nobuko Yoshida,

User-Friendly Spreadsheet Querying: An Empirical Study

InProceedings

Published in 01/04/2016

Authors

Rui Pereira, Jácome Cunha,

Δ-CRDTs: Making δ-CRDTs Delta-Based

InProceedings

Published in 01/04/2016

Authors

Albert van der Linde, João Leitão, Nuno Preguiça,

Simulation as a Method of Ethics: simulating agents by programming, to elucidate autonomy, agency and ethical virtues

InProceedings

Published in 21/03/2016

Authors

F. Cardoso, Luís Moniz Pereira,

Emergence of Cooperation in Group Interactions: Avoidance vs. Restriction

InProceedings

Published in 01/03/2016

Authors

Han The Anh, Luís Moniz Pereira, Tom Lenaerts,

Conditions for the evolution of apology and forgiveness in populations of autonomous agents

InProceedings

Published in 01/03/2016

Authors

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

Guilt for Non-Humans

InProceedings

Published in 01/03/2016

Authors

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

A Hardware Approach to Detect, Expose and Tolerate High Level Data Races

InProceedings

Published in 01/02/2016

Authors

Lois Orosa, João Lourenço,