×

找到116个文档（结果1-100）

最新的 引文 关联
瑞科·赫克尔;安德里亚·科拉迪尼;法比奥·加杜奇

图形重写组件。 （英语） Zbl 1514.68091号

Behr，Nicolas（编辑）等人，《图形变换》。2022年7月7日至8日，作为2022年STAF的一部分，在法国南特举行了第15届国际会议，ICGT 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13349, 20-37 (2022).
MSC公司：2012年第68季度 18立方米
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，Lect。注释计算。科学。13349，20--37（2022；Zbl 1514.68091）
全文： 内政部
安德里亚·科拉迪尼;玛丽亚姆·加法里·萨达特;瑞科·赫克尔

使用补码在安全图文法中对增量NAC进行编码。 （英语） Zbl 07456052号

Hoffmann，Berthold（ed.）等人，第十一届图形计算模型国际研讨会论文集，GCM 2020，在线车间，2020年6月24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）330、88-107（2020）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，《电子》。程序。西奥。计算。科学。（EPTCS）330、88--107（2020；Zbl 07456052）
全文： arXiv公司 链接
罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里;埃米利奥·托斯托

数据驱动的舞蹈设计。 （英语） Zbl 07808781号

Boreale，Michele（编辑）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11665, 170-190 (2019).
MSC公司：68问题85 68甲19
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bruni｝等人，Lect。注释计算。科学。11665，170-190（2019；Zbl 07808781）
全文： 内政部 链接
安德里亚·科拉迪尼;玛丽亚姆·加法里·萨达特;瑞科·赫克尔

在负应用条件下展开图文法。 （英语） Zbl 1429.68086号

Guerra，Esther（编辑）等人，《图形变换》。2019年7月15日至16日，作为2019年STAF的一部分，在荷兰埃因霍温举行了第十二届国际会议，即2019年ICGT。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11629, 93-110 (2019).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。11629，93-110（2019；Zbl 1429.68086）
全文： 内政部
安德里亚·科拉迪尼;托拜厄斯·海因德尔;芭芭拉·柯尼格;诺尔特，丹尼斯;阿伦德·伦辛克

重写抽象结构：明确解释的物化。 （英语） Zbl 1524.68163号

Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。2019年4月6日至11日，作为欧洲软件理论与实践联席会议的一部分，第22届国际会议，FOSSACS 2019，在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11425, 169-188 (2019).
MSC公司：2012年第68季度 18对25 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。11425169-188（2019年；Zbl 1524.68163）
全文： 内政部 arXiv公司
保罗·巴尔丹;罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

具有持久性的Petri网的事件结构。 （英语） Zbl 1417.68113号

日志。方法计算。科学。 14，第3号，第25号论文，30页（2018年）.
审核人：Clément Aubert（奥古斯塔）
MSC公司：68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《日志》。方法计算。科学。14，第3号，第25号论文，30页（2018；Zbl 1417.68113）
全文： 内政部 arXiv公司
盖扎·库尔斯阿尔;安德里亚·科拉迪尼;马耳他州洛豪

受控图形再写过程中的等效性和独立性。 （英语） Zbl 1394.68199号

Lambers，Leen（编辑）等人，《图形变换》。2018年6月25日至26日，作为2018年STAF的一部分，在法国图卢兹举行了第11届国际会议，即2018年ICGT。诉讼程序。查姆：施普林格（ISBN 978-3-319-92990-3/pbk；978-3-3169-92991-0/电子书）。计算机科学课堂讲稿10887，134-151（2018）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Kulcsár}等人，Lect。注释计算。科学。10887、134--151（2018；Zbl 1394.68199）
全文： 内政部 链接
Azzi，Guilherme Grochau;安德里亚·科拉迪尼;莱拉·里贝罗

关于冲突的本质和初始性。 （英语） Zbl 1394.68195号

Lambers，Leen（编辑）等人，《图形变换》。2018年6月25日至26日，作为2018年STAF的一部分，在法国图卢兹举行了第11届国际会议，即2018年ICGT。诉讼程序。查姆：施普林格（ISBN 978-3-319-92990-3/pbk；978-3-3169-92991-0/电子书）。计算机科学课堂讲稿10887，99-117（2018）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.G.Azzi}等人，Lect。注释计算。科学。10887，99-117（2018；Zbl 1394.68195）
全文： 内政部 链接
安德里亚·科拉迪尼;多米尼克·杜瓦尔;Löwe，迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;Azzi，Guilherme Grochau;贝泽拉、乔纳斯·桑托斯;罗德里格斯，莱昂纳多·马尔克斯

