 | 2009 |
|---|
| 36 |       | Cristian S. Calude,
José Félix Costa,
Nachum Dershowitz,
Elisabete Freire,
Grzegorz Rozenberg:
Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings
Springer 2009 |
| 2008 |
|---|
| 35 |  | Cristian S. Calude,
José Félix Costa,
Rudolf Freund,
Marion Oswald,
Grzegorz Rozenberg:
Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings
Springer 2008 |
| 34 | | Edwin J. Beggs,
José Félix Costa,
Bruno Loff,
John Tucker:
On the Complexity of Measurement in Classical Physics.
TAMC 2008: 20-30 |
| 33 | | Edwin J. Beggs,
José Félix Costa,
Bruno Loff,
John V. Tucker:
Oracles and Advice as Measurements.
UC 2008: 33-50 |
| 2007 |
|---|
| 32 | | José Félix Costa,
Bruno Loff,
Jerzy Mycka:
The New Promise of Analog Computation.
CiE 2007: 189-195 |
| 31 | | José Pacheco,
José Félix Costa:
The Abstract Immune System Algorithm.
UC 2007: 137-149 |
| 30 | | Bruno Loff,
José Félix Costa,
Jerzy Mycka:
Computability on reals, infinite limits and differential equations.
Applied Mathematics and Computation 191(2): 353-371 (2007) |
| 29 | | Jerzy Mycka,
José Félix Costa:
A new conceptual framework for analog computation.
Theor. Comput. Sci. 374(1-3): 277-290 (2007) |
| 2006 |
|---|
| 28 | | Jerzy Mycka,
Francisco Coelho,
José Félix Costa:
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem.
UC 2006: 195-206 |
| 27 | | Francisco A. Doria,
José Félix Costa:
Introduction to the special issue on hypercomputation.
Applied Mathematics and Computation 178(1): 1-3 (2006) |
| 26 | | Jerzy Mycka,
José Félix Costa:
The P ne NP conjecture in the context of real and complex analysis.
J. Complexity 22(2): 287-303 (2006) |
| 25 | | Jerzy Mycka,
José Félix Costa:
Undecidability over Continuous Time.
Logic Journal of the IGPL 14(5): 649-658 (2006) |
| 2005 |
|---|
| 24 | | José Félix Costa,
Jerzy Mycka:
What Lies Beyond the Mountains?
Bulletin of the EATCS 85: 179-189 (2005) |
| 2004 |
|---|
| 23 | | Jerzy Mycka,
José Félix Costa:
The Computational Power of Continuous Dynamic Systems.
MCU 2004: 164-175 |
| 22 | | Jerzy Mycka,
José Félix Costa:
Real recursive functions and their hierarchy.
J. Complexity 20(6): 835-857 (2004) |
| 2003 |
|---|
| 21 | | João Pedro Guerreiro Neto,
Hava T. Siegelmann,
José Félix Costa:
Symbolic Processing in Neural Networks.
J. Braz. Comp. Soc. 8(3): 58- (2003) |
| 20 | | Daniel Silva Graça,
José Félix Costa:
Analog computers and recursive functions over the reals.
J. Complexity 19(5): 644-664 (2003) |
| 2002 |
|---|
| 19 | | Manuel Lameiras Campagnolo,
Cristopher Moore,
José Félix Costa:
An Analog Characterization of the Grzegorczyk Hierarchy.
J. Complexity 18(4): 977-1000 (2002) |
| 2001 |
|---|
| 18 | | Pedro Rodrigues,
José Félix Costa,
Hava T. Siegelmann:
Verifying Properties of Neural Networks.
IWANN (1) 2001: 158-165 |
| 17 | | José Félix Costa,
Hugo Lourenço:
Canonical Institutions of Behaviour.
WADT 2001: 71-84 |
| 2000 |
|---|
| 16 | | Manuel Lameiras Campagnolo,
Cristopher Moore,
José Félix Costa:
Iteration, Inequalities, and Differentiability in Analog Computers.
J. Complexity 16(4): 642-660 (2000) |
| 1998 |
|---|
| 15 | | Paulo Blauth Menezes,
Amílcar Sernadas,
José Félix Costa:
Nonsequential Automata Semantics for a Concurrent, Object-Based Language.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 14 | | João Pedro Guerreiro Neto,
Hava T. Siegelmann,
José Félix Costa,
Carmen Paz Suárez Araujo:
Turing Universality of Neural Nets (Revisited).
EUROCAST 1997: 361-366 |
| 13 | | João Pedro Guerreiro Neto,
José Félix Costa,
Helder Coelho:
Lower Bounds of Computational Power of a Synaptic Calculus.
IWANN 1997: 340-348 |
| 1996 |
|---|
| 12 | | Paulo Blauth Menezes,
José Félix Costa:
Synchronization in Petri Nets.
Fundam. Inform. 26(1): 11-22 (1996) |
| 11 | | José Luiz Fiadeiro,
José Félix Costa:
Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour.
Mathematical Structures in Computer Science 6(4): 353-373 (1996) |
| 1995 |
|---|
| 10 | | Paulo Blauth Menezes,
José Félix Costa,
Amílcar Sernadas:
Refinement Mapping for General (Discrete Event) Systems Theory.
EUROCAST 1995: 103-116 |
| 9 | | José Félix Costa,
Amílcar Sernadas:
Progress Assumption in Concurrent Systems.
Formal Asp. Comput. 7(1): 18-36 (1995) |
| 8 | | Amílcar Sernadas,
Cristina Sernadas,
José Félix Costa:
Object Specification Logic.
J. Log. Comput. 5(5): 603-630 (1995) |
| 1994 |
|---|
| 7 | | José Luiz Fiadeiro,
José Félix Costa:
Institutions for Behaviour Specification.
COMPASS/ADT 1994: 273-289 |
| 6 | | A. Lopes,
José Félix Costa,
Danilo Montesi:
Process Semantics for Resolution.
ICLP Workshop: Process-Based Parallel Logic Programming 1994: 88- |
| 5 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas:
Object Inheritance Beyond Subtyping.
Acta Inf. 31(1): 5-26 (1994) |
| 1993 |
|---|
| 4 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas:
Data Encapsulation and Modularity: Three Views of Inheritance.
MFCS 1993: 382-391 |
| 1992 |
|---|
| 3 | | Amílcar Sernadas,
José Félix Costa,
Cristina Sernadas:
An Institution of Object Behaviour.
COMPASS/ADT 1992: 337-351 |
| 2 | | José Félix Costa,
Amílcar Sernadas,
Cristina Sernadas,
Hans-Dieter Ehrich:
Object Interaction.
MFCS 1992: 200-208 |
| 1991 |
|---|
| 1 | | José Luiz Fiadeiro,
José Félix Costa,
Amílcar Sernadas,
T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications.
COMPASS/ADT 1991: 236-253 |
