何塞·费利克斯·科斯塔
人员信息
优化列表
2020年–今天
2024 [j45] 布鲁诺·帕蒂西奥 , 何塞·费利克斯·科斯塔 , 保拉·古韦亚 :
前任 -鉴定和科学发现。 国际J.并行应急分布式系统。 39 ( 4 ) : 413-445 ( 2024 ) 2022 [j44] Vasco Boavida De Brito公司 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 :
控制实验的机器的力量。 发现的国际期刊。 计算。 科学。 33 ( 2 ) : 91-118 ( 2022 ) [公元43年] 爱德华多·斯卡皮纳基斯 , 何塞·费利克斯·科斯塔 :
执行测量的机器。 西奥。 计算。 科学。 924 : 68-93 ( 2022 )
2010 – 2019
2019 [公元42年] 何塞·费利克斯·科斯塔 :
关于发现科学规律。 国际期刊未经审核。 计算。 14 ( 3-4 ) : 285-318 ( 2019 ) 2018 [公元41年] 埃德温·贝格斯 , 佩德罗·科尔特斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
随机物理预言的计算能力分类。 国际期刊未经审核。 计算。 14 ( 1 ) : 59-90 ( 2018 ) 2017 [j40] 何塞·费利克斯·科斯塔 :
通过通用计算机看到的科学统一。 国际期刊未经审核。 计算。 13 ( 1 ) : 59-81 ( 2017 ) [公元39年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 , 约翰·V·塔克 :
使用测量消失量的预言进行计算。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1315-1363 ( 2017 ) 【c21】 何塞·费利克斯·科斯塔 :
模拟-数字机器的力量(扩展摘要)。 加州大学北卡罗来纳州 2017 : 3-7 2015 [j38] 何塞·费利克斯·科斯塔 :
时间的不确定性。 并行过程。 莱特。 25 ( 1 ) : 1540007:1-1540007:13 ( 2015 ) 2014 [公元37年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 , 约翰·V·塔克 :
类似的数字教会教学论文。 Int.J.找到。 计算。 科学。 25 ( 4 ) : 373-390 ( 2014 ) [公元36年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
正相对论的自然计算模型。 国际期刊未经审核。 计算。 10 ( 1-2 ) : 111-141 ( 2014 ) [j35] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
物理测量的三种形式及其可计算性。 版本符号。 日志。 7 ( 4 ) : 618-646 ( 2014 ) 2013 [公元34年] 赫利亚·格拉 , 何塞·费利克斯·科斯塔 :
具有无限活性要求的过程。 J.日志。 代数方法课程。 82 ( 3-4 ) : 137-161 ( 2013 ) [公元33年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 , 约翰·V·塔克 :
衡量阈值的预言家:图灵机器和打破的平衡。 J.日志。 计算。 23 ( 6 ) : 1155-1181 ( 2013 ) [公元32年] 何塞·费利克斯·科斯塔 :
物理学基础的不相容性(科学哲学研究)。 J.日志。 计算。 23 ( 6 ) : 1225-1248 ( 2013 ) [公元31年] 何塞·费利克斯·科斯塔 , 雷蒙多·梁朝伟(Raimundo Leong) :
ARNN模型相对论P=NP和P= 不适用。 西奥。 计算。 科学。 499 : 2-22 ( 2013 ) [公元20年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 迪奥戈·波萨斯 , 约翰·V·塔克 :
关于作为预言者的阈值测量的威力。 加州大学北卡罗来纳州 2013 : 6-18 2012 【j30】 克里斯蒂安·卡鲁德 , 何塞·费利克斯·科斯塔 , 赫利亚·格拉 :
物理与计算专刊“走向物理理论的计算解释”前言。 申请。 数学。 计算。 219 ( 1 ) : 1-2 ( 2012 ) [公元29年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
物理预言模型对计算能力的影响。 数学。 结构。 计算。 科学。 22 ( 5 ) : 853-879 ( 2012 ) [第1页] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 :
通过计算统一科学:对可计算性和物理学的思考。 特殊科学与科学的统一 2012 : 53-80 2011 [公元28年] 克里斯蒂安·卡鲁德 , 何塞·费利克斯·科斯塔 :
编辑。 国际期刊未经审核。 计算。 7 ( 5 ) : 313 ( 2011 ) [公元27年] 何塞·费利克斯·科斯塔 , 纳丘姆·德肖维茨 :
导言。 自然计算。 10 ( 4 ) : 1215-1217 ( 2011 ) 2010 [公元26年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
由算法控制的实验中测量的限制。 数学。 结构。 计算。 科学。 20 ( 6 ) : 1019-1050 ( 2010 ) [公元25年] 克里斯蒂安·卡鲁德 , 何塞·费利克斯·科斯塔 :
《2008年非传统计算》特刊前言。 自然计算。 9 ( 4 ) : 793-794 ( 2010 ) [公元24年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
物理预言:图灵机器和惠斯通桥。 Stud Logica公司 95 ( 1-2 ) : 279-300 ( 2010 ) [第19条] 何塞·费利克斯·科斯塔 :
可计算科学家,不可计算世界(摘要)。 加州大学 2010 : 6-10
2000 – 2009
2009 [公元23年] 克里斯蒂安·卡鲁德 , 何塞·费利克斯·科斯塔 :
导言。 申请。 数学。 计算。 215 ( 4 ) : 1309-1310 ( 2009 ) [公元22年] 何塞·费利克斯·科斯塔 , 布鲁诺·洛夫 , Jerzy Mycka公司 :
实递归函数理论的基础。 Ann.纯粹应用。 日志。 160 ( 三 ) : 255-288 ( 2009 ) [公元21年] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
作为神谕的物理实验。 牛。 EATCS公司 97 : 137-151 ( 2009 ) [公元20年] 布鲁诺·洛夫 , 何塞·费利克斯·科斯塔 :
超计算的五种观点。 国际期刊未经审核。 计算。 5 ( 3-4 ) : 193-207 ( 2009 ) [j19] 赫利亚·格拉 , 何塞·费利克斯·科斯塔 :
具有本地和全球活力要求的流程。 J.日志。 代数方法课程。 78 ( 三 ) : 117-137 ( 2009 ) [公元18年] 克里斯蒂安·卡鲁德 , 何塞·费利克斯·科斯塔 :
导言。 自然计算。 8 ( 三 ) : 429-430 ( 2009 ) [电子2] 克里斯蒂安·卡鲁德 , 何塞·费利克斯·科斯塔 , 纳丘姆·德肖维茨 , 伊丽莎白·弗赖尔 , 格列泽戈兹·罗森伯格 :
2009年9月7日至11日,葡萄牙亚速尔群岛德尔加达桥,加州大学2009年第八届国际会议,非常规计算。 诉讼程序。 计算机科学课堂讲稿 5715, 施普林格 2009 ,国际标准图书编号 978-3-642-03744-3 [目录] [i1] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 约翰·V·塔克 :
由算法控制的实验中测量的限制。 CoRR公司 abs/0911.3836 ( 2009 ) 2008 [公元17年] Jerzy Mycka公司 , 何塞·费利克斯·科斯塔 , 弗朗西斯科·科埃略 :
欧几里得抽象机。 国际期刊未经审核。 计算。 4 ( 三 ) : 223-248 ( 2008 ) [第18条] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 布鲁诺·洛夫 , 约翰·V·塔克 :
论经典物理学中测量的复杂性。 TAMC公司 2008 : 20-30 [第17条] 埃德温·贝格斯 , 何塞·费利克斯·科斯塔 , 布鲁诺·洛夫 , 约翰·V·塔克 :
作为度量的预言和建议。 加州大学 2008 : 33-50 [电子1] 克里斯蒂安·卡卢德 , 何塞·费利克斯·科斯塔 , 鲁道夫·弗伦德 , 玛丽恩·奥斯瓦尔德 , 格列泽戈兹·罗森伯格 :
非传统计算,第七届国际会议,2008年8月25日至28日,奥地利维也纳,UC 2008。 诉讼程序。 计算机科学课堂讲稿 5204, 施普林格 2008 ,国际标准图书编号 978-3-540-85193-6 [目录] 2007 [公元16年] 布鲁诺·洛夫 , 何塞·费利克斯·科斯塔 , 耶日·密卡 :
实、无穷极限和微分方程的可计算性。 申请。 数学。 计算。 191 ( 2 ) : 353-371 ( 2007 ) [公元15年] Jerzy Mycka公司 , 何塞·费利克斯·科斯塔 :
模拟计算的新概念框架。 西奥。 计算。 科学。 374 ( 1-3 ) : 277-290 ( 2007 ) [第16条] 何塞·费利克斯·科斯塔 , 布鲁诺·洛夫 , Jerzy Mycka公司 :
模拟计算的新前景。 CiE公司 2007 : 189-195 [第15条] 何塞·帕切科 , 何塞·费利克斯·科斯塔 :
抽象免疫系统算法。 加州大学 2007 : 137-149 2006 [公元14年] 弗朗西斯科·多里亚 , 何塞·费利克斯·科斯塔 :
超计算专题介绍。 申请。 数学。 计算。 178 ( 1 ) : 1-3 ( 2006 ) [j13] Jerzy Mycka公司 , 何塞·费利克斯·科斯塔 :
连续时间的不确定性。 日志。 J.IGPL公司 14 ( 5 ) : 649-658 ( 2006 ) [公元12年] Jerzy Mycka公司 , 何塞·费利克斯·科斯塔 :
这个 P(P) 氖 NP公司 在真实和复杂分析的背景下进行推测。 J.复杂。 22 ( 2 ) : 287-303 ( 2006 ) [第14条] Jerzy Mycka公司 , 弗朗西斯科·科埃略 , 何塞·费利克斯·科斯塔 :
欧几里德抽象机:角度的三分法和暂停问题。 加州大学 2006 : 195-206 2005 [公元11年] 何塞·费利克斯·科斯塔 , Jerzy Mycka公司 :
山那边有什么? 牛。 EATCS公司 85 : 179-189 ( 2005 ) 2004 [公元10年] 耶日·密卡 , 何塞·费利克斯·科斯塔 :
真正的递归函数及其层次结构。 J.复杂。 20 ( 6 ) : 835-857 ( 2004 ) [第13条] Jerzy Mycka公司 , 何塞·费利克斯·科斯塔 :
连续动态系统的计算能力。 MCU(微控制器) 2004 : 164-175 2003 [公元9年] 乔·佩德罗·格雷罗·内托 , 哈瓦·西格曼 , 何塞·费利克斯·科斯塔 :
神经网络中的符号处理。 J.布拉兹。 计算。 Soc公司。 8 ( 三 ) : 58- ( 2003 ) [j8] 丹尼尔·席尔瓦·格拉萨 , 何塞·费利克斯·科斯塔 :
模拟计算机和实数上的递归函数。 J.复杂。 19 ( 5 ) : 644-664 ( 2003 ) 2002 [j7] 曼努埃尔·拉梅拉斯·坎帕尼奥洛 , 克里斯托弗·摩尔 , 何塞·费利克斯·科斯塔 :
Grzegorczyk层次结构的模拟表征。 J.复杂。 18 ( 4 ) : 977-1000 ( 2002 ) 2001 [第12条] 佩德罗·罗德里格斯 , 何塞·费利克斯·科斯塔 , 哈瓦·西格曼 :
验证神经网络的特性。 IWANN(1) 2001 : 158-165 [第11条] 何塞·费利克斯·科斯塔 , 雨果·卢伦索 :
行为规范。 WADT(瓦特) 2001 : 71-84 2000 [j6] 曼努埃尔·拉梅拉斯·坎帕尼奥洛 , 克里斯托弗·摩尔 , 何塞·费利克斯·科斯塔 :
模拟计算机中的迭代、不等式和可微性。 J.复杂。 16 ( 4 ) : 642-660 ( 2000 )
1990 – 1999
1997 [第10条] 若昂·佩德罗·格雷罗·内托 , 哈瓦·西格曼 , 何塞·费利克斯·科斯塔 , 卡门·帕斯·苏亚雷斯·阿劳霍 :
神经网络的图灵普适性(再论)。 欧洲广播公司 1997 : 361-366 【c9】 乔·佩德罗·格雷罗·内托 , 何塞·费利克斯·科斯塔 , 海尔德·科埃略 :
突触微积分计算能力的下限。 伊旺 1997 : 340-348 【c8】 保罗·布劳斯·梅内泽斯 , Amílcar Sernadas公司 , 何塞·费利克斯·科斯塔 :
并发、基于对象的语言的非顺序自动机语义。 美国-巴西软件系统正式基础联合研讨会 1997 : 245-273 1996 [j5] 保罗·布劳斯·梅内泽斯 , 何塞·费利克斯·科斯塔 :
Petri网中的同步。 芬丹。 信息学 26 ( 1 ) : 11-22 ( 1996 ) 【j4】 何塞·路易斯·菲亚德罗 , 何塞·费利克斯·科斯塔 :
镜子,我手中的镜子:过程行为规范和模型之间的二重性。 数学。 结构。 计算。 科学。 6 ( 4 ) : 353-373 ( 1996 ) 1995 [j3] 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 :
并发系统中的进度假设。 形式方面计算。 7 ( 1 ) : 18-36 ( 1995 ) [注2] Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 何塞·费利克斯·科斯塔 :
对象规范逻辑。 J.日志。 计算。 5 ( 5 ) : 603-630 ( 1995 ) 【c7】 保罗·布劳斯·梅内泽斯 , 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 :
一般(离散事件)系统理论的精化映射。 欧洲广播公司 1995 : 103-116 1994 [j1] 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
超越子类型的对象继承。 信息学报 31 ( 1 ) : 5-26 ( 1994 ) 【c6】 何塞·路易斯·菲亚德罗 , 何塞·费利克斯·科斯塔 :
行为规范机构。 罗盘/ADT 1994 : 273-289 [c5] A.洛佩斯 , 何塞·费利克斯·科斯塔 , 达尼洛·蒙泰西 :
用于解决的流程语义。 ICLP研讨会:基于进程的并行逻辑编程 1994 : 88- 1993 【c4】 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 :
数据封装和模块化:继承的三种观点。 MFCS公司 1993 : 382-391 1992 【c3】 Amílcar Sernadas公司 , 何塞·费利克斯·科斯塔 , 克里斯蒂娜·塞尔纳达斯 :
客体行为的制度。 罗盘/ADT 1992 : 337-351 【c2】 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 汉斯·迪特·埃里奇 :
对象交互。 MFCS公司 1992 : 200-208 1991 【c1】 何塞·路易斯·菲亚德罗 , 何塞·费利克斯·科斯塔 , Amílcar Sernadas公司 , T.S.E.Maibaum公司 :
时序逻辑规范的过程语义。 罗盘/ADT 1991 : 236-253