搜索页_+Demis+Ballis

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(12)

Elsevier电子期刊(10)

在“Elsevier电子期刊”中，命中：10条，耗时：0.0229875 秒

在所有数据库中总计命中：22条

1.A rewriting logic approach to the formal specification and verification of web applications

作者：Mar铆a Alpuente ; Demis Ballis ; Daniel Romero

关键词：Web verification ; Rewrite theory ; Model checking ; LTLR

刊名：Science of Computer Programming

出版年：15 February, 2014

2.Using conditional trace slicing for improving Maude programs

作者：Mar铆a Alpuente ; Demis Ballis ; Francisco Frechina ; Daniel Romero

关键词：Trace slicing ; Program debugging and comprehension ; Rewriting logic

刊名：Science of Computer Programming

出版年：1 February, 2014

3.Using conditional trace slicing for improving Maude programs

作者：Mar铆a Alpuente ; Demis Ballis ; Francisco Frechina ; Daniel Romero

关键词：Trace slicing ; Program debugging and comprehension ; Rewriting logic

刊名：Science of Computer Programming

出版年：1 February, 2014

4.Investigation of the Physical Phenomena Associated with Rain Impacts on Supersonic and Hypersonic Flight Vehicles

作者：Bruce Moylan ; Dr.^a ; ^{bruce.moylan@us.army.mil} ; Brian Landrum ; Dr.^b ; Gerald Russell ; Dr.^a

关键词：Droplet demise ; High-speed weather enconter ; Smoothed particle hydrodynamic modeling ; Ballistic range testing

刊名：Procedia Engineering

出版年：2013

5.Rewriting-based repairing strategies for XML repositories

作者：Mar铆a Alpuente ; Demis Ballis ; Moreno Falaschi ; Francisco Frechina ; Daniel Romero

关键词：Repairing strategies ; XML consistency ; Rule-based techniques

刊名：Journal of Logic and Algebraic Programming

出版年：November, 2013

作者：Demis Ballis ; Temur Kutsia

刊名：Journal of Symbolic Computation

出版年：2011

作者：Demis Ballis ; Santiago Escobar

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

作者：Demis Ballis ; Santiago Escobar ; Massimo Marchiori

刊名：Electronic Notes in Theoretical Computer Science

出版年：2008

9.The demise of the ABM Treaty and the militarization of outer space

作者：von Kries ; Wulf

刊名：Space Policy

出版年：2002

10.Preface: Volume 86, Issue 3

作者：Germá ; n Vidal

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

1

按检索点细分(10)

作者(7)

关键词(1)

文摘(1)

按出版年细分(10)

2027年及以后(1)

2013年(1)

2011年(1)

2009年(1)

2008年(1)

2003年(1)

2002年(1)

2000年及以前(3)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700