×
作者ID: 曼尼思·巴巴斯蒂安“Maneth,Sebastian”最近发表的zbMATH文章
发布日期: 塞巴斯蒂安·马内斯;马内思,S。
外部链接: MGP公司
已编制索引的文档: 71出版物自1996年起
5名编辑的贡献
合著者: 27位合著者具有56联合出版物
539合著作者

按年份列出的出版物

zbMATH Open中包含的引文

55出版物有被引用248中的次118文件 引用人 年份
宏树变换器、属性语法和MSO可定义树翻译。 Zbl 1045.68585号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
33
1999
线性大小增加的宏树转换是MSO可定义的。 Zbl 1029.68090号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
21
2003
树自动机和XPath在语法压缩树上的复杂性。 Zbl 1153.68402号
马库斯·洛伊;塞巴斯蒂安·马内斯
18
2006
语法压缩树的参数约简和自动机求值。 Zbl 1246.68114号
马库斯·洛伊;塞巴斯蒂安·马内斯;曼弗雷德·施密特·沙乌
18
2012
卵石树传感器与宏树传感器的比较。 Zbl 1060.68062号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
15
2003
基于XSL的结构化文档转换。 Zbl 1044.68584号
塞巴斯蒂安·马内斯;法兰克·奈文
14
2000
通过有向非循环图进行XML压缩。 Zbl 1352.68079号
米雷尔·布斯克特·梅卢;马库斯·洛伊;塞巴斯蒂安·马内斯;不,埃里克
12
2015
决定自顶向下的XML转换在多项式时间内的等价性。 Zbl 1167.68032号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯;赫尔穆特·塞德尔
11
2009
确定性MSO树换能器的等效问题是可判定的。 Zbl 1185.68385号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
11
2006
XSLT表达片段的形式化模型。 Zbl 1004.68059号
Bex,Geert Jan先生;塞巴斯蒂安·马内斯;法兰克·奈文
9
2002
确定的自上而下树对串传感器的等效性是可以判定的。 Zbl 1426.68154号
赫尔穆特·塞德尔;塞巴斯蒂安·马内斯;格雷戈·坎佩尔
9
2018
XML文档的高效内存表示。 Zbl 1159.68408号
乔治·布萨托;马库斯·洛伊;塞巴斯蒂安·马内斯
8
2005
树型换能器可判定等价问题综述。 Zbl 1345.68212号
塞巴斯蒂安·马内斯
8
2015
对于线性尺寸增加的函数,宏树换能器层次结构崩溃。 Zbl 1205.68208号
塞巴斯蒂安·马内斯
6
2003
确定性宏树变换器组成的输出字符串语言。 Zbl 1013.68124号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
5
2002
由无上下文图文法生成的树语言。 Zbl 0956.68074号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
5
2000
总确定性树形传感器的发电功率。 Zbl 0927.68046号
塞巴斯蒂安·马内斯
4
1998
基于语法的未分类树压缩。 Zbl 1434.68128号
阿德里亚·加斯科恩;马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷;库尔特·西伯
4
2018
树木换能器和树木压缩。 Zbl 1126.68449号
塞巴斯蒂安·马内斯;乔治·布萨托
4
2004
确定性树传感器组成的复杂性。 Zbl 1027.68078号
塞巴斯蒂安·马内斯
4
2002
自顶向下和MSO树转换的确定性和重写。 Zbl 1398.68104号
迈克尔·本尼迪克特;约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
4
2013
语法压缩树中的参数缩减。 Zbl 1234.68182号
马库斯·洛伊;塞巴斯蒂安·马内斯;曼弗雷德·施密特·沙乌
2009
自顶向下树型传感器的可定义性结果。 Zbl 1518.68185号
塞巴斯蒂安·马内斯;赫尔穆特·塞德尔;马丁·乌
2021
无序XML树的压缩。 Zbl 1402.68059号
马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷
2017
压缩树标准化。 Zbl 1440.68148号
马库斯·洛伊;塞巴斯蒂安·马内斯;费边·佩特内克
2015
协作分布式超边缘替换文法。 Zbl 0939.68059号
塞巴斯蒂安·马内斯
1999
总确定性自顶向下树传感器的Look-ahead删除。 Zbl 1333.68163号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯;赫尔穆特·塞德尔
2016
由总确定性宏树变换器生成的字符串语言。 Zbl 0942.68068号
塞巴斯蒂安·马内斯
2
1999
XSLT表达片段的形式化模型。 兹伯利0983.68589
Bex,Geert Jan先生;塞巴斯蒂安·马内斯;法兰克·奈文
2
2000
具有正则约束的一组项的实例集的正则性是EXPTIME-complete。 Zbl 1348.68060号
奥马尔·吉梅内斯;吉勒姆·戈多伊;塞巴斯蒂安·马内斯
2
2011
压缩项上的一阶统一。 Zbl 1236.68129号
阿德里亚·加斯科恩;塞巴斯蒂安·马内斯;兰德·拉莫斯
2
2011
如何确定自顶向下树传感器组成的功能。 Zbl 07719139号
塞巴斯蒂安·马内斯;赫尔穆特·塞德尔;马丁·乌
2
2022
MSO转导在多项式时间内的平衡性。 Zbl 1426.68150号
马内斯,S。;塞德尔,H。
2
2018
树型传感器的等效问题:简要综述。 Zbl 1464.68177号
塞巴斯蒂安·马内斯
2
2014
语法压缩树的恒定时间树遍历和子树相等性检查。 Zbl 1392.68185号
马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷
2
2018
决定正则树语言的自顶向下决定论。 Zbl 07530244号
彼得·鲁波尔德;塞巴斯蒂安·马内斯
2
2021
部分属性树变换器的域。 Zbl 1338.68146号
佐尔坦,福尔öp;塞巴斯蒂安·马内斯
2
2000
压缩树上的树自动机和XPath。 Zbl 1172.68517号
马库斯·洛伊;塞巴斯蒂安·马内斯
2
2006
确定性MSO树传感器的等效问题是可判定的。 Zbl 1172.03308号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
2
2005
多回转宏树传感器。 Zbl 1172.68512号
稻田,Kazuhiro;细野县细野;塞巴斯蒂安·马内斯
2
2008
描述和确定宏树转导的MSO可定义性。 Zbl 0962.68092号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
2
2000
树型传感器输出语言的复杂性。 Zbl 1248.68205号
稻田,Kazuhiro;塞巴斯蒂安·马内斯
2
2008
属性化无上下文超图文法。 兹比尔0916.68088
塞巴斯蒂安·马内斯;福格勒、海科
1
1998
多项式时间内分离非嵌套属性系统等价性的判定。 Zbl 1524.68166号
赫尔穆特·塞德尔;拉斐拉·帕伦塔;塞巴斯蒂安·马内斯
1
2019
常规树语言的最大公共前缀。 Zbl 07160829号
马库斯·洛伊;塞巴斯蒂安·马内斯
1
2019
多重无上下文树语法:词汇化和特征化。 Zbl 1395.68163号
约斯特·恩格尔弗里特;安德烈亚斯·马莱蒂;塞巴斯蒂安·马内斯
1
2018
由确定性树变换器生成的字符串语言的层次结构。 Zbl 1073.68667号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
1
2002
通过合作正则树文法对ET0L树语言进行表征。 Zbl 0945.68093号
佐尔坦,福尔öp;塞巴斯蒂安·马内斯
1
1999
树行走传感器的类型检查。 兹比尔1256.68106
塞巴斯蒂安·马内斯;西尔维亚·弗里斯;赫尔穆特·塞德尔
1
2012
(再)引入正则图形语言。 Zbl 1376.68091号
索查·吉尔罗伊;亚当·洛佩兹;塞巴斯蒂安·马内斯;西蒙纳炎,Pijus
1
2017
具有可判定保持正则性的树同态类。 Zbl 1139.68032号
吉勒姆·戈多伊;塞巴斯蒂安·马内斯;苏菲·蒂森
1
2008
自下而上树型传感器的最早规范形式和最小化。 兹比尔1252.68170
西尔维亚·弗里斯;赫尔穆特·塞德尔;塞巴斯蒂安·马内斯
1
2011
带有嵌套卵石的双向有限状态传感器。 Zbl 1014.68087号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
1
2002
如何删除自顶向下树传感器的外观。 Zbl 1298.68132号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯;赫尔穆特·塞德尔
1
2014
有效测试和匹配确定性正则表达式。 Zbl 1372.68157号
B.格罗兹。;马内思,S。
1
2017
如何确定自顶向下树传感器组成的功能。 Zbl 07719139号
塞巴斯蒂安·马内斯;赫尔穆特·塞德尔;马丁·乌
2
2022
自顶向下树型传感器的可定义性结果。 兹比尔1518.68185
塞巴斯蒂安·马内斯;赫尔穆特·塞德尔;马丁·乌
2021
决定正则树语言的自顶向下决定论。 Zbl 07530244号
彼得·鲁波尔德;塞巴斯蒂安·马内斯
2
2021
多项式时间内分离非嵌套属性系统等价性的判定。 Zbl 1524.68166号
赫尔穆特·塞德尔;拉斐拉·帕伦塔;塞巴斯蒂安·马内斯
1
2019
常规树语言的最大公共前缀。 Zbl 07160829号
马库斯·洛伊;塞巴斯蒂安·马内斯
1
2019
确定的自上而下树对串传感器的等效性是可以判定的。 Zbl 1426.68154号
赫尔穆特·塞德尔;塞巴斯蒂安·马内斯;格雷戈·坎佩尔
9
2018
基于语法的未分类树压缩。 Zbl 1434.68128号
加斯康,阿德里亚;马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷;库尔特·西伯
4
2018
MSO转导在多项式时间内的平衡性。 Zbl 1426.68150号
马内思,S。;塞德尔,H。
2
2018
语法压缩树的恒定时间树遍历和子树相等性检查。 Zbl 1392.68185号
马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷
2
2018
多重无上下文树语法:词汇化和特征化。 Zbl 1395.68163号
约斯特·恩格尔弗里特;安德烈亚斯·马莱蒂;塞巴斯蒂安·马内斯
1
2018
无序XML树的压缩。 Zbl 1402.68059号
马库斯·洛伊;塞巴斯蒂安·马内斯;卡尔·菲利普·雷
2017
(再)引入正则图形语言。 Zbl 1376.68091号
索查·吉尔罗伊;亚当·洛佩兹;塞巴斯蒂安·马内斯;西蒙纳炎,Pijus
1
2017
有效测试和匹配确定性正则表达式。 Zbl 1372.68157号
B.格罗兹。;马内思,S。
1
2017
总确定性自顶向下树传感器的Look-ahead删除。 兹比尔1333.68163
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯;赫尔穆特·塞德尔
2016
通过有向非循环图进行XML压缩。 Zbl 1352.68079号
米雷尔·布斯克特·梅卢;马库斯·洛伊;塞巴斯蒂安·马内斯;不,埃里克
12
2015
树型换能器可判定等价问题综述。 Zbl 1345.68212号
塞巴斯蒂安·马内斯
8
2015
压缩树标准化。 Zbl 1440.68148号
马库斯·洛伊;塞巴斯蒂安·马内斯;费边·佩特内克
2015
树型传感器的等效问题:简要综述。 Zbl 1464.68177号
塞巴斯蒂安·马内斯
2
2014
如何删除自顶向下树传感器的外观。 Zbl 1298.68132号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯;赫尔穆特·塞德尔
1
2014
自顶向下和MSO树转换的确定性和重写。 Zbl 1398.68104号
迈克尔·贝内迪克特;约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
4
2013
语法压缩树的参数约简和自动机求值。 Zbl 1246.68114号
马库斯·洛伊;塞巴斯蒂安·马内斯;曼弗雷德·施密特·沙乌
18
2012
树行走传感器的类型检查。 Zbl 1256.68106号
塞巴斯蒂安·马内斯;西尔维亚·弗里斯;赫尔穆特·塞德尔
1
2012
具有正则约束的一组项的实例集的正则性是EXPTIME-complete。 Zbl 1348.68060号
奥马尔·吉梅内斯;吉勒姆·戈多伊;塞巴斯蒂安·马内斯
2
2011
压缩项上的一阶统一。 Zbl 1236.68129号
阿德里亚·加斯科恩;塞巴斯蒂安·马内斯;兰德·拉莫斯
2
2011
自下而上树换能器的最早正态形式和最小化。 Zbl 1252.68170号
西尔维亚·弗里斯;赫尔穆特·塞德尔;塞巴斯蒂安·马内斯
1
2011
决定自顶向下的XML转换在多项式时间内的等价性。 Zbl 1167.68032号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯;赫尔穆特·塞德尔
11
2009
语法压缩树中的参数缩减。 Zbl 1234.68182号
马库斯·洛伊;塞巴斯蒂安·马内斯;曼弗雷德·施密特·沙乌
2009
多回转宏树传感器。 Zbl 1172.68512号
稻田,Kazuhiro;细野县细野;塞巴斯蒂安·马内斯
2
2008
树型传感器输出语言的复杂性。 Zbl 1248.68205号
稻田,Kazuhiro;塞巴斯蒂安·马内斯
2
2008
具有可判定正则性保持的树同态类。 Zbl 1139.68032号
吉勒姆·戈多伊;塞巴斯蒂安·马内斯;苏菲·蒂森
1
2008
语法压缩树上树自动机和XPath的复杂性。 Zbl 1153.68402号
马库斯·洛伊;塞巴斯蒂安·马内斯
18
2006
确定性MSO树传感器的等效问题是可判定的。 Zbl 1185.68385号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
11
2006
压缩树上的树自动机和XPath。 Zbl 1172.68517号
马库斯·洛伊;塞巴斯蒂安·马内斯
2
2006
XML文档的高效内存表示。 Zbl 1159.68408号
乔治·布萨托;马库斯·洛伊;塞巴斯蒂安·马内斯
8
2005
确定性MSO树换能器的等效问题是可判定的。 Zbl 1172.03308号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
2
2005
树传感器和树压缩。 Zbl 1126.68449号
塞巴斯蒂安·马内斯;乔治·布萨托
4
2004
线性大小增加的宏树转换是MSO可定义的。 Zbl 1029.68090号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
21
2003
卵石树传感器与宏树传感器的比较。 Zbl 1060.68062号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
15
2003
宏树传感器层次结构因线性尺寸增加而崩溃。 Zbl 1205.68208号
塞巴斯蒂安·马内斯
6
2003
XSLT表达片段的形式化模型。 兹比尔1004.68059
Bex,Geert Jan先生;塞巴斯蒂安·马内斯;法兰克·奈文
9
2002
确定性宏树变换器组成的输出字符串语言。 Zbl 1013.68124号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
5
2002
确定性树传感器组成的复杂性。 Zbl 1027.68078号
塞巴斯蒂安·马内斯
4
2002
由确定性树变换器生成的字符串语言的层次结构。 Zbl 1073.68667号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
1
2002
带有嵌套卵石的双向有限状态传感器。 Zbl 1014.68087号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
1
2002
基于XSL的结构化文档转换。 Zbl 1044.68584号
塞巴斯蒂安·马内斯;弗兰克,内文
14
2000
由无上下文图文法生成的树语言。 Zbl 0956.68074号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
5
2000
XSLT表达片段的形式化模型。 Zbl 0983.68589号
Bex,Geert Jan先生;塞巴斯蒂安·马内斯;法兰克·奈文
2
2000
部分属性树变换器的域。 Zbl 1338.68146号
佐尔坦,福尔öp;塞巴斯蒂安·马内斯
2
2000
描述和确定宏树转导的MSO可定义性。 Zbl 0962.68092号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
2
2000
宏树变换器、属性语法和MSO可定义树翻译。 Zbl 1045.68585号
约斯特·恩格尔弗里特;塞巴斯蒂安·马内斯
33
1999
协作的分布式超边缘替换语法。 Zbl 0939.68059号
塞巴斯蒂安·马内斯
1999
由总确定性宏树变换器生成的字符串语言。 Zbl 0942.68068号
塞巴斯蒂安·马内斯
2
1999
通过合作正则树文法对ET0L树语言进行特征化。 Zbl 0945.68093号
佐尔坦,福尔öp;塞巴斯蒂安·马内斯
1
1999
总确定性树形传感器的发电功率。 Zbl 0927.68046号
塞巴斯蒂安·马内斯
4
1998
属性化无上下文超图文法。 Zbl 0916.68088号
塞巴斯蒂安·马内斯;福格勒、海科
1
1998
全部的 前5名

