| 2017 | UC | The Power of Analogue-Digital Machines - (Extended Abstract). | Jos Flix Costa |
| 2013 | UC | On the Power of Threshold Measurements as Oracles. | Edwin J. Beggs, Jos Flix Costa, Diogo Poas, John V. Tucker |
| 2010 | UC | Computable Scientists, Uncomputable World - (Abstract). | Jos Flix Costa |
| 2008 | TAMC | On the Complexity of Measurement in Classical Physics. | Edwin J. Beggs, Jos Flix Costa, Bruno Loff, John V. Tucker |
| 2008 | UC | Oracles and Advice as Measurements. | Edwin J. Beggs, Jos Flix Costa, Bruno Loff, John V. Tucker |
| 2007 | CiE | The New Promise of Analog Computation. | Jos Flix Costa, Bruno Loff, Jerzy Mycka |
| 2007 | UC | The Abstract Immune System Algorithm. | Jos Pacheco, Jos Flix Costa |
| 2006 | UC | The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. | Jerzy Mycka, Francisco Coelho, Jos Flix Costa |
| 2004 | MCU | The Computational Power of Continuous Dynamic Systems. | Jerzy Mycka, Jos Flix Costa |
| 2001 | IWANN | Verifying Properties of Neural Networks. | Pedro Rodrigues, Jos Flix Costa, Hava T. Siegelmann |
| 1997 | IWANN | Lower Bounds of Computational Power of a Synaptic Calculus. | Joo Pedro Guerreiro Neto, Jos Flix Costa, Helder Coelho |
| 1994 | COMPASS | Institutions for Behaviour Specification. | Jos Luiz Fiadeiro, Jos Flix Costa |
| 1994 | ICLP | Process Semantics for Resolution. | A. Lopes, Jos Flix Costa, Danilo Montesi |
| 1993 | MFCS | Data Encapsulation and Modularity: Three Views of Inheritance. | Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas |
| 1992 | COMPASS | An Institution of Object Behaviour. | Amlcar Sernadas, Jos Flix Costa, Cristina Sernadas |
| 1992 | MFCS | Object Interaction. | Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich |
| 1991 | COMPASS | Process Semantics of Temporal Logic Specifications. | Jos Luiz Fiadeiro, Jos Flix Costa, Amlcar Sernadas, T. S. E. Maibaum |