关于双推出和倍半推出方法的平行独立性的本质。 （英语） Zbl 1383.68042号

Heckel，Reiko（编辑）等人，《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆：施普林格（ISBN 978-3-319-75395-9/pbk；978-3-3169-75396-6/电子书）。计算机科学课堂讲稿10800，1-18（2018）。
MSC公司：2012年第68季度 18A30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。10800，1-18（2018；Zbl 1383.68042）
全文： 内政部 链接
保罗·巴尔丹;安德里亚·科拉迪尼;法比奥·加杜奇

融合的域和事件结构。 （英语） Zbl 1458.68128号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第75条，第12页（2017年）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第75条，第12页（2017；Zbl 1458.68128）
全文： arXiv公司 链接
安德里亚·科拉迪尼;巴巴拉·科尼格;诺尔特，丹尼斯

使用类型图指定图形语言。 （英语） Zbl 1425.68191号

de Lara，Juan（编辑）等人，《图形变换》。2017年7月18日至19日，作为2017年STAF的一部分，在德国马尔堡举行了第十届国际会议，即2017年ICGT。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10373, 73-89 (2017).
MSC公司：65年第68季度 03B25号 18B99型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。10373、73--89（2017年；Zbl 1425.68191）
全文： 内政部 arXiv公司
安德里亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗

代数图变换的pullback-pushout方法。 （英语） Zbl 1425.68156号

de Lara，Juan（编辑）等人，《图形变换》。2017年7月18日至19日，作为2017年STAF的一部分，在德国马尔堡举行了第十届国际会议，即2017年ICGT。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10373, 3-19 (2017).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Corradini｝等人，Lect。注释计算。科学。10373，3-19（2017；Zbl 1425.68156）
全文： 内政部 链接
安德里亚·科拉迪尼（编辑）;汉斯·赞特马（编辑）

2016年4月8日，荷兰埃因霍温，TERMGRAPH 2016，第九届术语和图形计算国际研讨会论文集。 （英语） 兹比尔1446.68009

理论计算机科学电子论文集（EPTCS）225.滑铁卢：开放出版协会（OPA）。第62页。，仅电子版，开放存取（2016年）。
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（ed.）和\textit{H.Zantema}（edi.），第九届术语和图形计算国际研讨会论文集，TERMGRAPH 2016，荷兰埃因霍温，2016年4月8日。滑铁卢：开放出版协会（OPA）（2016；Zbl 1446.68009）
全文： 内政部 arXiv公司 链接
安德里亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗

AGREE转换中的并行性。 （英语） 兹比尔1344.68106

Echahed，Rachid（编辑）等人，《图形变换》。2016年7月5日至6日，作为2016年STAF的一部分，在奥地利维也纳举行了第九届2016年ICGT国际会议，以纪念Hartmut Ehrig。诉讼程序。查姆：施普林格（ISBN 978-3-319-40529-2/pbk；978-3-3169-40530-8/电子书）。计算机科学课堂讲稿9761，37-53（2016）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。9761，37-53（2016；Zbl 1344.68106）
全文： 内政部 链接
安德里亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗

AGREE–带受控嵌入的代数图重写。 （英语） Zbl 1321.68327号

Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。计算机科学讲义9151，35-51（2015）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。9151，35-51（2015；Zbl 1321.68327）
全文： 内政部 arXiv公司 链接
安德里亚·科拉迪尼;莱拉·里贝罗;费尔南多·多蒂;奥多里科·门迪扎巴尔

延迟更新复制技术的正式模型。 （英语） Zbl 1348.68043号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358，235-253（2014）。
MSC公司：第68页，共15页 64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。8358235-253（2014年；Zbl 1348.68043）
全文： 内政部
弗兰克·赫尔曼;安德里亚·科拉迪尼;哈特穆特·埃里格

负应用条件下（mathcal{M}）-粘着变换系统的置换等价性分析。 （英语） Zbl 1342.68179号

数学。结构。计算。科学。 24，第4号，文章ID e240409，47页（2014）.
MSC公司：2012年第68季度 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Hermann}等人，数学。结构。计算。科学。24，第4号，文章ID e240409，47页（2014；Zbl 1342.68179）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;索博辛斯基，Paweł

过程和展开：粘合剂类别中的并发计算。 （英语） Zbl 1342.68223号

