| |
| 2008 | ||
|---|---|---|
| 2 | EE | Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro: A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. Electr. Notes Theor. Comput. Sci. 195: 133-149 (2008) |
| 1994 | ||
| 1 | Robert Saunders, Luis Lopes: Performance of Cellular Radio Systems with Power Control in Varying Shadow Fading Environments. Mobile Communications 1994: 376-390 | |
| 1 | Mario R. F. Benevides | [2] |
| 2 | Carla A. D. M. Delgado | [2] |
| 3 | Carlos López Pombo | [2] |
| 4 | Ricardo Ribeiro | [2] |
| 5 | Robert Saunders | [1] |