( en | de | ru )

 

Disambiguation of "Bérard, Béatrice"

Author of the publication

copydeleteadd this publication to your clipboard
Analysing timed compatibility of web service choreography.

, , and . Int. J. Crit. Comput. Based Syst., 7 (3): 253-278 (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.

François Bérard

Sèverine Bérard

Mechthild Berard

Peter Berard

Berard Wingenfeld

 

Other publications of authors with the same name

Interrupt Timed Automata., and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 197-211. Springer, (2009)Timed Temporal Logics for Abstracting Transient States., , , and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 337-351. Springer, (2006)Refinements and Abstractions of Signal-Event (Timed) Languages., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 67-81. Springer, (2006)The expressive power of time Petri nets., , , , and . Theor. Comput. Sci., (2013)Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" Information Processing Letters 174 (2022) 106208., and . Inf. Process. Lett., (2022)Revisiting reachability in Polynomial Interrupt Timed Automata., and . Inf. Process. Lett., (2022)An Introduction to Timed Automata.. Control of Discrete-Event Systems, volume 433 of Lecture Notes in Control and Information Sciences, Springer, (2013)Probabilistic Disclosure: Maximisation vs. Minimisation., , and . FSTTCS, volume 93 of LIPIcs, page 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Finite Bisimulations for Dynamical Systems with Overlapping Trajectories., , and . CSL, volume 119 of LIPIcs, page 26:1-26:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Timed automata and additive clock constraints., and . Inf. Process. Lett., 75 (1-2): 1-7 (2000)