数学。结构。计算。科学。 24，第4号，文章ID e240402，51 p.（2014）.
MSC公司：68问题85 18A35型 18A40型 18B20型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，数学。结构。计算。科学。24，第4号，文章ID e240402，51 p.（2014；Zbl 1342.68223）
全文： 内政部
安德里亚·科拉迪尼;瑞科·赫克尔

负应用条件下的标准导数。 （英语） Zbl 1423.68226号

Giese，Holger（编辑）等人，《图形变换》。2014年7月22日至24日，作为2014年STAF的一部分，在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。第8571页，第207-221页（2014年）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{R.Heckel}，莱克特。注释计算。科学。8571、207--221（2014；Zbl 1423.68226）
全文： 内政部 链接
安德里亚·科拉迪尼;瑞科·赫克尔;弗兰克·赫尔曼;苏珊·戈特曼;尼科·纳希蒂加尔

具有增量负面应用条件的转换系统。 （英语） Zbl 1394.68196号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841127-142（2013）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。7841、127--142（2013；Zbl 1394.68196）
全文： 内政部
罗伯托·布鲁尼;安德里亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;安德里亚·万丁

适应性过渡系统。 （英语） Zbl 1394.68206号

Martí-Oliet，Narciso（编辑）等人，代数开发技术的最新趋势。第21届国际研讨会，2012年WADT，西班牙萨拉曼卡，2012年6月7日至10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-37634-4/pbk）。计算机科学课堂讲稿7841，95-110（2013）。
MSC公司：65年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bruni｝等人，Lect。注释计算。科学。7841，95-110（2013；Zbl 1394.68206）
全文： 内政部
安德里亚·科拉迪尼;法比奥·加杜奇;莱拉·里贝罗

图形转换机构。 （英语） Zbl 1312.68112号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137160-174（2012）。
MSC公司：2012年第68季度 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。7137、160-174（2012年；Zbl 1312.68112）
全文： 内政部
安德里亚·科拉迪尼;法兰克·德雷维斯

术语图重写和并行术语重写。 （英语） Zbl 1457.68135号

Echahed，Rachid（编辑），第六届术语和图形计算国际研讨会论文集，TERMGRAPH 2011，德国萨尔布吕肯，2011年4月2日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）48，3-18（2011）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Drewes}，电子。程序。西奥。计算。科学。（EPTCS）48，3--18（2011；Zbl 1457.68135）
全文： arXiv公司 链接
安德里亚·科拉迪尼（编辑）;巴托克·克林（编辑）;科琳娜·科斯特（编辑）

计算机科学中的代数和余代数。第四届国际会议，CALCO 2011，英国温彻斯特，2011年8月30日至9月2日。诉讼程序。 （英语） Zbl 1221.68011号

计算机科学课堂讲稿6859.柏林：施普林格出版社（ISBN 978-3-642-22943-5/pbk）。xiii，421页。(2011).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）等人，《计算机科学中的代数和余代数》。第四届国际会议，CALCO 2011，英国温彻斯特，2011年8月30日至9月2日。诉讼程序。柏林：施普林格（2011年；Zbl 1221.68011）
全文： 内政部
保罗·巴尔丹;亚历山德罗·布鲁尼;安德里亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温

关于上下文网络和图文法的麦克米兰前缀的计算。 （英语） 兹比尔1306.68120

Ehrig，Hartmut（编辑）等人，《图形变换》。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。计算机科学课堂讲稿637291-106（2010）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。6372，91-106（2010；Zbl 1306.68120）
全文： 内政部
安德里亚·科拉迪尼（编辑）

2009年3月22日，英国约克，第五届术语和图形计算国际研讨会论文集（TERMGRAPH 2009）。 （英语） Zbl 1281.68020号

理论计算机科学电子笔记第253页，第4页。阿姆斯特丹：爱思唯尔。128页。，仅电子版（2009年）。
MSC公司：68-06 2006年5月 2012年第68季度 68兰特 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑），第五届术语和图形计算国际研讨会论文集（TERMGRAPH 2009），英国约克，2009年3月22日。阿姆斯特丹：Elsevier（2009；Zbl 1281.68020）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;索博辛斯基，Paweł

粘合剂类别中的展开语法。 （英语） Zbl 1239.68036号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728350-366（2009）。
MSC公司：2012年第68季度 18 C50 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5728350-366（2009年；Zbl 1239.68036）
全文： 内政部 链接
安德里亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗

交互式系统规范的依赖图转换。 （英语） Zbl 1253.68192号

