José Félix Costa

70 papers B 2C 9Misc 1Journal 46Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Exploring the philosophical perspectives of future robots. Int. J. Parallel Emergent Distributed Syst. Anthony Guilherme, José Félix Costa
2022	J	`jnl`	Machines that perform measurements. Theor. Comput. Sci. Eduardo Skapinakis, José Félix Costa
2022	J	`jnl`	The Power of Machines That Control Experiments. Int. J. Found. Comput. Sci. Vasco Boavida De Brito, José Félix Costa, Diogo Poças
2019	J	`jnl`	On Discovering Scientific Laws. Int. J. Unconv. Comput. José Félix Costa
2018	J	`jnl`	Classifying the Computational Power of Stochastic Physical Oracles. Int. J. Unconv. Comput. Edwin J. Beggs, Pedro Cortez, José Félix Costa, John V. Tucker
2017	J	`jnl`	Computations with oracles that measure vanishing quantities. Math. Struct. Comput. Sci. Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
2017	—	`conf`	The Power of Analogue-Digital Machines - (Extended Abstract). UCNC José Félix Costa
2017	J	`jnl`	Unity of Science as Seen Through the Universal Computer. Int. J. Unconv. Comput. José Félix Costa
2015	J	`jnl`	Uncertainty in Time. Parallel Process. Lett. José Félix Costa
2014	J	`jnl`	A Natural Computation Model of Positive Relativisation. Int. J. Unconv. Comput. Edwin J. Beggs, José Félix Costa, John V. Tucker
2014	J	`jnl`	An analogue-Digital Church-Turing Thesis. Int. J. Found. Comput. Sci. Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
2014	J	`jnl`	Three Forms of Physical Measurement and their Computability. Rev. Symb. Log. Edwin J. Beggs, José Félix Costa, John V. Tucker
2013	J	`jnl`	Incomputability at the foundations of physics (A study in the philosophy of science). J. Log. Comput. José Félix Costa
2013	—	`conf`	On the Power of Threshold Measurements as Oracles. UCNC Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
2013	J	`jnl`	Oracles that measure thresholds: the Turing machine and the broken balance. J. Log. Comput. Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
2013	J	`jnl`	Processes with infinite liveness requirements. J. Log. Algebraic Methods Program. Hélia Guerra, José Félix Costa
2013	J	`jnl`	The ARNN model relativises P=NP and P!=NP. Theor. Comput. Sci. José Félix Costa, Raimundo Leong
2012	J	`jnl`	Preface to the Special Issue on Physics and Computation "Towards a Computational Interpretation of Physical Theories". Appl. Math. Comput. Cristian S. Calude, José Félix Costa, Hélia Guerra
2012	J	`jnl`	The impact of models of a physical oracle on computational power. Math. Struct. Comput. Sci. Edwin J. Beggs, José Félix Costa, John V. Tucker
2012	—	`ch.`	Unifying Science Through Computation: Reflections on Computability and Physics. Special Sciences and the Unity of Science Edwin J. Beggs, José Félix Costa
2011	J	`jnl`	Editorial. Int. J. Unconv. Comput. Cristian S. Calude, José Félix Costa
2011	J	`jnl`	Introduction. Nat. Comput. José Félix Costa, Nachum Dershowitz
2010	C	`conf`	Computable Scientists, Uncomputable World - (Abstract). UC José Félix Costa
2010	J	`jnl`	Limits to measurement in experiments governed by algorithms. Math. Struct. Comput. Sci. Edwin J. Beggs, José Félix Costa, John V. Tucker
2010	J	`jnl`	Physical Oracles: The Turing Machine and the Wheatstone Bridge. Stud Logica Edwin J. Beggs, José Félix Costa, John V. Tucker
2010	J	`jnl`	Preface to the Special Issue Unconventional Computing 2008. Nat. Comput. Cristian S. Calude, José Félix Costa
2009	J	`jnl`	A foundation for real recursive function theory. Ann. Pure Appl. Log. José Félix Costa, Bruno Loff, Jerzy Mycka
2009	J	`jnl`	Five Views of Hypercomputation. Int. J. Unconv. Comput. Bruno Loff, José Félix Costa
2009	J	`jnl`	Introduction. Appl. Math. Comput. Cristian S. Calude, José Félix Costa
2009	J	`jnl`	Introduction. Nat. Comput. Cristian S. Calude, José Félix Costa
2009	J	`jnl`	Limits to measurement in experiments governed by algorithms CoRR Edwin J. Beggs, José Félix Costa, John V. Tucker
2009	J	`jnl`	Physical Experiments as Oracles. Bull. EATCS Edwin J. Beggs, José Félix Costa, John V. Tucker
2009	J	`jnl`	Processes with local and global liveness requirements. J. Log. Algebraic Methods Program. Hélia Guerra, José Félix Costa
2009	C	`ed.`	Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings UC Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg
2008	C	`conf`	On the Complexity of Measurement in Classical Physics. TAMC Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker
2008	C	`conf`	Oracles and Advice as Measurements. UC Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker
2008	J	`jnl`	The Euclid Abstract Machine. Int. J. Unconv. Comput. Jerzy Mycka, José Félix Costa, Francisco Coelho
2008	C	`ed.`	Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings UC Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg
2007	J	`jnl`	A new conceptual framework for analog computation. Theor. Comput. Sci. Jerzy Mycka, José Félix Costa
2007	J	`jnl`	Computability on reals, infinite limits and differential equations. Appl. Math. Comput. Bruno Loff, José Félix Costa, Jerzy Mycka
2007	C	`conf`	The Abstract Immune System Algorithm. UC José Pacheco, José Félix Costa
2007	C	`conf`	The New Promise of Analog Computation. CiE José Félix Costa, Bruno Loff, Jerzy Mycka
2006	J	`jnl`	Introduction to the special issue on hypercomputation. Appl. Math. Comput. Francisco A. Doria, José Félix Costa
2006	J	`jnl`	The J. Complex. Jerzy Mycka, José Félix Costa
2006	C	`conf`	The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. UC Jerzy Mycka, Francisco Coelho, José Félix Costa
2006	J	`jnl`	Undecidability over Continuous Time. Log. J. IGPL Jerzy Mycka, José Félix Costa
2005	J	`jnl`	What Lies Beyond the Mountains? Bull. EATCS José Félix Costa, Jerzy Mycka
2004	J	`jnl`	Real recursive functions and their hierarchy. J. Complex. Jerzy Mycka, José Félix Costa
2004	C	`conf`	The Computational Power of Continuous Dynamic Systems. MCU Jerzy Mycka, José Félix Costa
2003	J	`jnl`	Analog computers and recursive functions over the reals. J. Complex. Daniel Silva Graça, José Félix Costa
2003	J	`jnl`	Symbolic Processing in Neural Networks. J. Braz. Comput. Soc. João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa
2002	J	`jnl`	An Analog Characterization of the Grzegorczyk Hierarchy. J. Complex. Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa
2001	—	`conf`	Canonical Institutions of Behaviour. WADT José Félix Costa, Hugo Lourenço
2001	—	`conf`	Verifying Properties of Neural Networks. IWANN (1) Pedro Rodrigues, José Félix Costa, Hava T. Siegelmann
2000	J	`jnl`	Iteration, Inequalities, and Differentiability in Analog Computers. J. Complex. Manuel Lameiras Campagnolo, Cristopher Moore, José Félix Costa
1997	Misc	`conf`	Lower Bounds of Computational Power of a Synaptic Calculus. IWANN João Pedro Guerreiro Neto, José Félix Costa, Helder Coelho
1997	—	`conf`	Nonsequential Automata Semantics for a Concurrent, Object-Based Language. US-Brazil Joint Workshops on the Formal Foundations of Software Systems Paulo Blauth Menezes, Amílcar Sernadas, José Félix Costa
1997	—	`conf`	Turing Universality of Neural Nets (Revisited). EUROCAST João Pedro Guerreiro Neto, Hava T. Siegelmann, José Félix Costa, Carmen Paz Suárez Araujo
1996	J	`jnl`	Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour. Math. Struct. Comput. Sci. José Luiz Fiadeiro, José Félix Costa
1996	J	`jnl`	Synchronization in Petri Nets. Fundam. Informaticae Paulo Blauth Menezes, José Félix Costa
1995	J	`jnl`	Object Specification Logic. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, José Félix Costa
1995	J	`jnl`	Progress Assumption in Concurrent Systems. Formal Aspects Comput. José Félix Costa, Amílcar Sernadas
1995	—	`conf`	Refinement Mapping for General (Discrete Event) Systems Theory. EUROCAST Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas
1994	—	`conf`	Institutions for Behaviour Specification. COMPASS/ADT José Luiz Fiadeiro, José Félix Costa
1994	J	`jnl`	Object Inheritance Beyond Subtyping. Acta Informatica José Félix Costa, Amílcar Sernadas, Cristina Sernadas
1994	—	`conf`	Process Semantics for Resolution. ICLP Workshop: Process-Based Parallel Logic Programming A. Lopes, José Félix Costa, Danilo Montesi
1993	B	`conf`	Data Encapsulation and Modularity: Three Views of Inheritance. MFCS José Félix Costa, Amílcar Sernadas, Cristina Sernadas
1992	—	`conf`	An Institution of Object Behaviour. COMPASS/ADT Amílcar Sernadas, José Félix Costa, Cristina Sernadas
1992	B	`conf`	Object Interaction. MFCS José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
1991	—	`conf`	Process Semantics of Temporal Logic Specifications. COMPASS/ADT José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum