 | 2011 |
| 12 |  | Marco Alberti,
Ana Sofia Gomes,
Ricardo Gonçalves,
João Leite,
Martin Slota:
Normative Systems Represented as Hybrid Knowledge Bases.
CLIMA 2011: 330-346 |
| 11 |  | Ricardo Gonçalves,
José Júlio Alferes:
Parametrized Equilibrium Logic.
LPNMR 2011: 236-241 |
| 10 |  | António Coelho,
Enrique Kato,
João Xavier,
Ricardo Gonçalves:
Serious Game for Introductory Programming.
SGDA 2011: 61-71 |
| 9 |  | Carlos Caleiro,
Ricardo Gonçalves:
Towards a Behavioral Algebraic Theory of Logical Valuations.
Fundam. Inform. 106(2-4): 191-209 (2011) |
| 2010 |
| 8 |  | Ricardo Gonçalves,
José Júlio Alferes:
Parametrized Logic Programming.
JELIA 2010: 182-194 |
| 7 |  | Nuno M. Preguiça,
Carlos Baquero,
Paulo Sérgio Almeida,
Victor Fonte,
Ricardo Gonçalves:
Dotted Version Vectors: Logical Clocks for Optimistic Replication
CoRR abs/1011.5808: (2010) |
| 2009 |
| 6 |  | Hervé Panetto,
Peter Bernus,
Ricardo Gonçalves,
H. Ted Goranson:
EI2N 2009 PC Co-chairs' Message.
OTM Workshops 2009: 139-140 |
| 5 |  | Carlos Caleiro,
Ricardo Gonçalves:
Algebraic Valuations as Behavioral Logical Matrices.
WoLLIC 2009: 13-25 |
| 4 |  | Carlos Caleiro,
Ricardo Gonçalves:
Behavioral algebraization of da Costa's C-systems.
Journal of Applied Non-Classical Logics 19(2): 127-148 (2009) |
| 3 |  | Carlos Caleiro,
Ricardo Gonçalves,
Manuel A. Martins:
Behavioral Algebraization of Logics.
Studia Logica 91(1): 63-111 (2009) |
| 2008 |
| 2 |  | João Barbosa,
Paulo Bernardes,
Matheus Almeida,
Pedro Gomes,
Ricardo Gonçalves,
Alberto Proença:
A Technology Cocktail for a 3D Photo-Realistic Model of a I Century Roman Fountain: Range Scanning, RTI and Physically Based Rendering.
VAST 2008: 25-32 |
| 2006 |
| 1 |  | Carlos Caleiro,
Ricardo Gonçalves:
On the Algebraization of Many-Sorted Logics.
WADT 2006: 21-36 |