Corradini，Andrea（编辑）等人，代数发展技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。《计算机科学讲义》5486102-118（2009）。
MSC公司：2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。5486、102--118（2009年；Zbl 1253.68192）
全文： 内政部
安德里亚·科拉迪尼（编辑）;乌戈·蒙塔纳里（编辑）

代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。 （英语） Zbl 1173.68005号

计算机科学课堂讲稿5486.柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。viii，第343页。(2009).
MSC公司：68-06 60年第68季度 68问题65 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）和\textit{U.Montanari}（主编），代数开发技术的最新趋势。2008年6月13日至16日，第19届WADT国际研讨会，意大利比萨。修订了选定的论文。柏林：施普林格出版社（2009；Zbl 1173.68005）
全文： 内政部
鲍尔丹，P。;科拉迪尼，A。;多蒂，F.L。;福斯，L。;F.加杜奇。;里贝罗。

图重写中事务的概念。 （英语） Zbl 1283.68182号

Bruni，Roberto（ed.）等人，第五届图形转换和视觉建模技术国际研讨会论文集（GT-VMT 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记211，39-50（2008）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《电子》。理论注释。计算。科学。211、39-50（2008年；Zbl 1283.68182）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温

McMillan的上下文网络的完整前缀。 （英语） Zbl 1171.68560号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《期刊副刊》，199-220（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5100、199--220（2008年；Zbl 1171.68560）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格

开放Petri网：非确定性过程和组合性。 （英语） Zbl 1175.68269号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，257-273（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5214，257--273（2008；Zbl 1175.68269）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;巴巴拉·科尼格

展开图变换系统：理论和验证应用。 （英语） 兹比尔1143.68422

Degano，Pierpaolo（编辑）等人，《并发性、图表和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿506516-36（2008）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。5065,16--36（2008年；Zbl 1143.68422）
全文： 内政部
安德里亚·科拉迪尼

乌戈·蒙塔纳里和图变换。 （英语） Zbl 1143.68424号

Degano，Pierpaolo（编辑）等人，《并发性、图表和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065,9-15（2008）。
MSC公司：2012年第68季度 68-03 01A60型 01A70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}，莱克特。注释计算。科学。5065、9--15（2008年；Zbl 1143.68424）
全文： 内政部
安德里亚·科拉迪尼;法比奥·加杜奇

不等式演绎作为术语图重写。 （英语） Zbl 1270.68125号

Mackie，I.（ed.）等人，《术语图改写第一次国际研讨会论文集》（TERMGRAPH 2002），西班牙巴塞罗那，2002年10月7日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》72，第1期，31-44（2007）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，电子。理论注释。计算。科学。72，第1号，31-44（2007；Zbl 1270.68125）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格

开放Petri网的双相似性和行为保护重构。 （英语） Zbl 1214.68243号

Mossakowski，Till（编辑）等人，《计算机科学中的代数和余代数》。第二届国际会议，2007年CALCO，挪威卑尔根，2007年8月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73857-2/pbk）。计算机科学讲义4624126-142（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。4624，126--142（2007；Zbl 1214.68243）
全文： 内政部 arXiv公司
保罗·巴尔丹;安德里亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特

用于验证图转换系统的时序图逻辑。 （英语） Zbl 1196.68154号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。2006年6月1日至3日，第18届国际研讨会，WADT 2006，比利时阿登拉罗什。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-71997-7/pbk）。计算机科学课堂讲稿4409，1-20（2007）。
MSC公司：68问题85 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。4409，1--20（2007；Zbl 1196.68154）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;卢西亚娜·福斯;法比奥·加杜奇

将事务绘制为流程。 （英语） Zbl 1156.68416号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178，199-214（2006）。
MSC公司：2012年第68季度 68问题85 18A40型
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。4178，199--214（2006；Zbl 1156.68416）
全文： 内政部
安德里亚·科拉迪尼;托拜厄斯·海因德尔;赫尔曼，弗兰克;芭芭拉·柯尼格

Sesqui-pushout重写。 （英语） Zbl 1156.68423号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178，30-45（2006）。
MSC公司：2012年第68季度 18A30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。4178，30--45（2006；Zbl 1156.68423）
全文： 内政部
安德里亚·科拉迪尼（编辑）;哈特穆特·埃里格（编辑）;乌戈·蒙塔纳里（编辑）;莱拉·里贝罗（编辑）;Grzegorz罗岑贝格（编辑）

图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 （英语） Zbl 1147.68003号

