×

找到46个文档（结果1-46）

最新的 引文 关联
帕斯卡·鲍曼;弗拉维奥·达莱桑德罗;摩西·加纳尔迪;奥斯卡·伊巴拉;McQuillan，伊恩;Lia Schütze女士;乔治·泽采

具有可逆有界计数器的机器的无界性问题。 （英语） 兹比尔07770340

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 240-264 (2023).
理学硕士：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumann}等人，Lect。注释计算。科学。13992、240——264（2023；Zbl 07770340）
全文： 内政部 arXiv公司
OA许可证
奥斯卡·H·伊巴拉。;McQuillan，伊恩

计数器决策问题的复杂性及其在编码理论中的应用。 （英语） 兹比尔07571008

Diekert，Volker（编辑）等人，《语言理论的发展》。第26届国际会议，DLT 2022，美国佛罗里达州坦帕，2022年5月9日至13日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13257, 177-188 (2022).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，莱克特。注释计算。科学。13257、177--188（2022；Zbl 07571008）
全文： 内政部
奥斯卡·H·伊巴拉。;Jozef jun，Jirásek。;McQuillan，伊恩;卢卡·普里吉奥尼埃罗

堆栈自动机模型的空间复杂性。 （英语） Zbl 1518.68177号

Jonoska，Nataša（编辑）等人，《语言理论的发展》。第24届国际会议，DLT 2020，美国佛罗里达州坦帕，2020年5月11日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12086, 137-149 (2020).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。12086、137--149（2020年；Zbl 1518.68177）
全文： 内政部
奥斯卡·H·伊巴拉。;McQuillan，伊恩

语言接受者的输入位置受限模型。 （英语） Zbl 1434.68158号

Adamatzky，Andrew（编辑），可逆性和普遍性。在森田贤一70岁生日之际，向他提交了论文。查姆：斯普林格。新兴复杂性。计算。30, 357-372 (2018).
理学硕士：04年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，Emerg.Complex。计算。30357--372（2018年；Zbl 1434.68158）
全文： 内政部
奥斯卡·H·伊巴拉。;McQuillan，伊恩

关于有界半线性语言、计数器和有限索引ET0L。 （英语） Zbl 1475.68156号

Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 138-149 (2016).
理学硕士：第68季度第45季度 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.H.Ibarra｝和\textit｛I.McQuillan｝，Lect。注释计算。科学。9705138-149（2016；Zbl 1475.68156）
全文： 内政部
奥斯卡·H·伊巴拉。;McQuillan，伊恩

关于包含计数器机器语言的完整三人组家族。 （英语） Zbl 1436.68173号

Brlek，Srečko（编辑）等人，《语言理论的发展》。2016年7月25日至28日，第20届国际会议，DLT 2016，加拿大蒙特利尔。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9840, 216-228 (2016).
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{I.McQuillan}，莱克特。注释计算。科学。9840、216——228（2016年；Zbl 1436.68173）
全文： 内政部 arXiv公司
奥斯卡·H·伊巴拉。;Shinnosuke Seki公司

关于半线性集的有界性。 （英语） Zbl 1382.68135号

Chan，T-H.Hubert（编辑）等人，计算模型的理论和应用。第十届国际会议，2013年TAMC，中国香港，2013年5月20日至22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38235-2/pbk）。计算机科学课堂讲稿7876156-168（2013）。
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.H.Ibarra｝和\textit｛S.Seki｝，Lect。注释计算。科学。7876、156--168（2013年；Zbl 1382.68135）
全文： 内政部
余、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。

使用多轨迹自动机进行关系字符串验证。 （英语） Zbl 1297.68280号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大MB温尼伯，第15届国际会议，CIAA 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482290-299（2011）。
理学硕士：68瓦32 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。注释计算。科学。6482290-299（2011年；Zbl 1297.68280）
全文： 内政部
厄梅·埃西奥·卢;奥斯卡·H·伊巴拉。

在无状态多计数器机器上。 （英语） Zbl 1268.68082号

Ambos-Spies，Klaus（编辑）等人，《数学理论与计算实践》。2009年7月19日至24日，德国海德堡，第五届欧洲可计算性会议，CiE 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03072-7/pbk）。计算机科学讲座笔记5635178-187（2009）。
理学硕士：2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Ù.E\ecio\lu}和\textit{O.H.Ibarra}，莱克特。注释计算。科学。5635178-187（2009年；Zbl 1268.68082）
全文： 内政部
奥斯卡·H·伊巴拉。;佩恩，安德烈;阿方索·罗德里格斯-帕顿

SNP系统中由尖峰数诱导的序列性。 （英语） Zbl 1258.68059号

Goel，Ashish（编辑）等，DNA计算。第14届DNA计算国际会议，DNA 14，捷克共和国布拉格，2008年6月2-9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03075-8/pbk）。计算机科学讲义5347179-190（2009）。
理学硕士：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。5347179--190（2009年；Zbl 1258.68059）
全文： 内政部
奥斯卡·H·伊巴拉。;厄梅·埃西奥·卢

无状态多计数器机器的层次结构和特征。 （英语） Zbl 1248.68302号

Ngo，Hung Q.（编辑），《计算与组合学》。第15届国际年会，COCOON 2009，尼亚加拉大瀑布，纽约，美国，2009年7月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02881-6/pbk）。计算机科学课堂讲稿5609，408-417（2009）。
理学硕士：第68季度第45季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{Ø.E\ecio\lu}，莱克特。注释计算。科学。5609408--417（2009年；Zbl 1248.68302）
全文： 内政部
弗里斯科，皮尔路易吉;奥斯卡·H·伊巴拉。

关于无状态多头有限自动机和多头下推自动机。 （英语） Zbl 1247.68138号

Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。计算机科学课堂讲稿5583，240-251（2009）。
理学硕士：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Frisco}和\textit{O.H.Ibarra}，莱克特。注释计算。科学。5583240-251（2009年；Zbl 1247.68138）
全文： 内政部
马蒂奥·卡瓦利埃;奥斯卡·H·伊巴拉。;佩恩，古奥热;奥马尔·埃盖西奥格鲁;米海，伊奥内斯库;萨拉·伍德沃思

异步尖峰神经P系统。 （英语） 兹比尔1168.68014

西奥。计算。科学。 410，编号24-25，2352-2364（2009）.
理学硕士：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Cavaliere}等人，Theor。计算。科学。410，编号24-25，2352--2364（2009；Zbl 1168.68014）
全文： 内政部 链接
余、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。

符号字符串验证：结合字符串分析和大小分析。 （英语） Zbl 1234.68269号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505322-336（2009）。
理学硕士：60年第68季度 第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Yu}等人，Lect。注释计算。科学。5505322-336（2009年；Zbl 1234.68269）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件