Arquivo de In Proceedings - Page 41 of 42 - NOVA LINCS NOVA LINCS

Login

From Atomic Variables to Data-Centric Concurrency Control

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

Published in 01/04/2016

Authors

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

User-Friendly Spreadsheet Querying: An Empirical Study

Published in 01/04/2016

Authors

Rui Pereira, Jácome Cunha,

Δ-CRDTs: Making δ-CRDTs Delta-Based

Published in 01/04/2016

Authors

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

The Ultimate Guide to Forgetting in Answer Set Programming

Published in 01/04/2016

Authors

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

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

Published in 21/03/2016

Authors

F. Cardoso, Luís Moniz Pereira,

Emergence of Cooperation in Group Interactions: Avoidance vs. Restriction

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

Published in 01/03/2016

Authors

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

Guilt for Non-Humans

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

Published in 01/02/2016

Authors

Lois Orosa, João Lourenço,