计算机科学课堂讲稿4178.柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。xii，第473页。(2006).
MSC公司：68-06 68号30 2012年第68季度 68兰特 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）等人，《图形转换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（2006；Zbl 1147.68003）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;索博辛斯基，Paweł

粘合剂改写系统的工艺。 （英语） Zbl 1180.68165号

Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。计算机科学讲座笔记3921202-216（2006）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。3921、202--216（2006；Zbl 1180.68165）
全文： 内政部
安德里亚·科拉迪尼;法比奥·加杜奇

术语图是一个粘合类别。 （英语） Zbl 1272.68175号

Fernández，M.（编辑），第二届术语图改写国际研讨会论文集（TERMGRAPH 2004），意大利罗马，2004年10月2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》127，第5期，43-56（2005）。
MSC公司：2012年第68季度 18A30型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，电子。理论注释。计算。科学。127，第5号，43-56（2005；Zbl 1272.68175）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼

关于代数图文法的并发语义。 （英语） Zbl 1075.68037号

Kreowski，Hans-Jörg（编辑）等人，软件和系统建模中的形式化方法。在哈特穆特·埃里格60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-24936-2/pbk）。计算机科学讲座笔记3393，3-23（2005）。
MSC公司：2012年第68季度 68问题85 68-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}和\textit{A.Corradini}，莱克特。注释计算。科学。3393，3--23（2005；Zbl 1075.68037）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;法比奥·加杜奇

通过图转换指定和验证UML活动图。 （英语） Zbl 1111.68496号

Priami，Corrado（编辑）等人，《全球计算》。2004年3月9日至12日，意大利Rovereto，2004年GC，IST/FET国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-24101-9/pbk）。计算机科学课堂讲稿326718-33（2005）。
MSC公司：60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。3267、18-33（2005年；Zbl 1111.68496）
全文： 内政部
安德里亚·科拉迪尼;赫希，丹

的操作语义社区团结基于图变换系统。 （英语） Zbl 1271.68117号

Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27-28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109111-124（2004）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{D.Hirsch}，电子。理论注释。计算。科学。109111-124（2004年；Zbl 1271.68117）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼;巴巴拉·科尼格;伯恩哈德·科尼格

验证图形转换系统的行为逻辑。 （英语） Zbl 1271.68167号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，5-24（2004）。
MSC公司：68问题85 03B44号 03B70号 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《电子》。理论注释。计算。科学。104，5--24（2004；Zbl 1271.68167）
全文： 链接
安德里亚·科拉迪尼;费尔南多·路易斯·多蒂;卢西亚娜·福斯;莱拉·里贝罗

将Java代码转换为图形转换系统。 （英语） Zbl 1116.68382号

Ehrig，Hartmut（编辑）等人，《图形变换》。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23207-9/pbk）。计算机科学课堂讲稿3256，383-398（2004）。
MSC公司：68甲19 2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。3256、383--398（2004年；Zbl 1116.68382）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;巴巴拉·科尼格

验证有限状态图文法：基于展开的方法。 （英语） Zbl 1099.68046号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。《计算机科学讲义》3170，83-98（2004）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。3170,83--98（2004年；Zbl 1099.68046）
全文： 内政部
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗

单推出图文法的共反射并发语义。 （英语） Zbl 1278.68117号

Wirsing，Martin（编辑）等人，代数开发技术的最新趋势。2002年9月24日至27日在德国弗劳恩切姆塞举办的第16届WADT国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-20537-3/pbk）。莱克特。注释计算。科学。2755, 165-184 (2003).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。2755、165--184（2003年；Zbl 1278.68117）
全文： 内政部
安德里亚·科拉迪尼;法比奥·加杜奇

类术语结构的分类重写。 （英语） Zbl 1263.68070号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，108-121（2002）。
MSC公司：2012年第68季度 18立方厘米 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，电子。理论注释。计算。科学。51、108-121（2002年；Zbl 1263.68070）
全文： 内政部
安德里亚·科拉迪尼

GETGRATS：科学成果总结（附注释书目）。 （英语） Zbl 1263.68069号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》51，1-64（2002）。
MSC公司：2012年第68季度 60年第68季度 00A15年
PDF格式BibTeX公司 XML格式引用
\textit｛A.Corradini｝，电子。理论注释。计算。科学。51、1--64（2002年；Zbl 1263.68069）
全文： 内政部
米歇尔·波德隆（编辑）;安德里亚·科拉迪尼（编辑）

GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。 （英语） 兹比尔1262.68010

