Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José Félix Costa
@article{DBLP:journals/ijfcs/BritoCP22,
author = {Vasco Boavida De Brito and
Jos{\'{e}} F{\'{e}}lix Costa and
Diogo Po{\c{c}}as},
title = {The Power of Machines That Control Experiments},
journal = {Int. J. Found. Comput. Sci.},
volume = {33},
number = {2},
pages = {91--118},
year = {2022},
url = {https://doi.org/10.1142/S0129054122500010},
doi = {10.1142/S0129054122500010},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BritoCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SkapinakisC22,
author = {Eduardo Skapinakis and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Machines that perform measurements},
journal = {Theor. Comput. Sci.},
volume = {924},
pages = {68--93},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.04.037},
doi = {10.1016/J.TCS.2022.04.037},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/SkapinakisC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/Costa19,
author = {Jos{\'{e}} F{\'{e}}lix Costa},
title = {On Discovering Scientific Laws},
journal = {Int. J. Unconv. Comput.},
volume = {14},
number = {3-4},
pages = {285--318},
year = {2019},
url = {https://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-14-number-3-4-2019/ijuc-14-3-4-p-285-318/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/Costa19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/BeggsCCT18,
author = {Edwin J. Beggs and
Pedro Cortez and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Classifying the Computational Power of Stochastic Physical Oracles},
journal = {Int. J. Unconv. Comput.},
volume = {14},
number = {1},
pages = {59--90},
year = {2018},
url = {https://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-14-number-1-2018/ijuc-14-1-p-59-90/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/BeggsCCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/Costa17,
author = {Jos{\'{e}} F{\'{e}}lix Costa},
title = {Unity of Science as Seen Through the Universal Computer},
journal = {Int. J. Unconv. Comput.},
volume = {13},
number = {1},
pages = {59--81},
year = {2017},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-13-number-1-2017/ijuc-13-1-p-59-81/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/Costa17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BeggsCPT17,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
Diogo Po{\c{c}}as and
John V. Tucker},
title = {Computations with oracles that measure vanishing quantities},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {8},
pages = {1315--1363},
year = {2017},
url = {https://doi.org/10.1017/S0960129516000219},
doi = {10.1017/S0960129516000219},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BeggsCPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Costa17,
author = {Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Matthew J. Patitz and
Mike Stannett},
title = {The Power of Analogue-Digital Machines - (Extended Abstract)},
booktitle = {Unconventional Computation and Natural Computation - 16th International
Conference, {UCNC} 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10240},
pages = {3--7},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58187-3\_1},
doi = {10.1007/978-3-319-58187-3\_1},
timestamp = {Mon, 26 Jun 2023 20:47:16 +0200},
biburl = {https://dblp.org/rec/conf/uc/Costa17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/Costa15,
author = {Jos{\'{e}} F{\'{e}}lix Costa},
title = {Uncertainty in Time},
journal = {Parallel Process. Lett.},
volume = {25},
number = {1},
pages = {1540007:1--1540007:13},
year = {2015},
url = {https://doi.org/10.1142/S0129626415400071},
doi = {10.1142/S0129626415400071},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/Costa15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BeggsCPT14,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
Diogo Po{\c{c}}as and
John V. Tucker},
title = {An analogue-Digital Church-Turing Thesis},
journal = {Int. J. Found. Comput. Sci.},
volume = {25},
number = {4},
pages = {373--390},
year = {2014},
url = {https://doi.org/10.1142/S0129054114400012},
doi = {10.1142/S0129054114400012},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BeggsCPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/BeggsCT14,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {A Natural Computation Model of Positive Relativisation},
journal = {Int. J. Unconv. Comput.},
volume = {10},
number = {1-2},
pages = {111--141},
year = {2014},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-10-number-1-2-2013/ijuc-10-1-2-p-111-141/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/BeggsCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BeggsCT14,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Three Forms of Physical Measurement and their Computability},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {618--646},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000240},
doi = {10.1017/S1755020314000240},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BeggsCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GuerraC13,
author = {H{\'{e}}lia Guerra and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Processes with infinite liveness requirements},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {3-4},
pages = {137--161},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.03.001},
doi = {10.1016/J.JLAP.2013.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GuerraC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeggsCPT13,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
Diogo Po{\c{c}}as and
John V. Tucker},
title = {Oracles that measure thresholds: the Turing machine and the broken
balance},
journal = {J. Log. Comput.},
volume = {23},
number = {6},
pages = {1155--1181},
year = {2013},
url = {https://doi.org/10.1093/logcom/ext047},
doi = {10.1093/LOGCOM/EXT047},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeggsCPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Costa13,
author = {Jos{\'{e}} F{\'{e}}lix Costa},
title = {Incomputability at the foundations of physics {(A} study in the philosophy
of science)},
journal = {J. Log. Comput.},
volume = {23},
number = {6},
pages = {1225--1248},
year = {2013},
url = {https://doi.org/10.1093/logcom/ext048},
doi = {10.1093/LOGCOM/EXT048},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Costa13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CostaL13,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Raimundo Leong},
title = {The {ARNN} model relativises P=NP and P!=NP},
journal = {Theor. Comput. Sci.},
volume = {499},
pages = {2--22},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.05.022},
doi = {10.1016/J.TCS.2013.05.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CostaL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/BeggsCPT13,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
Diogo Po{\c{c}}as and
John V. Tucker},
editor = {Giancarlo Mauri and
Alberto Dennunzio and
Luca Manzoni and
Antonio E. Porreca},
title = {On the Power of Threshold Measurements as Oracles},
booktitle = {Unconventional Computation and Natural Computation - 12th International
Conference, {UCNC} 2013, Milan, Italy, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7956},
pages = {6--18},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39074-6\_3},
doi = {10.1007/978-3-642-39074-6\_3},
timestamp = {Sat, 09 Apr 2022 12:39:24 +0200},
biburl = {https://dblp.org/rec/conf/uc/BeggsCPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/CaludeCG12,
author = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
H{\'{e}}lia Guerra},
title = {Preface to the Special Issue on Physics and Computation "Towards
a Computational Interpretation of Physical Theories"},
journal = {Appl. Math. Comput.},
volume = {219},
number = {1},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1016/j.amc.2012.07.041},
doi = {10.1016/J.AMC.2012.07.041},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/CaludeCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BeggsCT12,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {The impact of models of a physical oracle on computational power},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {853--879},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000557},
doi = {10.1017/S0960129511000557},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BeggsCT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/leus/BeggsC12,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Olga Pombo and
Juan Manuel Torres and
John Symons and
Shahid Rahman},
title = {Unifying Science Through Computation: Reflections on Computability
and Physics},
booktitle = {Special Sciences and the Unity of Science},
series = {Logic, Epistemology, and the Unity of Science},
volume = {24},
pages = {53--80},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-94-007-2030-5\_4},
doi = {10.1007/978-94-007-2030-5\_4},
timestamp = {Sun, 02 Jun 2019 20:42:13 +0200},
biburl = {https://dblp.org/rec/series/leus/BeggsC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/CaludeC11,
author = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Editorial},
journal = {Int. J. Unconv. Comput.},
volume = {7},
number = {5},
pages = {313},
year = {2011},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-7-number-5-2011-2/ijuc-7-5-p-313/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/CaludeC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CostaD11,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Nachum Dershowitz},
title = {Introduction},
journal = {Nat. Comput.},
volume = {10},
number = {4},
pages = {1215--1217},
year = {2011},
url = {https://doi.org/10.1007/s11047-011-9247-z},
doi = {10.1007/S11047-011-9247-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CostaD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BeggsCT10,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Limits to measurement in experiments governed by algorithms},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {6},
pages = {1019--1050},
year = {2010},
url = {https://doi.org/10.1017/S0960129510000356},
doi = {10.1017/S0960129510000356},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BeggsCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CaludeC10,
author = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Preface to the Special Issue Unconventional Computing 2008},
journal = {Nat. Comput.},
volume = {9},
number = {4},
pages = {793--794},
year = {2010},
url = {https://doi.org/10.1007/s11047-010-9221-1},
doi = {10.1007/S11047-010-9221-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CaludeC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BeggsCT10,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Physical Oracles: The Turing Machine and the Wheatstone Bridge},
journal = {Stud Logica},
volume = {95},
number = {1-2},
pages = {279--300},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9254-6},
doi = {10.1007/S11225-010-9254-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BeggsCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/Costa10,
author = {Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Cristian S. Calude and
Masami Hagiya and
Kenichi Morita and
Grzegorz Rozenberg and
Jon Timmis},
title = {Computable Scientists, Uncomputable World - (Abstract)},
booktitle = {Unconventional Computation - 9th International Conference, {UC} 2010,
Tokyo, Japan, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6079},
pages = {6--10},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13523-1\_4},
doi = {10.1007/978-3-642-13523-1\_4},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/Costa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/CaludeC09,
author = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Introduction},
journal = {Appl. Math. Comput.},
volume = {215},
number = {4},
pages = {1309--1310},
year = {2009},
url = {https://doi.org/10.1016/j.amc.2009.04.059},
doi = {10.1016/J.AMC.2009.04.059},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/CaludeC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CostaLM09,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Bruno Loff and
Jerzy Mycka},
title = {A foundation for real recursive function theory},
journal = {Ann. Pure Appl. Log.},
volume = {160},
number = {3},
pages = {255--288},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.01.013},
doi = {10.1016/J.APAL.2009.01.013},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CostaLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BeggsCT09,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Physical Experiments as Oracles},
journal = {Bull. {EATCS}},
volume = {97},
pages = {137--151},
year = {2009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BeggsCT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/LoffC09,
author = {Bruno Loff and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Five Views of Hypercomputation},
journal = {Int. J. Unconv. Comput.},
volume = {5},
number = {3-4},
pages = {193--207},
year = {2009},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-5-number-3-4-2009/ijuc-5-3-4-p-193-207/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/LoffC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GuerraC09,
author = {H{\'{e}}lia Guerra and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Processes with local and global liveness requirements},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {3},
pages = {117--137},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.08.003},
doi = {10.1016/J.JLAP.2008.08.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GuerraC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/CaludeC09,
author = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Introduction},
journal = {Nat. Comput.},
volume = {8},
number = {3},
pages = {429--430},
year = {2009},
url = {https://doi.org/10.1007/s11047-009-9113-4},
doi = {10.1007/S11047-009-9113-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/CaludeC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uc/2009,
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Nachum Dershowitz and
Elisabete Freire and
Grzegorz Rozenberg},
title = {Unconventional Computation, 8th International Conference, {UC} 2009,
Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5715},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03745-0},
doi = {10.1007/978-3-642-03745-0},
isbn = {978-3-642-03744-3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-3836,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Limits to measurement in experiments governed by algorithms},
journal = {CoRR},
volume = {abs/0911.3836},
year = {2009},
url = {http://arxiv.org/abs/0911.3836},
eprinttype = {arXiv},
eprint = {0911.3836},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-3836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/MyckaCC08,
author = {Jerzy Mycka and
Jos{\'{e}} F{\'{e}}lix Costa and
Francisco Coelho},
title = {The Euclid Abstract Machine},
journal = {Int. J. Unconv. Comput.},
volume = {4},
number = {3},
pages = {223--248},
year = {2008},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-4-number-3-2008/ijuc-4-3-p-223-248/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/MyckaCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/BeggsCLT08,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
Bruno Loff and
John V. Tucker},
editor = {Manindra Agrawal and
Ding{-}Zhu Du and
Zhenhua Duan and
Angsheng Li},
title = {On the Complexity of Measurement in Classical Physics},
booktitle = {Theory and Applications of Models of Computation, 5th International
Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4978},
pages = {20--30},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79228-4\_2},
doi = {10.1007/978-3-540-79228-4\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/BeggsCLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/BeggsCLT08,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
Bruno Loff and
John V. Tucker},
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Rudolf Freund and
Marion Oswald and
Grzegorz Rozenberg},
title = {Oracles and Advice as Measurements},
booktitle = {Unconventional Computing, 7th International Conference, {UC} 2008,
Vienna, Austria, August 25-28, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5204},
pages = {33--50},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85194-3\_6},
doi = {10.1007/978-3-540-85194-3\_6},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/uc/BeggsCLT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uc/2008,
editor = {Cristian S. Calude and
Jos{\'{e}} F{\'{e}}lix Costa and
Rudolf Freund and
Marion Oswald and
Grzegorz Rozenberg},
title = {Unconventional Computing, 7th International Conference, {UC} 2008,
Vienna, Austria, August 25-28, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5204},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85194-3},
doi = {10.1007/978-3-540-85194-3},
isbn = {978-3-540-85193-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/LoffCM07,
author = {Bruno Loff and
Jos{\'{e}} F{\'{e}}lix Costa and
Jerzy Mycka},
title = {Computability on reals, infinite limits and differential equations},
journal = {Appl. Math. Comput.},
volume = {191},
number = {2},
pages = {353--371},
year = {2007},
url = {https://doi.org/10.1016/j.amc.2007.02.146},
doi = {10.1016/J.AMC.2007.02.146},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/LoffCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MyckaC07,
author = {Jerzy Mycka and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {A new conceptual framework for analog computation},
journal = {Theor. Comput. Sci.},
volume = {374},
number = {1-3},
pages = {277--290},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.01.005},
doi = {10.1016/J.TCS.2007.01.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MyckaC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CostaLM07,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Bruno Loff and
Jerzy Mycka},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {The New Promise of Analog Computation},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {189--195},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_20},
doi = {10.1007/978-3-540-73001-9\_20},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/CostaLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/PachecoC07,
author = {Jos{\'{e}} Pacheco and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Selim G. Akl and
Cristian S. Calude and
Michael J. Dinneen and
Grzegorz Rozenberg and
Todd Wareham},
title = {The Abstract Immune System Algorithm},
booktitle = {Unconventional Computation, 6th International Conference, {UC} 2007,
Kingston, Canada, August 13-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4618},
pages = {137--149},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73554-0\_14},
doi = {10.1007/978-3-540-73554-0\_14},
timestamp = {Sun, 02 Jun 2019 21:16:17 +0200},
biburl = {https://dblp.org/rec/conf/uc/PachecoC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/DoriaC06,
author = {Francisco A. Doria and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Introduction to the special issue on hypercomputation},
journal = {Appl. Math. Comput.},
volume = {178},
number = {1},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1016/j.amc.2005.09.065},
doi = {10.1016/J.AMC.2005.09.065},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/DoriaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MyckaC06,
author = {Jerzy Mycka and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Undecidability over Continuous Time},
journal = {Log. J. {IGPL}},
volume = {14},
number = {5},
pages = {649--658},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzl004},
doi = {10.1093/JIGPAL/JZL004},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MyckaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/MyckaC06,
author = {Jerzy Mycka and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {The \emph{P} ne \emph{NP} conjecture in the context of real and complex
analysis},
journal = {J. Complex.},
volume = {22},
number = {2},
pages = {287--303},
year = {2006},
url = {https://doi.org/10.1016/j.jco.2005.07.003},
doi = {10.1016/J.JCO.2005.07.003},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jc/MyckaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uc/MyckaCC06,
author = {Jerzy Mycka and
Francisco Coelho and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Cristian S. Calude and
Michael J. Dinneen and
Gheorghe Paun and
Grzegorz Rozenberg and
Susan Stepney},
title = {The Euclid Abstract Machine: Trisection of the Angle and the Halting
Problem},
booktitle = {Unconventional Computation, 5th International Conference, {UC} 2006,
York, UK, September 4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4135},
pages = {195--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11839132\_16},
doi = {10.1007/11839132\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uc/MyckaCC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/CostaM05,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Jerzy Mycka},
title = {What Lies Beyond the Mountains?},
journal = {Bull. {EATCS}},
volume = {85},
pages = {179--189},
year = {2005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/CostaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/MyckaC04,
author = {Jerzy Mycka and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Real recursive functions and their hierarchy},
journal = {J. Complex.},
volume = {20},
number = {6},
pages = {835--857},
year = {2004},
url = {https://doi.org/10.1016/j.jco.2004.06.001},
doi = {10.1016/J.JCO.2004.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/MyckaC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcu/MyckaC04,
author = {Jerzy Mycka and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Maurice Margenstern},
title = {The Computational Power of Continuous Dynamic Systems},
booktitle = {Machines, Computations, and Universality, 4th International Conference,
{MCU} 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3354},
pages = {164--175},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31834-7\_13},
doi = {10.1007/978-3-540-31834-7\_13},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mcu/MyckaC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/NetoTSC03,
author = {Jo{\~{a}}o Pedro Guerreiro Neto and
Hava T. Siegelmann and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Symbolic Processing in Neural Networks},
journal = {J. Braz. Comput. Soc.},
volume = {8},
number = {3},
pages = {58},
year = {2003},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/NetoTSC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/GracaC03,
author = {Daniel Silva Gra{\c{c}}a and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Analog computers and recursive functions over the reals},
journal = {J. Complex.},
volume = {19},
number = {5},
pages = {644--664},
year = {2003},
url = {https://doi.org/10.1016/S0885-064X(03)00034-7},
doi = {10.1016/S0885-064X(03)00034-7},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/GracaC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/CampagnoloMC02,
author = {Manuel Lameiras Campagnolo and
Cristopher Moore and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {An Analog Characterization of the Grzegorczyk Hierarchy},
journal = {J. Complex.},
volume = {18},
number = {4},
pages = {977--1000},
year = {2002},
url = {https://doi.org/10.1006/jcom.2002.0655},
doi = {10.1006/JCOM.2002.0655},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/CampagnoloMC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/RodriguesCS01,
author = {Pedro Rodrigues and
Jos{\'{e}} F{\'{e}}lix Costa and
Hava T. Siegelmann},
editor = {Jos{\'{e}} Mira and
Alberto Prieto},
title = {Verifying Properties of Neural Networks},
booktitle = {Connectionist Models of Neurons, Learning Processes and Artificial
Intelligence, 6th International Work-Conference on Artificial and
Natural Neural Networks, {IWANN} 2001 Granada, Spain, June 13-15,
2001, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {2084},
pages = {158--165},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45720-8\_19},
doi = {10.1007/3-540-45720-8\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iwann/RodriguesCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/CostaL01,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Hugo Louren{\c{c}}o},
editor = {Maura Cerioli and
Gianna Reggio},
title = {Canonical Institutions of Behaviour},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {71--84},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_4},
doi = {10.1007/3-540-45645-7\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wadt/CostaL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/CampagnoloMC00,
author = {Manuel Lameiras Campagnolo and
Cristopher Moore and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Iteration, Inequalities, and Differentiability in Analog Computers},
journal = {J. Complex.},
volume = {16},
number = {4},
pages = {642--660},
year = {2000},
url = {https://doi.org/10.1006/jcom.2000.0559},
doi = {10.1006/JCOM.2000.0559},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jc/CampagnoloMC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/NetoSCA97,
author = {Jo{\~{a}}o Pedro Guerreiro Neto and
Hava T. Siegelmann and
Jos{\'{e}} F{\'{e}}lix Costa and
Carmen Paz Su{\'{a}}rez Araujo},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az},
title = {Turing Universality of Neural Nets (Revisited)},
booktitle = {Computer Aided Systems Theory - EUROCAST'97, {A} Selection of Papers
from the 6th International Workshop on Computer Aided Systems Theory,
Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1333},
pages = {361--366},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0025058},
doi = {10.1007/BFB0025058},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/NetoSCA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwann/NetoCC97,
author = {Jo{\~{a}}o Pedro Guerreiro Neto and
Jos{\'{e}} F{\'{e}}lix Costa and
Helder Coelho},
editor = {Jos{\'{e}} Mira and
Roberto Moreno{-}D{\'{\i}}az and
Joan Cabestany},
title = {Lower Bounds of Computational Power of a Synaptic Calculus},
booktitle = {Biological and Artificial Computation: From Neuroscience to Technology,
International Work-Conference on Artificial and Natural Neural Networks,
{IWANN} '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1240},
pages = {340--348},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0032492},
doi = {10.1007/BFB0032492},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iwann/NetoCC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MenezesSC98,
author = {Paulo Blauth Menezes and
Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Rance Cleaveland and
Michael W. Mislove and
Philip S. Mulry},
title = {Nonsequential Automata Semantics for a Concurrent, Object-Based Language},
booktitle = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
November 13-16, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {14},
pages = {245--273},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80239-7},
doi = {10.1016/S1571-0661(05)80239-7},
timestamp = {Fri, 11 Nov 2022 13:55:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MenezesSC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MenezesC96,
author = {Paulo Blauth Menezes and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Synchronization in Petri Nets},
journal = {Fundam. Informaticae},
volume = {26},
number = {1},
pages = {11--22},
year = {1996},
url = {https://doi.org/10.3233/FI-1996-2612},
doi = {10.3233/FI-1996-2612},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MenezesC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroC96,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Mirror, Mirror in my Hand: {A} Duality between Specifications and
Models of Process Behaviour},
journal = {Math. Struct. Comput. Sci.},
volume = {6},
number = {4},
pages = {353--373},
year = {1996},
url = {https://doi.org/10.1017/S0960129500001067},
doi = {10.1017/S0960129500001067},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CostaS95,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas},
title = {Progress Assumption in Concurrent Systems},
journal = {Formal Aspects Comput.},
volume = {7},
number = {1},
pages = {18--36},
year = {1995},
url = {https://doi.org/10.1007/BF01214621},
doi = {10.1007/BF01214621},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CostaS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SernadasSC95,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jos{\'{e}} F{\'{e}}lix Costa},
title = {Object Specification Logic},
journal = {J. Log. Comput.},
volume = {5},
number = {5},
pages = {603--630},
year = {1995},
url = {https://doi.org/10.1093/logcom/5.5.603},
doi = {10.1093/LOGCOM/5.5.603},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/SernadasSC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/MenezesCS95,
author = {Paulo Blauth Menezes and
Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas},
editor = {Franz Pichler and
Roberto Moreno{-}D{\'{\i}}az and
Rudolf F. Albrecht},
title = {Refinement Mapping for General (Discrete Event) Systems Theory},
booktitle = {Computer Aided Systems Theory - EUROCAST'95, {A} Selection of Papers
from the Fifth International Workshop on Computer Aided Systems Theory,
Innsbruck, Austria, May 22-25, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1030},
pages = {103--116},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034753},
doi = {10.1007/BFB0034753},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/MenezesCS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CostaSS94,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
title = {Object Inheritance Beyond Subtyping},
journal = {Acta Informatica},
volume = {31},
number = {1},
pages = {5--26},
year = {1994},
url = {https://doi.org/10.1007/BF01178920},
doi = {10.1007/BF01178920},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CostaSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroC94,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Institutions for Behaviour Specification},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {273--289},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014433},
doi = {10.1007/BFB0014433},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LopesCM94,
author = {A. Lopes and
Jos{\'{e}} F{\'{e}}lix Costa and
Danilo Montesi},
editor = {Koenraad De Bosschere and
Jean{-}Marie Jacquet and
Antonio Brogi},
title = {Process Semantics for Resolution},
booktitle = {{ICPL} 1994 Workshop {W1:} Process-Based Parallel Logic Programming,
Santa Margherita Ligure, Italy, June, 1994},
pages = {88},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:43 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LopesCM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CostaSS93,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Data Encapsulation and Modularity: Three Views of Inheritance},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {382--391},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_30},
doi = {10.1007/3-540-57182-5\_30},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CostaSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/SernadasCS92,
author = {Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} F{\'{e}}lix Costa and
Cristina Sernadas},
editor = {Hartmut Ehrig},
title = {An Institution of Object Behaviour},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {337--351},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_21},
doi = {10.1007/3-540-57867-6\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/SernadasCS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CostaSSE92,
author = {Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Hans{-}Dieter Ehrich},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {Object Interaction},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {200--208},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_18},
doi = {10.1007/3-540-55808-X\_18},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/CostaSSE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroCSM91,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas and
T. S. E. Maibaum},
editor = {Michel Bidoit and
Christine Choppy},
title = {Process Semantics of Temporal Logic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {236--253},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_43},
doi = {10.1007/3-540-56379-2\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroCSM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
