搜索页_+Eric+Goubault

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(15)

在“Elsevier电子期刊”中，命中：15条，耗时：小于0.01 秒

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

1.Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs

作者：Assal¨¦ Adj¨¦ ; St¨¦phane Gaubert ; Eric Goubault

关键词：Positive stochastic games ; Policy iteration algorithm ; Negative discount ; Static analysis by abstract interpretation ; Nonexpansive mappings ; Semidifferentials ; Nonlinear spectral radius

刊名：Journal of Mathematical Analysis and Applications

出版年：2014

2.A Geometric View of Partial Order Reduction

作者：Eric Goubault ; Tobias Heindel ; Samuel Mimram

刊名：Electronic Notes in Theoretical Computer Science

出版年：4 November, 2013

3.An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations

作者：Eric Goubault ; Tristan Le Gall ; Sylvie Putot

关键词：Abstract interpretation ; zonotopes ; affine relations

刊名：Electronic Notes in Theoretical Computer Science

出版年：2012

4.Preface

作者：Lisbeth Fajstrup ; Eric Goubault ; Martin Raussen

刊名：Electronic Notes in Theoretical Computer Science

出版年：2012

5.Future Path-components in Directed Topology

作者：Eric Goubault ; Emmanuel Haucourt ; Sanjeevi Krishnan

关键词：concurrency ; directed topology ; future equivalence ; path components

刊名：Electronic Notes in Theoretical Computer Science

出版年：2010

6.Static Analysis by Abstract Interpretation: A Mathematical Programming Approach

作者：Eric Goubault ; Sté ; phane Le Roux ; Jeremy Leconte ; Leo Liberti ; Fabrizio Marinelli

关键词：Guaranteed smallest code invariant ; constraints ; bilinear MINLP ; policy iteration ; branch-and-bound

刊名：Electronic Notes in Theoretical Computer Science

出版年：2010

7.Preface

作者：Eric Goubault

刊名：Electronic Notes in Theoretical Computer Science

出版年：2009

8.Algebraic topology and concurrency

作者：Lisbeth Fajstrup ; Martin Rauß ; en and Eric Goubault

关键词：Homotopy ; Concurrency ; Cubical set ; Higher-dimensional automata ; Partial order ; Partially ordered space

刊名：Theoretical Computer Science

出版年：2006

9.Preface

作者：Eric Goubault ; Ulrich Fahrenberg

刊名：Electronic Notes in Theoretical Computer Science

出版年：2004

10.Preface: Volume 69

作者：Richard Blute ; Peter Selinger

刊名：Electronic Notes in Theoretical Computer Science

出版年：2003

按检索点细分(15)

作者(13)

文摘(2)

按出版年细分(15)

2027年及以后(1)

2014年(1)

2012年(2)

2010年(2)

2009年(1)

2006年(1)

2004年(1)

2003年(2)

2002年(2)

2000年(2)