理论计算机科学电子笔记51.阿姆斯特丹：爱思唯尔。第319页。，仅电子版（2002年）。
MSC公司：68-06 2012年第68季度 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bauderon}（ed.）和textit{A.Corradini}（edi.），GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：Elsevier（2002；Zbl 1262.68010）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里

图文法的互模拟等价性。 （英语） Zbl 1060.68050号

Brauer，Wilfried（编辑）等人，《形式和自然计算》。献给格列泽戈斯·罗森伯格的论文。柏林：施普林格出版社（ISBN 3-540-43190-X）。莱克特。注释计算。科学。2300, 158-190 (2002).
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。2300、158--190（2002年；Zbl 1060.68050）
全文： 链接
安德里亚·科拉迪尼;费尔南多·路易斯·多蒂;莱拉·里贝罗

关于使用移动代码的应用程序规范的图形转换视图。 （英语） Zbl 1262.68112号

Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第3期，238-246（2001）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，《电子》。理论注释。计算。科学。50，第3号，238--246（2001；Zbl 1262.68112）
全文： 内政部
安德里亚·科拉迪尼（编辑）;玛丽娜·莱妮莎（编辑）;乌戈·蒙塔纳里（编辑）

CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。 （英语） Zbl 1260.68011号

理论计算机科学电子笔记44，第1号。阿姆斯特丹：爱思唯尔。第309页。，仅电子版（2001）。
MSC公司：68-06 68问题65 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）等人，CMCS 2001。2001年4月6日至7日，意大利热那亚，计算机科学中的联合大脑方法第四次研讨会论文集。阿姆斯特丹：Elsevier（2001；Zbl 1260.68011）
全文： 链接
鲍尔丹，P。;科拉迪尼，A。;埃里格，H。;R.赫克尔。

使用开放网络对反应系统进行组合建模。 （英语） Zbl 1006.68084号

Larsen，Kim G.（编辑）等人，《CONCUR 2001-并发理论》。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2154502-518（2001年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。2154、502--518（2001年；Zbl 1006.68084）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼;芭芭拉·柯尼格

图变换系统的静态分析技术。 （英语） Zbl 1006.68529号

Larsen，Kim G.（编辑）等人，《CONCUR 2001-并发理论》。第十二届国际会议，丹麦奥尔堡，2001年8月20日至25日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2154, 381-395 (2001).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。2154、381--395（2001年；Zbl 1006.68529）
全文： 链接
安德里亚·科拉迪尼;汉斯·约尔格·克鲁斯基

Getgrats and applicagraph:图形变换的理论和应用。 （英语） Zbl 1049.68607号

Pun，Gheorghe（编辑）等人，《理论计算机科学的当前趋势》。进入21世纪。基于1992–2000年欧洲理论计算机科学协会（EATCS）公报上发布的专栏和教程。新加坡：世界科学（ISBN 981-02-4473-8）。164-170 (2001).
MSC公司：68兰特 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{H.-J.Kreowski}，in：理论计算机科学的当前趋势。进入21世纪。基于1992-2000年欧洲理论计算机科学协会（EATCS）公报上发布的专栏和教程。新加坡：世界科学。164-170（2001年；Zbl 1049.68607）
保罗·巴尔丹;纳迪亚·布西;安德里亚·科拉迪尼;G.Michele Pinna

带读弧和约束弧的Petri网的功能并发语义。 （英语） Zbl 0999.68150号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1877, 442-457 (2000).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。1877442-457（2000年；Zbl 0999.68150）
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里

上下文网络的历史保持互模拟。 （英语） Zbl 0966.68151号

Bert，Didier（编辑）等人，代数发展技术的最新趋势。第14届国际研讨会，WADT’99，法国博纳城堡，1999年9月15日至18日。精选论文。柏林：施普林格。莱克特。注释计算。科学。1827, 291-310 (2000).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。18279291-310（2000年；兹bl 0966.68151）
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里

双推出图文法的展开是一个共同反映。 （英语） Zbl 0958.68081号

Ehrig，Hartmut（编辑）等人，《图形变换的理论和应用》。第六届国际研讨会，TAGT’98。1998年11月16日至20日，德国帕德博恩。精选论文。柏林：施普林格。莱克特。注释计算。科学。1764, 145-163 (2000).
MSC公司：2012年第68季度 18 C50
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。1764145-163（2000年；Zbl 0958.68081）
安德里亚·科拉迪尼;马丁·格罗·罗德;瑞科·赫克尔

使用有限（共）极限二重理论的图推导代数。 （英语） Zbl 0955.68080号

