( en | de | ru )

 

Disambiguation of "Goubault, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Models of fault-tolerant distributed computation via dynamic epistemic logic.

, and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Friederike Erichsen-Wendt

Claus Erichsen

Kay Erichsen

Curt Erich

Claus Peter Erichsen

 

Other publications of authors with the same name

Models of fault-tolerant distributed computation via dynamic epistemic logic., and . CoRR, (2017)Discrete Choice in the Presence of Numerical Uncertainties., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (11): 2381-2392 (2018)On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability., , , , and . CoRR, (2020)From Geometric Semantics to Asynchronous Computability., , and . DISC, volume 9363 of Lecture Notes in Computer Science, page 436-451. Springer, (2015)Directed topological complexity., , and . J. Appl. Comput. Topol., 4 (1): 11-27 (2020)Editorial: Special Section VCPSS'09., , , and . ACM Trans. Embed. Comput. Syst., 11 (S2): 52:1-52:3 (2012)Simplicial Models for the Epistemic Logic of Faulty Agents., , , and . CoRR, (2023)Schedulers as Abstract Interpreter of Higher Dimensional Automata.. PEPM, page 134-145. ACM Press, (1995)Static Analysis of Finite Precision Computations., and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 232-247. Springer, (2011)Static Analyses of the Precision of Floating-Point Operations.. SAS, volume 2126 of Lecture Notes in Computer Science, page 234-259. Springer, (2001)