150位作者引用

24 塞巴斯蒂安·马内斯
17 约斯特·恩格尔弗里特
17 马库斯·洛伊
12 赫尔穆特·塞德尔
8 安德烈亚斯·马莱蒂
8 曼弗雷德·施密特·沙乌
6 法兰克·奈文
5 佐尔坦,福尔öp
5 马丁·乌
4 艾曼纽·菲利奥特
4 皮埃尔·阿莱·雷尼尔
法兰克·德雷维斯
加斯康,阿德里亚
吉勒姆·戈多伊
阿明·库内曼
拉斐拉·洛贝尔
迈克尔·卢滕伯格
维姆·马滕斯
埃里克·诺思
卡尔·菲利普·雷
托马斯·施温蒂克
Jean-Marc Talbot
福格勒、海科
迈克尔·沃纳
2 拉杰夫·阿鲁尔
2 Michael A.Benedikt。
2 路易莎·塞尔巴赫·本纳
2 菲利普·比尔
2 阿德里安·博伊雷特
2 卡莱斯·克鲁斯
2 达纳·菲斯曼
2 Akio藤吉
2 摩西·加纳迪
2 安托万·金特里尼
2 伯恩哈德·吉滕贝格
2 哈克,丹尼
2 稻田,Kazuhiro
2 杰·阿图尔
2 Gad M.兰道。
2 埃里克·利林
2 塞巴斯蒂安·马内斯
2 松田和川
2 乌韦·莫尼奇
2 弗兰克·莫拉维茨
2 中野圭介
2 费边·佩特内克
2 穆昆德·拉戈塔曼
2 兰德·拉莫斯
2 西尔万·萨尔瓦蒂
2 贾努斯·施穆德
2 库尔特·西伯
2 奥伦·魏曼
1 阿尼斯,阿尔图
1 川崎朝田
1 穆罕默德·阿明·巴齐兹
1 罗德里克·布洛姆
1 阿希姆·布卢门塔什
1 奥利维埃·博迪尼
1 Mikołaj博扬奇克
1 爱荷华州博内娃
1 米雷尔·布斯克特·梅卢
1 卡瑟尔·凯特琳
1 哈达·切尔隆
1 达里奥·科拉佐
1 安德烈亚·科拉迪尼
1 布鲁诺·库塞尔
1 巴特·奥米耶·杜德克
1 范文飞
1 方文杰
1 亨宁费尔瑙
1 塞尔吉奥·弗莱斯卡
1 西尔维亚·弗里斯
1 菲利波·富法罗
1 保罗·D·加洛特。
1 塞尔盖·加斯佩斯
1 Pawe Gawrychowskił
1 兹索尔特加兹达格
1 乔治·盖利
1 吉尔根·吉斯尔
1 萨缪尔·吉拉乌多
1 斯特凡·格勒
1 Görtz,Inge Li
1 本杰明·格拉斯
1 塞尔吉奥·格雷科
1 尤内斯·圭卢玛
1 马克·吉森
1 桥本,Kenji
1 亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom)
1 维姆·詹森
1 迈克尔·卡明斯基
1 Makoto金泽
1 曼纽尔·考尔斯
1 直纪小林
1 科希林,佛罗伦萨
1 汉斯·佩特·科尔布
1 亚历山大·科尔柳科夫
1 加布里埃尔·M·库珀。
1 特穆尔库西亚
1 尤努斯·库茨。
1 伊莎贝拉·拉彻
…还有50多位作者

按年份列出的引文