Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Eric Goubault

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Emmanuel Haucourt

> Home > Persons > Eric Goubault

Publications

2016
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/FajstrupGHMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/FajstrupGHMR16
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen:
Directed Algebraic Topology and Concurrency. Springer 2016, ISBN 978-3-319-15397-1, pp. 1-167
2012
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/FajstrupGHMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FajstrupGHMR12
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen:
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP 2012: 274-294
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-0414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-0414
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen:
Trace Spaces: an Efficient New Technique for State-Space Reduction. CoRR abs/1204.0414 (2012)
2011
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BonichonCCGHHLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BonichonCCGHHLM11
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram:
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98
2010
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultHK10
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan:
Future Path-components in Directed Topology. MFPS 2010: 325-335
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/GoubaultH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/GoubaultH07
Eric Goubault, Emmanuel Haucourt:
Components of the Fundamental Category II. Appl. Categorical Struct. 15(4): 387-414 (2007)
2005
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GoubaultH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GoubaultH05
Eric Goubault, Emmanuel Haucourt:
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR 2005: 503-517
2004
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/FajstrupRGH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/FajstrupRGH04
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt:
Components of the Fundamental Category. Appl. Categorical Struct. 12(1): 81-108 (2004)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.