JoséLuiz Fiadeiro（编辑），代数开发技术的最新趋势。1998年4月2日至4日，葡萄牙里斯本WADT’98第13届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1589, 92-106 (1999).
MSC公司：68问题65 68问题85 18 C50
PDF格式BibTeX公司 XML格式引用
\textit｛A.Corradini｝等人，Lect。注释计算。科学。1589，92-106（1999年；兹bl 0955.68080）
安德里亚·科拉迪尼;法比奥·加杜奇

多代数的函数语义。 （英语） Zbl 0942.18002号

JoséLuiz Fiadeiro（编辑），代数开发技术的最新趋势。第13次国际研讨会，WADT’98，葡萄牙里斯本，1998年4月2-4日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1589, 79-91 (1999).
MSC公司：18立方厘米 08C05号机组 08A55号 08A02级 18 C50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，莱克特。注释计算。科学。1589，79-91（1999；Zbl 0942.18002）
安德里亚·科拉迪尼;法比奥·加杜奇

循环结构的重写：操作描述和范畴描述之间的等价性。 （英语） Zbl 0940.18002号

西奥。通知。申请。 33，No.4-5，467-493（1999）.
MSC公司：18立方厘米 2012年第68季度 18D05日 18日第10天 2010年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，Theor。通知。申请。33，编号4--5，467--493（1999；Zbl 0940.18002）
全文： 内政部 欧洲DML 链接
安德里亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里

将过渡系统划分为结构化余代数。 （英语） Zbl 0944.18006号

乔巴努、加布里埃尔（编辑）等，《计算理论基础》。第12届国际研讨会，FCT’99。1999年8月30日至9月3日，罗马尼亚伊阿什伊。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1684, 13-38 (1999).
审核人：A.Maggiolo-Schettini（比萨）
MSC公司：18 C50 2010年第68季度 18D05日 16瓦30
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。1684，13-38（1999；Zbl 0944.18006）
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里

图文法的展开和事件结构语义。 （英语） Zbl 0946.68087号

Thomas，Wolfgang（编辑），《软件科学和计算结构基础》。第二届国际会议，FOSSACS’99。1999年3月22日至28日，作为欧洲软件理论与实践联合会议（ETAPS'99）的一部分在荷兰阿姆斯特丹举行。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1578, 73-89 (1999).
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。1578、73--89（1999年；Zbl 0946.68087）
安德里亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里

从SOS规范到结构化余代数：如何使互模拟成为同余。 （英语） Zbl 0918.68065号

Jacobs，Bart（编辑）等人，CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议（ETAPS'99）的卫星活动。荷兰阿姆斯特丹，1999年3月20日至21日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。19，电子文件第10号（1999年）。
MSC公司：68问题65 68问题85 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，in：CMCS`99。计算机科学中的代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议（ETAPS`99）的卫星活动。荷兰阿姆斯特丹，1999年3月20日至21日。阿姆斯特丹：爱思唯尔。电子文件第10号（1999；Zbl 0918.68065）
全文： 链接
安德里亚·科拉迪尼;马丁·格罗·罗德;瑞科·赫克尔

将过渡系统结构化为松散的余代数。 （英语） Zbl 0917.68072号

Jacobs，Bart（编辑）等人，《计算机科学中的协代数方法》，CMCS’98。第一次研讨会会议记录，葡萄牙里斯本，1998年3月28日至29日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。11，电子文件第3号（1998年）。
MSC公司：2010年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，in：计算机科学中的协同代数方法，CMCS’98。第一次研讨会会议记录，葡萄牙里斯本，1998年3月28日至29日。阿姆斯特丹：爱思唯尔。电子纸3号（1998；Zbl 0917.68072）
全文： 链接
科拉迪尼，A。;F.加杜奇。

理性术语重写。 （英语） Zbl 0908.68081号

莫里斯·尼瓦特（编辑），《软件科学和计算结构基础》。第一届国际会议，FoSSaCS’98。1998年3月28日至4月4日，作为欧洲软件理论与实践联合会议（ETAPS'98）的一部分，在葡萄牙里斯本举行。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1378, 156-171 (1998).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，莱克特。注释计算。科学。1378156-171（1998年；Zbl 0908.68081）
保罗·巴尔丹;安德里亚·科拉迪尼;乌戈·蒙塔纳里

P/T上下文网络的事件结构语义：不对称事件结构。 （英语） 兹比尔0902.68140

