( en | de | ru )

 

Disambiguation of "Goubault, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Iterated Chromatic Subdivisions are Collapsible.

, , and . Appl. Categorical Struct., 23 (6): 777-818 (2015)

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

Knut Erichsen

 

Other publications of authors with the same name

Schedulers as Abstract Interpreter of Higher Dimensional Automata.. PEPM, page 134-145. ACM Press, (1995)Policy Iteration within Logico-Numerical Abstract Domains., , , and . ATVA, volume 6996 of Lecture Notes in Computer Science, page 290-305. 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)Semantics and Analysis of Linda-Based Languages., and . WSA, volume 724 of Lecture Notes in Computer Science, page 72-86. Springer, (1993)Modular Static Analysis with Zonotopes., , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 24-40. Springer, (2012)Detecting Deadlocks in Concurrent Systems., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 332-347. Springer, (1998)Static Analysis of Finite Precision Computations., and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 232-247. Springer, (2011)Durations for Truly-Concurrent Transitions.. ESOP, volume 1058 of Lecture Notes in Computer Science, page 173-187. Springer, (1996)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)