莫里斯·尼瓦特（编辑），《软件科学和计算结构基础》。第一届国际会议，FoSSaCS’98。1998年3月28日至4月4日，作为欧洲软件理论与实践联合会议（ETAPS'98）的一部分，在葡萄牙里斯本举行。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1378, 63-80 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛P.Baldan｝等人，Lect。注释计算。科学。1378、63-80（1998年；Zbl 0902.68140）
安德里亚·科拉迪尼

余代数规范中方程推导的完整结果。 （英语） Zbl 0903.08007号

Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：施普林格。莱克特。注释计算。科学。1376, 190-205 (1998).
MSC公司：08A70号 2005年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}，莱克特。注释计算。科学。1376190-205（1998年；Zbl 0903.08007）
瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德里亚·科拉迪尼

集成了图形转换和时序逻辑的规范化技术。 （英语） Zbl 0951.68055号

Privara，L.（编辑）等人，1997年计算机科学的数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1295, 219-228 (1997).
MSC公司：2012年第68季度 68问题65 03B44号 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，Lect。注释计算。科学。1295、219--228（1997年；Zbl 0951.68055）
科拉迪尼，A。;F.加杜奇。

术语图重写的2分类表示。 （英语） Zbl 0889.68085号

Moggi，Eugenio（编辑）等人，《范畴理论与计算机科学》。1997年9月4日至6日，第七届国际会议，CTCS’97，意大利圣玛格丽塔利古尔。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。129087-105（1997）中描述。
MSC公司：2012年第68季度 18D05日
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，莱克特。注释计算。科学。1290、87--105（1997；Zbl 0889.68085）
瑞科·赫克尔;安德里亚·科拉迪尼;哈特穆特·埃里格;Löwe，迈克尔

类型化图转换系统的水平和垂直结构。 （英语） Zbl 0866.68056号

数学。结构。计算。科学。 6，第6号，613-648（1996）.
审核人：A.Maggiolo-Schettini（比萨）
MSC公司：2012年第68季度 18立方厘米 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Heckel}等人，数学。结构。计算。科学。6，第6号，613--648（1996；Zbl 0866.68056）
科拉迪尼，A。

并发图和术语图重写。 （英语） Zbl 1514.68160号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1119, 438-464 (1996).
MSC公司：68问题85 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}，莱克特。注释计算。科学。1119438-464（1996年；Zbl 1514.68160）
全文： 内政部
安德里亚·科拉迪尼;弗朗西丝卡·罗西

图形语法产品的同步合成。 （英语） Zbl 1412.68101号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：施普林格。莱克特。注释计算。科学。1073, 257-270 (1996).
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Rossi}，莱克特。注释计算。科学。1073、257--270（1996年；Zbl 1412.68101）
全文： 内政部
科拉迪尼，A。;埃里格，H。;勒韦，M。;美国蒙塔纳里。;F.罗西。

具有并行生成的图语法的事件结构语义。 （英语） Zbl 1412.68100号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：施普林格。莱克特。注释计算。科学。1073, 240-256 (1996).
MSC公司：2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。1073、240——256（1996年；Zbl 1412.68100）
全文： 内政部
科拉迪尼，A。;埃里格，H。;Löwe，M。;美国蒙塔纳里。;J.帕德伯格。

类型化图文法的范畴及其带有派生范畴的附加词。 （英语） Zbl 1412.68099号

Cuny，J.（编辑）等人，《图形语法及其在计算机科学中的应用》。第五届国际研讨会，美国弗吉尼亚州威廉斯堡，1994年11月13日至18日。精选论文。柏林：施普林格。莱克特。注释计算。科学。1073, 56-74 (1996).
MSC公司：2012年第68季度 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。1073、56-74（1996年；Zbl 1412.68099）
全文： 内政部
科拉迪尼，A。;F.加杜奇。;美国蒙塔纳里。

将术语重写的两种分类模型联系起来。 （英语） Zbl 1508.68146号

项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。914, 225-240 (1995).
MSC公司：2012年第68季度 03B70号 18立方厘米 18N10型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}等人，Lect。注释计算。科学。914225-240（1995年；Zbl 1508.68146）
全文： 内政部
安德里亚·科拉迪尼;法比奥·加杜奇

用于无限项重写的CPO模型。 （英语） 兹比尔1496.68163

Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。936, 368-384 (1995).
MSC公司：2012年第68季度 03B70号 18立方厘米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}和\textit{F.Gadducci}，莱克特。注释计算。科学。936368-384（1995年；Zbl 1496.68163）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件